Testing problems: 1. coverage_html/passes/equiv/equiv_make.cc.gcov.html - 164-227 are not covered; 2. coverage_html/passes/equiv/equiv_add.cc.gcov.html - is not covered ("ERROR: This command must be executed in module context!")
Name |
Last commit
|
Last update |
---|---|---|
.. | ||
equiv_add | Loading commit data... | |
equiv_induct | Loading commit data... | |
equiv_make | Loading commit data... | |
equiv_make_fsm | Loading commit data... | |
equiv_mark | Loading commit data... | |
equiv_miter | Loading commit data... | |
equiv_opt | Loading commit data... | |
equiv_purge | Loading commit data... | |
equiv_remove | Loading commit data... | |
equiv_simple | Loading commit data... | |
equiv_simple_fsm | Loading commit data... | |
equiv_status | Loading commit data... | |
equiv_struct | Loading commit data... | |
scripts | Loading commit data... | |
.gitignore | Loading commit data... | |
Makefile | Loading commit data... | |
common.v | Loading commit data... | |
run.sh | Loading commit data... |