Module isla_axiomatic::run_litmus [−][src]
Structs
| LitmusRunInfo | |
| LitmusRunOpts |
Enums
| CallbackError | |
| LitmusRunError |
Functions
| litmus_per_candidate | |
| smt_output_per_candidate | This function runs a callback on the output of the SMT solver for each candidate execution combined with a cat model. |