feat: difftest framework
This commit is contained in:
parent
97cf418c86
commit
849f2bb5f3
15 changed files with 318 additions and 84 deletions
|
@ -9,13 +9,16 @@ void Config::cli_parse(int argc, char **argv) {
|
|||
"Memory file is in text format");
|
||||
app.add_flag("--trace", do_trace, "Enable tracing");
|
||||
app.add_option("--wav", wavefile, "output .vcd file path")
|
||||
->check([this](const std::string &) {
|
||||
if (!this->do_trace)
|
||||
->check([=](const std::string &) {
|
||||
if (!do_trace)
|
||||
throw CLI::ValidationError(
|
||||
"dependency", "You must turn on trace before specify wave file");
|
||||
return std::string();
|
||||
});
|
||||
app.add_option("-t", max_sim_time, "Max simulation timestep");
|
||||
app.add_option("--diff-lib", lib_ref,
|
||||
"Dynamic library file of difftest reference")
|
||||
->check(CLI::ExistingFile);
|
||||
|
||||
try {
|
||||
app.parse(argc, argv);
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue