make the harvey test more reliable

Author: gustavo-grieco

src/test/Tests/Research.hs

@@ -10,7 +10,7 @@ researchTests :: TestTree
 researchTests = testGroup "Research-based Integration Testing"
   [ testContract "research/harvey_foo.sol" Nothing
       [ ("echidna_assert failed",     solved "echidna_assert") ]
-  , testContract "research/harvey_baz.sol" Nothing
+  , testContract' "research/harvey_baz.sol" Nothing Nothing (Just "research/harvey.yaml") False FuzzWorker 
       [ ("echidna_all_states failed", solved "echidna_all_states") ]
   , testContract' "research/ilf_crowdsale.sol" Nothing (Just (\v -> v >= solcV (0,5,0) && v < solcV (0,6,0))) (Just "research/ilf_crowdsale.yaml") False FuzzWorker
       [ ("echidna_assert failed", solved "withdraw") ]

tests/solidity/research/harvey.yaml

@@ -0,0 +1,2 @@
+testLimit: 100000
+shrinkLimit: 100