promote tests

formalsec · Jan 24, 2024 · c95ba76 · c95ba76
1 parent e796766
commit c95ba76
Show file tree

Hide file tree

Showing 3 changed files with 14 additions and 20 deletions.
diff --git a/test/parser/test_qf_fp.t b/test/parser/test_qf_fp.t
@@ -4,20 +4,20 @@ Test fp parsing:
   sat
   sat
   (model
-    (v f32 (f32 -0.))
-    (x f32 (f32 0.504000008106))
-    (w f32 (f32 -0.))
-    (z f32 (f32 1.)))
+    (v (f32 -0.))
+    (w (f32 -0.))
+    (x (f32 0.504000008106))
+    (z (f32 1.)))
   sat
   (model
-    (v f32 (f32 -2.))
-    (x f32 (f32 -2.70000004768))
-    (w f32 (f32 -3.))
-    (z f32 (f32 -2.)))
+    (v (f32 -2.))
+    (w (f32 -3.))
+    (x (f32 -2.70000004768))
+    (z (f32 -2.)))
   sat
   (model
-    (s f64 (f64 -3.38460706455e+125))
-    (x f32 (f32 -2.70000004768))
-    (y f64 (f64 314159265359.))
-    (r f64 (f64 infinity))
-    (u f64 (f64 nan)))
+    (r (f64 infinity))
+    (s (f64 -3.38460706455e+125))
+    (u (f64 nan))
+    (x (f32 -2.70000004768))
+    (y (f64 314159265359.)))
diff --git a/test/parser/test_qf_s.t b/test/parser/test_qf_s.t
@@ -3,4 +3,4 @@ Test parsing string:
   sat
   sat
   (model
-    (x str "abc"))
+    (x "abc"))
diff --git a/test/test_qf_bvfp.expected b/test/test_qf_bvfp.expected
-Original file line number
+Diff line change
@@ Expand Up / @@ -3,4 +3,4 @@ Test parsing string: @@
       sat
       sat
       (model
-        (x str "abc"))
+        (x "abc"))