Skip to content

YosysHQ/pyosys-tests

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

6 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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