[INFO] fetching crate deep_causality_algebra 0.4.8...
[INFO] testing deep_causality_algebra-0.4.8 against 1.100.0-beta.1+cargoflags=--release for beta-release-1.100-2
[INFO] extracting crate deep_causality_algebra 0.4.8 into /workspace/builds/worker-3-tc2/source
[INFO] started tweaking crates.io crate deep_causality_algebra 0.4.8
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate deep_causality_algebra 0.4.8
[INFO] tweaked toml for crates.io crate deep_causality_algebra 0.4.8 written to /workspace/builds/worker-3-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate deep_causality_algebra 0.4.8 on toolchain 1.100.0-beta.1
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.100.0-beta.1" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate deep_causality_algebra 0.4.8 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.100.0-beta.1" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:77db811e55d90add9212f6832c23229e3de5f1c1f9905e8cb07319ea15df73ac" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 741fd5a6add7688a27b3d7adc322ef454a1ee6374fa465da25bea9088830fc9e
[INFO] running `Command { std: "docker" "start" "741fd5a6add7688a27b3d7adc322ef454a1ee6374fa465da25bea9088830fc9e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "741fd5a6add7688a27b3d7adc322ef454a1ee6374fa465da25bea9088830fc9e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "741fd5a6add7688a27b3d7adc322ef454a1ee6374fa465da25bea9088830fc9e" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "741fd5a6add7688a27b3d7adc322ef454a1ee6374fa465da25bea9088830fc9e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "741fd5a6add7688a27b3d7adc322ef454a1ee6374fa465da25bea9088830fc9e" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "build" "--frozen" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr]    Compiling deep_causality_num v0.5.6
[INFO] [stderr]    Compiling deep_causality_algebra v0.4.8 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 1.27s
[INFO] running `Command { std: "docker" "inspect" "741fd5a6add7688a27b3d7adc322ef454a1ee6374fa465da25bea9088830fc9e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "741fd5a6add7688a27b3d7adc322ef454a1ee6374fa465da25bea9088830fc9e" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "test" "--frozen" "--no-run" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr]    Compiling deep_causality_algebra v0.4.8 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 2.32s
[INFO] running `Command { std: "docker" "inspect" "741fd5a6add7688a27b3d7adc322ef454a1ee6374fa465da25bea9088830fc9e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "741fd5a6add7688a27b3d7adc322ef454a1ee6374fa465da25bea9088830fc9e" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "test" "--frozen" "--release", kill_on_drop: false }`
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 0.02s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/release/build/deep_causality_algebra/6586d40efc6337e0/out/deep_causality_algebra-6586d40efc6337e0)
[INFO] [stdout] 
[INFO] [stderr]      Running tests/mod.rs (/opt/rustwide/target/release/build/deep_causality_algebra/a576f5696ee4b039/out/mod-a576f5696ee4b039)
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 357 tests
[INFO] [stdout] test algebra::characteristic_tests::test_halving_works_over_the_reals ... ok
[INFO] [stdout] test algebra::characteristic_tests::test_real_scalars_have_characteristic_zero ... ok
[INFO] [stdout] test algebra::characteristic_tests::test_gf2_has_order_two ... ok
[INFO] [stdout] test algebra::characteristic_tests::test_gf2_has_characteristic_two ... ok
[INFO] [stdout] test algebra::characteristic_tests::test_gf2_is_admitted_to_finite_field ... ok
[INFO] [stdout] test algebra::commutative_semilattice_tests::test_semilattice_fold_order_independent ... ok
[INFO] [stdout] test algebra::characteristic_tests::test_gf2_order_and_characteristic_coincide_here ... ok
[INFO] [stdout] test algebra::characteristic_tests::test_the_characteristic_is_what_makes_halving_valid ... ok
[INFO] [stdout] test algebra::characteristic_tests::test_the_real_scalars_are_admitted_to_characteristic_zero ... ok
[INFO] [stdout] test algebra::commutative_semilattice_tests::test_idempotence_of_semilattices ... ok
[INFO] [stdout] test algebra::domain_euclidean_tests::checked_gcd_agrees_with_gcd_where_the_result_is_representable ... ok
[INFO] [stdout] test algebra::domain_euclidean_tests::checked_gcd_reports_an_unrepresentable_result ... ok
[INFO] [stdout] test algebra::algebra_tests::test_algebra_sqr ... ok
[INFO] [stdout] test algebra::domain_euclidean_tests::euclidean_fn_is_the_absolute_value ... ok
[INFO] [stdout] test algebra::commutative_semilattice_tests::test_count_is_commutative_but_not_idempotent ... ok
[INFO] [stdout] test algebra::domain_euclidean_tests::checked_normalize_agrees_with_normalize_everywhere_else ... ok
[INFO] [stdout] test algebra::domain_euclidean_tests::euclidean_fn_is_the_magnitude_at_every_width ... ok
[INFO] [stdout] test algebra::domain_euclidean_tests::checked_normalize_reports_the_signed_minimum ... ok
[INFO] [stdout] test algebra::algebra_tests::test_module_scale_helpers ... ok
[INFO] [stdout] test algebra::characteristic_tests::test_integers_have_characteristic_zero ... ok
[INFO] [stdout] test algebra::domain_euclidean_tests::div_euclid_is_the_floor_quotient_at_every_width ... ok
[INFO] [stdout] test algebra::commutative_semilattice_tests::test_commutativity ... ok
[INFO] [stdout] test algebra::algebra_tests::test_semigroup_impls ... ok
[INFO] [stdout] test algebra::characteristic_tests::test_the_two_refinements_are_disjoint_for_every_type_in_the_tower ... ok
[INFO] [stdout] test algebra::domain_euclidean_tests::division_law_holds_over_a_range ... ok
[INFO] [stdout] test algebra::domain_euclidean_tests::euclidean_fn_strictly_decreases ... ok
[INFO] [stdout] test algebra::domain_euclidean_tests::gcd_is_computed_through_the_trait ... ok
[INFO] [stdout] test algebra::domain_euclidean_tests::gcd_is_non_negative_for_negative_inputs ... ok
[INFO] [stdout] test algebra::domain_euclidean_tests::lcm_agrees_with_the_gcd_identity ... ok
[INFO] [stdout] test algebra::domain_euclidean_tests::the_division_law_holds_at_every_width ... ok
[INFO] [stdout] test algebra::domain_euclidean_tests::gcd_works_at_every_width ... ok
[INFO] [stdout] test algebra::field_real_f32_tests::test_division_algebra_f32 ... ok
[INFO] [stdout] test algebra::domain_euclidean_tests::euclidean_fn_is_unsigned_at_every_width ... ok
[INFO] [stdout] test algebra::domain_euclidean_tests::lcm_is_computed_through_the_trait ... ok
[INFO] [stdout] test algebra::domain_euclidean_tests::lcm_of_zero_is_zero ... ok
[INFO] [stdout] test algebra::field_real_f32_tests::test_ceil ... ok
[INFO] [stdout] test algebra::field_real_f32_tests::test_clamp ... ok
[INFO] [stdout] test algebra::domain_euclidean_tests::normalize_wraps_at_the_signed_minimum_in_release ... ok
[INFO] [stdout] test algebra::field_real_f32_tests::test_ln ... ok
[INFO] [stdout] test algebra::domain_euclidean_tests::every_signed_width_is_a_euclidean_domain ... ok
[INFO] [stdout] test algebra::field_real_f32_tests::test_nan ... ok
[INFO] [stdout] test algebra::field_real_f32_tests::test_constants ... ok
[INFO] [stdout] test algebra::field_real_f32_tests::test_atan2 ... ok
[INFO] [stdout] test algebra::field_real_f32_tests::test_round ... ok
[INFO] [stdout] test algebra::field_real_f32_tests::test_sqrt ... ok
[INFO] [stdout] test algebra::field_real_f32_tests::test_trig ... ok
[INFO] [stdout] test algebra::field_real_f32_tests::test_powf ... ok
[INFO] [stdout] test algebra::domain_euclidean_tests::gcd_with_zero_returns_the_other_operand ... ok
[INFO] [stdout] test algebra::field_real_f32_tests::test_exp ... ok
[INFO] [stdout] test algebra::field_real_f32_tests::test_log10 ... ok
[INFO] [stdout] test algebra::field_real_f32_tests::test_log2 ... ok
[INFO] [stdout] test algebra::domain_euclidean_tests::lcm_divides_before_multiplying ... ok
[INFO] [stdout] test algebra::field_real_f64_tests::test_clamp ... ok
[INFO] [stdout] test algebra::domain_euclidean_tests::lcm_is_non_negative ... ok
[INFO] [stdout] test algebra::field_real_f64_tests::test_abs ... ok
[INFO] [stdout] test algebra::field_real_f64_tests::test_constants ... ok
[INFO] [stdout] test algebra::field_real_f64_tests::test_atan2 ... ok
[INFO] [stdout] test algebra::field_real_f32_tests::test_hyperbolic ... ok
[INFO] [stdout] test algebra::field_real_f32_tests::test_is_nan_inf_finite_traits ... ok
[INFO] [stdout] test algebra::field_real_f32_tests::test_abs ... ok
[INFO] [stdout] test algebra::domain_euclidean_tests::euclidean_fn_is_unsigned_so_min_is_representable ... ok
[INFO] [stdout] test algebra::field_real_f32_tests::test_log ... ok
[INFO] [stdout] test algebra::field_real_f64_tests::test_ceil ... ok
[INFO] [stdout] test algebra::field_real_f32_tests::test_floor ... ok
[INFO] [stdout] test algebra::field_real_f64_tests::test_division_algebra_f64 ... ok
[INFO] [stdout] test algebra::field_real_f64_tests::test_nan ... ok
[INFO] [stdout] test algebra::field_real_f64_tests::test_powf ... ok
[INFO] [stdout] test algebra::gf2_tower_tests::test_commutativity_holds_exhaustively ... ok
[INFO] [stdout] test algebra::gf2_tower_tests::test_field_division_really_inverts ... ok
[INFO] [stdout] test algebra::field_real_f64_tests::test_trig ... ok
[INFO] [stdout] test algebra::gf2_tower_tests::test_gf2_carries_every_law_marker ... ok
[INFO] [stdout] test algebra::gf2_tower_tests::test_annihilation_holds_exhaustively ... ok
[INFO] [stdout] test algebra::field_real_f64_tests::test_hyperbolic ... ok
[INFO] [stdout] test algebra::field_real_f64_tests::test_log10 ... ok
[INFO] [stdout] test algebra::gf2_tower_tests::test_gf2_reaches_field_through_the_blanket ... ok
[INFO] [stdout] test algebra::field_real_f64_tests::test_is_nan_inf_finite_traits ... ok
[INFO] [stdout] test algebra::gf2_tower_tests::test_multiplicative_associativity_holds_exhaustively ... ok
[INFO] [stdout] test algebra::gf2_tower_tests::test_no_zero_divisors_holds_exhaustively ... ok
[INFO] [stdout] test algebra::gf2_tower_tests::test_non_triviality ... ok
[INFO] [stdout] test algebra::integer_tower_tests::every_ring_is_a_semiring ... ok
[INFO] [stdout] test algebra::gf2_tower_tests::test_gf2_reaches_integral_domain ... ok
[INFO] [stdout] test algebra::field_real_f64_tests::test_exp ... ok
[INFO] [stdout] test algebra::field_real_f64_tests::test_floor ... ok
[INFO] [stdout] test algebra::integer_tower_tests::integers_are_not_analytic ... ok
[INFO] [stdout] test algebra::field_real_f64_tests::test_ln ... ok
[INFO] [stdout] test algebra::integer_tower_tests::naturals_are_a_semiring_without_being_a_ring ... ok
[INFO] [stdout] test algebra::field_real_f64_tests::test_log ... ok
[INFO] [stdout] test algebra::integer_tower_tests::signed_integers_are_a_semiring_too ... ok
[INFO] [stdout] test algebra::field_real_f64_tests::test_log2 ... ok
[INFO] [stdout] test algebra::integer_tower_tests::signed_integers_are_commutative_rings ... ok
[INFO] [stdout] test algebra::integer_tower_tests::unsigned_integers_are_a_semiring_only ... ok
[INFO] [stdout] test algebra::monoid_generic_tests::test_conjunction_is_and ... ok
[INFO] [stdout] test algebra::field_real_f64_tests::test_round ... ok
[INFO] [stdout] test algebra::field_real_f64_tests::test_sqrt ... ok
[INFO] [stdout] test algebra::gf2_tower_tests::test_additive_associativity_holds_exhaustively ... ok
[INFO] [stdout] test algebra::monoid_generic_tests::test_num_monoid_laws ... ok
[INFO] [stdout] test algebra::integer_tower_tests::signed_integers_are_euclidean_domains ... ok
[INFO] [stdout] test algebra::integer_tower_tests::annihilation_is_promised_rather_than_assumed ... ok
[INFO] [stdout] test algebra::gf2_tower_tests::test_distributivity_holds_exhaustively ... ok
[INFO] [stdout] test algebra::monoid_generic_tests::test_prob_is_product ... ok
[INFO] [stdout] test algebra::integer_tower_tests::the_law_markers_are_not_handed_out_by_inference ... ok
[INFO] [stdout] test algebra::gf2_tower_tests::test_gf2_reaches_ring_and_commutative_ring ... ok
[INFO] [stdout] test algebra::real_tests::cbrt_at_the_representable_extremes_f32 ... ok
[INFO] [stdout] test algebra::monoid_generic_tests::test_count_is_add ... ok
[INFO] [stdout] test algebra::gf2_tower_tests::test_inv_monoid_inverse_agrees_with_division ... ok
[INFO] [stdout] test algebra::monoid_generic_tests::test_disjunction_is_or ... ok
[INFO] [stdout] test algebra::integer_tower_tests::additive_inverses_are_gated_on_neg ... ok
[INFO] [stdout] test algebra::gf2_tower_tests::test_gf2_climbs_the_additive_and_multiplicative_chains ... ok
[INFO] [stdout] test algebra::real_tests::cbrt_agrees_with_powf_on_positives ... ok
[INFO] [stdout] test algebra::real_tests::cbrt_cubed_recovers_the_argument_f64 ... ok
[INFO] [stdout] test algebra::real_tests::cbrt_at_the_representable_extremes_f64 ... ok
[INFO] [stdout] test algebra::real_tests::cbrt_exact_cubes_f64 ... ok
[INFO] [stdout] test algebra::real_tests::cbrt_exact_cubes_f32 ... ok
[INFO] [stdout] test algebra::real_tests::float106_real_surface ... ok
[INFO] [stdout] test algebra::real_tests::cbrt_cubed_recovers_the_argument_float106 ... ok
[INFO] [stdout] test algebra::real_tests::cbrt_exact_cubes_float106 ... ok
[INFO] [stdout] test algebra::real_tests::concrete_scalars_are_realfield ... ok
[INFO] [stdout] test algebra::real_tests::every_concrete_scalar_satisfies_the_new_supertrait ... ok
[INFO] [stdout] test algebra::real_tests::cbrt_is_an_odd_function ... ok
[INFO] [stdout] test algebra::integer_tower_tests::floats_keep_the_full_real_tower ... ok
[INFO] [stdout] test algebra::real_tests::real_surface_constants_and_functions_f32 ... ok
[INFO] [stdout] test algebra::real_tests::realfield_implies_real_f32 ... ok
[INFO] [stdout] test algebra::real_tests::real_surface_constants_and_functions_f64 ... ok
[INFO] [stdout] test algebra::real_tests::realfield_converts_to_an_integer_without_restating_the_bound ... ok
[INFO] [stdout] test algebra::real_tests::cbrt_is_monotonic_across_zero ... ok
[INFO] [stdout] test algebra::real_tests::cbrt_of_a_negative_is_real_where_powf_is_nan ... ok
[INFO] [stdout] test algebra::scalar_normed_tests::test_modulus_agrees_with_the_squared_route_in_the_representable_range ... ok
[INFO] [stdout] test algebra::real_tests::concrete_scalars_are_real ... ok
[INFO] [stdout] test algebra::scalar_normed_tests::test_modulus_through_the_bound ... ok
[INFO] [stdout] test algebra::real_tests::cbrt_cubed_recovers_the_argument_f32 ... ok
[INFO] [stdout] test algebra::real_tests::realfield_converts_to_f64_without_restating_the_bound ... ok
[INFO] [stdout] test algebra::scalar_normed_tests::test_normed_real_modulus_squared ... ok
[INFO] [stdout] test algebra::real_tests::cbrt_is_reachable_through_a_generic_real_bound ... ok
[INFO] [stdout] test algebra::real_tests::real_bound_accepts_concrete_scalars ... ok
[INFO] [stdout] test algebra::real_tests::cbrt_of_zero_is_zero_and_keeps_the_sign ... ok
[INFO] [stdout] test algebra::real_tests::realfield_implies_real_f64 ... ok
[INFO] [stdout] test algebra::scalar_normed_tests::test_modulus_of_a_real_near_the_top_of_the_range_is_finite ... ok
[INFO] [stdout] test algebra::real_tests::realfield_integer_conversion_reports_failure_rather_than_substituting ... ok
[INFO] [stdout] test algebra::scalar_normed_tests::test_modulus_of_a_real_near_the_bottom_of_the_range_is_not_flushed_to_zero ... ok
[INFO] [stdout] test algebra::scalar_conjugate_tests::test_real_families_are_conjugate_scalars ... ok
[INFO] [stdout] test algebra::scalar_conjugate_tests::test_real_semantics ... ok
[INFO] [stdout] test algebra::real_tests::cbrt_of_non_finite_arguments ... ok
[INFO] [stdout] test algebra::scalar_normed_tests::test_normed_real_scale_by_real ... ok
[INFO] [stdout] test algebra::scalar_normed_tests::test_normed_real_associated_type_is_self ... ok
[INFO] [stdout] test algebra::scalar_normed_tests::test_real_fields_are_normed_scalars ... ok
[INFO] [stdout] test algebra::verdict_tests::test_f64_mv_algebra ... ok
[INFO] [stdout] test algebra::verdict_tests::test_prob_mv_algebra ... ok
[INFO] [stdout] test bfloat16::bfloat16_algebra_tests::test_real_clamp ... ok
[INFO] [stdout] test bfloat16::bfloat16_normed_tests::test_inverse_at_zero_and_the_non_finite_values ... ok
[INFO] [stdout] test bfloat16::bfloat16_algebra_tests::test_real_constants ... ok
[INFO] [stdout] test bfloat16::bfloat16_algebra_tests::test_division_algebra ... ok
[INFO] [stdout] test bfloat16::bfloat16_algebra_tests::test_real_functions ... ok
[INFO] [stdout] test bfloat16::bfloat16_normed_tests::test_modulus_is_abs_on_every_pattern ... ok
[INFO] [stdout] test bfloat16::bfloat16_algebra_tests::test_real_nan_and_classification ... ok
[INFO] [stdout] test bfloat16::bfloat16_normed_tests::test_modulus_is_exact_where_the_squared_modulus_overflows ... ok
[INFO] [stdout] test bfloat16::bfloat16_algebra_tests::test_real_trigonometry ... ok
[INFO] [stdout] test bfloat16::bfloat16_normed_tests::test_modulus_squared_and_scale_by_real ... ok
[INFO] [stdout] test bfloat16::bfloat16_normed_tests::test_conjugate_scalar_modulus_matches_the_normed_one ... ok
[INFO] [stdout] test bfloat16::bfloat16_normed_tests::test_normed_scalar_bound ... ok
[INFO] [stdout] test bfloat16::bfloat16_normed_tests::test_conjugation_is_the_identity_on_every_pattern ... ok
[INFO] [stdout] test bfloat16::bfloat16_normed_tests::test_inverse_is_one_over_the_value ... ok
[INFO] [stdout] test algebra::scalar_normed_tests::test_normed_real_scaling_is_homogeneous ... ok
[INFO] [stdout] test float106::double_algebra_tests::test_clamp_below_min ... ok
[INFO] [stdout] test bfloat16::bfloat16_traits_tests::test_law_marker_bounds ... ok
[INFO] [stdout] test float106::double_algebra_tests::test_clamp_in_range ... ok
[INFO] [stdout] test bfloat16::bfloat16_traits_tests::test_tower_bounds ... ok
[INFO] [stdout] test float106::double_algebra_tests::test_divisionalgebra_norm_sqr ... ok
[INFO] [stdout] test float106::double_algebra_tests::test_realfield_abs ... ok
[INFO] [stdout] test float106::double_algebra_tests::test_divisionalgebra_conjugate ... ok
[INFO] [stdout] test float106::double_algebra_tests::test_realfield_ceil ... ok
[INFO] [stdout] test bfloat16::bfloat16_traits_tests::test_characteristic_zero ... ok
[INFO] [stdout] test float106::double_algebra_tests::test_realfield_cosh ... ok
[INFO] [stdout] test float106::double_algebra_tests::test_realfield_acos ... ok
[INFO] [stdout] test float106::double_algebra_tests::test_realfield_e ... ok
[INFO] [stdout] test float106::double_algebra_tests::test_realfield_epsilon ... ok
[INFO] [stdout] test float106::double_algebra_tests::test_realfield_is_nan ... ok
[INFO] [stdout] test float106::double_algebra_tests::test_clamp_at_max ... ok
[INFO] [stdout] test float106::double_algebra_tests::test_realfield_ln ... ok
[INFO] [stdout] test float106::double_algebra_tests::test_realfield_nan ... ok
[INFO] [stdout] test float106::double_algebra_tests::test_realfield_pi ... ok
[INFO] [stdout] test float106::double_algebra_tests::test_clamp_above_max ... ok
[INFO] [stdout] test algebra::verdict_tests::test_bool_boolean_algebra ... ok
[INFO] [stdout] test float106::double_algebra_tests::test_divisionalgebra_inverse ... ok
[INFO] [stdout] test float106::double_algebra_tests::test_realfield_cos ... ok
[INFO] [stdout] test float106::double_algebra_tests::test_divisionalgebra_inverse_identity ... ok
[INFO] [stdout] test float106::double_algebra_tests::test_realfield_exp ... ok
[INFO] [stdout] test float106::double_algebra_tests::test_realfield_sqrt ... ok
[INFO] [stdout] test float106::double_algebra_tests::test_clamp_at_min ... ok
[INFO] [stdout] test float106::double_algebra_tests::test_realfield_atan2 ... ok
[INFO] [stdout] test float106::double_algebra_tests::test_realfield_tan ... ok
[INFO] [stdout] test float106::double_traits_tests::test_abelian_group_bound ... ok
[INFO] [stdout] test float106::double_algebra_tests::test_realfield_floor ... ok
[INFO] [stdout] test float106::double_algebra_tests::test_realfield_log ... ok
[INFO] [stdout] test float106::double_traits_tests::test_clone ... ok
[INFO] [stdout] test float106::double_algebra_tests::test_realfield_is_finite ... ok
[INFO] [stdout] test float106::double_traits_tests::test_copy ... ok
[INFO] [stdout] test float106::double_algebra_tests::test_realfield_log10 ... ok
[INFO] [stdout] test float106::double_algebra_tests::test_realfield_sin ... ok
[INFO] [stdout] test float106::double_traits_tests::test_display ... ok
[INFO] [stdout] test float106::double_algebra_tests::test_realfield_sinh ... ok
[INFO] [stdout] test float106::double_traits_tests::test_classify ... ok
[INFO] [stdout] test float106::double_traits_tests::test_float_trait_bound ... ok
[INFO] [stdout] test float106::double_traits_tests::test_field_bound ... ok
[INFO] [stdout] test float106::double_traits_tests::test_inverse ... ok
[INFO] [stdout] test float106::double_traits_tests::test_distributive_bound ... ok
[INFO] [stdout] test float106::double_traits_tests::test_inverse_identity ... ok
[INFO] [stdout] test float106::double_traits_tests::test_norm_sqr ... ok
[INFO] [stdout] test float106::double_traits_tests::test_is_normal ... ok
[INFO] [stdout] test float106::double_traits_tests::test_numcast_from_f64 ... ok
[INFO] [stdout] test float106::double_traits_tests::test_numcast_from_i32 ... ok
[INFO] [stdout] test float106::double_algebra_tests::test_realfield_is_infinite ... ok
[INFO] [stdout] test float106::double_algebra_tests::test_realfield_log2 ... ok
[INFO] [stdout] test float106::double_traits_tests::test_numcast_trait_bound ... ok
[INFO] [stdout] test float106::double_algebra_tests::test_realfield_powf ... ok
[INFO] [stdout] test float106::double_traits_tests::test_one_set_one ... ok
[INFO] [stdout] test float106::double_traits_tests::test_num_trait_bound ... ok
[INFO] [stdout] test float106::double_traits_tests::test_to_i64 ... ok
[INFO] [stdout] test float106::double_traits_tests::test_debug ... ok
[INFO] [stdout] test float106::double_traits_tests::test_is_infinite ... ok
[INFO] [stdout] test float106::double_traits_tests::test_to_u64 ... ok
[INFO] [stdout] test float106::double_traits_tests::test_trig ... ok
[INFO] [stdout] test float106::double_algebra_tests::test_realfield_round ... ok
[INFO] [stdout] test float106::double_traits_tests::test_zero_trait ... ok
[INFO] [stdout] test float106::double_traits_tests::test_is_nan ... ok
[INFO] [stdout] test float106::double_algebra_tests::test_realfield_tanh ... ok
[INFO] [stdout] test float106::double_traits_tests::test_default ... ok
[INFO] [stdout] test float106::double_traits_tests::test_one_trait ... ok
[INFO] [stdout] test float106::double_traits_tests::test_real_field_bound ... ok
[INFO] [stdout] test formalization_lean::division_algebra_tests::test_division_algebra_mul_inv ... ok
[INFO] [stdout] test float106::double_traits_tests::test_zero_set_zero ... ok
[INFO] [stdout] test formalization_lean::commutative_monoid_tests::test_semilattice_assoc_and_comm ... ok
[INFO] [stdout] test formalization_lean::commutative_monoid_tests::test_commutative_monoid_comm ... ok
[INFO] [stdout] test float106::double_traits_tests::test_to_f32 ... ok
[INFO] [stdout] test formalization_lean::domain_euclidean_tests::test_gcd_divides_left ... ok
[INFO] [stdout] test float106::double_traits_tests::test_associative_bound ... ok
[INFO] [stdout] test formalization_lean::domain_euclidean_tests::test_integers_are_not_a_field ... ok
[INFO] [stdout] test formalization_lean::domain_euclidean_tests::test_remainder_nonneg ... ok
[INFO] [stdout] test formalization_lean::field_tests::test_field_inv_mul_cancel ... ok
[INFO] [stdout] test formalization_lean::field_tests::test_field_mul_inv_cancel ... ok
[INFO] [stdout] test float106::double_traits_tests::test_commutative_bound ... ok
[INFO] [stdout] test formalization_lean::group_tests::test_add_group_neg_cancel ... ok
[INFO] [stdout] test float106::double_traits_tests::test_conjugate ... ok
[INFO] [stdout] test formalization_lean::module_tests::test_module_add_smul ... ok
[INFO] [stdout] test formalization_lean::domain_euclidean_tests::test_euclidean_algorithm_terminates ... ok
[INFO] [stdout] test formalization_lean::module_tests::test_module_mul_smul ... ok
[INFO] [stdout] test formalization_lean::domain_euclidean_tests::test_gcd_zero_right ... ok
[INFO] [stdout] test formalization_lean::domain_euclidean_tests::test_remainder_lt_divisor ... ok
[INFO] [stdout] test float106::double_traits_tests::test_is_finite ... ok
[INFO] [stdout] test float106::double_traits_tests::test_to_f64 ... ok
[INFO] [stdout] test formalization_lean::commutative_monoid_tests::test_semilattice_idempotent ... ok
[INFO] [stdout] test formalization_lean::field_tests::test_real_field_mul_pos ... ok
[INFO] [stdout] test formalization_lean::group_tests::test_abelian_group_add_comm ... ok
[INFO] [stdout] test formalization_lean::group_tests::test_group_mul_inv ... ok
[INFO] [stdout] test formalization_lean::module_tests::test_algebra_mul_smul_comm ... ok
[INFO] [stdout] test formalization_lean::module_tests::test_algebra_smul_mul_assoc ... ok
[INFO] [stdout] test formalization_lean::module_tests::test_module_smul_add ... ok
[INFO] [stdout] test formalization_lean::verdict_tests::test_verdict_complement ... ok
[INFO] [stdout] test formalization_lean::monoid_generic_tests::test_generic_monoid_laws ... ok
[INFO] [stdout] test formalization_lean::verdict_tests::test_verdict_lattice_laws ... ok
[INFO] [stdout] test formalization_lean::scalar_tests::test_conjugate_star_star ... ok
[INFO] [stdout] test formalization_lean::monoid_tests::test_add_monoid_assoc ... ok
[INFO] [stdout] test formalization_lean::scalar_tests::test_conjugate_star_mul ... ok
[INFO] [stdout] test formalization_lean::ring_tests::test_commutative_ring_mul_comm ... ok
[INFO] [stdout] test formalization_lean::scalar_tests::test_normed_norm_mul ... ok
[INFO] [stdout] test formalization_lean::ring_tests::test_ring_mul_assoc ... ok
[INFO] [stdout] test hom::compose_tests::test_composite_applies_in_order ... ok
[INFO] [stdout] test formalization_lean::ring_tests::test_ring_right_distrib ... ok
[INFO] [stdout] test formalization_lean::scalar_tests::test_conjugate_star_add ... ok
[INFO] [stdout] test formalization_lean::monoid_tests::test_add_monoid_identity ... ok
[INFO] [stdout] test formalization_lean::scalar_tests::test_normed_norm_nonneg ... ok
[INFO] [stdout] test hom::compose_tests::test_injective_is_closed_under_composition ... ok
[INFO] [stdout] test hom::compose_tests::test_new_and_fields ... ok
[INFO] [stdout] test hom::compose_tests::test_composite_ends_are_the_outer_ones ... ok
[INFO] [stdout] test hom::compose_tests::test_composite_keeps_only_shared_labels ... ok
[INFO] [stdout] test hom::compose_tests::test_composition_is_associative_in_value ... ok
[INFO] [stdout] test hom::iso_bridge_tests::test_equality_is_trivial_for_a_zero_sized_view ... ok
[INFO] [stdout] test hom::iso_bridge_tests::test_forward_view_is_a_hom ... ok
[INFO] [stdout] test hom::iso_bridge_tests::test_inverse_of_the_inverse_is_the_original_direction ... ok
[INFO] [stdout] test formalization_lean::domain_euclidean_tests::test_gcd_divides_right ... ok
[INFO] [stdout] test formalization_lean::domain_euclidean_tests::test_gcd_nonneg ... ok
[INFO] [stdout] test formalization_lean::module_tests::test_module_one_smul ... ok
[INFO] [stdout] test formalization_lean::ring_tests::test_ring_left_distrib ... ok
[INFO] [stdout] test hom::iso_bridge_tests::test_iso_views_are_bijective ... ok
[INFO] [stdout] test hom::iso_bridge_tests::test_new_and_default_agree ... ok
[INFO] [stdout] test hom::iso_bridge_tests::test_debug_does_not_require_the_witness_to_be_debug ... ok
[INFO] [stdout] test hom::iso_bridge_tests::test_ends_are_named_and_swap_in_the_inverse ... ok
[INFO] [stdout] test hom::properties_tests::test_bijective_is_blanket_derived ... ok
[INFO] [stdout] test hom::ring_hom_tests::test_additive_law ... ok
[INFO] [stdout] test hom::compose_tests::test_ring_hom_is_closed_under_composition ... ok
[INFO] [stdout] test hom::iso_bridge_tests::test_backward_view_is_a_hom ... ok
[INFO] [stdout] test iso::algebra_iso_tests::algebra_iso_law_holds_for_identity_iso ... ok
[INFO] [stdout] test hom::iso_bridge_tests::test_round_trip_through_the_inverse_is_the_identity ... ok
[INFO] [stdout] test hom::hom_tests::test_apply ... ok
[INFO] [stdout] test hom::properties_tests::test_bijective_requires_both ... ok
[INFO] [stdout] test hom::hom_tests::test_domain_and_codomain_are_named ... ok
[INFO] [stdout] test hom::hom_tests::test_ends_may_differ ... ok
[INFO] [stdout] test hom::iso_bridge_tests::test_clone_and_copy ... ok
[INFO] [stdout] test hom::properties_tests::test_injective_need_not_be_surjective ... ok
[INFO] [stdout] test hom::iso_bridge_tests::test_compile_time_assertion_helper ... ok
[INFO] [stdout] test hom::properties_tests::test_surjective_covers_the_codomain ... ok
[INFO] [stdout] test hom::properties_tests::test_surjective_need_not_be_injective ... ok
[INFO] [stdout] test iso::algebra_iso_tests::algebra_iso_law_holds_in_reverse_direction ... ok
[INFO] [stdout] test hom::ring_hom_tests::test_ring_hom_is_a_hom ... ok
[INFO] [stdout] test hom::ring_hom_tests::test_unital_law ... ok
[INFO] [stdout] test hom::properties_tests::test_injective_separates_points ... ok
[INFO] [stdout] test hom::ring_hom_tests::test_multiplicative_law ... ok
[INFO] [stdout] test iso::algebra_iso_tests::algebra_iso_law_panics_on_broken_scalar_multiplication - should panic ... ok
[INFO] [stdout] test iso::division_algebra_iso_tests::division_algebra_iso_law_holds_for_identity_iso ... ok
[INFO] [stdout] test iso::field_iso_tests::field_iso_laws_hold_in_reverse_direction ... ok
[INFO] [stdout] test iso::group_iso_tests::group_iso_law_holds_in_reverse_direction ... ok
[INFO] [stdout] test iso::field_iso_tests::field_iso_laws_panic_on_broken_inverse - should panic ... ok
[INFO] [stdout] test iso::test_support_tests::round_trip_identity_f64_succeeds ... ok
[INFO] [stdout] test iso::test_support_tests::round_trip_identity_i32_succeeds ... ok
[INFO] [stdout] test iso::group_iso_tests::group_iso_law_holds_for_identity_iso ... ok
[INFO] [stdout] test iso::test_support_tests::round_trip_broken_panics_on_forward_direction - should panic ... ok
[INFO] [stdout] test iso::ring_iso_tests::ring_iso_laws_hold_for_identity_iso ... ok
[INFO] [stdout] test iso::ring_iso_tests::ring_iso_laws_hold_in_reverse_direction ... ok
[INFO] [stdout] test iso::test_support_tests::round_trip_broken_panics_when_forward_is_lossy - should panic ... ok
[INFO] [stdout] test iso::group_iso_tests::group_iso_law_panics_on_broken_homomorphism - should panic ... ok
[INFO] [stdout] test iso::witness::algebra_iso_tests::witness_algebra_iso_law_holds_for_id_witness ... ok
[INFO] [stdout] test iso::test_support_tests::round_trip_panics_independently_on_reverse_direction - should panic ... ok
[INFO] [stdout] test iso::division_algebra_iso_tests::division_algebra_iso_law_holds_in_reverse_direction ... ok
[INFO] [stdout] test iso::witness::division_algebra_iso_tests::witness_division_algebra_iso_law_holds_for_id_witness_real ... ok
[INFO] [stdout] test iso::field_iso_tests::field_iso_laws_hold_for_identity_iso ... ok
[INFO] [stdout] test iso::witness::group_iso_tests::witness_group_iso_law_holds_for_id_witness ... ok
[INFO] [stdout] test iso::witness::algebra_iso_tests::witness_algebra_iso_law_panics_on_broken_scalar_multiplication - should panic ... ok
[INFO] [stdout] test iso::witness::field_iso_tests::witness_field_iso_laws_panic_on_broken_inverse - should panic ... ok
[INFO] [stdout] test iso::division_algebra_iso_tests::division_algebra_iso_law_panics_on_broken_conjugation - should panic ... ok
[INFO] [stdout] test iso::ring_iso_tests::ring_iso_laws_panic_on_broken_addition - should panic ... ok
[INFO] [stdout] test iso::witness::group_iso_tests::witness_group_iso_law_panics_on_broken_homomorphism - should panic ... ok
[INFO] [stdout] test iso::test_support_tests::round_trip_identity_u64_succeeds ... ok
[INFO] [stdout] test iso::witness::field_iso_tests::witness_field_iso_laws_hold_for_id_witness ... ok
[INFO] [stdout] test iso::witness::iso_tests::bad_witness_round_trips_cleanly_despite_homomorphism_break ... ok
[INFO] [stdout] test iso::witness::iso_tests::iso_round_trip_panics_independently_on_t_to_s_to_t - should panic ... ok
[INFO] [stdout] test iso::witness::iso_tests::iso_to_source_calls_correctly ... ok
[INFO] [stdout] test iso::witness::iso_tests::iso_round_trip_holds_for_id_witness ... ok
[INFO] [stdout] test iso::witness::iso_tests::iso_to_target_calls_correctly ... ok
[INFO] [stdout] test iso::witness::iso_tests::iso_round_trip_panics_when_to_source_is_broken - should panic ... ok
[INFO] [stdout] test iso::witness::standard_tests::standard_iso_blanket_algebra_iso ... ok
[INFO] [stdout] test iso::witness::standard_tests::standard_iso_blanket_field_iso ... ok
[INFO] [stdout] test iso::witness::standard_tests::standard_iso_blanket_ring_iso ... ok
[INFO] [stdout] test iso::witness::standard_tests::standard_iso_blanket_iso_to_target ... ok
[INFO] [stdout] test iso::witness::standard_tests::standard_iso_blanket_group_iso ... ok
[INFO] [stdout] test iso::witness::standard_tests::standard_iso_clone_and_copy ... ok
[INFO] [stdout] test iso::ring_iso_tests::ring_iso_laws_panic_on_broken_multiplication - should panic ... ok
[INFO] [stdout] test iso::witness::ring_iso_tests::witness_ring_iso_laws_panic_on_broken_multiplication - should panic ... ok
[INFO] [stdout] test iso::witness::standard_tests::standard_iso_new_is_zero_sized ... ok
[INFO] [stdout] test iso::witness::standard_tests::standard_iso_blanket_division_algebra_iso ... ok
[INFO] [stdout] test iso::witness::standard_tests::standard_iso_blanket_iso_to_source ... ok
[INFO] [stdout] test iso::witness::test_support_tests::helpers_accept_id_witness_across_full_marker_stack ... ok
[INFO] [stdout] test iso::witness::standard_tests::standard_iso_round_trip_via_helper ... ok
[INFO] [stdout] test iso::witness::standard_tests::standard_iso_satisfies_iso_bound_in_generic_context ... ok
[INFO] [stdout] test iso::witness::standard_tests::standard_iso_debug_format ... ok
[INFO] [stdout] test iso::witness::ring_iso_tests::witness_ring_iso_laws_hold_for_id_witness ... ok
[INFO] [stdout] test iso::witness::standard_tests::standard_iso_default_constructs ... ok
[INFO] [stdout] test iso::witness::ring_iso_tests::witness_ring_iso_laws_panic_on_broken_addition - should panic ... ok
[INFO] [stdout] test iso::witness::test_support_tests::round_trip_helper_handles_zero_and_negative_inputs ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 357 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.06s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests deep_causality_algebra
[INFO] [stdout] 
[INFO] [stdout] running 28 tests
[INFO] [stdout] test src/algebra/real.rs - algebra::real::Real::cos (line 219) ... ok
[INFO] [stdout] test src/algebra/real.rs - algebra::real::Real::log10 (line 183) ... ok
[INFO] [stdout] test src/algebra/real.rs - algebra::real::Real::ceil (line 132) ... ok
[INFO] [stdout] test src/algebra/characteristic.rs - algebra::characteristic::DivisibleByIntegers (line 83) ... ok
[INFO] [stdout] test src/algebra/real.rs - algebra::real::Real::log (line 167) ... ok
[INFO] [stdout] test src/algebra/real.rs - algebra::real::Real::is_finite (line 71) ... ok
[INFO] [stdout] test src/algebra/real.rs - algebra::real::Real::asin (line 209) ... ok
[INFO] [stdout] test src/algebra/real.rs - algebra::real::Real::is_nan (line 37) ... ok
[INFO] [stdout] test src/algebra/real.rs - algebra::real::Real::log2 (line 175) ... ok
[INFO] [stdout] test src/algebra/real.rs - algebra::real::Real::cbrt (line 105) ... ok
[INFO] [stdout] test src/algebra/real.rs - algebra::real::Real::exp (line 149) ... ok
[INFO] [stdout] test src/algebra/real.rs - algebra::real::Real::acos (line 229) ... ok
[INFO] [stdout] test src/algebra/real.rs - algebra::real::Real::abs (line 115) ... ok
[INFO] [stdout] test src/algebra/real.rs - algebra::real::Real::floor (line 124) ... ok
[INFO] [stdout] test src/algebra/real.rs - algebra::real::Real::is_infinite (line 52) ... ok
[INFO] [stdout] test src/algebra/real.rs - algebra::real::Real::ln (line 158) ... ok
[INFO] [stdout] test src/algebra/real.rs - algebra::real::Real::atan (line 263) ... ok
[INFO] [stdout] test src/iso/algebra_iso.rs - iso::algebra_iso::AlgebraIso (line 34) ... ignored
[INFO] [stdout] test src/iso/mod.rs - iso (line 59) ... ignored
[INFO] [stdout] test src/iso/witness/mod.rs - iso::witness (line 37) ... ignored
[INFO] [stdout] test src/iso/witness/standard.rs - iso::witness::standard::StandardIso (line 29) ... ignored
[INFO] [stdout] test src/algebra/real.rs - algebra::real::Real::atan2 (line 277) ... ok
[INFO] [stdout] test src/algebra/real.rs - algebra::real::Real::tanh (line 254) ... ok
[INFO] [stdout] test src/algebra/real.rs - algebra::real::Real::tan (line 239) ... ok
[INFO] [stdout] test src/algebra/real.rs - algebra::real::Real::sqrt (line 93) ... ok
[INFO] [stdout] test src/algebra/real.rs - algebra::real::Real::round (line 140) ... ok
[INFO] [stdout] test src/algebra/real.rs - algebra::real::Real::sin (line 199) ... ok
[INFO] [stdout] test src/algebra/real.rs - algebra::real::Real::powf (line 191) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 24 passed; 0 failed; 4 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test src/algebra/characteristic.rs - algebra::characteristic::DivisibleByIntegers (line 98) - compile fail ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.07s
[INFO] [stdout] 
[INFO] [stdout] all doctests ran in 0.61s; merged doctests compilation took 0.51s
[INFO] running `Command { std: "docker" "inspect" "741fd5a6add7688a27b3d7adc322ef454a1ee6374fa465da25bea9088830fc9e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "741fd5a6add7688a27b3d7adc322ef454a1ee6374fa465da25bea9088830fc9e", kill_on_drop: false }`
[INFO] [stdout] 741fd5a6add7688a27b3d7adc322ef454a1ee6374fa465da25bea9088830fc9e
