test_body_not_center (test_model.Rules.test_body_not_center) ... ok
test_capped_wet_not_clean (test_model.Rules.test_capped_wet_not_clean) ... ok
test_clean_solutions (test_model.Rules.test_clean_solutions) ... ok
test_extreme_transition (test_model.Rules.test_extreme_transition) ... ok
test_mirror (test_model.Rules.test_mirror) ... ok
test_no_input_deterministic (test_model.Rules.test_no_input_deterministic) ... ok
test_no_warp_at_bridge (test_model.Rules.test_no_warp_at_bridge) ... ok
test_progress_retry (test_model.Rules.test_progress_retry) ... ok
test_puddle_once (test_model.Rules.test_puddle_once) ... ok
test_retry_and_pause (test_model.Rules.test_retry_and_pause) ... ok
test_safe_width_invariant (test_model.Rules.test_safe_width_invariant) ... ok
test_terminal_retry (test_model.Rules.test_terminal_retry) ... ok
test_transition_margin (test_model.Rules.test_transition_margin) ... ok
test_wet_choice (test_model.Rules.test_wet_choice) ... ok
test_terminal_T_then_next (test_ui.InputTests.test_terminal_T_then_next) ... ok
test_title_pause_reset_quit (test_ui.InputTests.test_title_pause_reset_quit) ... ok
test_umbrella_cycle (test_ui.InputTests.test_umbrella_cycle) ... ok

----------------------------------------------------------------------
Ran 17 tests in 0.075s

OK
