add symtest in ci

daejunpark · daejunpark · commit 20f447e8ddfe · 2023-01-20T11:44:10.000-08:00
diff --git a/.github/workflows/ci-foundry.yml b/.github/workflows/ci-foundry.yml
@@ -37,3 +37,9 @@ jobs:
 
       - name: Run tests
         run: forge test
+
+      - name: Install symtest
+        run: python3 -m pip install --upgrade symtest
+
+      - name: Run symtest
+        run: symtest --function testProve --loop 4
