Tests from OCamlPro#968 are now passing 🎉

bclement-ocp · Nov 27, 2023 · 3cf8e58 · 3cf8e58
1 parent 473e5b5
commit 3cf8e58
Show file tree

Hide file tree

Showing 7 changed files with 17 additions and 16 deletions.
diff --git a/tests/dune.inc b/tests/dune.inc
diff --git a/tests/models/bitv/cardinal.models.expected b/tests/models/bitv/cardinal.models.expected
@@ -0,0 +1,2 @@
+
+unsat
diff --git a/.../models/bitv/cardinal.models.timeout.smt2 → tests/models/bitv/cardinal.models.smt2 b/.../models/bitv/cardinal.models.timeout.smt2 → tests/models/bitv/cardinal.models.smt2
diff --git a/tests/models/bitv/cardinal.models.timeout.expected b/tests/models/bitv/cardinal.models.timeout.expected
diff --git a/tests/models/bitv/cs-soundness.models.expected b/tests/models/bitv/cs-soundness.models.expected
@@ -0,0 +1,5 @@
+
+unknown
+(
+  (define-fun a () (_ BitVec 2) #b01)
+)
diff --git a/...els/bitv/cs-soundness.models.timeout.smt2 → tests/models/bitv/cs-soundness.models.smt2 b/...els/bitv/cs-soundness.models.timeout.smt2 → tests/models/bitv/cs-soundness.models.smt2
diff --git a/tests/models/bitv/cs-soundness.models.timeout.expected b/tests/models/bitv/cs-soundness.models.timeout.expected