diff options
| author | Ruben Undheim <ruben.undheim@gmail.com> | 2018-10-18 21:27:04 +0200 |
|---|---|---|
| committer | Ruben Undheim <ruben.undheim@gmail.com> | 2018-10-18 22:40:53 +0200 |
| commit | d5aac2650f9169b2b890854083c5502b84adf115 (patch) | |
| tree | 9a0ef937b730d4c0f7452b0ceedfb642c83908ab /Makefile | |
| parent | a25f370191707def4d50dd42e74dec4d097a6a22 (diff) | |
| download | yosys-d5aac2650f9169b2b890854083c5502b84adf115.tar.gz yosys-d5aac2650f9169b2b890854083c5502b84adf115.tar.bz2 yosys-d5aac2650f9169b2b890854083c5502b84adf115.zip | |
Basic test for checking correct synthesis of SystemVerilog interfaces
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -573,6 +573,7 @@ test: $(TARGETS) $(EXTRA_TARGETS) +cd tests/bram && bash run-test.sh $(SEEDOPT) +cd tests/various && bash run-test.sh +cd tests/sat && bash run-test.sh + +cd tests/svinterfaces && bash run-test.sh $(SEEDOPT) @echo "" @echo " Passed \"make test\"." @echo "" @@ -655,6 +656,7 @@ clean: rm -rf tests/sat/*.log tests/techmap/*.log tests/various/*.log rm -rf tests/bram/temp tests/fsm/temp tests/realmath/temp tests/share/temp tests/smv/temp rm -rf vloghtb/Makefile vloghtb/refdat vloghtb/rtl vloghtb/scripts vloghtb/spec vloghtb/check_yosys vloghtb/vloghammer_tb.tar.bz2 vloghtb/temp vloghtb/log_test_* + rm -f tests/svinterfaces/*.log_stdout tests/svinterfaces/*.log_stderr tests/svinterfaces/dut_result.txt tests/svinterfaces/reference_result.txt tests/svinterfaces/a.out tests/svinterfaces/*_syn.v tests/svinterfaces/*.diff rm -f tests/tools/cmp_tbdata clean-abc: |