Giters
YosysHQ
/
mcy
Mutation Cover with Yosys (MCY)
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
77
Watchers:
15
Issues:
5
Forks:
9
YosysHQ/mcy Issues
Error when printing mutation with 'mcy list --details'
Closed
4 months ago
Comments count
1
How to build documentation?
Closed
2 years ago
Comments count
1
picorv32_primes example bitrotted
Closed
2 years ago
Comments count
1
mcy gui: small inconveniences
Updated
4 years ago
if iverilog isn't installed, fails with cryptic error
Closed
4 years ago
Comments count
3