promote the test ceil_floor_propagate.ae (#728)

OCamlPro · Jul 10, 2023 · 2832d98 · 2832d98
1 parent 9422063
commit 2832d98
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/arith/ceil_floor_propagate.expected b/tests/arith/ceil_floor_propagate.expected
@@ -1,2 +1,2 @@
 
-unknown
+unsat