Adding missing tests

OCamlPro · Oct 17, 2023 · 455ece9 · 455ece9
1 parent b964002
commit 455ece9
Show file tree

Hide file tree

Showing 3 changed files with 11 additions and 253 deletions.
diff --git a/tests/dune.inc b/tests/dune.inc
diff --git a/tests/float/test_float3.fpa.ae b/tests/float/test_float3.fpa.ae
@@ -0,0 +1,5 @@
+logic x : real
+
+axiom ax : 1.0 <= x
+
+goal g : float(4, 4, NearestTiesToEven, 1.0) <= float(4, 4, NearestTiesToEven, x)
diff --git a/tests/float/test_float3.fpa.expected b/tests/float/test_float3.fpa.expected
@@ -0,0 +1,2 @@
+
+unsat