execute_summary() improvement so it's more general

Certora · Dec 19, 2024 · f2f39c5 · f2f39c5
1 parent 00349d6
commit f2f39c5
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/certora/specs/v1.5/Execute.spec b/certora/specs/v1.5/Execute.spec
@@ -50,9 +50,9 @@ methods {
 persistent ghost bool execute_called { init_state axiom execute_called == false; }
 
 function execute_summary() returns bool {
-    execute_called = true ;
-
-    return true ;
+    execute_called = true ;    
+    bool new_var ;
+    return new_var ;
 }
 
 // ---- Invariants -------------------------------------------------------------