luke
/
verilator
mirror of https://github.com/verilator/verilator.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Change JSON make format to have trace_fst/trace_saif/trace_vcd

This commit is contained in:
Wilson Snyder 2025-04-08 22:42:02 -04:00
parent a094fd954b
commit 1ea9018e59
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/V3EmitMkJson.cpp
View File

@ -145,9 +145,6 @@ class V3EmitMkJsonEmitter final {
const std::unique_ptr<std::ofstream> of{
V3File::new_ofstream(makeDir + "/" + v3Global.opt.prefix() + ".json")};
const std::string trace
= v3Global.opt.trace() ? (v3Global.opt.traceFormat().vcd() ? "vcd" : "fst") : "off";
std::vector<string> classesFast;
std::vector<string> classesSlow;
std::vector<string> supportFast;
@ -206,7 +203,10 @@ class V3EmitMkJsonEmitter final {
.put("coverage", v3Global.opt.coverage())
.put("use_timing", v3Global.usesTiming())
.put("threads", v3Global.opt.threads())
.put("trace", trace)
.put("trace", v3Global.opt.trace())
.put("trace_fst", v3Global.opt.traceFormat().fst())
.put("trace_saif", v3Global.opt.traceFormat().saif())
.put("trace_vcd", v3Global.opt.traceFormat().vcd())
.end()
.begin("sources")
.putList("global", global)