Smr 2459 invariant testing

.github/workflows/test.yml

@@ -24,6 +24,11 @@ jobs:
         with:
           submodules: recursive
 
+      - name: Set Node.js 18.18.x
+        uses: actions/setup-node@v3
+        with:
+          node-version: 18.18.x
+
       - name: Install Foundry
         uses: foundry-rs/foundry-toolchain@v1
         with:
@@ -35,12 +40,38 @@ jobs:
           forge build --sizes
         id: build
 
-      - name: Run unit and integration tests
+      - name: Run install
+        uses: borales/actions-yarn@v4
+        with:
+          cmd: install
+
+      - name: Run build
+        uses: borales/actions-yarn@v4
+        with:
+          cmd: build
+
+      - name: Run Unit Tests
         run: |
-          forge test --no-match-path "test/fork/**" -vvv
-        id: unit_integration_test
+          forge test --match-path "test/unit/**" -vvv
+        id: unit_test
+
+      - name: Run Integration Tests
+        run: |
+          forge test --match-path "test/integration/**" -vvv
+        id: integration_test
+
+      - name: Run Fuzz Tests
+        run: |
+          forge test --match-path "test/fuzz/**" -vvv
+        id: fuzz_test
 
       - name: Run Fork Tests
         run: |
           forge test --match-path "test/fork/**" -vvvvv
         id: fork_test
+
+      - name: Run Invariant Tests
+        run: |
+          yarn local:testchain
+          forge test --match-path "test/invariant/**" -vvvvv
+        id: invariant_test

package.json

@@ -15,6 +15,7 @@
         "local:ci": "cd scripts/localdev; rm -rf .child.bridge.contracts.json .root.bridge.contracts.json; ./ci.sh && ./deploy.sh && AXELAR_API_URL=skip npx mocha --require mocha-suppress-logs ../e2e/e2e.ts && ./stop.sh",
         "local:chainonly": "cd scripts/localdev; LOCAL_CHAIN_ONLY=true ./start.sh",
         "local:axelaronly": "cd scripts/localdev; npx ts-node axelar_setup.ts",
+        "local:testchain": "cd scripts/localdev; ./chains.sh",
         "stop": "cd scripts/localdev; ./stop.sh"
     },
     "author": "",

scripts/localdev/chains.sh

@@ -0,0 +1,10 @@
+#!/bin/bash
+set -ex
+set -o pipefail
+
+# Stop previous deployment.
+./stop.sh
+
+# Start root & child chain.
+npx hardhat node --config ./rootchain.config.ts --port 8500 > /dev/null 2>&1 &
+sleep 10

scripts/localdev/resetchain.config.ts

@@ -0,0 +1,21 @@
+import { HardhatUserConfig } from "hardhat/config";
+import "@nomicfoundation/hardhat-toolbox";
+
+const config: HardhatUserConfig = {
+  networks: {
+    hardhat: {
+      hardfork: "shanghai",
+      mining: {
+        auto: false,
+        interval: 1200
+      },
+      chainId: 2502,
+      accounts: [],
+    },
+    localhost: {
+      url: "http://127.0.0.1:8502/",
+    }
+  },
+  solidity: "0.8.19",
+};
+export default config;