Allow the formal engine to perform a same-cycle result in the ALU

[soc.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index d48dc7ff1f94bf7d776c91bb0774f1be6d66c98f..916979dfa880dc64cffd5b66439e5c1cf0602c8b 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -10,9 +10,10 @@ Waveforms
 *.il
 **/*.gtkw
 .eggs
-
+formal_test_temp
 .vscode/*
 build
 gen
 .noseids
 nosetests.xml
+test-out