use testContract'

5 years ago · a7d48e67f2
parent 207f7fb0be
commit a7d48e67f2
1 changed files with 1 additions and 1 deletions
--- a/src/test/Spec.hs
+++ b/src/test/Spec.hs
@ -188,7 +188,7 @@ integrationTests = testGroup "Solidity Integration Testing"
      [ ("echidna_construct passed",               solved      "echidna_construct") ]
  , testContract "basic/gasprice.sol"     Nothing
      [ ("echidna_state passed",                   solved      "echidna_state") ]
-  , testContract "basic_multicontract/contracts/Foo.sol" (Just "basic_multicontract/echidna_config.yaml")
+  , testContract' "basic_multicontract/contracts/Foo.sol" (Just "Foo") (Just "basic_multicontract/echidna_config.yaml")
      [ ("echidna_test passed",                    solved      "echidna_test") ]
  , testContract "abiv2/Ballot.sol"       Nothing
      [ ("echidna_test passed",                    solved      "echidna_test") ]