ci: more bmc tests

cucapra · Nov 20, 2023 · 9967e16 · 9967e16
1 parent 5883109
commit 9967e16
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 1 deletion.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -43,7 +43,13 @@ jobs:
       - name: Build
         run: cargo build --verbose --examples --release
       - name: bmc Quiz1
-        run: cargo run --release --example bmc -- inputs/Quiz1.btor
+        run: |
+          cargo run --release --example bmc -- inputs/Quiz1.btor > Quiz1.wit
+          btorsim inputs/Quiz1.btor Quiz1.wit
+      - name: bmc const array example
+        run: |
+          cargo run --release --example bmc -- inputs/const_array_example.btor > const_array_example.wit
+          btorsim inputs/const_array_example.btor const_array_example.wit 
 
 
   semver:

diff --git a/.gitignore b/.gitignore
@@ -2,3 +2,4 @@
 /Cargo.lock
 /.idea/
 /*.smt
+/*.wit
-Original file line number
+Diff line change
@@ Expand Up / @@ -2,3 +2,4 @@ @@
     /Cargo.lock
     /.idea/
     /*.smt
+    /*.wit