@c "cmd/diagnostics.texi"
@c extracted from "../../src/sim/prsim/Command-prsim.cc"
@c by "$(top_srcdir)/scripts/extract_texinfo.awk".

@b{Diagnostic controls.}
The following commands control the simulation policy for run-time
logic violations.
Allowed arguments are: @t{ignore}, @t{warn}, @t{notify}, and @t{break}.
@t{ignore} silently ignores violations.
@t{notify} is the same as @t{warn}, which prints a diagnostic message
without interrupting the simulation.
@t{break} reports an error and stops the simulation.    
When no argument is given, just reports the current policy.  

