Merge pull request #636 from ethereum/dump-end-states

Forgot to set dumpEndStates for --debug

Author: msooseth

CHANGELOG.md

@@ -22,6 +22,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
   unnecessarily output
 - Not all testcases ran due to incorrect filtering, fixed
 - Removed dead code related to IOAct in the now deprecated and removed debugger
+- Dumping of END states (.prop) files is now default for `--debug`
 
 ## [0.54.2] - 2024-12-12
 

cli/cli.hs

@@ -211,6 +211,7 @@ main = withUtf8 $ do
   let env = Env { config = defaultConfig
     { dumpQueries = cmd.smtdebug
     , debug = cmd.debug
+    , dumpEndStates = cmd.debug
     , dumpExprs = cmd.debug
     , numCexFuzz = cmd.numCexFuzz
     , dumpTrace = cmd.trace