verific: Improve logic generated for SVA value change expressions

[yosys.git] / tests / sva / .gitignore

diff --git a/tests/sva/.gitignore b/tests/sva/.gitignore
index cc254049ab4c2973ccb592a49c4f453a76270c88..b1965c97d3a70e06df64f2ead01673b4f273f862 100644 (file)
--- a/tests/sva/.gitignore
+++ b/tests/sva/.gitignore
@@ -3,5 +3,6 @@
 /*_pass
 /*_fail
 /*.ok
+/*.fst
 /vhdlpsl[0-9][0-9]
 /vhdlpsl[0-9][0-9].sby