Update changelog, too

Better variable naming

Author: msooseth

CHANGELOG.md

@@ -40,8 +40,9 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 - More symbolic overapproximation for Balance and ExtCodeHash opcodes, fixing
   CodeHash SMT representation
 - We no longer dispatch Props to SMT that can be solved by a simplification
-- Allow user to change the verbosity level. For the moment, this is only to
-  print some warnings related to zero-address dereference
+- Allow user to change the verbosity level via `--verb`. For the moment, this is only to
+  print some warnings related to zero-address dereference and to print `hemv test`'s
+  output in case of failure
 
 ## Fixed
 - We now try to simplify expressions fully before trying to cast them to a concrete value
@@ -63,6 +64,8 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 - Warnings now lead printing FAIL. This way, users don't accidentally think that
   their contract is correct when there were cases/branches that hevm could not
   fully explore. Printing of issues is also now much more organized
+- `hevm test`'s flag ` --verbose` is now `--verb`, which also increases verbosity
+  for other elements of the system
 
 ## [0.54.2] - 2024-12-12
 

src/EVM/UnitTest.hs

@@ -240,7 +240,7 @@ symRun opts@UnitTestOptions{..} vm (Sig testName types) = do
     let allReverts = not . (any Expr.isSuccess) $ ends
     let unexpectedAllRevert = allReverts && not shouldFail
     when conf.debug $ liftIO $ putStrLn $ "symRun -- (cex,warnings,unexpectedAllRevert): " <> show (any isCex results, warnings, unexpectedAllRevert)
-    toPrint <- case (any isCex results, warnings, unexpectedAllRevert) of
+    txtResult <- case (any isCex results, warnings, unexpectedAllRevert) of
       (False, False, False) -> do
         -- happy case
         pure $ "   \x1b[32m[PASS]\x1b[0m " <> Text.unpack testName <> "\n"
@@ -256,7 +256,7 @@ symRun opts@UnitTestOptions{..} vm (Sig testName types) = do
         -- No cexes/errors/unknowns/partials, but all branches reverted
         pure $ "   \x1b[31m[FAIL]\x1b[0m " <> Text.unpack testName <> "\n"
           <> "   No reachable assertion violations, but all branches reverted\n"
-    liftIO $ putStr toPrint
+    liftIO $ putStr txtResult
     liftIO $ printWarnings ends results t
     pure (not (any isCex results), not (warnings || unexpectedAllRevert))