int VhpiShutdownCbHdl::run_callback(void) { set_call_state(GPI_DELETE); gpi_embed_end(); return 0; }
int VpiShutdownCbHdl::run_callback(void) { gpi_embed_end(); return 0; }