test_all_fixed_sequences_and_comparison (test_model.ModelTests.test_all_fixed_sequences_and_comparison) ... ok
test_capacity_before_pickup (test_model.ModelTests.test_capacity_before_pickup) ... ok
test_collect_cannot_skip_or_duplicate (test_model.ModelTests.test_collect_cannot_skip_or_duplicate) ... ok
test_comparison_keeps_pickup (test_model.ModelTests.test_comparison_keeps_pickup) ... ok
test_day3_no_reservations (test_model.ModelTests.test_day3_no_reservations) ... ok
test_early_closure (test_model.ModelTests.test_early_closure) ... ok
test_empty_sale_illegal (test_model.ModelTests.test_empty_sale_illegal) ... ok
test_finite_all_cases (test_model.ModelTests.test_finite_all_cases) ... ok
test_memory_dialogue (test_model.ModelTests.test_memory_dialogue) ... ok
test_pickup_before_fixed_then_one_friend (test_model.ModelTests.test_pickup_before_fixed_then_one_friend) ... ok
test_purchase_cash_and_limits (test_model.ModelTests.test_purchase_cash_and_limits) ... ok
test_referral_cap_first_order (test_model.ModelTests.test_referral_cap_first_order) ... ok
test_rent_shortfall_ending (test_model.ModelTests.test_rent_shortfall_ending) ... ok
test_reserve_no_income (test_model.ModelTests.test_reserve_no_income) ... ok
test_restore_strict_and_corruption (test_model.ModelTests.test_restore_strict_and_corruption) ... ok
test_show_ledger_independent (test_model.ModelTests.test_show_ledger_independent) ... ok
test_skip_keeps_future_customers (test_model.ModelTests.test_skip_keeps_future_customers) ... ok
test_undo_replay_every_prefix (test_model.ModelTests.test_undo_replay_every_prefix) ... ok
test_chord_neutral (test_ui.UITests.test_chord_neutral) ... ok
test_confirm_requires_release (test_ui.UITests.test_confirm_requires_release) ... ok
test_corrupt_load_message (test_ui.UITests.test_corrupt_load_message) ... ok
test_held_start_and_staggered_action (test_ui.UITests.test_held_start_and_staggered_action) ... ok
test_help_pause_details_freeze_release (test_ui.UITests.test_help_pause_details_freeze_release) ... ok
test_hold_resume_does_not_commit (test_ui.UITests.test_hold_resume_does_not_commit) ... ok
test_preview_and_cancel_no_charge (test_ui.UITests.test_preview_and_cancel_no_charge) ... ok
test_retry_menu_result_gate (test_ui.UITests.test_retry_menu_result_gate) ... ok
test_save_load_preserves_state (test_ui.UITests.test_save_load_preserves_state) ... ok
test_save_phase_and_bad_load_atomic (test_ui.UITests.test_save_phase_and_bad_load_atomic) ... ok

----------------------------------------------------------------------
Ran 28 tests in 0.160s

OK
