test_apply_kernel (test_composition.TestKernel.test_apply_kernel) ... ok
test_bound_identity (test_composition.TestKernel.test_bound_identity) ... ok
test_bound_mixing (test_composition.TestKernel.test_bound_mixing) ... ok
test_dobrushin (test_composition.TestKernel.test_dobrushin) ... ok
test_invalid_distribution (test_composition.TestKernel.test_invalid_distribution) ... ok
test_invalid_gap (test_composition.TestKernel.test_invalid_gap) ... ok
test_invalid_kernel_shapes (test_composition.TestKernel.test_invalid_kernel_shapes) ... ok
test_kernel_row_validity (test_composition.TestKernel.test_kernel_row_validity) ... ok
test_row_error (test_composition.TestKernel.test_row_error) ... ok
test_stepwise_bound_exact_for_identical_kernels (test_composition.TestKernel.test_stepwise_bound_exact_for_identical_kernels) ... ok
test_sticky_trace (test_composition.TestKernel.test_sticky_trace) ... ok
test_trace_gap_every_step_under_bound (test_composition.TestKernel.test_trace_gap_every_step_under_bound) ... ok
test_trace_mixing_exact (test_composition.TestKernel.test_trace_mixing_exact) ... ok
test_trace_mixing_is_tight (test_composition.TestKernel.test_trace_mixing_is_tight) ... ok
test_tv_max (test_composition.TestKernel.test_tv_max) ... ok
test_tv_zero (test_composition.TestKernel.test_tv_zero) ... ok
test_discontinuous_trace (test_composition.TestParallel.test_discontinuous_trace) ... ok
test_naive_parallel_rejected (test_composition.TestParallel.test_naive_parallel_rejected) ... ok
test_pause_has_cost (test_composition.TestParallel.test_pause_has_cost) ... ok
test_safe_separate_destinations (test_composition.TestParallel.test_safe_separate_destinations) ... ok
test_safe_still (test_composition.TestParallel.test_safe_still) ... ok
test_same_destination_collision (test_composition.TestParallel.test_same_destination_collision) ... ok
test_same_start_cell_rejected (test_composition.TestParallel.test_same_start_cell_rejected) ... ok
test_schedule_safe (test_composition.TestParallel.test_schedule_safe) ... ok
test_swap_collision (test_composition.TestParallel.test_swap_collision) ... ok
test_bad_deadline (test_composition.TestPipeline.test_bad_deadline) ... ok
test_bad_delays_length (test_composition.TestPipeline.test_bad_delays_length) ... ok
test_bad_delays_negative (test_composition.TestPipeline.test_bad_delays_negative) ... ok
test_bad_energy (test_composition.TestPipeline.test_bad_energy) ... ok
test_bad_risk (test_composition.TestPipeline.test_bad_risk) ... ok
test_deadline (test_composition.TestPipeline.test_deadline) ... ok
test_declared_physical_authorization_not_used (test_composition.TestPipeline.test_declared_physical_authorization_not_used) ... ok
test_empty (test_composition.TestPipeline.test_empty) ... ok
test_exact_budget_equal_passes (test_composition.TestPipeline.test_exact_budget_equal_passes) ... ok
test_expired_packet (test_composition.TestPipeline.test_expired_packet) ... ok
test_frame_mismatch (test_composition.TestPipeline.test_frame_mismatch) ... ok
test_future_packet (test_composition.TestPipeline.test_future_packet) ... ok
test_global_risk (test_composition.TestPipeline.test_global_risk) ... ok
test_intermediate_channel_wrong (test_composition.TestPipeline.test_intermediate_channel_wrong) ... ok
test_intermediate_signature_wrong (test_composition.TestPipeline.test_intermediate_signature_wrong) ... ok
test_intermediate_version_wrong (test_composition.TestPipeline.test_intermediate_version_wrong) ... ok
test_interstage_delay_stales (test_composition.TestPipeline.test_interstage_delay_stales) ... ok
test_missing_channels (test_composition.TestPipeline.test_missing_channels) ... ok
test_never_grants_physical_authorization (test_composition.TestPipeline.test_never_grants_physical_authorization) ... ok
test_no_physical_actuation_symbols (test_composition.TestPipeline.test_no_physical_actuation_symbols) ... ok
test_observer_version_mismatch (test_composition.TestPipeline.test_observer_version_mismatch) ... ok
test_only_individual_risk_is_insufficient (test_composition.TestPipeline.test_only_individual_risk_is_insufficient) ... ok
test_resource (test_composition.TestPipeline.test_resource) ... ok
test_stage_bad_duration (test_composition.TestPipeline.test_stage_bad_duration) ... ok
test_stage_bad_probability (test_composition.TestPipeline.test_stage_bad_probability) ... ok
test_success_energy (test_composition.TestPipeline.test_success_energy) ... ok
test_success_finish (test_composition.TestPipeline.test_success_finish) ... ok
test_success_is_candidate_only (test_composition.TestPipeline.test_success_is_candidate_only) ... ok
test_success_risk (test_composition.TestPipeline.test_success_risk) ... ok
test_too_old_for_stage (test_composition.TestPipeline.test_too_old_for_stage) ... ok
test_type_mismatch (test_composition.TestPipeline.test_type_mismatch) ... ok
test_unrealizable_actuator (test_composition.TestPipeline.test_unrealizable_actuator) ... ok
test_unverified_model (test_composition.TestPipeline.test_unverified_model) ... ok
test_actual_conditional_hazard_bound (test_composition.TestProbability.test_actual_conditional_hazard_bound) ... ok
test_conditional_bound_le_union (test_composition.TestProbability.test_conditional_bound_le_union) ... ok
test_enumeration (test_composition.TestProbability.test_enumeration) ... ok
test_independent_coupling (test_composition.TestProbability.test_independent_coupling) ... ok
test_invalid_event_dependency (test_composition.TestProbability.test_invalid_event_dependency) ... ok
test_invalid_prob (test_composition.TestProbability.test_invalid_prob) ... ok
test_marginal_common_cause (test_composition.TestProbability.test_marginal_common_cause) ... ok
test_one_risk (test_composition.TestProbability.test_one_risk) ... ok
test_two_couplings_same_marginals (test_composition.TestProbability.test_two_couplings_same_marginals) ... ok
test_union_bound (test_composition.TestProbability.test_union_bound) ... ok
test_zero_risk (test_composition.TestProbability.test_zero_risk) ... ok

----------------------------------------------------------------------
Ran 69 tests in 0.014s

OK
