RMEM

Load litmus Load ELF Model

Next Back Restart Search

Link to this state Help

Include model parameters

Include command history

Include recent transitions as follow-list

Include default value of all options

Include window layout

TODO FIXME TEMPORARY: Rewrite links to use redirect

Shorten URL

Copied to clipboard.

Current ELF file: (none)

Source files (optional):

Number of threads to create:

Enable DWARF support

or enter a test below:

Out-of-order mode