@c "fn/assert.texi"
@c extracted from "../../lib/libchpfn/assert.cc"
@c by "$(top_srcdir)/scripts/extract_texinfo.awk".

@deffn Function assert z
Run-time invariant check.  If @var{z} is false, throw an exception
and halt the simulator, who is expected to produce some diagnostic message.
@end deffn

