Promote test

Mostly changes due to expression simplification
formalsec · Apr 25, 2024 · 5c8983a · 5c8983a
1 parent 4c2bad4
commit 5c8983a
Show file tree

Hide file tree

Showing 5 changed files with 16 additions and 16 deletions.
diff --git a/test/test_saf.t b/test/test_saf.t
@@ -246,12 +246,12 @@ Tests Model ArrayFork:
   $_descending
 
   >Program Print
-  (int.add (int.add $_descending 3) 10)
+  (int.add $_descending 13)
 
   >Program Print
-  (int.add (int.add (int.add $_descending 3) 10) 1)
+  (int.add $_descending 14)
 
-  Returned (int.add (int.add $_descending 3) 10)
+  Returned (int.add $_descending 13)
   Everything Ok!
 
   =====================

diff --git a/test/test_saite.t b/test/test_saite.t
@@ -182,12 +182,12 @@ Tests Model ArrayITE:
   $_descending
 
   >Program Print
-  (int.add (int.add $_descending 3) 10)
+  (int.add $_descending 13)
 
   >Program Print
-  (int.add (int.add (int.add $_descending 3) 10) 1)
+  (int.add $_descending 14)
 
-  Returned (int.add (int.add $_descending 3) 10)
+  Returned (int.add $_descending 13)
   Everything Ok!
 
   =====================

diff --git a/test/test_sh.t b/test/test_sh.t
@@ -182,12 +182,12 @@ Tests Model Hierarchy Heap using WriteLists:
   $_descending
 
   >Program Print
-  (int.add (int.add $_descending 3) 10)
+  (int.add $_descending 13)
 
   >Program Print
-  (int.add (int.add (int.add $_descending 3) 10) 1)
+  (int.add $_descending 14)
 
-  Returned (int.add (int.add $_descending 3) 10)
+  Returned (int.add $_descending 13)
   Everything Ok!
 
   =====================

diff --git a/test/test_sopl.t b/test/test_sopl.t
@@ -182,12 +182,12 @@ Tests Model WriteLists:
   $_descending
 
   >Program Print
-  (int.add (int.add $_descending 3) 10)
+  (int.add $_descending 13)
 
   >Program Print
-  (int.add (int.add (int.add $_descending 3) 10) 1)
+  (int.add $_descending 14)
 
-  Returned (int.add (int.add $_descending 3) 10)
+  Returned (int.add $_descending 13)
   Everything Ok!
 
   =====================

diff --git a/test/test_st.t b/test/test_st.t
@@ -184,12 +184,12 @@ Tests Model Tree:
   $_descending
 
   >Program Print
-  (int.add (int.add $_descending 3) 10)
+  (int.add $_descending 13)
 
   >Program Print
-  (int.add (int.add (int.add $_descending 3) 10) 1)
+  (int.add $_descending 14)
 
-  Returned (int.add (int.add $_descending 3) 10)
+  Returned (int.add $_descending 13)
   Everything Ok!
 
   =====================
@@ -436,7 +436,7 @@ Tests Model Tree:
   Execution mode: st
 
   >Program Print
-  (bool.ite (bool.and true true) 5 0)
+  5
 
   Returned 0
   Everything Ok!