diff --git a/src/V3EmitCMain.cpp b/src/V3EmitCMain.cpp index c717b7751..be04510aa 100644 --- a/src/V3EmitCMain.cpp +++ b/src/V3EmitCMain.cpp @@ -62,6 +62,7 @@ private: puts("int main(int argc, char** argv, char**) {\n"); puts("// Setup context, defaults, and parse command line\n"); puts("Verilated::debug(0);\n"); + if (v3Global.opt.trace()) puts("Verilated::traceEverOn(true);\n"); puts("const std::unique_ptr contextp{new VerilatedContext};\n"); puts("contextp->commandArgs(argc, argv);\n"); puts("\n");