hevm: no whitespace in invariant replay data

Fixes #722. For some obscure reason related to bash array expansion, the
whitespace in the invariant replay data ended up being passed to hevm as
`' '` (i.e. two quotes with a space).

I don't know why bash adds these extra quotes, but we can just ignore
this problem by never including whitespace in replay strings...

src/hevm/CHANGELOG.md

@@ -1,5 +1,12 @@
 # hevm changelog
 
+## Unreleased
+
+## Fixed
+
+- Test contracts with no code (e.g. `abstract` contracts) are now skipped
+- Replay data for invariant tests is now displayed in a form that does not cause errors when used with `dapp test --replay`
+
 ## [0.48.1] - 2021-09-08
 
 ### Added
@@ -14,7 +21,6 @@
 ### Fixed
 
 - The block gas limit and basefee are now correctly fetched when running tests via rpc
-- Test contracts with no code (e.g. `abstract` contracts) are now skipped
 
 ## 0.48.0 - 2021-08-03
 

src/hevm/src/EVM/UnitTest.hs

@@ -581,7 +581,7 @@ exploreRun opts@UnitTestOptions{..} initialVm testName replayTxs = do
   then return ("\x1b[32m[PASS]\x1b[0m " <> testName <>  " (runs: " <> (pack $ show fuzzRuns) <>", depth: " <> pack (show depth) <> ")",
                Right (passOutput vm' opts testName), vm') -- no canonical "post vm"
   else let replayText = if null replayTxs
-                        then "\nReplay data: '(" <> pack (show testName) <> ", " <> pack (show (show (ByteStringS $ rlpencode counterex))) <> ")'"
+                        then "\nReplay data: '(" <> pack (show testName) <> "," <> pack (show (show (ByteStringS $ rlpencode counterex))) <> ")'"
                         else " (replayed)"
        in return ("\x1b[31m[FAIL]\x1b[0m " <> testName <> replayText, Left  (failOutput vm' opts testName), vm')