From 5c8983a71322b217ca0d64e9b7ef5c15f808884a Mon Sep 17 00:00:00 2001 From: Filipe Marques Date: Wed, 24 Apr 2024 15:33:10 +0100 Subject: [PATCH] Promote test Mostly changes due to expression simplification --- test/test_saf.t | 6 +++--- test/test_saite.t | 6 +++--- test/test_sh.t | 6 +++--- test/test_sopl.t | 6 +++--- test/test_st.t | 8 ++++---- 5 files changed, 16 insertions(+), 16 deletions(-) diff --git a/test/test_saf.t b/test/test_saf.t index d70aeee..42ac40f 100644 --- 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 index 8a0c0f1..e07e0da 100644 --- 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 index ec40aac..abdc58c 100644 --- 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 index 4495fc7..7f3d936 100644 --- 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 index d8707d9..1844449 100644 --- 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!