Compile-time/run-time flags
From Verific Design Automation FAQ
Q: Are there options to control Verific software's behavior?
There are compile-time flags and run-time flags to control Verific software's behavior.
The compile-time flags are set at compile time. They are in these files:
database/DBCompileFlags.h hdl_file_sort/HdlFileSortCompileFlags.h synlib/SynlibCompileFlags.h verilog_nl/VeriNetlistCompileFlags.h verilog/VeriCompileFlags.h vhdl/VhdlCompileFlags.h
The run-time flags are set at run time with RuntimeFlags::SetVar(). They are in these files:
database/DBRuntimeFlags.h hier_tree/HierRuntimeFlags.h upf/UpfRuntimeFlags.h verilog/VeriRuntimeFlags.h vhdl/VhdlRuntimeFlags.h
(Depending on your Verific product configuration, you may not have all those files).
Note that many compile-time flags have run-time equivalent.