Dec 14 15:25:44.757 INFO testing un_algebra-0.1.6 against try#aa49d8ef14939ddec0e34b346b60174a5673d48f for pr-56550
Dec 14 15:25:44.757 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-6/try#aa49d8ef14939ddec0e34b346b60174a5673d48f:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/pr-56550/try#aa49d8ef14939ddec0e34b346b60174a5673d48f:/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 +aa49d8ef14939ddec0e34b346b60174a5673d48f-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 14 15:25:45.320 INFO [stdout] a11a0e401dd64992ea8ee862ddb6f9f066e5a25ffef11da04cf368d93afb9097
Dec 14 15:25:45.322 INFO running `"docker" "start" "-a" "a11a0e401dd64992ea8ee862ddb6f9f066e5a25ffef11da04cf368d93afb9097"`
Dec 14 15:25:46.261 INFO [stderr] usermod: no changes
Dec 14 15:25:46.405 INFO [stderr]    Compiling byteorder v1.2.7
Dec 14 15:25:46.407 INFO [stderr]    Compiling wait-timeout v0.1.5
Dec 14 15:25:46.407 INFO [stderr]    Compiling rand v0.5.5
Dec 14 15:25:46.409 INFO [stderr]    Compiling float-cmp v0.4.0
Dec 14 15:25:47.610 INFO [stderr]    Compiling rusty-fork v0.2.1
Dec 14 15:25:51.364 INFO [stderr]    Compiling proptest v0.8.7
Dec 14 15:26:06.737 INFO [stderr]    Compiling un_algebra v0.1.6 (/source)
Dec 14 15:26:09.212 INFO [stderr] warning: unused `#[macro_use]` import
Dec 14 15:26:09.212 INFO [stderr]    --> src/lib.rs:166:1
Dec 14 15:26:09.212 INFO [stderr]     |
Dec 14 15:26:09.212 INFO [stderr] 166 | #[macro_use]
Dec 14 15:26:09.212 INFO [stderr]     | ^^^^^^^^^^^^
Dec 14 15:26:09.212 INFO [stderr]     |
Dec 14 15:26:09.212 INFO [stderr]     = note: #[warn(unused_imports)] on by default
Dec 14 15:26:09.212 INFO [stderr] 
Dec 14 15:26:09.847 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 23.56s
Dec 14 15:26:09.863 INFO [stderr] su: No module specific data is present
Dec 14 15:26:10.827 INFO running `"docker" "inspect" "a11a0e401dd64992ea8ee862ddb6f9f066e5a25ffef11da04cf368d93afb9097"`
Dec 14 15:26:11.103 INFO running `"docker" "rm" "-f" "a11a0e401dd64992ea8ee862ddb6f9f066e5a25ffef11da04cf368d93afb9097"`
Dec 14 15:26:11.424 INFO [stdout] a11a0e401dd64992ea8ee862ddb6f9f066e5a25ffef11da04cf368d93afb9097
Dec 14 15:26:11.426 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-6/try#aa49d8ef14939ddec0e34b346b60174a5673d48f:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/pr-56550/try#aa49d8ef14939ddec0e34b346b60174a5673d48f:/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 +aa49d8ef14939ddec0e34b346b60174a5673d48f-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 14 15:26:11.775 INFO [stdout] c6e8dd9e7abbba9e46294813d5b0d88d23b39503e1e00343b2bea10e77b300d2
Dec 14 15:26:11.782 INFO running `"docker" "start" "-a" "c6e8dd9e7abbba9e46294813d5b0d88d23b39503e1e00343b2bea10e77b300d2"`
Dec 14 15:26:12.427 INFO [stderr] usermod: no changes
Dec 14 15:26:12.502 INFO [stderr]    Compiling un_algebra v0.1.6 (/source)
Dec 14 15:26:17.598 INFO [stderr] warning: crate `D3` should have a snake case name such as `d3`
Dec 14 15:26:17.598 INFO [stderr]   |
Dec 14 15:26:17.598 INFO [stderr]   = note: #[warn(non_snake_case)] on by default
Dec 14 15:26:17.598 INFO [stderr] 
Dec 14 15:26:17.730 INFO [stderr] warning: crate `F4` should have a snake case name such as `f4`
Dec 14 15:26:17.739 INFO [stderr]   |
Dec 14 15:26:17.739 INFO [stderr]   = note: #[warn(non_snake_case)] on by default
Dec 14 15:26:17.739 INFO [stderr] 
Dec 14 15:26:18.487 INFO [stderr] warning: crate `SZ3` should have a snake case name such as `sz3`
Dec 14 15:26:18.487 INFO [stderr]   |
Dec 14 15:26:18.487 INFO [stderr]   = note: #[warn(non_snake_case)] on by default
Dec 14 15:26:18.487 INFO [stderr] 
Dec 14 15:26:18.523 INFO [stderr] warning: crate `RPS` should have a snake case name such as `rps`
Dec 14 15:26:18.523 INFO [stderr]   |
Dec 14 15:26:18.523 INFO [stderr]   = note: #[warn(non_snake_case)] on by default
Dec 14 15:26:18.523 INFO [stderr] 
Dec 14 15:26:57.046 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 44.60s
Dec 14 15:26:57.056 INFO [stderr] su: No module specific data is present
Dec 14 15:26:57.337 INFO running `"docker" "inspect" "c6e8dd9e7abbba9e46294813d5b0d88d23b39503e1e00343b2bea10e77b300d2"`
Dec 14 15:26:57.432 INFO running `"docker" "rm" "-f" "c6e8dd9e7abbba9e46294813d5b0d88d23b39503e1e00343b2bea10e77b300d2"`
Dec 14 15:26:57.540 INFO [stdout] c6e8dd9e7abbba9e46294813d5b0d88d23b39503e1e00343b2bea10e77b300d2
Dec 14 15:26:57.544 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-6/try#aa49d8ef14939ddec0e34b346b60174a5673d48f:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/pr-56550/try#aa49d8ef14939ddec0e34b346b60174a5673d48f:/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 +aa49d8ef14939ddec0e34b346b60174a5673d48f-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 14 15:26:57.743 INFO [stdout] 888fa248dd09829b89949fee7a059c959333727e792277a05cbf946c898a510a
Dec 14 15:26:57.747 INFO running `"docker" "start" "-a" "888fa248dd09829b89949fee7a059c959333727e792277a05cbf946c898a510a"`
Dec 14 15:26:58.145 INFO [stderr] usermod: no changes
Dec 14 15:26:58.267 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.10s
Dec 14 15:26:58.280 INFO [stderr]      Running /target/debug/deps/un_algebra-f4d9fa1cdfcdbe29
Dec 14 15:26:58.282 INFO [stdout] 
Dec 14 15:26:58.282 INFO [stdout] running 170 tests
Dec 14 15:26:58.402 INFO [stdout] test com_group::add_com_group::add_com_group_test::axiom_add_commutivity_i32 ... ok
Dec 14 15:26:58.411 INFO [stdout] test com_group::add_com_group::add_com_group_test::axiom_add_commutivity_f64 ... ok
Dec 14 15:26:58.424 INFO [stdout] test com_group::add_com_group::add_com_group_test::axiom_add_commutivity_i16_T2 ... ok
Dec 14 15:26:58.491 INFO [stdout] test com_group::mul_com_group::mul_com_group_test::axiom_mul_commutivity_f32 ... ok
Dec 14 15:26:58.507 INFO [stdout] test com_ring::com_ring::com_ring_test::axiom_mul_commutivity_i16_T2 ... ok
Dec 14 15:26:58.515 INFO [stdout] test com_ring::com_ring::com_ring_test::axiom_mul_commutivity_f32 ... ok
Dec 14 15:26:58.551 INFO [stdout] test com_ring::com_ring::com_ring_test::axiom_mul_commutivity_i8 ... ok
Dec 14 15:26:58.551 INFO [stdout] test com_group::add_com_group::add_com_group_test::axiom_add_commutivity_f32_T3 ... ok
Dec 14 15:26:58.707 INFO [stdout] test complex::complex::complex_test::axiom_field_left_invert_C64 ... ok
Dec 14 15:26:58.707 INFO [stdout] test complex::complex::complex_test::axiom_left_add_identity_C64 ... ok
Dec 14 15:26:58.723 INFO [stdout] test complex::complex::complex_test::axiom_add_commutivity_C32 ... ok
Dec 14 15:26:58.799 INFO [stdout] test complex::complex::complex_test::axiom_left_invert_C64 ... ok
Dec 14 15:26:58.805 INFO [stdout] test complex::complex::complex_test::axiom_field_right_invert_C32 ... ok
Dec 14 15:26:58.823 INFO [stdout] test com_group::mul_com_group::mul_com_group_test::axiom_mul_commutivity_f64_T3 ... ok
Dec 14 15:26:58.846 INFO [stdout] test complex::complex::complex_test::axiom_add_associativity_C32 ... ok
Dec 14 15:26:58.874 INFO [stdout] test com_ring::com_ring::com_ring_test::axiom_mul_commutivity_f64_T3 ... ok
Dec 14 15:26:58.890 INFO [stdout] test complex::complex::complex_test::axiom_add_closure_C64 ... ok
Dec 14 15:26:58.895 INFO [stdout] test complex::complex::complex_test::axiom_left_mul_identity_C64 ... ok
Dec 14 15:26:58.943 INFO [stdout] test complex::complex::complex_test::axiom_left_distributivity_C32 ... ok
Dec 14 15:26:58.950 INFO [stdout] test complex::complex::complex_test::axiom_left_negate_C32 ... ok
Dec 14 15:26:58.987 INFO [stdout] test complex::complex::complex_test::axiom_mul_closure_C64 ... ok
Dec 14 15:26:58.987 INFO [stdout] test complex::complex::complex_test::axiom_right_invert_C32 ... ok
Dec 14 15:26:59.023 INFO [stdout] test complex::complex::complex_test::axiom_right_add_identity_C32 ... ok
Dec 14 15:26:59.039 INFO [stdout] test complex::complex::complex_test::axiom_mul_associativity_C64 ... ok
Dec 14 15:26:59.051 INFO [stdout] test complex::complex::complex_test::axiom_right_negate_C64 ... ok
Dec 14 15:26:59.067 INFO [stdout] test complex::complex::complex_test::axiom_mul_commutivity_C64 ... ok
Dec 14 15:26:59.075 INFO [stdout] test complex::complex::complex_test::axiom_right_mul_identity_C32 ... ok
Dec 14 15:26:59.134 INFO [stdout] test complex::complex::complex_test::prop_left_zero_absorb_C64 ... ok
Dec 14 15:26:59.134 INFO [stdout] test complex::complex::complex_test::axiom_right_distributivity_C64 ... ok
Dec 14 15:26:59.217 INFO [stdout] test complex::complex::complex_test::prop_left_one_negate_C64 ... ok
Dec 14 15:26:59.217 INFO [stdout] test complex::complex::complex_test::axiom_ring_mul_commutivity_C64 ... ok
Dec 14 15:26:59.217 INFO [stdout] test complex::complex::complex_test::prop_add_cancel_C32 ... ok
Dec 14 15:26:59.259 INFO [stdout] test complex::complex::complex_test::prop_left_mul_negate_C64 ... ok
Dec 14 15:26:59.272 INFO [stdout] test complex::complex::complex_test::prop_right_zero_absorb_C32 ... ok
Dec 14 15:26:59.278 INFO [stdout] test complex::complex::complex_test::prop_right_one_negate_C32 ... ok
Dec 14 15:26:59.317 INFO [stdout] test complex::complex::complex_test::prop_mul_negate_C64 ... ok
Dec 14 15:26:59.322 INFO [stdout] test complex::complex::complex_test::prop_mul_cancel_C64 ... ok
Dec 14 15:26:59.330 INFO [stdout] test field::field::field_test::axiom_left_invert_f32 ... ok
Dec 14 15:26:59.338 INFO [stdout] test complex::complex::complex_test::prop_mul_zero_C64 ... ok
Dec 14 15:26:59.358 INFO [stdout] test field::field::field_test::axiom_right_invert_f64 ... ok
Dec 14 15:26:59.361 INFO [stdout] test complex::complex::complex_test::prop_right_mul_negate_C32 ... ok
Dec 14 15:26:59.406 INFO [stdout] test field::field::field_test::axiom_left_invert_f64_T1 ... ok
Dec 14 15:26:59.422 INFO [stdout] test field::field::field_test::axiom_left_invert_f32_T2 ... ok
Dec 14 15:26:59.427 INFO [stdout] test field::field::field_test::prop_mul_cancel_f64_T1 ... ok
Dec 14 15:26:59.427 INFO [stdout] test field::field::field_test::prop_mul_cancel_f32 ... ok
Dec 14 15:26:59.451 INFO [stdout] test group::add_group::add_group_test::axiom_left_negate_i16_T1 ... ok
Dec 14 15:26:59.465 INFO [stdout] test field::field::field_test::prop_add_cancel_f64 ... ok
Dec 14 15:26:59.466 INFO [stdout] test field::field::field_test::prop_mul_zero_f32 ... ok
Dec 14 15:26:59.483 INFO [stdout] test group::add_group::add_group_test::axiom_left_negate_i32 ... ok
Dec 14 15:26:59.483 INFO [stdout] test group::add_group::add_group_test::axiom_left_negate_f64 ... ok
Dec 14 15:26:59.497 INFO [stdout] test field::field::field_test::prop_add_cancel_f32_T2 ... ok
Dec 14 15:26:59.497 INFO [stdout] test group::add_group::add_group_test::axiom_right_negate_isize_T2 ... ok
Dec 14 15:26:59.504 INFO [stdout] test group::add_group::add_group_test::axiom_right_negate_i16 ... ok
Dec 14 15:26:59.521 INFO [stdout] test field::field::field_test::prop_mul_zero_f64_T3 ... ok
Dec 14 15:26:59.556 INFO [stdout] test group::mul_group::mul_group_test::axiom_left_invert_f64_T1 ... ok
Dec 14 15:26:59.561 INFO [stdout] test group::add_group::add_group_test::axiom_right_negate_f32 ... ok
Dec 14 15:26:59.587 INFO [stdout] test group::add_group::add_group_test::axiom_right_negate_f64_T3 ... ok
Dec 14 15:26:59.619 INFO [stdout] test magma::add_magma::add_magma_test::axiom_add_closure_isize_T3 ... ok
Dec 14 15:26:59.628 INFO [stdout] test magma::add_magma::add_magma_test::axiom_add_closure_f32 ... ok
Dec 14 15:26:59.637 INFO [stdout] test group::mul_group::mul_group_test::axiom_left_invert_f32 ... ok
Dec 14 15:26:59.644 INFO [stdout] test magma::add_magma::add_magma_test::axiom_add_closure_u16 ... ok
Dec 14 15:26:59.644 INFO [stdout] test magma::add_magma::add_magma_test::axiom_add_closure_i64 ... ok
Dec 14 15:26:59.667 INFO [stdout] test group::mul_group::mul_group_test::axiom_right_invert_f32_T3 ... ok
Dec 14 15:26:59.667 INFO [stdout] test group::mul_group::mul_group_test::axiom_right_invert_f64 ... ok
Dec 14 15:26:59.667 INFO [stdout] test magma::add_magma::add_magma_test::axiom_add_closure_f32_T2 ... ok
Dec 14 15:26:59.683 INFO [stdout] test magma::add_magma::add_magma_test::axiom_add_closure_u8_T2 ... ok
Dec 14 15:26:59.687 INFO [stdout] test magma::add_magma::add_magma_test::axiom_add_closure_u64_T1 ... ok
Dec 14 15:26:59.708 INFO [stdout] test magma::mul_magma::mul_magma_test::axiom_mul_closure_u32 ... ok
Dec 14 15:26:59.713 INFO [stdout] test magma::mul_magma::mul_magma_test::axiom_mul_closure_f64 ... ok
Dec 14 15:26:59.719 INFO [stdout] test magma::add_magma::add_magma_test::axiom_add_closure_f64_T1 ... ok
Dec 14 15:26:59.741 INFO [stdout] test magma::mul_magma::mul_magma_test::axiom_mul_closure_u8_T2 ... ok
Dec 14 15:26:59.743 INFO [stdout] test magma::mul_magma::mul_magma_test::axiom_mul_closure_isize_T3 ... ok
Dec 14 15:26:59.751 INFO [stdout] test magma::mul_magma::mul_magma_test::axiom_mul_closure_i8 ... ok
Dec 14 15:26:59.759 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_left_add_identity_f32 ... ok
Dec 14 15:26:59.764 INFO [stdout] test magma::mul_magma::mul_magma_test::axiom_mul_closure_u64_T1 ... ok
Dec 14 15:26:59.777 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_left_add_identity_i32_T2 ... ok
Dec 14 15:26:59.786 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_left_add_identity_u8 ... ok
Dec 14 15:26:59.791 INFO [stdout] test magma::mul_magma::mul_magma_test::axiom_mul_closure_f64_T1 ... ok
Dec 14 15:26:59.799 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_left_add_identity_u16_T1 ... ok
Dec 14 15:26:59.810 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_right_add_identity_i32_T3 ... ok
Dec 14 15:26:59.815 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_left_add_identity_i64 ... ok
Dec 14 15:26:59.815 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_right_add_identity_u32 ... ok
Dec 14 15:26:59.823 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_right_add_identity_isize ... ok
Dec 14 15:26:59.835 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_right_add_identity_u8_T1 ... ok
Dec 14 15:26:59.842 INFO [stdout] test magma::mul_magma::mul_magma_test::axiom_mul_closure_f32_T2 ... ok
Dec 14 15:26:59.848 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_left_mul_identity_i32_T2 ... ok
Dec 14 15:26:59.856 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_right_add_identity_f32_T3 ... ok
Dec 14 15:26:59.860 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_right_add_identity_f64 ... ok
Dec 14 15:26:59.864 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_left_mul_identity_u16_T1 ... ok
Dec 14 15:26:59.870 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_left_mul_identity_i64 ... ok
Dec 14 15:26:59.870 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_left_mul_identity_f32 ... ok
Dec 14 15:26:59.883 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_left_mul_identity_u8 ... ok
Dec 14 15:26:59.895 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_right_mul_identity_u32 ... ok
Dec 14 15:26:59.896 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_right_mul_identity_f64 ... ok
Dec 14 15:26:59.896 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_right_mul_identity_u8_T1 ... ok
Dec 14 15:26:59.922 INFO [stdout] test rational::rational::rational_test::axiom_field_left_invert ... ok
Dec 14 15:26:59.926 INFO [stdout] test rational::rational::rational_test::axiom_field_right_invert ... ok
Dec 14 15:26:59.929 INFO [stdout] test rational::rational::rational_test::axiom_add_closure ... ok
Dec 14 15:26:59.930 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_right_mul_identity_f32_T3 ... ok
Dec 14 15:26:59.937 INFO [stdout] test rational::rational::rational_test::axiom_left_add_identity ... ok
Dec 14 15:26:59.949 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_right_mul_identity_isize ... ok
Dec 14 15:26:59.968 INFO [stdout] test rational::rational::rational_test::axiom_left_invert ... ok
Dec 14 15:26:59.978 INFO [stdout] test rational::rational::rational_test::axiom_left_mul_identity ... ok
Dec 14 15:26:59.981 INFO [stdout] test rational::rational::rational_test::axiom_left_negate ... ok
Dec 14 15:27:00.022 INFO [stdout] test rational::rational::rational_test::axiom_mul_closure ... ok
Dec 14 15:27:00.041 INFO [stdout] test rational::rational::rational_test::axiom_add_commutivity ... ok
Dec 14 15:27:00.083 INFO [stdout] test rational::rational::rational_test::axiom_left_under ... ok
Dec 14 15:27:00.123 INFO [stdout] test rational::rational::rational_test::axiom_right_invert ... ok
Dec 14 15:27:00.135 INFO [stdout] test rational::rational::rational_test::axiom_right_add_identity ... ok
Dec 14 15:27:00.164 INFO [stdout] test rational::rational::rational_test::axiom_right_mul_identity ... ok
Dec 14 15:27:00.171 INFO [stdout] test rational::rational::rational_test::axiom_right_negate ... ok
Dec 14 15:27:00.283 INFO [stdout] test rational::rational::rational_test::axiom_add_associativity ... ok
Dec 14 15:27:00.307 INFO [stdout] test rational::rational::rational_test::axiom_left_over ... ok
Dec 14 15:27:00.307 INFO [stdout] test rational::rational::rational_test::axiom_right_under ... ok
Dec 14 15:27:00.326 INFO [stdout] test rational::rational::rational_test::axiom_mul_associativity ... ok
Dec 14 15:27:00.326 INFO [stdout] test rational::rational::rational_test::axiom_right_over ... ok
Dec 14 15:27:00.351 INFO [stdout] test rational::rational::rational_test::axiom_mul_commutivity ... ok
Dec 14 15:27:00.367 INFO [stdout] test rational::rational::rational_test::prop_left_one_negate ... ok
Dec 14 15:27:00.367 INFO [stdout] test rational::rational::rational_test::prop_left_zero_absorb ... ok
Dec 14 15:27:00.386 INFO [stdout] test rational::rational::rational_test::axiom_right_distributivity ... ok
Dec 14 15:27:00.422 INFO [stdout] test rational::rational::rational_test::prop_left_mul_negate ... ok
Dec 14 15:27:00.429 INFO [stdout] test rational::rational::rational_test::axiom_left_distributivity ... ok
Dec 14 15:27:00.467 INFO [stdout] test rational::rational::rational_test::prop_add_cancel ... ok
Dec 14 15:27:00.468 INFO [stdout] test rational::rational::rational_test::prop_right_one_negate ... ok
Dec 14 15:27:00.479 INFO [stdout] test rational::rational::rational_test::prop_right_zero_absorb ... ok
Dec 14 15:27:00.479 INFO [stdout] test rational::rational::rational_test::prop_mul_zero ... ok
Dec 14 15:27:00.499 INFO [stdout] test rational::rational::rational_test::prop_mul_cancel ... ok
Dec 14 15:27:00.507 INFO [stdout] test ring::ring::ring_test::axiom_left_distributivity_i32 ... ok
Dec 14 15:27:00.523 INFO [stdout] test ring::ring::ring_test::axiom_left_distributivity_i8_T1 ... ok
Dec 14 15:27:00.531 INFO [stdout] test rational::rational::rational_test::axiom_ring_mul_commutivity ... ok
Dec 14 15:27:00.531 INFO [stdout] test ring::ring::ring_test::axiom_right_distributivity_i16 ... ok
Dec 14 15:27:00.554 INFO [stdout] test ring::ring::ring_test::axiom_right_distributivity_i64_T2 ... ok
Dec 14 15:27:00.557 INFO [stdout] test rational::rational::rational_test::prop_right_mul_negate ... ok
Dec 14 15:27:00.582 INFO [stdout] test ring::ring::ring_test::axiom_left_distributivity_f64 ... ok
Dec 14 15:27:00.587 INFO [stdout] test ring::ring::ring_test::prop_left_mul_negate_i16 ... ok
Dec 14 15:27:00.596 INFO [stdout] test rational::rational::rational_test::prop_mul_negate ... ok
Dec 14 15:27:00.611 INFO [stdout] test ring::ring::ring_test::prop_left_mul_negate_f32 ... ok
Dec 14 15:27:00.615 INFO [stdout] test ring::ring::ring_test::prop_left_mul_negate_i32_T2 ... ok
Dec 14 15:27:00.622 INFO [stdout] test ring::ring::ring_test::prop_left_mul_negate_f64_T1 ... ok
Dec 14 15:27:00.632 INFO [stdout] test ring::ring::ring_test::prop_left_zero_absorb_isize ... ok
Dec 14 15:27:00.643 INFO [stdout] test ring::ring::ring_test::prop_left_zero_absorb_f32 ... ok
Dec 14 15:27:00.645 INFO [stdout] test ring::ring::ring_test::axiom_right_distributivity_f32 ... ok
Dec 14 15:27:00.658 INFO [stdout] test ring::ring::ring_test::prop_left_one_negate_f32 ... ok
Dec 14 15:27:00.662 INFO [stdout] test ring::ring::ring_test::prop_left_one_negate_isize ... ok
Dec 14 15:27:00.723 INFO [stdout] test ring::ring::ring_test::prop_left_one_negate_f64_T3 ... ok
Dec 14 15:27:00.724 INFO [stdout] test ring::ring::ring_test::prop_right_mul_negate_i32 ... ok
Dec 14 15:27:00.724 INFO [stdout] test ring::ring::ring_test::prop_right_one_negate_i16_T2 ... ok
Dec 14 15:27:00.724 INFO [stdout] test ring::ring::ring_test::prop_right_mul_negate_f64 ... ok
Dec 14 15:27:00.728 INFO [stdout] test ring::ring::ring_test::prop_mul_negate_i32_T2 ... ok
Dec 14 15:27:00.736 INFO [stdout] test ring::ring::ring_test::prop_right_one_negate_i32 ... ok
Dec 14 15:27:00.753 INFO [stdout] test ring::ring::ring_test::prop_right_zero_absorb_f64 ... ok
Dec 14 15:27:00.757 INFO [stdout] test ring::ring::ring_test::prop_mul_negate_i64 ... ok
Dec 14 15:27:00.762 INFO [stdout] test ring::ring::ring_test::prop_right_zero_absorb_i16_T2 ... ok
Dec 14 15:27:00.784 INFO [stdout] test ring::ring::ring_test::prop_right_mul_negate_i8_T3 ... ok
Dec 14 15:27:00.825 INFO [stdout] test ring::ring::ring_test::prop_right_one_negate_f64 ... ok
Dec 14 15:27:00.825 INFO [stdout] test ring::ring::ring_test::prop_left_zero_absorb_f64_T3 ... ok
Dec 14 15:27:00.825 INFO [stdout] test ring::ring::ring_test::prop_right_zero_absorb_i32 ... ok
Dec 14 15:27:00.831 INFO [stdout] test ring::ring::ring_test::prop_mul_negate_f32 ... ok
Dec 14 15:27:00.851 INFO [stdout] test semigroup::add_semigroup::add_semigroup_test::axiom_add_associativity_T2 ... ok
Dec 14 15:27:00.851 INFO [stdout] test semigroup::add_semigroup::add_semigroup_test::axiom_add_associativity_i8 ... ok
Dec 14 15:27:00.867 INFO [stdout] test semigroup::mul_semigroup::mul_semigroup_test::axiom_mul_associativity_i32_T2 ... ok
Dec 14 15:27:00.867 INFO [stdout] test semigroup::add_semigroup::add_semigroup_test::axiom_add_associativity_f64 ... ok
Dec 14 15:27:00.887 INFO [stdout] test semigroup::add_semigroup::add_semigroup_test::axiom_add_associativity_u32 ... ok
Dec 14 15:27:00.887 INFO [stdout] test semigroup::mul_semigroup::mul_semigroup_test::axiom_mul_associativity_u16 ... ok
Dec 14 15:27:00.887 INFO [stdout] test semigroup::add_semigroup::add_semigroup_test::axiom_add_associativity_u64_T2 ... ok
Dec 14 15:27:00.932 INFO [stdout] test semigroup::mul_semigroup::mul_semigroup_test::axiom_mul_associativity_u32_T2 ... ok
Dec 14 15:27:00.933 INFO [stdout] test semigroup::add_semigroup::add_semigroup_test::axiom_add_associativity_f32_T2 ... ok
Dec 14 15:27:00.933 INFO [stdout] test semigroup::mul_semigroup::mul_semigroup_test::axiom_mul_associativity_isize ... ok
Dec 14 15:27:00.943 INFO [stdout] test semigroup::mul_semigroup::mul_semigroup_test::axiom_mul_associativity_f32 ... ok
Dec 14 15:27:00.969 INFO [stdout] test semigroup::mul_semigroup::mul_semigroup_test::axiom_mul_associativity_f64_T2 ... ok
Dec 14 15:27:00.969 INFO [stdout] 
Dec 14 15:27:00.969 INFO [stdout] test result: ok. 170 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 14 15:27:00.969 INFO [stdout] 
Dec 14 15:27:00.970 INFO [stderr]    Doc-tests un_algebra
Dec 14 15:27:04.427 INFO [stdout] 
Dec 14 15:27:04.427 INFO [stdout] running 0 tests
Dec 14 15:27:04.427 INFO [stdout] 
Dec 14 15:27:04.427 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 14 15:27:04.427 INFO [stdout] 
Dec 14 15:27:04.443 INFO [stderr] su: No module specific data is present
Dec 14 15:27:04.684 INFO running `"docker" "inspect" "888fa248dd09829b89949fee7a059c959333727e792277a05cbf946c898a510a"`
Dec 14 15:27:04.757 INFO running `"docker" "rm" "-f" "888fa248dd09829b89949fee7a059c959333727e792277a05cbf946c898a510a"`
Dec 14 15:27:04.890 INFO [stdout] 888fa248dd09829b89949fee7a059c959333727e792277a05cbf946c898a510a