Coverage --annotate-min issues #1648
Comments
|
Original Redmine Comment When using --annotate-min I get And the logs/top.v file is not generated as it's fully covered - perhaps you're looking at stale results, I suggest adding a rm to the makefile, I'll fix that in the examples. Can you confirm this is the problem, or is it something else? |
|
Original Redmine Comment so if it is fully covered the logs/top.v is not generated ? |
|
Original Redmine Comment
Correct. I pushed fixing the examples to pre-remove the files. Sorry, others make the packages such as RPM/APT, so I don't know. I would certainly suggest building from git yourself as described under [[Installing]] here. |
Author Name: alaa ashraf
Original Redmine Issue: 1648 from https://www.veripool.org
Original Assignee: alaa ashraf
hello,
i am using verilator to test a simple mux 4_1. i need to calculate the branch coverage. i see that --coverage-line is a branch coverage. i want to use --annotate-min option because i need to cover only a branch one or two times. i am using this in the make file
and this in the end of sim_main_test
#if VM_COVERAGE
mkdir("logs", 0777);
VerilatedCov::write("logs/coverage.dat");
#endif
the problem is the annotated output (top.v in the logs/annotated file) is not generated.
when i don't use --annotate-min 1 the annotated output is generated but i get a very strange output coverage percentage equal 0 although i see each branch statements is count = 8 in the top.v in anotated file
could someone please explain to me what is going on ?
The text was updated successfully, but these errors were encountered: