Test signals with nonzero start offsets in aim files with smtbmc

[SymbiYosys.git] / tests / .gitignore

diff --git a/tests/.gitignore b/tests/.gitignore
index 212f4ddbe1f3e25fcc3abb967ed421e5905ef440..120675bec4354855a2ba9fe51cff81368d3f05b8 100644 (file)
--- a/tests/.gitignore
+++ b/tests/.gitignore
@@ -10,3 +10,4 @@
 /junit_*/
 /submod_props*/
 /multi_assert*/
+/aim_vs_smt2_nonzero_start_offset*/