test_b_roof_sequence (test_model.Tests.test_b_roof_sequence) ... ok
test_c_ambiguity (test_model.Tests.test_c_ambiguity) ... ok
test_early_submission_no_compare (test_model.Tests.test_early_submission_no_compare) ... ok
test_every_submission_mask_and_reason (test_model.Tests.test_every_submission_mask_and_reason) ... ok
test_independent_all_24000_paths (test_model.Tests.test_independent_all_24000_paths) ... ok
test_reverse_pair_and_replay (test_model.Tests.test_reverse_pair_and_replay) ... ok
test_transition_all_800_cases (test_model.Tests.test_transition_all_800_cases) ... ok
test_truth_and_witness_all_candidates (test_model.Tests.test_truth_and_witness_all_candidates) ... ok
test_undo_reject_and_bounds (test_model.Tests.test_undo_reject_and_bounds) ... ok
test_continued_hold_across_resume (test_ui.UI.test_continued_hold_across_resume) ... ok
test_navigation_no_time_and_opacity_endpoints (test_ui.UI.test_navigation_no_time_and_opacity_endpoints) ... ok
test_release_polled_in_pause (test_ui.UI.test_release_polled_in_pause) ... ok
test_render_glyph_coverage_and_bounds (test_ui.UI.test_render_glyph_coverage_and_bounds) ... ok
test_start_and_staggered_hold (test_ui.UI.test_start_and_staggered_hold) ... ok
test_undo_terminal_restart_latch (test_ui.UI.test_undo_terminal_restart_latch) ... ok

----------------------------------------------------------------------
Ran 15 tests in 0.123s

OK
