diff options
Diffstat (limited to 'tb/top/conspiracion.cpp')
| -rw-r--r-- | tb/top/conspiracion.cpp | 28 |
1 files changed, 13 insertions, 15 deletions
diff --git a/tb/top/conspiracion.cpp b/tb/top/conspiracion.cpp index 4f0fb3d..49c05bf 100644 --- a/tb/top/conspiracion.cpp +++ b/tb/top/conspiracion.cpp @@ -261,6 +261,11 @@ int main(int argc, char **argv) parser, "image", "Executable image to run", args::Options::Required ); + args::Positional<std::string> coverage_out + ( + parser, "coverage-out", "Coverage output file" + ); + try { parser.ParseCLI(argc, argv); @@ -757,32 +762,25 @@ int main(int argc, char **argv) core.fetch->explicit_branch__VforceEn = 0; } - if(!no_tty) - { + if (!no_tty) ttyJ0.release(); - } - if(enable_trace) - { + if (enable_trace) trace.close(); - } - if(dump_regs) - { + if (dump_regs) do_reg_dump(); - } const auto &dumps = *dump_mem; - if(!dumps.empty()) - { + if (!dumps.empty()) do_mem_dump(dumps.data(), dumps.size()); - } top.final(); - if(ctrl != stdout) - { + if (ctrl != stdout) std::fclose(ctrl); - } + + if (coverage_out) + Verilated::threadContextp()->coveragep()->write(coverage_out->c_str()); return failed ? EXIT_FAILURE : EXIT_SUCCESS; } |