X-Git-Url: https://git.libre-soc.org/?a=blobdiff_plain;f=.gitignore;fp=.gitignore;h=3478b52cb0cb70cc0f8c1db298f740628cef3894;hb=f31101e483f25e53862f4394019cc250a583a7b6;hp=d48dc7ff1f94bf7d776c91bb0774f1be6d66c98f;hpb=dbda4f9d717789c0d3622e6a14e254dec99932e7;p=soc.git

diff --git a/.gitignore b/.gitignore
index d48dc7ff..3478b52c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -10,7 +10,7 @@ Waveforms
 *.il
 **/*.gtkw
 .eggs
-
+formal_test_temp
 .vscode/*
 build
 gen