test_atomic_invalid_and_no_early_finish (test_model.Rules.test_atomic_invalid_and_no_early_finish) ... ok
test_cleanup_and_due_boundary (test_model.Rules.test_cleanup_and_due_boundary) ... ok
test_comparison_same_initial_data (test_model.Rules.test_comparison_same_initial_data) ... ok
test_complete_undo (test_model.Rules.test_complete_undo) ... ok
test_existing_parallel_processing (test_model.Rules.test_existing_parallel_processing) ... ok
test_fifo_held_completed_and_simultaneous (test_model.Rules.test_fifo_held_completed_and_simultaneous) ... ok
test_policy_diversity (test_model.Rules.test_policy_diversity) ... ok
test_success_alternatives_and_failures (test_model.Rules.test_success_alternatives_and_failures) ... ok
test_all_state_text_projections_and_demo (test_ui.UI.test_all_state_text_projections_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 13 tests in 1.802s

OK
