test_all_reachable_states_both_final_stages (__main__.Canonical.test_all_reachable_states_both_final_stages) ... ok
test_accept_at_end_then_other_order_continues (__main__.Rules.test_accept_at_end_then_other_order_continues) ... ok
test_all_actual_demo_controllers (__main__.Rules.test_all_actual_demo_controllers) ... ok
test_batch_one_turn (__main__.Rules.test_batch_one_turn) ... ok
test_bread_heat_and_inventory (__main__.Rules.test_bread_heat_and_inventory) ... ok
test_controller_undo_result_then_reset (__main__.Rules.test_controller_undo_result_then_reset) ... ok
test_deadline_after_committed_tick (__main__.Rules.test_deadline_after_committed_tick) ... ok
test_declared_exercises (__main__.Rules.test_declared_exercises) ... ok
test_draw_ascii_and_bounds (__main__.Rules.test_draw_ascii_and_bounds) ... ok
test_heat_fire_then_cooling (__main__.Rules.test_heat_fire_then_cooling) ... ok
test_heat_never_negative (__main__.Rules.test_heat_never_negative) ... ok
test_lesson_snippets (__main__.Rules.test_lesson_snippets) ... ok
test_license_and_dependencies (__main__.Rules.test_license_and_dependencies) ... ok
test_malformed_actions (__main__.Rules.test_malformed_actions) ... ok
test_no_input_hold_and_multiple_keys (__main__.Rules.test_no_input_hold_and_multiple_keys) ... ok
test_rejected_fire_same_state (__main__.Rules.test_rejected_fire_same_state) ... ok
test_rejection_does_not_add_undo (__main__.Rules.test_rejection_does_not_add_undo) ... ok
test_reset_wins_and_release_required (__main__.Rules.test_reset_wins_and_release_required) ... ok
test_rusk_counts_conserved (__main__.Rules.test_rusk_counts_conserved) ... ok
test_rusk_heat_boundaries (__main__.Rules.test_rusk_heat_boundaries) ... ok
test_stock_and_quantity_reject_atomically (__main__.Rules.test_stock_and_quantity_reject_atomically) ... ok
test_strict_quantity (__main__.Rules.test_strict_quantity) ... ok
test_success_and_terminal_freeze (__main__.Rules.test_success_and_terminal_freeze) ... ok
test_undo_success_every_field (__main__.Rules.test_undo_success_every_field) ... ok
test_windows_inclusive (__main__.Rules.test_windows_inclusive) ... ok

----------------------------------------------------------------------
Ran 25 tests in 0.140s

OK
oven_3 canonical states 620 edges 6200
oven_4 canonical states 620 edges 6200
