issues
search
YosysHQ
/
sby
SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
Other
387
stars
73
forks
source link
Use the test Makefile for all examples
#175
Closed
jix
closed
2 years ago
jix
commented
2 years ago
Rename and move sbysrc/demo[123].sby to docs/examples/demos
Make them use multiple tasks for multiple engines
Scan docs/examples for sby files for make test
make ci
is now
NOSKIP
by default
Skip scripts using
verific
w/o yosys verific support
This does not fail even with NOSKIP set
make ci
is nowNOSKIP
by defaultverific
w/o yosys verific support