test_atomic_stock_quantity_temperature (test_model.Tests.test_atomic_stock_quantity_temperature) ... ok
test_authored_paths (test_model.Tests.test_authored_paths) ... ok
test_comparison_only_heat_rule (test_model.Tests.test_comparison_only_heat_rule) ... ok
test_deadline_and_repeated (test_model.Tests.test_deadline_and_repeated) ... ok
test_illegal_input_and_zero_history (test_model.Tests.test_illegal_input_and_zero_history) ... ok
test_optional_continues_after_goal (test_model.Tests.test_optional_continues_after_goal) ... ok
test_all_reachable_text_and_demo (test_ui.UI.test_all_reachable_text_and_demo) ... ok
test_paused_release_and_held_resume (test_ui.UI.test_paused_release_and_held_resume) ... ok
test_retry_undo_terminal_and_level (test_ui.UI.test_retry_undo_terminal_and_level) ... ok
test_transition_and_hold (test_ui.UI.test_transition_and_hold) ... ok

----------------------------------------------------------------------
Ran 10 tests in 1.469s

OK
