ci: fix filename

cucapra · Nov 13, 2023 · 02ae386 · 02ae386
1 parent 1927fcf
commit 02ae386
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -44,7 +44,7 @@ jobs:
       - name: Build
         run: cargo build --verbose --examples --release
       - name: load_signals
-        run: cargo run --release --example bmc -- inputs/Quiz1.vcd
+        run: cargo run --release --example bmc -- inputs/Quiz1.btor
 
 
   semver: