Dec 06 18:45:08.290 INFO testing un_algebra-0.1.6 against master#906deae0790bd18681b937fe9a141a3c26cf1855 for pr-56514
Dec 06 18:45:08.290 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-6/master#906deae0790bd18681b937fe9a141a3c26cf1855:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/pr-56514/master#906deae0790bd18681b937fe9a141a3c26cf1855:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +906deae0790bd18681b937fe9a141a3c26cf1855-alt build --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 06 18:45:08.552 INFO [stdout] d66f56782007be4cf2b8c72d10a5bf59d524cc54259dc6a7d40a3008b80c2334
Dec 06 18:45:08.564 INFO running `"docker" "start" "-a" "d66f56782007be4cf2b8c72d10a5bf59d524cc54259dc6a7d40a3008b80c2334"`
Dec 06 18:45:09.455 INFO [stderr] usermod: no changes
Dec 06 18:45:09.718 INFO [stderr]    Compiling byteorder v1.2.7
Dec 06 18:45:09.718 INFO [stderr]    Compiling float-cmp v0.4.0
Dec 06 18:45:09.724 INFO [stderr]    Compiling rand v0.5.5
Dec 06 18:45:09.725 INFO [stderr]    Compiling rusty-fork v0.2.1
Dec 06 18:45:15.461 INFO [stderr]    Compiling proptest v0.8.7
Dec 06 18:45:31.425 INFO [stderr]    Compiling un_algebra v0.1.6 (/source)
Dec 06 18:45:33.360 INFO [stderr] warning: unused `#[macro_use]` import
Dec 06 18:45:33.360 INFO [stderr]    --> src/lib.rs:166:1
Dec 06 18:45:33.360 INFO [stderr]     |
Dec 06 18:45:33.360 INFO [stderr] 166 | #[macro_use]
Dec 06 18:45:33.360 INFO [stderr]     | ^^^^^^^^^^^^
Dec 06 18:45:33.360 INFO [stderr]     |
Dec 06 18:45:33.360 INFO [stderr]     = note: #[warn(unused_imports)] on by default
Dec 06 18:45:33.360 INFO [stderr] 
Dec 06 18:45:33.959 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 24.47s
Dec 06 18:45:33.959 INFO [stderr] su: No module specific data is present
Dec 06 18:45:34.528 INFO running `"docker" "inspect" "d66f56782007be4cf2b8c72d10a5bf59d524cc54259dc6a7d40a3008b80c2334"`
Dec 06 18:45:34.770 INFO running `"docker" "rm" "-f" "d66f56782007be4cf2b8c72d10a5bf59d524cc54259dc6a7d40a3008b80c2334"`
Dec 06 18:45:35.028 INFO [stdout] d66f56782007be4cf2b8c72d10a5bf59d524cc54259dc6a7d40a3008b80c2334
Dec 06 18:45:35.028 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-6/master#906deae0790bd18681b937fe9a141a3c26cf1855:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/pr-56514/master#906deae0790bd18681b937fe9a141a3c26cf1855:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +906deae0790bd18681b937fe9a141a3c26cf1855-alt test --frozen --no-run" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 06 18:45:35.514 INFO [stdout] a2fa05d6c1bff88d20cb72399830ed8f27e98783bdaea70bbbaa5ac2ab0c83bc
Dec 06 18:45:35.515 INFO running `"docker" "start" "-a" "a2fa05d6c1bff88d20cb72399830ed8f27e98783bdaea70bbbaa5ac2ab0c83bc"`
Dec 06 18:45:36.761 INFO [stderr] usermod: no changes
Dec 06 18:45:36.888 INFO [stderr]    Compiling un_algebra v0.1.6 (/source)
Dec 06 18:45:42.771 INFO [stderr] warning: crate `SZ3` should have a snake case name such as `sz3`
Dec 06 18:45:42.771 INFO [stderr]   |
Dec 06 18:45:42.771 INFO [stderr]   = note: #[warn(non_snake_case)] on by default
Dec 06 18:45:42.771 INFO [stderr] 
Dec 06 18:45:43.400 INFO [stderr] warning: crate `D3` should have a snake case name such as `d3`
Dec 06 18:45:43.400 INFO [stderr]   |
Dec 06 18:45:43.400 INFO [stderr]   = note: #[warn(non_snake_case)] on by default
Dec 06 18:45:43.400 INFO [stderr] 
Dec 06 18:45:44.223 INFO [stderr] warning: crate `RPS` should have a snake case name such as `rps`
Dec 06 18:45:44.223 INFO [stderr]   |
Dec 06 18:45:44.223 INFO [stderr]   = note: #[warn(non_snake_case)] on by default
Dec 06 18:45:44.223 INFO [stderr] 
Dec 06 18:45:44.456 INFO [stderr] warning: crate `F4` should have a snake case name such as `f4`
Dec 06 18:45:44.456 INFO [stderr]   |
Dec 06 18:45:44.456 INFO [stderr]   = note: #[warn(non_snake_case)] on by default
Dec 06 18:45:44.456 INFO [stderr] 
Dec 06 18:46:23.152 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 46.37s
Dec 06 18:46:23.159 INFO [stderr] su: No module specific data is present
Dec 06 18:46:23.450 INFO running `"docker" "inspect" "a2fa05d6c1bff88d20cb72399830ed8f27e98783bdaea70bbbaa5ac2ab0c83bc"`
Dec 06 18:46:23.638 INFO running `"docker" "rm" "-f" "a2fa05d6c1bff88d20cb72399830ed8f27e98783bdaea70bbbaa5ac2ab0c83bc"`
Dec 06 18:46:23.735 INFO [stdout] a2fa05d6c1bff88d20cb72399830ed8f27e98783bdaea70bbbaa5ac2ab0c83bc
Dec 06 18:46:23.738 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-6/master#906deae0790bd18681b937fe9a141a3c26cf1855:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/pr-56514/master#906deae0790bd18681b937fe9a141a3c26cf1855:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +906deae0790bd18681b937fe9a141a3c26cf1855-alt test --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 06 18:46:23.932 INFO [stdout] 5c105d08beae3b36bc7a628bfa432c17de054936bc716e234a2078f8b30e6f7e
Dec 06 18:46:23.934 INFO running `"docker" "start" "-a" "5c105d08beae3b36bc7a628bfa432c17de054936bc716e234a2078f8b30e6f7e"`
Dec 06 18:46:24.525 INFO [stderr] usermod: no changes
Dec 06 18:46:24.707 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.15s
Dec 06 18:46:24.724 INFO [stderr]      Running /target/debug/deps/un_algebra-c88ae7dbfabf70bb
Dec 06 18:46:24.726 INFO [stdout] 
Dec 06 18:46:24.726 INFO [stdout] running 170 tests
Dec 06 18:46:24.848 INFO [stdout] test com_group::add_com_group::add_com_group_test::axiom_add_commutivity_i16_T2 ... ok
Dec 06 18:46:24.876 INFO [stdout] test com_group::add_com_group::add_com_group_test::axiom_add_commutivity_i32 ... ok
Dec 06 18:46:24.880 INFO [stdout] test com_group::mul_com_group::mul_com_group_test::axiom_mul_commutivity_f32 ... ok
Dec 06 18:46:24.884 INFO [stdout] test com_ring::com_ring::com_ring_test::axiom_mul_commutivity_i16_T2 ... ok
Dec 06 18:46:24.924 INFO [stdout] test com_group::add_com_group::add_com_group_test::axiom_add_commutivity_f64 ... ok
Dec 06 18:46:24.932 INFO [stdout] test com_ring::com_ring::com_ring_test::axiom_mul_commutivity_i8 ... ok
Dec 06 18:46:24.981 INFO [stdout] test com_ring::com_ring::com_ring_test::axiom_mul_commutivity_f32 ... ok
Dec 06 18:46:25.100 INFO [stdout] test complex::complex::complex_test::axiom_field_right_invert_C32 ... ok
Dec 06 18:46:25.120 INFO [stdout] test complex::complex::complex_test::axiom_add_closure_C64 ... ok
Dec 06 18:46:25.228 INFO [stdout] test complex::complex::complex_test::axiom_field_left_invert_C64 ... ok
Dec 06 18:46:25.228 INFO [stdout] test complex::complex::complex_test::axiom_left_add_identity_C64 ... ok
Dec 06 18:46:25.232 INFO [stdout] test complex::complex::complex_test::axiom_add_commutivity_C32 ... ok
Dec 06 18:46:25.304 INFO [stdout] test complex::complex::complex_test::axiom_add_associativity_C32 ... ok
Dec 06 18:46:25.339 INFO [stdout] test com_group::add_com_group::add_com_group_test::axiom_add_commutivity_f32_T3 ... ok
Dec 06 18:46:25.348 INFO [stdout] test com_group::mul_com_group::mul_com_group_test::axiom_mul_commutivity_f64_T3 ... ok
Dec 06 18:46:25.372 INFO [stdout] test complex::complex::complex_test::axiom_left_negate_C32 ... ok
Dec 06 18:46:25.400 INFO [stdout] test com_ring::com_ring::com_ring_test::axiom_mul_commutivity_f64_T3 ... ok
Dec 06 18:46:25.400 INFO [stdout] test complex::complex::complex_test::axiom_left_invert_C64 ... ok
Dec 06 18:46:25.404 INFO [stdout] test complex::complex::complex_test::axiom_left_mul_identity_C64 ... ok
Dec 06 18:46:25.412 INFO [stdout] test complex::complex::complex_test::axiom_left_distributivity_C32 ... ok
Dec 06 18:46:25.460 INFO [stdout] test complex::complex::complex_test::axiom_mul_associativity_C64 ... ok
Dec 06 18:46:25.481 INFO [stdout] test complex::complex::complex_test::axiom_right_add_identity_C32 ... ok
Dec 06 18:46:25.528 INFO [stdout] test complex::complex::complex_test::axiom_right_invert_C32 ... ok
Dec 06 18:46:25.572 INFO [stdout] test complex::complex::complex_test::axiom_right_negate_C64 ... ok
Dec 06 18:46:25.588 INFO [stdout] test complex::complex::complex_test::axiom_mul_closure_C64 ... ok
Dec 06 18:46:25.588 INFO [stdout] test complex::complex::complex_test::axiom_right_mul_identity_C32 ... ok
Dec 06 18:46:25.600 INFO [stdout] test complex::complex::complex_test::axiom_mul_commutivity_C64 ... ok
Dec 06 18:46:25.620 INFO [stdout] test complex::complex::complex_test::axiom_ring_mul_commutivity_C64 ... ok
Dec 06 18:46:25.637 INFO [stdout] test complex::complex::complex_test::prop_left_mul_negate_C64 ... ok
Dec 06 18:46:25.654 INFO [stdout] test complex::complex::complex_test::prop_add_cancel_C32 ... ok
Dec 06 18:46:25.736 INFO [stdout] test complex::complex::complex_test::prop_mul_negate_C64 ... ok
Dec 06 18:46:25.739 INFO [stdout] test complex::complex::complex_test::prop_left_one_negate_C64 ... ok
Dec 06 18:46:25.739 INFO [stdout] test complex::complex::complex_test::axiom_right_distributivity_C64 ... ok
Dec 06 18:46:25.769 INFO [stdout] test complex::complex::complex_test::prop_mul_zero_C64 ... ok
Dec 06 18:46:25.769 INFO [stdout] test complex::complex::complex_test::prop_left_zero_absorb_C64 ... ok
Dec 06 18:46:25.783 INFO [stdout] test complex::complex::complex_test::prop_right_mul_negate_C32 ... ok
Dec 06 18:46:25.787 INFO [stdout] test complex::complex::complex_test::prop_right_one_negate_C32 ... ok
Dec 06 18:46:25.811 INFO [stdout] test field::field::field_test::axiom_left_invert_f32 ... ok
Dec 06 18:46:25.832 INFO [stdout] test field::field::field_test::axiom_left_invert_f32_T2 ... ok
Dec 06 18:46:25.860 INFO [stdout] test field::field::field_test::axiom_left_invert_f64_T1 ... ok
Dec 06 18:46:25.864 INFO [stdout] test complex::complex::complex_test::prop_right_zero_absorb_C32 ... ok
Dec 06 18:46:25.885 INFO [stdout] test complex::complex::complex_test::prop_mul_cancel_C64 ... ok
Dec 06 18:46:25.889 INFO [stdout] test field::field::field_test::axiom_right_invert_f64 ... ok
Dec 06 18:46:25.906 INFO [stdout] test field::field::field_test::prop_add_cancel_f64 ... ok
Dec 06 18:46:25.936 INFO [stdout] test field::field::field_test::prop_mul_cancel_f32 ... ok
Dec 06 18:46:25.940 INFO [stdout] test group::add_group::add_group_test::axiom_left_negate_f64 ... ok
Dec 06 18:46:25.940 INFO [stdout] test field::field::field_test::prop_mul_cancel_f64_T1 ... ok
Dec 06 18:46:25.952 INFO [stdout] test group::add_group::add_group_test::axiom_left_negate_i16_T1 ... ok
Dec 06 18:46:25.952 INFO [stdout] test group::add_group::add_group_test::axiom_left_negate_i32 ... ok
Dec 06 18:46:25.964 INFO [stdout] test group::add_group::add_group_test::axiom_right_negate_isize_T2 ... ok
Dec 06 18:46:25.981 INFO [stdout] test group::add_group::add_group_test::axiom_right_negate_i16 ... ok
Dec 06 18:46:25.990 INFO [stdout] test field::field::field_test::prop_mul_zero_f32 ... ok
Dec 06 18:46:26.005 INFO [stdout] test group::add_group::add_group_test::axiom_right_negate_f32 ... ok
Dec 06 18:46:26.052 INFO [stdout] test group::mul_group::mul_group_test::axiom_right_invert_f64 ... ok
Dec 06 18:46:26.065 INFO [stdout] test field::field::field_test::prop_add_cancel_f32_T2 ... ok
Dec 06 18:46:26.073 INFO [stdout] test group::mul_group::mul_group_test::axiom_left_invert_f32 ... ok
Dec 06 18:46:26.076 INFO [stdout] test group::add_group::add_group_test::axiom_right_negate_f64_T3 ... ok
Dec 06 18:46:26.099 INFO [stdout] test group::mul_group::mul_group_test::axiom_left_invert_f64_T1 ... ok
Dec 06 18:46:26.110 INFO [stdout] test magma::add_magma::add_magma_test::axiom_add_closure_isize_T3 ... ok
Dec 06 18:46:26.112 INFO [stdout] test magma::add_magma::add_magma_test::axiom_add_closure_f32 ... ok
Dec 06 18:46:26.134 INFO [stdout] test magma::add_magma::add_magma_test::axiom_add_closure_u16 ... ok
Dec 06 18:46:26.144 INFO [stdout] test field::field::field_test::prop_mul_zero_f64_T3 ... ok
Dec 06 18:46:26.154 INFO [stdout] test magma::add_magma::add_magma_test::axiom_add_closure_u8_T2 ... ok
Dec 06 18:46:26.154 INFO [stdout] test magma::add_magma::add_magma_test::axiom_add_closure_u64_T1 ... ok
Dec 06 18:46:26.157 INFO [stdout] test magma::add_magma::add_magma_test::axiom_add_closure_i64 ... ok
Dec 06 18:46:26.175 INFO [stdout] test magma::mul_magma::mul_magma_test::axiom_mul_closure_i8 ... ok
Dec 06 18:46:26.187 INFO [stdout] test magma::add_magma::add_magma_test::axiom_add_closure_f64_T1 ... ok
Dec 06 18:46:26.201 INFO [stdout] test magma::mul_magma::mul_magma_test::axiom_mul_closure_isize_T3 ... ok
Dec 06 18:46:26.244 INFO [stdout] test magma::add_magma::add_magma_test::axiom_add_closure_f32_T2 ... ok
Dec 06 18:46:26.256 INFO [stdout] test group::mul_group::mul_group_test::axiom_right_invert_f32_T3 ... ok
Dec 06 18:46:26.256 INFO [stdout] test magma::mul_magma::mul_magma_test::axiom_mul_closure_f32_T2 ... ok
Dec 06 18:46:26.256 INFO [stdout] test magma::mul_magma::mul_magma_test::axiom_mul_closure_u64_T1 ... ok
Dec 06 18:46:26.276 INFO [stdout] test magma::mul_magma::mul_magma_test::axiom_mul_closure_u32 ... ok
Dec 06 18:46:26.276 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_left_add_identity_i64 ... ok
Dec 06 18:46:26.276 INFO [stdout] test magma::mul_magma::mul_magma_test::axiom_mul_closure_u8_T2 ... ok
Dec 06 18:46:26.288 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_left_add_identity_u16_T1 ... ok
Dec 06 18:46:26.297 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_left_add_identity_i32_T2 ... ok
Dec 06 18:46:26.316 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_right_add_identity_f64 ... ok
Dec 06 18:46:26.320 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_right_add_identity_i32_T3 ... ok
Dec 06 18:46:26.332 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_right_add_identity_isize ... ok
Dec 06 18:46:26.332 INFO [stdout] test magma::mul_magma::mul_magma_test::axiom_mul_closure_f64 ... ok
Dec 06 18:46:26.340 INFO [stdout] test magma::mul_magma::mul_magma_test::axiom_mul_closure_f64_T1 ... ok
Dec 06 18:46:26.348 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_left_add_identity_u8 ... ok
Dec 06 18:46:26.365 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_right_add_identity_u8_T1 ... ok
Dec 06 18:46:26.376 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_left_add_identity_f32 ... ok
Dec 06 18:46:26.376 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_left_mul_identity_i32_T2 ... ok
Dec 06 18:46:26.381 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_left_mul_identity_i64 ... ok
Dec 06 18:46:26.386 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_left_mul_identity_f32 ... ok
Dec 06 18:46:26.404 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_right_add_identity_u32 ... ok
Dec 06 18:46:26.404 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_left_mul_identity_u16_T1 ... ok
Dec 06 18:46:26.432 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_right_mul_identity_f64 ... ok
Dec 06 18:46:26.432 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_left_mul_identity_u8 ... ok
Dec 06 18:46:26.436 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_right_mul_identity_u8_T1 ... ok
Dec 06 18:46:26.436 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_right_mul_identity_u32 ... ok
Dec 06 18:46:26.448 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_right_mul_identity_isize ... ok
Dec 06 18:46:26.477 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_right_mul_identity_f32_T3 ... ok
Dec 06 18:46:26.478 INFO [stdout] test rational::rational::rational_test::axiom_add_closure ... ok
Dec 06 18:46:26.490 INFO [stdout] test rational::rational::rational_test::axiom_field_right_invert ... ok
Dec 06 18:46:26.512 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_right_add_identity_f32_T3 ... ok
Dec 06 18:46:26.540 INFO [stdout] test rational::rational::rational_test::axiom_left_invert ... ok
Dec 06 18:46:26.551 INFO [stdout] test rational::rational::rational_test::axiom_left_negate ... ok
Dec 06 18:46:26.556 INFO [stdout] test rational::rational::rational_test::axiom_field_left_invert ... ok
Dec 06 18:46:26.560 INFO [stdout] test rational::rational::rational_test::axiom_left_add_identity ... ok
Dec 06 18:46:26.600 INFO [stdout] test rational::rational::rational_test::axiom_left_mul_identity ... ok
Dec 06 18:46:26.612 INFO [stdout] test rational::rational::rational_test::axiom_add_commutivity ... ok
Dec 06 18:46:26.641 INFO [stdout] test rational::rational::rational_test::axiom_mul_closure ... ok
Dec 06 18:46:26.672 INFO [stdout] test rational::rational::rational_test::axiom_left_under ... ok
Dec 06 18:46:26.676 INFO [stdout] test rational::rational::rational_test::axiom_right_add_identity ... ok
Dec 06 18:46:26.686 INFO [stdout] test rational::rational::rational_test::axiom_right_invert ... ok
Dec 06 18:46:26.716 INFO [stdout] test rational::rational::rational_test::axiom_right_negate ... ok
Dec 06 18:46:26.744 INFO [stdout] test rational::rational::rational_test::axiom_left_over ... ok
Dec 06 18:46:26.749 INFO [stdout] test rational::rational::rational_test::axiom_right_mul_identity ... ok
Dec 06 18:46:26.768 INFO [stdout] test rational::rational::rational_test::axiom_mul_commutivity ... ok
Dec 06 18:46:26.824 INFO [stdout] test rational::rational::rational_test::axiom_add_associativity ... ok
Dec 06 18:46:26.868 INFO [stdout] test rational::rational::rational_test::axiom_ring_mul_commutivity ... ok
Dec 06 18:46:26.868 INFO [stdout] test rational::rational::rational_test::axiom_right_under ... ok
Dec 06 18:46:26.889 INFO [stdout] test rational::rational::rational_test::axiom_left_distributivity ... ok
Dec 06 18:46:26.905 INFO [stdout] test rational::rational::rational_test::prop_left_zero_absorb ... ok
Dec 06 18:46:26.920 INFO [stdout] test rational::rational::rational_test::axiom_right_over ... ok
Dec 06 18:46:26.957 INFO [stdout] test rational::rational::rational_test::prop_left_one_negate ... ok
Dec 06 18:46:26.962 INFO [stdout] test rational::rational::rational_test::prop_add_cancel ... ok
Dec 06 18:46:27.028 INFO [stdout] test rational::rational::rational_test::prop_right_one_negate ... ok
Dec 06 18:46:27.032 INFO [stdout] test rational::rational::rational_test::axiom_mul_associativity ... ok
Dec 06 18:46:27.042 INFO [stdout] test rational::rational::rational_test::prop_mul_negate ... ok
Dec 06 18:46:27.101 INFO [stdout] test rational::rational::rational_test::prop_right_mul_negate ... ok
Dec 06 18:46:27.101 INFO [stdout] test rational::rational::rational_test::prop_left_mul_negate ... ok
Dec 06 18:46:27.109 INFO [stdout] test rational::rational::rational_test::prop_right_zero_absorb ... ok
Dec 06 18:46:27.113 INFO [stdout] test rational::rational::rational_test::axiom_right_distributivity ... ok
Dec 06 18:46:27.124 INFO [stdout] test rational::rational::rational_test::prop_mul_cancel ... ok
Dec 06 18:46:27.124 INFO [stdout] test ring::ring::ring_test::axiom_left_distributivity_i32 ... ok
Dec 06 18:46:27.134 INFO [stdout] test rational::rational::rational_test::prop_mul_zero ... ok
Dec 06 18:46:27.152 INFO [stdout] test ring::ring::ring_test::axiom_left_distributivity_i8_T1 ... ok
Dec 06 18:46:27.192 INFO [stdout] test ring::ring::ring_test::axiom_right_distributivity_i16 ... ok
Dec 06 18:46:27.196 INFO [stdout] test ring::ring::ring_test::axiom_right_distributivity_i64_T2 ... ok
Dec 06 18:46:27.200 INFO [stdout] test ring::ring::ring_test::prop_left_mul_negate_i16 ... ok
Dec 06 18:46:27.212 INFO [stdout] test ring::ring::ring_test::prop_left_mul_negate_f64_T1 ... ok
Dec 06 18:46:27.220 INFO [stdout] test ring::ring::ring_test::axiom_right_distributivity_f32 ... ok
Dec 06 18:46:27.232 INFO [stdout] test ring::ring::ring_test::prop_left_mul_negate_i32_T2 ... ok
Dec 06 18:46:27.237 INFO [stdout] test ring::ring::ring_test::prop_left_mul_negate_f32 ... ok
Dec 06 18:46:27.241 INFO [stdout] test ring::ring::ring_test::axiom_left_distributivity_f64 ... ok
Dec 06 18:46:27.278 INFO [stdout] test ring::ring::ring_test::prop_left_one_negate_isize ... ok
Dec 06 18:46:27.304 INFO [stdout] test ring::ring::ring_test::prop_left_one_negate_f32 ... ok
Dec 06 18:46:27.308 INFO [stdout] test ring::ring::ring_test::prop_left_zero_absorb_f32 ... ok
Dec 06 18:46:27.326 INFO [stdout] test ring::ring::ring_test::prop_left_zero_absorb_f64_T3 ... ok
Dec 06 18:46:27.341 INFO [stdout] test ring::ring::ring_test::prop_left_zero_absorb_isize ... ok
Dec 06 18:46:27.352 INFO [stdout] test ring::ring::ring_test::prop_right_mul_negate_i32 ... ok
Dec 06 18:46:27.355 INFO [stdout] test ring::ring::ring_test::prop_left_one_negate_f64_T3 ... ok
Dec 06 18:46:27.357 INFO [stdout] test ring::ring::ring_test::prop_mul_negate_i64 ... ok
Dec 06 18:46:27.374 INFO [stdout] test ring::ring::ring_test::prop_right_mul_negate_i8_T3 ... ok
Dec 06 18:46:27.380 INFO [stdout] test ring::ring::ring_test::prop_mul_negate_f32 ... ok
Dec 06 18:46:27.397 INFO [stdout] test ring::ring::ring_test::prop_right_mul_negate_f64 ... ok
Dec 06 18:46:27.400 INFO [stdout] test ring::ring::ring_test::prop_right_one_negate_i32 ... ok
Dec 06 18:46:27.408 INFO [stdout] test ring::ring::ring_test::prop_mul_negate_i32_T2 ... ok
Dec 06 18:46:27.424 INFO [stdout] test ring::ring::ring_test::prop_right_zero_absorb_i32 ... ok
Dec 06 18:46:27.436 INFO [stdout] test ring::ring::ring_test::prop_right_zero_absorb_i16_T2 ... ok
Dec 06 18:46:27.444 INFO [stdout] test semigroup::add_semigroup::add_semigroup_test::axiom_add_associativity_T2 ... ok
Dec 06 18:46:27.446 INFO [stdout] test ring::ring::ring_test::prop_right_one_negate_f64 ... ok
Dec 06 18:46:27.448 INFO [stdout] test ring::ring::ring_test::prop_right_zero_absorb_f64 ... ok
Dec 06 18:46:27.504 INFO [stdout] test ring::ring::ring_test::prop_right_one_negate_i16_T2 ... ok
Dec 06 18:46:27.516 INFO [stdout] test semigroup::add_semigroup::add_semigroup_test::axiom_add_associativity_u64_T2 ... ok
Dec 06 18:46:27.552 INFO [stdout] test semigroup::add_semigroup::add_semigroup_test::axiom_add_associativity_i8 ... ok
Dec 06 18:46:27.556 INFO [stdout] test semigroup::mul_semigroup::mul_semigroup_test::axiom_mul_associativity_i32_T2 ... ok
Dec 06 18:46:27.570 INFO [stdout] test semigroup::add_semigroup::add_semigroup_test::axiom_add_associativity_f64 ... ok
Dec 06 18:46:27.575 INFO [stdout] test semigroup::add_semigroup::add_semigroup_test::axiom_add_associativity_u32 ... ok
Dec 06 18:46:27.585 INFO [stdout] test semigroup::mul_semigroup::mul_semigroup_test::axiom_mul_associativity_isize ... ok
Dec 06 18:46:27.615 INFO [stdout] test semigroup::mul_semigroup::mul_semigroup_test::axiom_mul_associativity_u16 ... ok
Dec 06 18:46:27.615 INFO [stdout] test semigroup::mul_semigroup::mul_semigroup_test::axiom_mul_associativity_u32_T2 ... ok
Dec 06 18:46:27.627 INFO [stdout] test semigroup::add_semigroup::add_semigroup_test::axiom_add_associativity_f32_T2 ... ok
Dec 06 18:46:27.648 INFO [stdout] test semigroup::mul_semigroup::mul_semigroup_test::axiom_mul_associativity_f32 ... ok
Dec 06 18:46:27.676 INFO [stdout] test semigroup::mul_semigroup::mul_semigroup_test::axiom_mul_associativity_f64_T2 ... ok
Dec 06 18:46:27.676 INFO [stdout] 
Dec 06 18:46:27.676 INFO [stdout] test result: ok. 170 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 06 18:46:27.676 INFO [stdout] 
Dec 06 18:46:27.684 INFO [stderr]    Doc-tests un_algebra
Dec 06 18:46:31.292 INFO [stdout] 
Dec 06 18:46:31.292 INFO [stdout] running 0 tests
Dec 06 18:46:31.292 INFO [stdout] 
Dec 06 18:46:31.292 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 06 18:46:31.292 INFO [stdout] 
Dec 06 18:46:31.302 INFO [stderr] su: No module specific data is present
Dec 06 18:46:31.649 INFO running `"docker" "inspect" "5c105d08beae3b36bc7a628bfa432c17de054936bc716e234a2078f8b30e6f7e"`
Dec 06 18:46:31.802 INFO running `"docker" "rm" "-f" "5c105d08beae3b36bc7a628bfa432c17de054936bc716e234a2078f8b30e6f7e"`
Dec 06 18:46:32.019 INFO [stdout] 5c105d08beae3b36bc7a628bfa432c17de054936bc716e234a2078f8b30e6f7e