1%Error: t/t_dpi_name_bad.v:12:32: DPI function has illegal characters in C identifier name: 'badly.named' 2 12 | import "DPI-C" function int \badly.named (int i); 3 | ^~~~~~~~~~~~ 4%Error: Exiting due to 5
1%Error: t/t_dpi_name_bad.v:12:32: DPI function has illegal characters in C identifier name: 'badly.named' 2 12 | import "DPI-C" function int \badly.named (int i); 3 | ^~~~~~~~~~~~ 4%Error: Exiting due to 5