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

@deffn Command assertn node value
Error out if @var{node} @emph{is} at value @var{value}.  
Error handling policy can be set by the @command{assert-fail} command.
By default such errors are fatal.  
@end deffn

