Adding missing tests

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

Hide file tree

Showing 2 changed files with 7 additions and 0 deletions.
diff --git a/tests/float/test_float3.ae b/tests/float/test_float3.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.expected b/tests/float/test_float3.expected
@@ -0,0 +1,2 @@
+
+unsat