verific: Improve logic generated for SVA value change expressions

[yosys.git] / tests / sva / Makefile

diff --git a/tests/sva/Makefile b/tests/sva/Makefile
index 1b217f746e55c2eb9cabd209e35cb232f7a4120b..dcabcf42ba463eb33cadabb11e83b0d3b349b2c6 100644 (file)
--- a/tests/sva/Makefile
+++ b/tests/sva/Makefile
@@ -10,4 +10,5 @@ clean:
        rm -rf $(addsuffix .ok,$(TESTS)) $(addsuffix .sby,$(TESTS)) $(TESTS)
        rm -rf $(addsuffix _pass.sby,$(TESTS)) $(addsuffix _pass,$(TESTS))
        rm -rf $(addsuffix _fail.sby,$(TESTS)) $(addsuffix _fail,$(TESTS))
+       rm -rf $(addsuffix .fst,$(TESTS))