diff options
| author | Jannis Harder <me@jix.one> | 2022-11-25 17:48:15 +0100 |
|---|---|---|
| committer | Jannis Harder <me@jix.one> | 2022-11-30 19:01:28 +0100 |
| commit | ce708122a5148e097debd09f300f83d0e0438326 (patch) | |
| tree | 093b01ed258cf95960e8367c2585a1643d9f5362 /Makefile | |
| parent | 5ff69a0fe291d04900c879652b4203775fbd7000 (diff) | |
| download | yosys-ce708122a5148e097debd09f300f83d0e0438326.tar.gz yosys-ce708122a5148e097debd09f300f83d0e0438326.tar.bz2 yosys-ce708122a5148e097debd09f300f83d0e0438326.zip | |
New xprop pass to encode 3-valued x-propagation using 2-valued logic
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -881,6 +881,7 @@ test: $(TARGETS) $(EXTRA_TARGETS) +cd tests/rpc && bash run-test.sh +cd tests/memfile && bash run-test.sh +cd tests/verilog && bash run-test.sh + +cd tests/xprop && bash run-test.sh $(SEEDOPT) @echo "" @echo " Passed \"make test\"." @echo "" |