test_adaptive_history_example (test_lab.DigitalTests.test_adaptive_history_example) ... ok
test_all_32_core_configurations (test_lab.DigitalTests.test_all_32_core_configurations) ... ok
test_core_all_actions (test_lab.DigitalTests.test_core_all_actions) ... ok
test_five_ablation_witnesses (test_lab.DigitalTests.test_five_ablation_witnesses) ... ok
test_usefulness_nonconstant_in_authorized_result (test_lab.DigitalTests.test_usefulness_nonconstant_in_authorized_result) ... ok
test_withholding_does_not_change_output (test_lab.DigitalTests.test_withholding_does_not_change_output) ... ok
test_bad_public_input_rejected (test_lab.FunctionalGateTests.test_bad_public_input_rejected) ... ok
test_empty_task (test_lab.FunctionalGateTests.test_empty_task) ... ok
test_exhaustive_finite_sort_case (test_lab.FunctionalGateTests.test_exhaustive_finite_sort_case) ... ok
test_valid_proposal (test_lab.FunctionalGateTests.test_valid_proposal) ... ok
test_withheld_proposal (test_lab.FunctionalGateTests.test_withheld_proposal) ... ok
test_wrong_multiset_rejected (test_lab.FunctionalGateTests.test_wrong_multiset_rejected) ... ok
test_wrong_order_rejected (test_lab.FunctionalGateTests.test_wrong_order_rejected) ... ok
test_cost_identity_many_exact_integers (test_lab.OptimizationTests.test_cost_identity_many_exact_integers) ... ok
test_exact_counts (test_lab.OptimizationTests.test_exact_counts) ... ok
test_full_service_tradeoff (test_lab.OptimizationTests.test_full_service_tradeoff) ... ok
test_global_certificate (test_lab.OptimizationTests.test_global_certificate) ... ok
test_independent_checker (test_lab.OptimizationTests.test_independent_checker) ... ok
test_infeasible_certificate_rejected (test_lab.OptimizationTests.test_infeasible_certificate_rejected) ... ok
test_nonoptimal_witness_rejected (test_lab.OptimizationTests.test_nonoptimal_witness_rejected) ... ok
test_reoptimized_uncertainty (test_lab.OptimizationTests.test_reoptimized_uncertainty) ... ok
test_tampered_objective_rejected (test_lab.OptimizationTests.test_tampered_objective_rejected) ... ok
test_unique_best (test_lab.OptimizationTests.test_unique_best) ... ok
test_bad_control_rejected (test_lab.ThermalTests.test_bad_control_rejected) ... ok
test_bad_disturbance_rejected (test_lab.ThermalTests.test_bad_disturbance_rejected) ... ok
test_entire_integer_catalogue_classified (test_lab.ThermalTests.test_entire_integer_catalogue_classified) ... ok
test_finite_sign_sequence_supplement (test_lab.ThermalTests.test_finite_sign_sequence_supplement) ... ok
test_interval_induction_corner_certificate (test_lab.ThermalTests.test_interval_induction_corner_certificate) ... ok
test_invalid_envelope_rejected (test_lab.ThermalTests.test_invalid_envelope_rejected) ... ok
test_near_miss_algebraic_value (test_lab.ThermalTests.test_near_miss_algebraic_value) ... ok
test_near_miss_at_24_not_23 (test_lab.ThermalTests.test_near_miss_at_24_not_23) ... ok
test_quantization_is_essential (test_lab.ThermalTests.test_quantization_is_essential) ... ok
test_uncertainty_invalidates_original_winner (test_lab.ThermalTests.test_uncertainty_invalidates_original_winner) ... ok
test_winner_exact_radius (test_lab.ThermalTests.test_winner_exact_radius) ... ok

----------------------------------------------------------------------
Ran 34 tests in 0.285s

OK
