YosysHQ / eqy

Equivalence checking with Yosys
https://yosyshq.readthedocs.io/projects/eqy/en/latest/
Other
29 stars 5 forks source link

Simplify coverage and add nerv example #25

Closed mmicko closed 1 year ago

mmicko commented 1 year ago

We now create one overall report that includes C++ and Python code coverage, this enables us to use unified reporting on CI. Also all python coverage is going into one sqlite3 file (.coverage) and it is easier to extend with new test cases/examples