test_common_action (test_verify_interface.ObserverInterfaceTests.test_common_action) ... ok
test_conflicting_domains_and_context (test_verify_interface.ObserverInterfaceTests.test_conflicting_domains_and_context) ... ok
test_exact_correction_still_ill_conditioned (test_verify_interface.ObserverInterfaceTests.test_exact_correction_still_ill_conditioned) ... ok
test_exact_rank (test_verify_interface.ObserverInterfaceTests.test_exact_rank) ... ok
test_full_report (test_verify_interface.ObserverInterfaceTests.test_full_report) ... ok
test_impossibility_due_to_observation_fibre (test_verify_interface.ObserverInterfaceTests.test_impossibility_due_to_observation_fibre) ... ok
test_linear_hidden_requires_extra_sensor (test_verify_interface.ObserverInterfaceTests.test_linear_hidden_requires_extra_sensor) ... ok
test_linear_task_visible_without_full_state (test_verify_interface.ObserverInterfaceTests.test_linear_task_visible_without_full_state) ... ok
test_task_irrelevant_ambiguity_is_fine (test_verify_interface.ObserverInterfaceTests.test_task_irrelevant_ambiguity_is_fine) ... ok

----------------------------------------------------------------------
Ran 9 tests in 0.001s

OK
