test_boolean_is_not_integer_index (test_assurance.AssuranceTests.test_boolean_is_not_integer_index) ... ok
test_changed_model_and_rehashed_certificate_rejected (test_assurance.AssuranceTests.test_changed_model_and_rehashed_certificate_rejected) ... ok
test_complete_model_certifies (test_assurance.AssuranceTests.test_complete_model_certifies) ... ok
test_controls_expose_observational_ambiguity (test_assurance.AssuranceTests.test_controls_expose_observational_ambiguity) ... ok
test_conventional_baseline_equivalent (test_assurance.AssuranceTests.test_conventional_baseline_equivalent) ... ok
test_current_only_counterexample_is_restore_then_resume (test_assurance.AssuranceTests.test_current_only_counterexample_is_restore_then_resume) ... ok
test_deny_all_passes_safety_but_has_no_useful_actions (test_assurance.AssuranceTests.test_deny_all_passes_safety_but_has_no_useful_actions) ... ok
test_duplicate_edge_rejected (test_assurance.AssuranceTests.test_duplicate_edge_rejected) ... ok
test_duplicate_json_keys_rejected (test_assurance.AssuranceTests.test_duplicate_json_keys_rejected) ... ok
test_enforcement_preserves_proposal_measure (test_assurance.AssuranceTests.test_enforcement_preserves_proposal_measure) ... ok
test_forged_allow_rejected (test_assurance.AssuranceTests.test_forged_allow_rejected) ... ok
test_forged_counterexample_rejected (test_assurance.AssuranceTests.test_forged_counterexample_rejected) ... ok
test_illegal_history_reset_rejected (test_assurance.AssuranceTests.test_illegal_history_reset_rejected) ... ok
test_initial_omitted_rejected (test_assurance.AssuranceTests.test_initial_omitted_rejected) ... ok
test_integer_is_not_boolean_decision (test_assurance.AssuranceTests.test_integer_is_not_boolean_decision) ... ok
test_mutated_property_and_unknown_policy_rejected (test_assurance.AssuranceTests.test_mutated_property_and_unknown_policy_rejected) ... ok
test_omitted_edge_rejected (test_assurance.AssuranceTests.test_omitted_edge_rejected) ... ok
test_report_and_always_policies_have_checkable_failures (test_assurance.AssuranceTests.test_report_and_always_policies_have_checkable_failures) ... ok
test_self_reported_pass_not_accepted (test_assurance.AssuranceTests.test_self_reported_pass_not_accepted) ... ok
test_standalone_checker_runs_without_producer (test_assurance.AssuranceTests.test_standalone_checker_runs_without_producer) ... ok
test_tainted_history_cannot_recover_in_model (test_assurance.AssuranceTests.test_tainted_history_cannot_recover_in_model) ... ok
test_truncated_counterexample_rejected (test_assurance.AssuranceTests.test_truncated_counterexample_rejected) ... ok

----------------------------------------------------------------------
Ran 22 tests in 0.079s

OK
