YosysHQ / eqy

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

For cronjob run regular tests #60

Closed mmicko closed 6 months ago

mmicko commented 6 months ago

When cron job is being executed coverage is not generated and it does not make sense to report that back anyway. For this reason we are running tests instead on cron job. "make clean" was removed as being leftover form old testing.

github-actions[bot] commented 6 months ago

File Coverage
All files 91% :white_check_mark:
src/eqy_recode.cc 100% :white_check_mark:
src/eqy_partition.cc 90% :white_check_mark:
src/eqy_combine.cc 98% :white_check_mark:
src/eqy.py 89% :x:
src/eqy_job.py 91% :white_check_mark:

Minimum allowed coverage is 90%

Generated by :monkey: cobertura-action against 4fa9989d79b198a3743abd7f286d50c60789df3c