2019-07-12 04:09:30 +02:00
|
|
|
%Error: t/t_dpi_name_bad.v:11: DPI function has illegal characters in C identifier name: 'badly.named'
|
2019-07-15 03:42:03 +02:00
|
|
|
import "DPI-C" function int \badly.named (int i);
|
|
|
|
|
^~~~~~~~~~~~
|
2019-06-13 03:49:40 +02:00
|
|
|
%Error: Exiting due to
|