ci: run simplify on real SMT file

cucapra · Dec 17, 2024 · d847253 · d847253
1 parent e0e2d5d
commit d847253
Show file tree

Hide file tree

Showing 2 changed files with 22,215 additions and 1 deletion.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -199,7 +199,7 @@ jobs:
       - name: Build
         run: cargo build --verbose --release -p simplify
       - name: run
-        run: cargo run --release -p simplify -- in.smt out.smt
+        run: cargo run --release -p simplify -- inputs/smtlib/arbiter_array_cex_w32d32q16n4b34.smt2 out.smt
 
 
   semver: