X-Git-Url: https://git.libre-soc.org/?a=blobdiff_plain;f=.gitignore;h=916979dfa880dc64cffd5b66439e5c1cf0602c8b;hb=HEAD;hp=d48dc7ff1f94bf7d776c91bb0774f1be6d66c98f;hpb=430c467806127054a0dd0774adaf82e43f0884ab;p=soc.git

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