ci: test sim

cucapra · Nov 21, 2023 · 2da038a · 2da038a
1 parent 717abfd
commit 2da038a
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -67,6 +67,9 @@ jobs:
       - name: bmc Quiz4 (with counter reset value)
         run: |
           cargo run --release --example bmc -- inputs/chiseltest/Quiz4.unsat.btor
+      - name: simulate keccak
+        run: |
+          cargo run --release --example sim -- --testbench=inputs/repair/keccak.original.tb.csv inputs/repair/keccak.original.btor
 
   semver:
     name: Check Semantic Versioning