Verissimo SystemVerilog Testbench Linter User Guide
Rev. 18.1.47, 15 February 2019
The +dvt_init+gcc directive resets the builder to the gcc default state.
File Extension to Language Syntax Mapping
Language Syntax for Unmapped Extensions: Skip unmapped extensions.
When you compile C/C++ code using gcc rather than the simulator, for each gcc invocation it is recommended to use a +dvt_init+gcc directive followed by the gcc command line arguments.