diff options
Diffstat (limited to 'scripts/smt2-bmc/.gitignore')
| -rw-r--r-- | scripts/smt2-bmc/.gitignore | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/scripts/smt2-bmc/.gitignore b/scripts/smt2-bmc/.gitignore deleted file mode 100644 index 919b4a2..0000000 --- a/scripts/smt2-bmc/.gitignore +++ /dev/null @@ -1,12 +0,0 @@ -__pycache__ -debug.smt2 -async_a.smt2 -async_b.smt2 -async_tb -async_tb.v -async_tb.vcd -sync_a.smt2 -sync_b.smt2 -sync_tb -sync_tb.v -sync_tb.vcd |