From 79939630908dc057876b4d46d7274e0458fee0b4 Mon Sep 17 00:00:00 2001 From: David Terry Date: Sun, 12 Sep 2021 23:47:10 +0200 Subject: [PATCH] dapp: remove extraneous quotes around replay string --- src/dapp/CHANGELOG.md | 4 ++++ src/dapp/libexec/dapp/dapp---hevm-opts | 2 +- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/src/dapp/CHANGELOG.md b/src/dapp/CHANGELOG.md index 4d92f7adc..1fe63feb0 100644 --- a/src/dapp/CHANGELOG.md +++ b/src/dapp/CHANGELOG.md @@ -11,6 +11,10 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0 - Dapp remappings ignores non-directories in `DAPP_LIB` +### Fixed + +- Dapp can correctly parse replay strings from invariant tests + ## [0.34.1] - 2021-09-08 ### Added diff --git a/src/dapp/libexec/dapp/dapp---hevm-opts b/src/dapp/libexec/dapp/dapp---hevm-opts index fd4a1bd88..efb11d4ae 100755 --- a/src/dapp/libexec/dapp/dapp---hevm-opts +++ b/src/dapp/libexec/dapp/dapp---hevm-opts @@ -16,7 +16,7 @@ opts=() [[ "$DAPP_TEST_CACHE" ]] && opts+=(--cache "$DAPP_TEST_CACHE") [[ "$DAPP_TEST_MATCH" ]] && opts+=(--match "$DAPP_TEST_MATCH") [[ "$DAPP_TEST_SOLVER" ]] && opts+=(--solver "$DAPP_TEST_SOLVER") -[[ "$DAPP_TEST_REPLAY" ]] && opts+=(--replay \'"$DAPP_TEST_REPLAY"\') +[[ "$DAPP_TEST_REPLAY" ]] && opts+=(--replay "$DAPP_TEST_REPLAY") [[ "$DAPP_TEST_VERBOSITY" ]] && opts+=(--verbose "$DAPP_TEST_VERBOSITY") [[ "$DAPP_TEST_COV_MATCH" ]] && opts+=(--cov-match "$DAPP_TEST_COV_MATCH") [[ "$DAPP_TEST_FUZZ_RUNS" ]] && opts+=(--fuzz-runs "$DAPP_TEST_FUZZ_RUNS")