Compile-time/run-time flags

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 code configuration, you may not have all those files).

Note that many compile-time flags have run-time equivalent.