test_bank_and_replay_cross_process (test_model.ModelTests.test_bank_and_replay_cross_process) ... ok
test_boundary_and_exact_deadline (test_model.ModelTests.test_boundary_and_exact_deadline) ... ok
test_delivery_then_finite_supply (test_model.ModelTests.test_delivery_then_finite_supply) ... ok
test_immutable_forecast_and_invariants (test_model.ModelTests.test_immutable_forecast_and_invariants) ... ok
test_moor_wait_preserves_resources (test_model.ModelTests.test_moor_wait_preserves_resources) ... ok
test_partial_safe_return (test_model.ModelTests.test_partial_safe_return) ... ok
test_rejected_actions_do_not_advance (test_model.ModelTests.test_rejected_actions_do_not_advance) ... ok
test_tamper_explained (test_model.ModelTests.test_tamper_explained) ... ok
test_undo_replay (test_model.ModelTests.test_undo_replay) ... ok
test_upper_comparison_common_goal (test_model.ModelTests.test_upper_comparison_common_goal) ... ok
test_wind_from_new_layer_once (test_model.ModelTests.test_wind_from_new_layer_once) ... ok
test_export_feedback (test_ui.UITests.test_export_feedback) ... ok
test_extra_read_frames_do_not_change_model (test_ui.UITests.test_extra_read_frames_do_not_change_model) ... ok
test_pause_hold_across_resume (test_ui.UITests.test_pause_hold_across_resume) ... ok
test_pause_release_during_paused_frames (test_ui.UITests.test_pause_release_during_paused_frames) ... ok
test_restart_gate_and_undo (test_ui.UITests.test_restart_gate_and_undo) ... ok
test_seed_transition_blocks_primary (test_ui.UITests.test_seed_transition_blocks_primary) ... ok
test_simultaneous_decisions_are_rejected (test_ui.UITests.test_simultaneous_decisions_are_rejected) ... ok
test_staggered_decision_chord_waits_for_release (test_ui.UITests.test_staggered_decision_chord_waits_for_release) ... ok
test_start_latches_held_and_staggered (test_ui.UITests.test_start_latches_held_and_staggered) ... ok

----------------------------------------------------------------------
Ran 20 tests in 0.421s

OK
