remove invariant tests from existing token examples

Author: daejunpark

examples/tokens/ERC20/src/BuggyERC20.sol

@@ -2,7 +2,6 @@
 pragma solidity >=0.8.0 <0.9.0;
 
 import {ERC20Test} from "./ERC20Test.sol";
-import {ERC20InvariantTest} from "./ERC20InvariantTest.sol";
 
 import {OpenZeppelinERC20} from "../src/OpenZeppelinERC20.sol";
 
@@ -40,28 +39,3 @@ contract OpenZeppelinERC20Test is ERC20Test {
         _checkNoBackdoor(selector, args, caller, other);
     }
 }
-
-/// @custom:halmos --solver bitwuzla-abs --loop 4 --solver-timeout-assertion 0
-contract OpenZeppelinERC20InvariantTest is ERC20InvariantTest {
-    function setUp() public override {
-        address deployer = address(0x1000);
-
-        // deploy token
-        OpenZeppelinERC20 token_ = new OpenZeppelinERC20("OpenZeppelinERC20", "OpenZeppelinERC20", 1_000_000_000e18, deployer);
-        token = address(token_);
-
-        holders = new address[](4);
-        holders[0] = deployer;
-        holders[1] = address(0x1001);
-        holders[2] = address(0x1002);
-        holders[3] = address(0x1003);
-
-        // setup initial balances
-        for (uint i = 1; i < holders.length; i++) {
-            vm.prank(deployer);
-            token_.transfer(holders[i], 1_000_000e18);
-        }
-
-        super.setUp();
-    }
-}

examples/tokens/ERC20/test/BuggyERC20.t.sol

@@ -2,7 +2,6 @@
 pragma solidity >=0.8.0 <0.9.0;
 
 import {ERC20Test} from "./ERC20Test.sol";
-import {ERC20InvariantTest} from "./ERC20InvariantTest.sol";
 
 import {SoladyERC20} from "../src/SoladyERC20.sol";
 
@@ -40,26 +39,3 @@ contract SoladyERC20Test is ERC20Test {
         _checkNoBackdoor(selector, args, caller, other);
     }
 }
-
-/// @custom:halmos --storage-layout generic --solver bitwuzla-abs --loop 4 --solver-timeout-assertion 0
-contract SoladyERC20InvariantTest is ERC20InvariantTest {
-    function setUp() public override {
-        address deployer = address(0x1000);
-
-        SoladyERC20 token_ = new SoladyERC20("SoladyERC20", "SoladyERC20", 18, 1_000_000_000e18, deployer);
-        token = address(token_);
-
-        holders = new address[](4);
-        holders[0] = deployer;
-        holders[1] = address(0x1001);
-        holders[2] = address(0x1002);
-        holders[3] = address(0x1003);
-
-        for (uint i = 0; i < holders.length; i++) {
-            vm.prank(deployer);
-            token_.transfer(holders[i], 1_000_000e18);
-        }
-
-        super.setUp();
-    }
-}

examples/tokens/ERC20/test/ERC20InvariantTest.sol

@@ -2,7 +2,6 @@
 pragma solidity >=0.8.0 <0.9.0;
 
 import {ERC20Test} from "./ERC20Test.sol";
-import {ERC20InvariantTest} from "./ERC20InvariantTest.sol";
 
 import {SolmateERC20} from "../src/SolmateERC20.sol";
 
@@ -40,26 +39,3 @@ contract SolmateERC20Test is ERC20Test {
         _checkNoBackdoor(selector, args, caller, other);
     }
 }
-
-/// @custom:halmos --solver bitwuzla-abs --loop 4 --solver-timeout-assertion 0
-contract SolmateERC20InvariantTest is ERC20InvariantTest {
-    function setUp() public override {
-        address deployer = address(0x1000);
-
-        SolmateERC20 token_ = new SolmateERC20("SolmateERC20", "SolmateERC20", 18, 1_000_000_000e18, deployer);
-        token = address(token_);
-
-        holders = new address[](4);
-        holders[0] = deployer;
-        holders[1] = address(0x1001);
-        holders[2] = address(0x1002);
-        holders[3] = address(0x1003);
-
-        for (uint i = 0; i < holders.length; i++) {
-            vm.prank(deployer);
-            token_.transfer(holders[i], 1_000_000e18);
-        }
-
-        super.setUp();
-    }
-}

examples/tokens/ERC20/test/OpenZeppelinERC20.t.sol

