aboutsummaryrefslogtreecommitdiffstats
path: root/scripts/smt2-bmc/.gitignore
blob: 460c1c53d182bd09d2fa6eea89f13b3a6e29b8ba (plain) 
1
2
3
4
5
6

debug.smt2
mem_equiv_a.smt2
mem_equiv_b.smt2
mem_equiv_tb
mem_equiv_tb.v
mem_equiv_tb.vcd
generated by cgit (git 2.34.1) at 2024-07-09 07:32:03 +0000