FYI: the documentation here is extracted from source file main/prsim.cc.
Automatically save checkpoint file upon exit, regardless of the exit status. Useful for debugging and resuming simulations.
Batch mode. Run non-interactively, suppressing the prompt and disabling tab-completion (from readline or editline). Useful for scripted jobs. Opposite of -i.
Interactive mode. Show prompt before each command. Enable tab-completion if built with readline/editline. Opposite of -b.
Append path to the list of paths to search for sourcing other command scripts in the interpreter.
Optimize internal expanded representation of production rules. Optimizations do not affect the event outcome of simulations. Current valid values of lvl are 0 (none) and 1. For more details, See Optimization Flags.
Startup the simulation already recording a trace file of every event. Trace file is automatically close when simulation exits. This is equivalent issuing trace command at the beginning of a simulation session.
Instead of using the top-level instances in the source file, instantiate one instance of the named type, propagating its ports as top-level globals. In other words, use the referenced type as the top-level scope, ignoring the source's top-level instances. Convenient takes place of copy-propagating a single instance's ports.
Pass to indicate that input file is a source (to be compiled) as opposed to an object file.