View source for 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 product configuration, you may not have all those files).

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