restored fallback test

gustavo-grieco · gustavo-grieco · commit d7fbd303c200 · 2025-08-05T14:36:18.000+02:00
diff --git a/src/test/Tests/Integration.hs b/src/test/Tests/Integration.hs
@@ -60,6 +60,8 @@ integrationTests = testGroup "Solidity Integration Testing"
       [ ("echidna_library_call failed",            solved      "echidna_library_call")
       , ("echidna_valid_timestamp failed",         passed      "echidna_valid_timestamp")
       ]
+  , testContractV "basic/fallback.sol"   (Just (< solcV (0,6,0))) Nothing
+      [ ("echidna_fallback failed",                solved      "echidna_fallback") ]
   , testContract "basic/push_long.sol" (Just "basic/push_long.yaml")
       [ ("test_long_5 passed",                     solvedWithout NoCall "test_long_5")]
   , testContract "basic/propGasLimit.sol" (Just "basic/propGasLimit.yaml")

Original file line number	Diff line number	Diff line change
`@@ -60,6 +60,8 @@ integrationTests = testGroup "Solidity Integration Testing"`
`60`	`60`	`[ ("echidna_library_call failed", solved "echidna_library_call")`
`61`	`61`	`, ("echidna_valid_timestamp failed", passed "echidna_valid_timestamp")`
`62`	`62`	`]`
	`63`	`+ , testContractV "basic/fallback.sol" (Just (< solcV (0,6,0))) Nothing`
	`64`	`+ [ ("echidna_fallback failed", solved "echidna_fallback") ]`
`63`	`65`	`, testContract "basic/push_long.sol" (Just "basic/push_long.yaml")`
`64`	`66`	`[ ("test_long_5 passed", solvedWithout NoCall "test_long_5")]`
`65`	`67`	`, testContract "basic/propGasLimit.sol" (Just "basic/propGasLimit.yaml")`