diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index f4df18ba2..70f236177 100644
--- 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
new file mode 100644
index 000000000..7bcb70d3c
--- /dev/null
+++ b/test.smt2
@@ -0,0 +1,5 @@
+(set-logic ALL)
+(set-option :produce-models true)
+(declare-fun a (Int) Int)
+(check-sat)
+(get-model)