@c "opt/option-a.texi"
@c extracted from "../../src/main/prsim.cc"
@c by "$(top_srcdir)/scripts/extract_texinfo.awk".

@cindex checkpoint
@cindex autosave
@defopt -a file
Automatically save checkpoint @var{file} upon exit, 
regardless of the exit status.
Useful for debugging and resuming simulations.  
@end defopt

