add new test input

.github/workflows/test.yml

@@ -47,6 +47,8 @@ jobs:
         run: cargo build --verbose
       - name: Run on easy benchmark
         run: cargo run -- inputs/easy.btor
+      - name: Run on Adwait's easy benchmark
+        run: cargo run -- inputs/reg_en.bad.btor
       - name: Run on Shift Register w/ Depth 16 for 100k cycles
         run: cargo run -- --max-cycles=100000 hwmcc19/hwmcc19-single-benchmarks/btor2/bv/mann/data-integrity/unsafe/shift_register_top_w64_d16_e0.btor2
 

inputs/reg_en.bad.btor

@@ -0,0 +1,26 @@
+; BTOR description generated by Yosys 0.37+39 (git sha1 4585d60b8, clang 14.0.0-1ubuntu1.1 -fPIC -Os) for module miter.
+1 sort bitvec 32
+2 input 1 A.d ; examples/reg_en.v:32.12-35.6|examples/reg_en.v:7.23-7.24
+3 sort bitvec 1
+4 input 3 A.en ; examples/reg_en.v:32.12-35.6|examples/reg_en.v:6.16-6.18
+5 input 3 A.rst ; examples/reg_en.v:32.12-35.6|examples/reg_en.v:5.16-5.19
+6 input 1 B.d ; examples/reg_en.v:37.12-40.6|examples/reg_en.v:7.23-7.24
+7 input 3 B.en ; examples/reg_en.v:37.12-40.6|examples/reg_en.v:6.16-6.18
+8 input 3 B.rst ; examples/reg_en.v:37.12-40.6|examples/reg_en.v:5.16-5.19
+9 input 3 clk ; examples/reg_en.v:26.16-26.19
+10 state 1 A.q
+11 output 10 qA ; examples/reg_en.v:27.26-27.28
+12 state 1 B.q
+13 output 12 qB ; examples/reg_en.v:28.26-28.28
+14 uext 3 9 0 A.clk ; examples/reg_en.v:32.12-35.6|examples/reg_en.v:4.16-4.19
+15 uext 3 9 0 B.clk ; examples/reg_en.v:37.12-40.6|examples/reg_en.v:4.16-4.19
+16 ite 1 4 2 10
+17 const 1 00000000000000000000000000000000
+18 ite 1 5 17 16
+19 next 1 10 18
+20 ite 1 7 6 12
+21 ite 1 8 17 20
+22 next 1 12 21
+23 eq 3 10 12
+24 bad 23
+; end of yosys output