test_all_success_alternatives (test_model.Rules.test_all_success_alternatives) ... ok
test_atomic_rejections (test_model.Rules.test_atomic_rejections) ... ok
test_complete_undo_fuel_and_item (test_model.Rules.test_complete_undo_fuel_and_item) ... ok
test_finite_search_invariants (test_model.Rules.test_finite_search_invariants) ... ok
test_home_forecast_with_refuel_and_drop (test_model.Rules.test_home_forecast_with_refuel_and_drop) ... ok
test_item_drop_stays_and_repickup (test_model.Rules.test_item_drop_stays_and_repickup) ... ok
test_low_result_terminal_and_comparison (test_model.Rules.test_low_result_terminal_and_comparison) ... ok
test_partial_refuel_and_no_reset (test_model.Rules.test_partial_refuel_and_no_reset) ... ok
test_zero_arrival_and_old_load (test_model.Rules.test_zero_arrival_and_old_load) ... ok
test_all_reachable_states_text_and_demo (test_ui.UI.test_all_reachable_states_text_and_demo) ... ok
test_evidence_unchanged (test_ui.UI.test_evidence_unchanged) ... ok
test_paused_release_and_held_resume (test_ui.UI.test_paused_release_and_held_resume) ... ok
test_retry_undo_terminal_and_level (test_ui.UI.test_retry_undo_terminal_and_level) ... ok
test_transition_and_hold (test_ui.UI.test_transition_and_hold) ... ok

----------------------------------------------------------------------
Ran 14 tests in 87.868s

OK
