test_a_tradeoffs (test_model.Tests.test_a_tradeoffs) ... ok
test_b_same_tick_order (test_model.Tests.test_b_same_tick_order) ... ok
test_c_final_tradeoff (test_model.Tests.test_c_final_tradeoff) ... ok
test_c_late_answer_and_no_leak (test_model.Tests.test_c_late_answer_and_no_leak) ... ok
test_comparison_ghosts_same_rules (test_model.Tests.test_comparison_ghosts_same_rules) ... ok
test_departure_arrival_and_ids (test_model.Tests.test_departure_arrival_and_ids) ... ok
test_early_handoff (test_model.Tests.test_early_handoff) ... ok
test_early_unanswered_deadlines_survive (test_model.Tests.test_early_unanswered_deadlines_survive) ... ok
test_safe_and_replay (test_model.Tests.test_safe_and_replay) ... ok
test_undo_rejected_and_read (test_model.Tests.test_undo_rejected_and_read) ... ok
test_comparison_no_c_reveal (test_ui.Tests.test_comparison_no_c_reveal) ... ok
test_hold_across_pause (test_ui.Tests.test_hold_across_pause) ... ok
test_pause_release_latch (test_ui.Tests.test_pause_release_latch) ... ok
test_result_and_undo (test_ui.Tests.test_result_and_undo) ... ok
test_start_hold_and_simultaneous (test_ui.Tests.test_start_hold_and_simultaneous) ... ok

----------------------------------------------------------------------
Ran 15 tests in 0.010s

OK
