Module testing 

Constants

REWRITE_SERIALISED_JSON_MAX_LINES

Limit how many lines of the rewrite serialisation we persist/compare in integration tests.

Functions

assert_eq_any_order

minion_solutions_from_json

read_human_rule_trace

Reads a human-readable rule trace text file.

read_model_json

read_model_json_prefix

Reads only the first max_lines from a serialised model JSON file.

read_solutions_json

save_model_json

save_solutions_json

Writes the minion solutions to a generated JSON file, and returns the JSON structure.

save_stats_json

serialize_model