Ah, and I had to rename the test case files to `verilog_verilator_error.v` and change the `module` statement, to avoid `verilator` complaining about a mismatch between the module name and the file name.