diff options
Diffstat (limited to 'scripts/smt2-bmc/.gitignore')
-rw-r--r-- | scripts/smt2-bmc/.gitignore | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/scripts/smt2-bmc/.gitignore b/scripts/smt2-bmc/.gitignore index 40f0c37..919b4a2 100644 --- a/scripts/smt2-bmc/.gitignore +++ b/scripts/smt2-bmc/.gitignore @@ -1,6 +1,12 @@ +__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 |