@@ -188,6 +188,7 @@ forgetest!(invariant_calldata_dictionary, |prj, cmd| {
188188 prj. wipe_contracts( ) ;
189189 prj. insert_utils( ) ;
190190 prj. update_config( |config| {
191+ config. fuzz. seed = Some ( U256 :: from( 1 ) ) ;
191192 config. invariant. depth = 10 ;
192193 } ) ;
193194
@@ -293,7 +294,7 @@ Ran 1 test for test/InvariantCalldataDictionary.t.sol:InvariantCalldataDictionar
293294 [SEQUENCE]
294295 invariant_owner_never_changes() ([RUNS])
295296
296- [STATS]
297+ ...
297298
298299Suite result: FAILED. 0 passed; 1 failed; 0 skipped; [ELAPSED]
299300
@@ -1056,35 +1057,17 @@ contract InvariantRollForkStateTest is Test {
10561057
10571058 assert_invariant( cmd. args( [ "test" , "-j1" ] ) ) . failure( ) . stdout_eq( str ![ [ r#"
10581059...
1059- Ran 1 test for test/InvariantRollFork.t.sol:InvariantRollForkStateTest
1060- [FAIL: wrong supply]
1061- [SEQUENCE]
1062- invariant_fork_handler_state() ([RUNS])
1063-
1064- [STATS]
1065-
1066- Suite result: FAILED. 0 passed; 1 failed; 0 skipped; [ELAPSED]
1067-
1068- Ran 1 test for test/InvariantRollFork.t.sol:InvariantRollForkBlockTest
1069- [FAIL: too many blocks mined]
1070- [SEQUENCE]
1071- invariant_fork_handler_block() ([RUNS])
1072-
1073- [STATS]
1074-
1075- Suite result: FAILED. 0 passed; 1 failed; 0 skipped; [ELAPSED]
1076-
10771060Ran 2 test suites [ELAPSED]: 0 tests passed, 2 failed, 0 skipped (2 total tests)
10781061
10791062Failing tests:
10801063Encountered 1 failing test in test/InvariantRollFork.t.sol:InvariantRollForkBlockTest
10811064[FAIL: too many blocks mined]
1082- [SEQUENCE]
1065+ ...
10831066 invariant_fork_handler_block() ([RUNS])
10841067
10851068Encountered 1 failing test in test/InvariantRollFork.t.sol:InvariantRollForkStateTest
10861069[FAIL: wrong supply]
1087- [SEQUENCE]
1070+ ...
10881071 invariant_fork_handler_state() ([RUNS])
10891072
10901073Encountered a total of 2 failing tests, 0 tests succeeded
@@ -1098,6 +1081,7 @@ forgetest_init!(invariant_scrape_values, |prj, cmd| {
10981081 prj. wipe_contracts( ) ;
10991082 prj. update_config( |config| {
11001083 config. invariant. depth = 10 ;
1084+ config. fuzz. seed = Some ( U256 :: from( 100u32 ) ) ;
11011085 } ) ;
11021086
11031087 prj. add_test(
@@ -1173,24 +1157,6 @@ contract FindFromLogValueTest is Test {
11731157
11741158 assert_invariant( cmd. args( [ "test" , "-j1" ] ) ) . failure( ) . stdout_eq( str ![ [ r#"
11751159...
1176- Ran 1 test for test/InvariantScrapeValues.t.sol:FindFromReturnValueTest
1177- [FAIL: value from return found]
1178- [SEQUENCE]
1179- invariant_value_not_found() ([RUNS])
1180-
1181- [STATS]
1182-
1183- Suite result: FAILED. 0 passed; 1 failed; 0 skipped; [ELAPSED]
1184-
1185- Ran 1 test for test/InvariantScrapeValues.t.sol:FindFromLogValueTest
1186- [FAIL: value from logs found]
1187- [SEQUENCE]
1188- invariant_value_not_found() ([RUNS])
1189-
1190- [STATS]
1191-
1192- Suite result: FAILED. 0 passed; 1 failed; 0 skipped; [ELAPSED]
1193-
11941160Ran 2 test suites [ELAPSED]: 0 tests passed, 2 failed, 0 skipped (2 total tests)
11951161
11961162Failing tests:
0 commit comments