Full BMC proof of Register
[soc.git] / Makefile
1 gitupdate:
2 git submodule init
3 git submodule update --recursive
4
5 install:
6 python3 setup.py develop # yes, develop, not install
7 python3 src/soc/decoder/pseudo/pywriter.py
8
9 test: install
10 python3 setup.py test # could just run nosetest3...