Skip to content

Latest commit

 

History

History
19 lines (13 loc) · 355 Bytes

README.md

File metadata and controls

19 lines (13 loc) · 355 Bytes

PYOSYS tests

These tests are possible to run with installed Yosys (with pyosys support enabled):

git clone https://github.com/YosysHQ/pyosys-tests
cd pyosys-tests
make 

Also it is possible to run tests within Yosys tree by executing:

make pystests

Please note that Yosys needs to be built with ENABLE_PYOSYS=1 enabled