test_B_same_reply_distinct_information (test_model.CouncilTests.test_B_same_reply_distinct_information) ... ok
test_all_worlds_reachable_with_budget (test_model.CouncilTests.test_all_worlds_reachable_with_budget) ... ok
test_finite_observation (test_model.CouncilTests.test_finite_observation) ... ok
test_honest_ambiguity_all_testimony (test_model.CouncilTests.test_honest_ambiguity_all_testimony) ... ok
test_invalid_and_repeat_are_free (test_model.CouncilTests.test_invalid_and_repeat_are_free) ... ok
test_oracle_bounded_and_zero_budget (test_model.CouncilTests.test_oracle_bounded_and_zero_budget) ... ok
test_oracle_uses_information_only (test_model.CouncilTests.test_oracle_uses_information_only) ... ok
test_true_world_never_removed_all_sequences (test_model.CouncilTests.test_true_world_never_removed_all_sequences) ... ok
test_undo_exact (test_model.CouncilTests.test_undo_exact) ... ok
test_wide_and_guess_refused (test_model.CouncilTests.test_wide_and_guess_refused) ... ok
test_all_text_bounds_and_glyphs (test_ui.UITests.test_all_text_bounds_and_glyphs) ... ok
test_carried_start_action_and_staggered (test_ui.UITests.test_carried_start_action_and_staggered) ... ok
test_demo_each_frame (test_ui.UITests.test_demo_each_frame) ... ok
test_pause_freeze_reset_undo (test_ui.UITests.test_pause_freeze_reset_undo) ... ok

----------------------------------------------------------------------
Ran 14 tests in 2.790s

OK
