Increase the error verbosity of the Verilog parser#965

Merged

tautschnig merged 1 commit intomainfrom error-verbose

Feb 4, 2025

+70-4

Commits on Feb 4, 2025

Increase the error verbosity of the Verilog parser
kroening
committed