Added extra $display to print the test name during coverage.

This commit is contained in:
Rose Thompson 2024-10-02 15:41:14 -05:00
parent 6ad27a436c
commit 083e583877

View File

@ -412,7 +412,7 @@ module testbench;
$fclose(outputFilePointer);
$display("Embench Benchmark: created output file: %s", outputfile);
end else if (TEST == "coverage64gc") begin
$display("Coverage tests don't get checked");
$display("%s ran. Coverage tests don't get checked", tests[test]);
end else if (ElfFile != "none") begin
$display("Single Elf file tests are not signatured verified.");
`ifdef QUESTA