Skip to content

Creation of eq assert tests #38

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
merged 9 commits into from
Jun 7, 2024
Merged

Creation of eq assert tests #38

Changes from all commits
Commits
Show all changes
9 commits
Select commit Hold shift + click to select a range
a7bff13
Add eq test in uint128 case
May 20, 2024
8202c53
assert eq tests
May 21, 2024
5ac3f78
Changes on tests
May 23, 2024
eacd02e
some typo adjusts
May 23, 2024
1407f76
typo changes
May 23, 2024
5d71468
description adjust
May 23, 2024
ac0adc2
final adjusts
May 23, 2024
af57c4b
adjusts in the tests
May 30, 2024
11a87b4
suggested changes
Jun 5, 2024
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
70 changes: 61 additions & 9 deletions test/Assert.t.sol
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,25 +4,77 @@ pragma solidity ^0.8.0;
import "forge-std/Test.sol";
import "forge-std/console.sol";

import "src/FuzzLibString.sol";

import {HelperAssert} from "../src/helpers/HelperAssert.sol";
import {PlatformTest} from "./util/PlatformTest.sol";

contract TestAsserts is Test, HelperAssert {

function setUp() public {
setPlatform(address(new PlatformTest()));
}

function test_TFail() public {
string memory reason = "Testing assertion";
function test_HelperAssert_t_true() public {
string memory reason = "example message";
t(true, reason);
}

function test_HelperAssert_t_false() public {
string memory reason = "example message";
vm.expectEmit(true, false, false, true);
emit AssertFail(reason);
vm.expectRevert(PlatformTest.TestAssertFail.selector);
t(false, reason);
}

function test_HelperAssert_eq_x_x_concrete() public {
uint256 x = 1;
eq(x, x, "eq does not revert with equal values");
}

function testFuzz_HelperAssert_eq_x_x_fuzz(uint256 x) public {
eq(x, x, "eq does not revert with the fuzz values");
}

function test_HelperAssert_eq_x_y_concrete() public {
uint256 x = 2;
uint256 y = 4;

string memory reason = "eq reverts with different values.";
string memory failReason = string(abi.encodePacked(
"Invalid: ",
FuzzLibString.toString(x),
"!=",
FuzzLibString.toString(y),
", reason: ",
reason
));
vm.expectEmit(true, false, false, true);
emit AssertEqFail(failReason);

vm.expectEmit(true, true, true, true);
emit AssertFail("Testing assertion");
vm.expectRevert(PlatformTest.TestAssertFail.selector);
t(false, reason);

eq(x, y, reason);
}

function test_TSuccess() public {
string memory reason = "Testing assertion";
t(true, reason);
function testFuzz_HelperAssert_eq_x_y_fuzz(uint256 x, uint256 y) public {
vm.assume(x != y);
string memory reason = "eq reverts with fuzz values.";

vm.expectEmit(true, false, false, true);
string memory failReason = string(abi.encodePacked(
"Invalid: ",
FuzzLibString.toString(x),
"!=",
FuzzLibString.toString(y),
", reason: ",
reason
));
emit AssertEqFail(failReason);

vm.expectRevert(PlatformTest.TestAssertFail.selector);

eq(x, y, reason);
}
}
}