Fix non-ASCII characters in VPI test files to pass t_dist_whitespace

Replace the section sign and em-dash characters with ASCII equivalents
in t_flag_main_vpi.cpp and t_flag_main_vpi_lib2.cpp. The t_dist_whitespace
CI check rejects non-ASCII content in source files.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
This commit is contained in:
Matthew Ballance 2026-06-06 21:46:20 +00:00
parent 3f04d3d955
commit 393e4d4b86
2 changed files with 3 additions and 3 deletions

View File

@ -85,10 +85,10 @@ static void register_callbacks() {
vpi_register_cb(&cb_data);
}
// IEEE 1800 §37: vlog_startup_routines[] — null-terminated array of startup functions
// IEEE 1800 section 37: vlog_startup_routines[] -- null-terminated array of startup functions
extern "C" {
void (*vlog_startup_routines[])() = {register_callbacks, nullptr};
// Named bootstrap entrypoint used when library is loaded as <path>:my_vpi_bootstrap
// Named bootstrap entrypoint -- used when library is loaded as <path>:my_vpi_bootstrap
void my_vpi_bootstrap() { register_callbacks(); }
}

View File

@ -19,7 +19,7 @@
static void lib2_startup() { vpi_printf(const_cast<char*>("- second VPI library loaded\n")); }
// IEEE 1800 §37: vlog_startup_routines[] — null-terminated array of startup functions
// IEEE 1800 section 37: vlog_startup_routines[] -- null-terminated array of startup functions
extern "C" {
void (*vlog_startup_routines[])() = {lib2_startup, nullptr};
}