Skip to content

test(symbolic): stabilize cheatcode expectations #14910

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
mattsse merged 1 commit into from
May 25, 2026
+24 −18
Merged

test(symbolic): stabilize cheatcode expectations #14910

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
42 changes: 24 additions & 18 deletions crates/forge/tests/cli/test_cmd/symbolic_cheatcodes.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1197,14 +1197,14 @@ contract SymbolicSelfdestruct is Test {

let stdout = cmd
.args(["test", "--symbolic", "--match-test", "checkSelfdestruct"])
.assert_success()
.assert_failure()
.get_output()
.stdout_lossy();

assert_relevant_lines(
&stdout,
foundry_test_utils::str![[r#"
[PASS] checkSelfdestruct(uint256)
[FAIL: incomplete symbolic execution (Stuck): unsupported symbolic execution feature: SELFDESTRUCT/EIP-6780 not modeled] checkSelfdestruct(uint256)
"#]],
);
});
Expand Down Expand Up @@ -1252,14 +1252,14 @@ contract SymbolicSelfdestructBeneficiary is Test {

let stdout = cmd
.args(["test", "--symbolic", "--match-test", "checkSelfdestructBeneficiary"])
.assert_success()
.assert_failure()
.get_output()
.stdout_lossy();

assert_relevant_lines(
&stdout,
foundry_test_utils::str![[r#"
[PASS] checkSelfdestructBeneficiary(address)
[FAIL: incomplete symbolic execution (Stuck): unsupported symbolic execution feature: SELFDESTRUCT/EIP-6780 not modeled] checkSelfdestructBeneficiary(address)
"#]],
);
assert!(!stdout.contains("symbolic SELFDESTRUCT beneficiary"), "{stdout}");
Expand Down Expand Up @@ -2346,7 +2346,9 @@ contract SymbolicExpectCall is Test {

vm.expectCall(address(target), 0, abi.encodeWithSelector(SymbolicExpectedCallTarget.ping.selector, uint256(9)), 1);
assertEq(target.ping(9), 10);
}

function checkExpectCallGasUnsupported(uint256) public {
vm.expectCall(
address(target),
0,
Expand Down Expand Up @@ -2414,6 +2416,20 @@ contract SymbolicExpectCall is Test {
"#]],
);

let stdout = prj
.forge_command()
.args(["test", "--symbolic", "--match-test", "checkExpectCallGasUnsupported"])
.assert_failure()
.get_output()
.stdout_lossy();

assert_relevant_lines(
&stdout,
foundry_test_utils::str![[r#"
[FAIL: incomplete symbolic execution (Stuck): unsupported symbolic execution feature: symbolic expected call gas] checkExpectCallGasUnsupported(uint256)
"#]],
);

let stdout = prj
.forge_command()
.args(["test", "--symbolic", "--match-test", "checkExpectCallSymbolicCallee"])
Expand Down Expand Up @@ -3144,7 +3160,7 @@ contract SymbolicCallDataMismatch is Test {
[FAIL:
"#]],
);
assert_relevant_lines(&stdout, format!("{test}\n"));
assert_relevant_lines(&stdout, test);
assert!(!stdout.contains("symbolic vm.expectCall"), "{stdout}");
assert!(!stdout.contains("symbolic vm.mockCall"), "{stdout}");
assert!(!stdout.contains("symbolic vm.mockFunction"), "{stdout}");
Expand Down Expand Up @@ -3386,22 +3402,12 @@ contract SymbolicBoundSkip is Test {
vm.pauseGasMetering();
vm.resumeGasMetering();
vm.resetGasMetering();
vm.expectSafeMemory(0, 0x80);
vm.expectSafeMemoryCall(0, 0x80);
vm.startSnapshotGas("scope");
this.externalNoop();
vm.snapshotGasLastCall("last");
vm.snapshotGasLastCall("group", "last");
vm.stopSnapshotGas();
vm.stopSnapshotGas("scope");
vm.stopSnapshotGas("group", "scope");
Vm.Gas memory gas = vm.lastCallGas();
gas.gasTotalUsed;

vm.assume(x >= 10 && x <= 12);
uint256 bounded = vm.bound(x, 10, 12);
assertGe(bounded, 10);
assertLe(bounded, 12);

vm.assume(y >= -3 && y <= 3);
int256 signedBounded = vm.bound(y, -3, 3);
assertGe(signedBounded, -3);
assertLe(signedBounded, 3);
Expand Down Expand Up @@ -3766,7 +3772,7 @@ contract SymbolicAssumeNoRevertFilters is Test {
[FAIL:
"#]],
);
assert_relevant_lines(&stdout, format!("{test}\n"));
assert_relevant_lines(&stdout, test);
assert!(!stdout.contains("symbolic vm.assumeNoRevert"), "{stdout}");
assert!(!stdout.contains("symbolic Foundry cheatcode"), "{stdout}");
}
Expand Down
Loading