/pyosys-tests

pyosys tests

Primary LanguagePythonISC LicenseISC

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