test_C_ambiguous_win_all_four_truths (test_model.Model.test_C_ambiguous_win_all_four_truths) ... ok
test_all_finite_candidates_and_solutions (test_model.Model.test_all_finite_candidates_and_solutions) ... ok
test_alternate_after_undo_has_no_physical_future (test_model.Model.test_alternate_after_undo_has_no_physical_future) ... ok
test_double_key_is_involution_unless_terminal (test_model.Model.test_double_key_is_involution_unless_terminal) ... ok
test_each_truth_and_seed_reproducible (test_model.Model.test_each_truth_and_seed_reproducible) ... ok
test_information_is_not_always_finish (test_model.Model.test_information_is_not_always_finish) ... ok
test_invalid_has_no_changes (test_model.Model.test_invalid_has_no_changes) ... ok
test_knowledge_does_not_leak_truth (test_model.Model.test_knowledge_does_not_leak_truth) ... ok
test_long_log_no_penalty (test_model.Model.test_long_log_no_penalty) ... ok
test_terminal_refusal_and_undo (test_model.Model.test_terminal_refusal_and_undo) ... ok
test_undo_reset_keep_complete_notebook (test_model.Model.test_undo_reset_keep_complete_notebook) ... ok
test_all_draw_text_bounds_and_glyphs (test_ui.UI.test_all_draw_text_bounds_and_glyphs) ... ok
test_fast_deliberate_taps_and_held_no_repeat (test_ui.UI.test_fast_deliberate_taps_and_held_no_repeat) ... ok
test_history_scroll_never_changes_lamps (test_ui.UI.test_history_scroll_never_changes_lamps) ... ok
test_left_right_reject (test_ui.UI.test_left_right_reject) ... ok
test_next_held_staggered_action (test_ui.UI.test_next_held_staggered_action) ... ok
test_no_idle_solution (test_ui.UI.test_no_idle_solution) ... ok
test_pause_resume_carry (test_ui.UI.test_pause_resume_carry) ... ok
test_reset_undo_and_menu_carry (test_ui.UI.test_reset_undo_and_menu_carry) ... ok
test_start_held_and_staggered (test_ui.UI.test_start_held_and_staggered) ... ok

----------------------------------------------------------------------
Ran 20 tests in 0.703s

OK
