diff options
| author | Eric Smith <brouhaha@fedoraproject.org> | 2016-09-15 02:00:29 -0600 |
|---|---|---|
| committer | Eric Smith <brouhaha@fedoraproject.org> | 2016-09-22 11:49:29 -0600 |
| commit | f4240cc8a4545e4d2e2f926a72aa911d5373ab95 (patch) | |
| tree | 079778a42eff4da887b65b46e261fd96a28e62b0 /Makefile | |
| parent | d8ad889594cb5746d3d0b1f7590eeaf63d13c64a (diff) | |
| download | yosys-f4240cc8a4545e4d2e2f926a72aa911d5373ab95.tar.gz yosys-f4240cc8a4545e4d2e2f926a72aa911d5373ab95.tar.bz2 yosys-f4240cc8a4545e4d2e2f926a72aa911d5373ab95.zip | |
Add optional SEED=n command line option to Makefile, and -S n command line option to test scripts, for deterministic regression tests.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 22 |
1 files changed, 14 insertions, 8 deletions
@@ -404,16 +404,22 @@ endif yosys-abc$(EXE): abc/abc-$(ABCREV)$(EXE) $(P) cp abc/abc-$(ABCREV)$(EXE) yosys-abc$(EXE) +ifneq ($(SEED),) +SEEDOPT="-S $(SEED)" +else +SEEDOPT="" +endif + test: $(TARGETS) $(EXTRA_TARGETS) - +cd tests/simple && bash run-test.sh - +cd tests/hana && bash run-test.sh - +cd tests/asicworld && bash run-test.sh - +cd tests/realmath && bash run-test.sh - +cd tests/share && bash run-test.sh - +cd tests/fsm && bash run-test.sh + +cd tests/simple && bash run-test.sh $(SEEDOPT) + +cd tests/hana && bash run-test.sh $(SEEDOPT) + +cd tests/asicworld && bash run-test.sh $(SEEDOPT) + +cd tests/realmath && bash run-test.sh $(SEEDOPT) + +cd tests/share && bash run-test.sh $(SEEDOPT) + +cd tests/fsm && bash run-test.sh $(SEEDOPT) +cd tests/techmap && bash run-test.sh - +cd tests/memories && bash run-test.sh - +cd tests/bram && bash run-test.sh + +cd tests/memories && bash run-test.sh $(SEEDOPT) + +cd tests/bram && bash run-test.sh $(SEEDOPT) +cd tests/various && bash run-test.sh +cd tests/sat && bash run-test.sh @echo "" |