@@ -2,7 +2,6 @@
 pragma solidity >=0.8.0 <0.9.0;
 
 import {ERC721Test} from "./ERC721Test.sol";
-import {ERC721InvariantTest} from "./ERC721InvariantTest.sol";
 
 import {OpenZeppelinERC721} from "../src/OpenZeppelinERC721.sol";
 
@@ -48,28 +47,3 @@ contract OpenZeppelinERC721Test is ERC721Test {
         _check_NoBackdoor(_calldata);
     }
 }
-
-/// @custom:halmos --solver bitwuzla-abs --loop 4 --solver-timeout-assertion 0
-contract OpenZeppelinERC721InvariantTest is ERC721InvariantTest {
-    function setUp() public override {
-        deployer = address(0x1000);
-
-        OpenZeppelinERC721 token_ = new OpenZeppelinERC721("OpenZeppelinERC721", "OpenZeppelinERC721", 5, deployer);
-        token = address(token_);
-
-        accounts = new address[](3);
-        accounts[0] = address(0x1001);
-        accounts[1] = address(0x1002);
-        accounts[2] = address(0x1003);
-
-        // setup initial balances
-        vm.startPrank(deployer);
-        token_.transferFrom(deployer, accounts[0], 1);
-        token_.transferFrom(deployer, accounts[0], 2);
-        token_.transferFrom(deployer, accounts[1], 3);
-        token_.transferFrom(deployer, accounts[2], 4);
-        vm.stopPrank();
-
-        super.setUp();
-    }
-}

examples/tokens/ERC20/test/SoladyERC20.t.sol

@@ -2,7 +2,6 @@
 pragma solidity >=0.8.0 <0.9.0;
 
 import {ERC721Test} from "./ERC721Test.sol";
-import {ERC721InvariantTest} from "./ERC721InvariantTest.sol";
 
 import {SoladyERC721} from "../src/SoladyERC721.sol";
 
@@ -50,28 +49,3 @@ contract SoladyERC721Test is ERC721Test {
         _check_NoBackdoor(_calldata);
     }
 }
-
-/// @custom:halmos --storage-layout generic --solver bitwuzla-abs --loop 4 --solver-timeout-assertion 0
-contract SoladyERC721InvariantTest is ERC721InvariantTest {
-    function setUp() public override {
-        deployer = address(0x1000);
-
-        SoladyERC721 token_ = new SoladyERC721("SoladyERC721", "SoladyERC721", 5, deployer);
-        token = address(token_);
-
-        accounts = new address[](3);
-        accounts[0] = address(0x1001);
-        accounts[1] = address(0x1002);
-        accounts[2] = address(0x1003);
-
-        // setup initial balances
-        vm.startPrank(deployer);
-        token_.transferFrom(deployer, accounts[0], 1);
-        token_.transferFrom(deployer, accounts[0], 2);
-        token_.transferFrom(deployer, accounts[1], 3);
-        token_.transferFrom(deployer, accounts[2], 4);
-        vm.stopPrank();
-
-        super.setUp();
-    }
-}

examples/tokens/ERC20/test/SolmateERC20.t.sol

@@ -2,7 +2,6 @@
 pragma solidity >=0.8.0 <0.9.0;
 
 import {ERC721Test} from "./ERC721Test.sol";
-import {ERC721InvariantTest} from "./ERC721InvariantTest.sol";
 
 import {SolmateERC721} from "../src/SolmateERC721.sol";
 
@@ -50,28 +49,3 @@ contract SolmateERC721Test is ERC721Test {
         _check_NoBackdoor(_calldata);
     }
 }
-
-/// @custom:halmos --solver bitwuzla-abs --loop 4 --solver-timeout-assertion 0
-contract SolmateERC721InvariantTest is ERC721InvariantTest {
-    function setUp() public override {
-        deployer = address(0x1000);
-
-        SolmateERC721 token_ = new SolmateERC721("SolmateERC721", "SolmateERC721", 5, deployer);
-        token = address(token_);
-
-        accounts = new address[](3);
-        accounts[0] = address(0x1001);
-        accounts[1] = address(0x1002);
-        accounts[2] = address(0x1003);
-
-        // setup initial balances
-        vm.startPrank(deployer);
-        token_.transferFrom(deployer, accounts[0], 1);
-        token_.transferFrom(deployer, accounts[0], 2);
-        token_.transferFrom(deployer, accounts[1], 3);
-        token_.transferFrom(deployer, accounts[2], 4);
-        vm.stopPrank();
-
-        super.setUp();
-    }
-}