verific: Improve logic generated for SVA value change expressions
[yosys.git] / tests / sva / Makefile
1
2 TESTS = $(sort $(basename $(wildcard *.sv)) $(basename $(wildcard *.vhd)))
3
4 all: $(addsuffix .ok,$(TESTS))
5
6 %.ok:
7 bash runtest.sh $@
8
9 clean:
10 rm -rf $(addsuffix .ok,$(TESTS)) $(addsuffix .sby,$(TESTS)) $(TESTS)
11 rm -rf $(addsuffix _pass.sby,$(TESTS)) $(addsuffix _pass,$(TESTS))
12 rm -rf $(addsuffix _fail.sby,$(TESTS)) $(addsuffix _fail,$(TESTS))
13 rm -rf $(addsuffix .fst,$(TESTS))
14