Add OCaml 5.0.0

OCamlPro · Sep 11, 2023 · f7270f4 · f7270f4
1 parent 1420daf
commit f7270f4
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -28,6 +28,7 @@ jobs:
         ocaml-compiler:
           - 4.08.1
           - 4.14.1
+          - 5.0.0
 
     runs-on: ${{ matrix.os }}
 

diff --git a/test.smt2 b/test.smt2
@@ -0,0 +1,5 @@
+(set-logic ALL)
+(set-option :produce-models true)
+(declare-fun a (Int) Int)
+(check-sat)
+(get-model)