test_all_reasons_and_candidates (test_model.ModelTests.test_all_reasons_and_candidates) ... ok
test_case_isolation (test_model.ModelTests.test_case_isolation) ... ok
test_contradictions_only_known (test_model.ModelTests.test_contradictions_only_known) ... ok
test_early_and_story (test_model.ModelTests.test_early_and_story) ... ok
test_inspection_location (test_model.ModelTests.test_inspection_location) ... ok
test_invalid_states (test_model.ModelTests.test_invalid_states) ... ok
test_no_preride_ghosts (test_model.ModelTests.test_no_preride_ghosts) ... ok
test_save_and_corruption (test_model.ModelTests.test_save_and_corruption) ... ok
test_terminal_frozen (test_model.ModelTests.test_terminal_frozen) ... ok
test_timeline_oracle (test_model.ModelTests.test_timeline_oracle) ... ok
test_unseen_reason_never_selected (test_model.ModelTests.test_unseen_reason_never_selected) ... ok
test_chords (test_ui.UITests.test_chords) ... ok
test_display_variants_identical (test_ui.UITests.test_display_variants_identical) ... ok
test_held_help_action (test_ui.UITests.test_held_help_action) ... ok
test_help_release (test_ui.UITests.test_help_release) ... ok
test_reason_limit_and_replay (test_ui.UITests.test_reason_limit_and_replay) ... ok
test_retry_menu_case_dialogs (test_ui.UITests.test_retry_menu_case_dialogs) ... ok
test_start_gate_and_stagger (test_ui.UITests.test_start_gate_and_stagger) ... ok
test_wrong_then_correct_and_undo (test_ui.UITests.test_wrong_then_correct_and_undo) ... ok

----------------------------------------------------------------------
Ran 19 tests in 0.006s

OK
