BugHunter Pro and the VeriLogger Simulators
db_finish
db_finish
db_finish
Finishes the current simulation.
Syntax:
$db_finish()