Module testing

Source

Functionsยง

assert_eq_any_order
minion_solutions_from_json
read_human_rule_trace
Reads a human-readable rule trace text file.
read_minion_solutions_json
read_model_json
read_rule_trace
Reads a rule trace from a file. For the generated prefix, it appends a count message. Returns the lines of the file as a vector of strings.
save_minion_solutions_json
Writes the minion solutions to a generated JSON file, and returns the JSON structure.
save_model_json
save_stats_json
serialise_model