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

@deffn Command save ckpt
Saves the current simulator state to a checkpoint file @var{ckpt}
that can be restored later.  
Overwrites @var{ckpt} if it already exists.  
@end deffn

