Skip to content

Commit d127137

Browse files
authored
chore: fix test_assume_no_revert failing test (#8802)
chore: fix nondeterministic failing test
1 parent 6d6d430 commit d127137

File tree

1 file changed

+7
-1
lines changed

1 file changed

+7
-1
lines changed

crates/forge/tests/cli/test_cmd.rs

Lines changed: 7 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1841,6 +1841,12 @@ forgetest_init!(test_assume_no_revert, |prj, cmd| {
18411841
prj.insert_vm();
18421842
prj.clear();
18431843

1844+
let config = Config {
1845+
fuzz: { FuzzConfig { runs: 100, seed: Some(U256::from(100)), ..Default::default() } },
1846+
..Default::default()
1847+
};
1848+
prj.write_config(config);
1849+
18441850
prj.add_source(
18451851
"Counter.t.sol",
18461852
r#"pragma solidity 0.8.24;
@@ -1909,7 +1915,7 @@ contract CounterRevertTest is DSTest {
19091915
[FAIL. Reason: assertion failed; counterexample: [..]] test_assume_no_revert_fail_assert(uint256) [..]
19101916
[FAIL. Reason: CheckError(); counterexample: [..]] test_assume_no_revert_fail_in_2nd_call(uint256) [..]
19111917
[FAIL. Reason: CheckError(); counterexample: [..]] test_assume_no_revert_fail_in_3rd_call(uint256) [..]
1912-
[PASS] test_assume_no_revert_pass(uint256) (runs: 256, [..])
1918+
[PASS] test_assume_no_revert_pass(uint256) [..]
19131919
...
19141920
"#]]);
19151921
});

0 commit comments

Comments
 (0)