From f2f39c539c69f444d157aa0153a29072235d1b43 Mon Sep 17 00:00:00 2001 From: Derek Sorensen Date: Thu, 19 Dec 2024 15:44:17 +0000 Subject: [PATCH] execute_summary() improvement so it's more general --- certora/specs/v1.5/Execute.spec | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/certora/specs/v1.5/Execute.spec b/certora/specs/v1.5/Execute.spec index 7934c62ed..38b2f91ac 100644 --- 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 -------------------------------------------------------------