mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-04-13 00:38:17 +00:00
Code Activity

Add "make test"

Browse source 
Signed-off-by: Claire Wolf <claire@symbioticeda.com>
This commit is contained in:
Claire Wolf 2020-07-20 17:17:49 +02:00
parent cddfebe029
commit 42d5255231
1 changed files with 69 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

69
Makefile
View file

@ -17,6 +17,9 @@ help:
@echo "make html" @echo "make html"
@echo " build documentation in docs/build/html/" @echo " build documentation in docs/build/html/"
@echo "" @echo ""
@echo "make test"
@echo " run examples"
@echo ""
@echo "make clean" @echo "make clean"
@echo " cleanup" @echo " cleanup"
@echo "" @echo ""
@ -34,6 +37,72 @@ else
chmod +x $(DESTDIR)$(PREFIX)/bin/sby chmod +x $(DESTDIR)$(PREFIX)/bin/sby
endif endif
test: \
test_demo1 test_demo2 test_demo3 \
test_abstract_abstr test_abstract_props \
test_demos_fib_cover test_demos_fib_prove test_demos_fib_live \
test_multiclk_dpmem \
test_puzzles_djb2hash test_puzzles_pour853to4 test_puzzles_wolfgoatcabbage \
test_puzzles_primegen_primegen test_puzzles_primegen_primes_pass test_puzzles_primegen_primes_fail \
test_quickstart_demo test_quickstart_cover test_quickstart_prove test_quickstart_memory
test_demo1:
python3 sbysrc/sby.py -f sbysrc/demo1.sby
test_demo2:
python3 sbysrc/sby.py -f sbysrc/demo2.sby
test_demo3:
python3 sbysrc/sby.py -f sbysrc/demo3.sby
test_abstract_abstr:
cd docs/examples/abstract && python3 ../../../sbysrc/sby.py -f abstr.sby
test_abstract_props:
cd docs/examples/abstract && python3 ../../../sbysrc/sby.py -f props.sby
test_demos_fib_cover:
cd docs/examples/demos && python3 ../../../sbysrc/sby.py -f fib.sby cover
test_demos_fib_prove:
cd docs/examples/demos && python3 ../../../sbysrc/sby.py -f fib.sby prove
test_demos_fib_live:
cd docs/examples/demos && python3 ../../../sbysrc/sby.py -f fib.sby live
test_multiclk_dpmem:
cd docs/examples/multiclk && python3 ../../../sbysrc/sby.py -f dpmem.sby
test_puzzles_djb2hash:
cd docs/examples/puzzles && python3 ../../../sbysrc/sby.py -f djb2hash.sby
test_puzzles_pour853to4:
cd docs/examples/puzzles && python3 ../../../sbysrc/sby.py -f pour_853_to_4.sby
test_puzzles_wolfgoatcabbage:
cd docs/examples/puzzles && python3 ../../../sbysrc/sby.py -f wolf_goat_cabbage.sby
test_puzzles_primegen_primegen:
cd docs/examples/puzzles && python3 ../../../sbysrc/sby.py -f primegen.sby primegen
test_puzzles_primegen_primes_pass:
cd docs/examples/puzzles && python3 ../../../sbysrc/sby.py -f primegen.sby primes_pass
test_puzzles_primegen_primes_fail:
cd docs/examples/puzzles && python3 ../../../sbysrc/sby.py -f primegen.sby primes_fail
test_quickstart_demo:
cd docs/examples/quickstart && python3 ../../../sbysrc/sby.py -f demo.sby
test_quickstart_cover:
cd docs/examples/quickstart && python3 ../../../sbysrc/sby.py -f cover.sby
test_quickstart_prove:
cd docs/examples/quickstart && python3 ../../../sbysrc/sby.py -f prove.sby
test_quickstart_memory:
cd docs/examples/quickstart && python3 ../../../sbysrc/sby.py -f memory.sby
html: html:
make -C docs html make -C docs html