test_hamming (test_xpvb04.TestBundleAndProjections.test_hamming) ... ok
test_hamming_length_error (test_xpvb04.TestBundleAndProjections.test_hamming_length_error) ... ok
test_hamming_links (test_xpvb04.TestBundleAndProjections.test_hamming_links) ... ok
test_inconsistent_layers_rejected (test_xpvb04.TestBundleAndProjections.test_inconsistent_layers_rejected) ... ok
test_links_not_all_value_pairs (test_xpvb04.TestBundleAndProjections.test_links_not_all_value_pairs) ... ok
test_mixed_depth_links_rejected (test_xpvb04.TestBundleAndProjections.test_mixed_depth_links_rejected) ... ok
test_numeric_fiber_not_injective (test_xpvb04.TestBundleAndProjections.test_numeric_fiber_not_injective) ... ok
test_prefix_surjectivity (test_xpvb04.TestBundleAndProjections.test_prefix_surjectivity) ... ok
test_root_statistics (test_xpvb04.TestBundleAndProjections.test_root_statistics) ... ok
test_symbolic_nonenumerated (test_xpvb04.TestBundleAndProjections.test_symbolic_nonenumerated) ... ok
test_wrong_level_rejected (test_xpvb04.TestBundleAndProjections.test_wrong_level_rejected) ... ok
test_approach_one (test_xpvb04.TestLimitsAndObservers.test_approach_one) ... ok
test_approach_zero (test_xpvb04.TestLimitsAndObservers.test_approach_zero) ... ok
test_certified_observer (test_xpvb04.TestLimitsAndObservers.test_certified_observer) ... ok
test_delayed_divergence (test_xpvb04.TestLimitsAndObservers.test_delayed_divergence) ... ok
test_demo_determinism (test_xpvb04.TestLimitsAndObservers.test_demo_determinism) ... ok
test_full_demo (test_xpvb04.TestLimitsAndObservers.test_full_demo) ... ok
test_invalid_limit_parameter (test_xpvb04.TestLimitsAndObservers.test_invalid_limit_parameter) ... ok
test_invalid_negative_prefix (test_xpvb04.TestLimitsAndObservers.test_invalid_negative_prefix) ... ok
test_noncommuting_finite_signatures (test_xpvb04.TestLimitsAndObservers.test_noncommuting_finite_signatures) ... ok
test_numerical_diagonal_tends_e (test_xpvb04.TestLimitsAndObservers.test_numerical_diagonal_tends_e) ... ok
test_prefix_agreement (test_xpvb04.TestLimitsAndObservers.test_prefix_agreement) ... ok
test_unbounded_log_growth (test_xpvb04.TestLimitsAndObservers.test_unbounded_log_growth) ... ok
test_uninformed_observer (test_xpvb04.TestLimitsAndObservers.test_uninformed_observer) ... ok
test_a_macro (test_xpvb04.TestMacroModel.test_a_macro) ... ok
test_b_micro_excursion (test_xpvb04.TestMacroModel.test_b_micro_excursion) ... ok
test_depth_counts (test_xpvb04.TestMacroModel.test_depth_counts) ... ok
test_macro_invariant_all_enumerated (test_xpvb04.TestMacroModel.test_macro_invariant_all_enumerated) ... ok
test_micro_cost_nondegenerate (test_xpvb04.TestMacroModel.test_micro_cost_nondegenerate) ... ok
test_negative_depth_rejected (test_xpvb04.TestMacroModel.test_negative_depth_rejected) ... ok
test_phase_distinction (test_xpvb04.TestMacroModel.test_phase_distinction) ... ok
test_provenance_non_identity (test_xpvb04.TestMacroModel.test_provenance_non_identity) ... ok
test_root (test_xpvb04.TestMacroModel.test_root) ... ok
test_too_large_enum_rejected (test_xpvb04.TestMacroModel.test_too_large_enum_rejected) ... ok
test_word_order (test_xpvb04.TestMacroModel.test_word_order) ... ok
test_wrong_input_rejected (test_xpvb04.TestMacroModel.test_wrong_input_rejected) ... ok
test_wrong_operator_rejected (test_xpvb04.TestMacroModel.test_wrong_operator_rejected) ... ok

----------------------------------------------------------------------
Ran 37 tests in 0.017s

OK
