Dec 14 15:25:47.578 INFO testing un_algebra-0.1.6 against master#bd47d6825bf4090517549d33cfef10d3300b4a75 for pr-56550
Dec 14 15:25:47.579 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-4/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-4/pr-56550/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/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 +bd47d6825bf4090517549d33cfef10d3300b4a75-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:48.067 INFO [stdout] a75c011e6f791b071c6fbafcf6c73358dcec4fe2314309bf8c5cc60184d775e6
Dec 14 15:25:48.069 INFO running `"docker" "start" "-a" "a75c011e6f791b071c6fbafcf6c73358dcec4fe2314309bf8c5cc60184d775e6"`
Dec 14 15:25:48.963 INFO [stderr] usermod: no changes
Dec 14 15:25:49.166 INFO [stderr]    Compiling wait-timeout v0.1.5
Dec 14 15:25:49.175 INFO [stderr]    Compiling rand v0.5.5
Dec 14 15:25:49.176 INFO [stderr]    Compiling float-cmp v0.4.0
Dec 14 15:25:51.007 INFO [stderr]    Compiling rusty-fork v0.2.1
Dec 14 15:25:55.041 INFO [stderr]    Compiling proptest v0.8.7
Dec 14 15:26:10.775 INFO [stderr]    Compiling un_algebra v0.1.6 (/source)
Dec 14 15:26:12.630 INFO [stderr] warning: unused `#[macro_use]` import
Dec 14 15:26:12.630 INFO [stderr]    --> src/lib.rs:166:1
Dec 14 15:26:12.630 INFO [stderr]     |
Dec 14 15:26:12.630 INFO [stderr] 166 | #[macro_use]
Dec 14 15:26:12.630 INFO [stderr]     | ^^^^^^^^^^^^
Dec 14 15:26:12.630 INFO [stderr]     |
Dec 14 15:26:12.630 INFO [stderr]     = note: #[warn(unused_imports)] on by default
Dec 14 15:26:12.630 INFO [stderr] 
Dec 14 15:26:13.343 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 24.35s
Dec 14 15:26:13.355 INFO [stderr] su: No module specific data is present
Dec 14 15:26:14.152 INFO running `"docker" "inspect" "a75c011e6f791b071c6fbafcf6c73358dcec4fe2314309bf8c5cc60184d775e6"`
Dec 14 15:26:14.413 INFO running `"docker" "rm" "-f" "a75c011e6f791b071c6fbafcf6c73358dcec4fe2314309bf8c5cc60184d775e6"`
Dec 14 15:26:14.729 INFO [stdout] a75c011e6f791b071c6fbafcf6c73358dcec4fe2314309bf8c5cc60184d775e6
Dec 14 15:26:14.737 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-4/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-4/pr-56550/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/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 +bd47d6825bf4090517549d33cfef10d3300b4a75-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:15.132 INFO [stdout] c630529d9576ba816d56cba151b716076c74fefc61cee49cbc5a35a4a5f3b80c
Dec 14 15:26:15.134 INFO running `"docker" "start" "-a" "c630529d9576ba816d56cba151b716076c74fefc61cee49cbc5a35a4a5f3b80c"`
Dec 14 15:26:16.284 INFO [stderr] usermod: no changes
Dec 14 15:26:16.443 INFO [stderr]    Compiling un_algebra v0.1.6 (/source)
Dec 14 15:26:22.128 INFO [stderr] warning: crate `RPS` should have a snake case name such as `rps`
Dec 14 15:26:22.128 INFO [stderr]   |
Dec 14 15:26:22.128 INFO [stderr]   = note: #[warn(non_snake_case)] on by default
Dec 14 15:26:22.128 INFO [stderr] 
Dec 14 15:26:22.427 INFO [stderr] warning: crate `F4` should have a snake case name such as `f4`
Dec 14 15:26:22.427 INFO [stderr]   |
Dec 14 15:26:22.427 INFO [stderr]   = note: #[warn(non_snake_case)] on by default
Dec 14 15:26:22.427 INFO [stderr] 
Dec 14 15:26:22.695 INFO [stderr] warning: crate `SZ3` should have a snake case name such as `sz3`
Dec 14 15:26:22.695 INFO [stderr]   |
Dec 14 15:26:22.695 INFO [stderr]   = note: #[warn(non_snake_case)] on by default
Dec 14 15:26:22.695 INFO [stderr] 
Dec 14 15:26:23.777 INFO [stderr] warning: crate `D3` should have a snake case name such as `d3`
Dec 14 15:26:23.777 INFO [stderr]   |
Dec 14 15:26:23.778 INFO [stderr]   = note: #[warn(non_snake_case)] on by default
Dec 14 15:26:23.778 INFO [stderr] 
Dec 14 15:27:03.229 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 46.91s
Dec 14 15:27:03.239 INFO [stderr] su: No module specific data is present
Dec 14 15:27:03.827 INFO running `"docker" "inspect" "c630529d9576ba816d56cba151b716076c74fefc61cee49cbc5a35a4a5f3b80c"`
Dec 14 15:27:03.965 INFO running `"docker" "rm" "-f" "c630529d9576ba816d56cba151b716076c74fefc61cee49cbc5a35a4a5f3b80c"`
Dec 14 15:27:04.041 INFO [stdout] c630529d9576ba816d56cba151b716076c74fefc61cee49cbc5a35a4a5f3b80c
Dec 14 15:27:04.045 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-4/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-4/pr-56550/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/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 +bd47d6825bf4090517549d33cfef10d3300b4a75-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:27:04.254 INFO [stdout] 809593d3c838c10e5ffaca7407dba0d4e5fc06037641e0109f751542719c8b2a
Dec 14 15:27:04.254 INFO running `"docker" "start" "-a" "809593d3c838c10e5ffaca7407dba0d4e5fc06037641e0109f751542719c8b2a"`
Dec 14 15:27:04.670 INFO [stderr] usermod: no changes
Dec 14 15:27:04.770 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.08s
Dec 14 15:27:04.774 INFO [stderr]      Running /target/debug/deps/un_algebra-8f597d7813ebc3c7
Dec 14 15:27:04.776 INFO [stdout] 
Dec 14 15:27:04.776 INFO [stdout] running 170 tests
Dec 14 15:27:04.801 INFO [stdout] test com_group::add_com_group::add_com_group_test::axiom_add_commutivity_i16_T2 ... ok
Dec 14 15:27:04.811 INFO [stdout] test com_group::add_com_group::add_com_group_test::axiom_add_commutivity_i32 ... ok
Dec 14 15:27:04.833 INFO [stdout] test com_ring::com_ring::com_ring_test::axiom_mul_commutivity_i8 ... ok
Dec 14 15:27:04.855 INFO [stdout] test com_ring::com_ring::com_ring_test::axiom_mul_commutivity_i16_T2 ... ok
Dec 14 15:27:04.860 INFO [stdout] test com_group::add_com_group::add_com_group_test::axiom_add_commutivity_f64 ... ok
Dec 14 15:27:04.907 INFO [stdout] test com_group::mul_com_group::mul_com_group_test::axiom_mul_commutivity_f32 ... ok
Dec 14 15:27:04.919 INFO [stdout] test com_group::add_com_group::add_com_group_test::axiom_add_commutivity_f32_T3 ... ok
Dec 14 15:27:04.947 INFO [stdout] test com_group::mul_com_group::mul_com_group_test::axiom_mul_commutivity_f64_T3 ... ok
Dec 14 15:27:04.957 INFO [stdout] test com_ring::com_ring::com_ring_test::axiom_mul_commutivity_f32 ... ok
Dec 14 15:27:04.994 INFO [stdout] test complex::complex::complex_test::axiom_field_right_invert_C32 ... ok
Dec 14 15:27:05.014 INFO [stdout] test complex::complex::complex_test::axiom_left_add_identity_C64 ... ok
Dec 14 15:27:05.047 INFO [stdout] test complex::complex::complex_test::axiom_add_associativity_C32 ... ok
Dec 14 15:27:05.095 INFO [stdout] test complex::complex::complex_test::axiom_field_left_invert_C64 ... ok
Dec 14 15:27:05.095 INFO [stdout] test complex::complex::complex_test::axiom_left_invert_C64 ... ok
Dec 14 15:27:05.131 INFO [stdout] test com_ring::com_ring::com_ring_test::axiom_mul_commutivity_f64_T3 ... ok
Dec 14 15:27:05.131 INFO [stdout] test complex::complex::complex_test::axiom_add_commutivity_C32 ... ok
Dec 14 15:27:05.143 INFO [stdout] test complex::complex::complex_test::axiom_left_mul_identity_C64 ... ok
Dec 14 15:27:05.155 INFO [stdout] test complex::complex::complex_test::axiom_add_closure_C64 ... ok
Dec 14 15:27:05.216 INFO [stdout] test complex::complex::complex_test::axiom_left_distributivity_C32 ... ok
Dec 14 15:27:05.232 INFO [stdout] test complex::complex::complex_test::axiom_left_negate_C32 ... ok
Dec 14 15:27:05.287 INFO [stdout] test complex::complex::complex_test::axiom_mul_commutivity_C64 ... ok
Dec 14 15:27:05.311 INFO [stdout] test complex::complex::complex_test::axiom_right_add_identity_C32 ... ok
Dec 14 15:27:05.326 INFO [stdout] test complex::complex::complex_test::axiom_right_negate_C64 ... ok
Dec 14 15:27:05.339 INFO [stdout] test complex::complex::complex_test::axiom_right_invert_C32 ... ok
Dec 14 15:27:05.347 INFO [stdout] test complex::complex::complex_test::axiom_right_mul_identity_C32 ... ok
Dec 14 15:27:05.371 INFO [stdout] test complex::complex::complex_test::axiom_right_distributivity_C64 ... ok
Dec 14 15:27:05.407 INFO [stdout] test complex::complex::complex_test::prop_left_one_negate_C64 ... ok
Dec 14 15:27:05.451 INFO [stdout] test complex::complex::complex_test::prop_left_mul_negate_C64 ... ok
Dec 14 15:27:05.459 INFO [stdout] test complex::complex::complex_test::prop_add_cancel_C32 ... ok
Dec 14 15:27:05.514 INFO [stdout] test complex::complex::complex_test::axiom_mul_closure_C64 ... ok
Dec 14 15:27:05.518 INFO [stdout] test complex::complex::complex_test::prop_left_zero_absorb_C64 ... ok
Dec 14 15:27:05.591 INFO [stdout] test complex::complex::complex_test::prop_mul_zero_C64 ... ok
Dec 14 15:27:05.603 INFO [stdout] test complex::complex::complex_test::prop_mul_negate_C64 ... ok
Dec 14 15:27:05.627 INFO [stdout] test complex::complex::complex_test::prop_right_one_negate_C32 ... ok
Dec 14 15:27:05.671 INFO [stdout] test complex::complex::complex_test::axiom_ring_mul_commutivity_C64 ... ok
Dec 14 15:27:05.715 INFO [stdout] test complex::complex::complex_test::axiom_mul_associativity_C64 ... ok
Dec 14 15:27:05.735 INFO [stdout] test field::field::field_test::axiom_left_invert_f32_T2 ... ok
Dec 14 15:27:05.767 INFO [stdout] test complex::complex::complex_test::prop_right_zero_absorb_C32 ... ok
Dec 14 15:27:05.767 INFO [stdout] test field::field::field_test::axiom_left_invert_f64_T1 ... ok
Dec 14 15:27:05.819 INFO [stdout] test field::field::field_test::axiom_right_invert_f64 ... ok
Dec 14 15:27:05.819 INFO [stdout] test field::field::field_test::axiom_left_invert_f32 ... ok
Dec 14 15:27:05.927 INFO [stdout] test field::field::field_test::prop_mul_cancel_f32 ... ok
Dec 14 15:27:05.963 INFO [stdout] test field::field::field_test::prop_mul_zero_f32 ... ok
Dec 14 15:27:05.992 INFO [stdout] test field::field::field_test::prop_add_cancel_f64 ... ok
Dec 14 15:27:05.995 INFO [stdout] test field::field::field_test::prop_mul_cancel_f64_T1 ... ok
Dec 14 15:27:06.035 INFO [stdout] test group::add_group::add_group_test::axiom_left_negate_i16_T1 ... ok
Dec 14 15:27:06.069 INFO [stdout] test complex::complex::complex_test::prop_right_mul_negate_C32 ... ok
Dec 14 15:27:06.078 INFO [stdout] test complex::complex::complex_test::prop_mul_cancel_C64 ... ok
Dec 14 15:27:06.135 INFO [stdout] test group::add_group::add_group_test::axiom_left_negate_i32 ... ok
Dec 14 15:27:06.151 INFO [stdout] test group::add_group::add_group_test::axiom_right_negate_i16 ... ok
Dec 14 15:27:06.179 INFO [stdout] test group::add_group::add_group_test::axiom_right_negate_f64_T3 ... ok
Dec 14 15:27:06.203 INFO [stdout] test group::add_group::add_group_test::axiom_right_negate_isize_T2 ... ok
Dec 14 15:27:06.203 INFO [stdout] test field::field::field_test::prop_mul_zero_f64_T3 ... ok
Dec 14 15:27:06.203 INFO [stdout] test field::field::field_test::prop_add_cancel_f32_T2 ... ok
Dec 14 15:27:06.255 INFO [stdout] test group::add_group::add_group_test::axiom_right_negate_f32 ... ok
Dec 14 15:27:06.257 INFO [stdout] test group::add_group::add_group_test::axiom_left_negate_f64 ... ok
Dec 14 15:27:06.299 INFO [stdout] test group::mul_group::mul_group_test::axiom_left_invert_f64_T1 ... ok
Dec 14 15:27:06.343 INFO [stdout] test group::mul_group::mul_group_test::axiom_left_invert_f32 ... ok
Dec 14 15:27:06.379 INFO [stdout] test group::mul_group::mul_group_test::axiom_right_invert_f64 ... ok
Dec 14 15:27:06.383 INFO [stdout] test magma::add_magma::add_magma_test::axiom_add_closure_isize_T3 ... ok
Dec 14 15:27:06.395 INFO [stdout] test magma::add_magma::add_magma_test::axiom_add_closure_f32 ... ok
Dec 14 15:27:06.395 INFO [stdout] test magma::add_magma::add_magma_test::axiom_add_closure_i64 ... ok
Dec 14 15:27:06.403 INFO [stdout] test magma::add_magma::add_magma_test::axiom_add_closure_f32_T2 ... ok
Dec 14 15:27:06.407 INFO [stdout] test magma::add_magma::add_magma_test::axiom_add_closure_u64_T1 ... ok
Dec 14 15:27:06.423 INFO [stdout] test magma::add_magma::add_magma_test::axiom_add_closure_u16 ... ok
Dec 14 15:27:06.431 INFO [stdout] test magma::add_magma::add_magma_test::axiom_add_closure_u8_T2 ... ok
Dec 14 15:27:06.499 INFO [stdout] test magma::mul_magma::mul_magma_test::axiom_mul_closure_u32 ... ok
Dec 14 15:27:06.507 INFO [stdout] test magma::mul_magma::mul_magma_test::axiom_mul_closure_i8 ... ok
Dec 14 15:27:06.507 INFO [stdout] test magma::mul_magma::mul_magma_test::axiom_mul_closure_f64_T1 ... ok
Dec 14 15:27:06.540 INFO [stdout] test magma::mul_magma::mul_magma_test::axiom_mul_closure_f64 ... ok
Dec 14 15:27:06.575 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_left_add_identity_i32_T2 ... ok
Dec 14 15:27:06.575 INFO [stdout] test magma::add_magma::add_magma_test::axiom_add_closure_f64_T1 ... ok
Dec 14 15:27:06.575 INFO [stdout] test magma::mul_magma::mul_magma_test::axiom_mul_closure_isize_T3 ... ok
Dec 14 15:27:06.603 INFO [stdout] test magma::mul_magma::mul_magma_test::axiom_mul_closure_u64_T1 ... ok
Dec 14 15:27:06.607 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_left_add_identity_u16_T1 ... ok
Dec 14 15:27:06.628 INFO [stdout] test magma::mul_magma::mul_magma_test::axiom_mul_closure_u8_T2 ... ok
Dec 14 15:27:06.635 INFO [stdout] test magma::mul_magma::mul_magma_test::axiom_mul_closure_f32_T2 ... ok
Dec 14 15:27:06.665 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_left_add_identity_u8 ... ok
Dec 14 15:27:06.703 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_left_add_identity_f32 ... ok
Dec 14 15:27:06.703 INFO [stdout] test group::mul_group::mul_group_test::axiom_right_invert_f32_T3 ... ok
Dec 14 15:27:06.719 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_left_add_identity_i64 ... ok
Dec 14 15:27:06.755 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_right_add_identity_u32 ... ok
Dec 14 15:27:06.755 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_left_mul_identity_i32_T2 ... ok
Dec 14 15:27:06.755 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_right_add_identity_isize ... ok
Dec 14 15:27:06.771 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_right_add_identity_i32_T3 ... ok
Dec 14 15:27:06.771 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_right_add_identity_f64 ... ok
Dec 14 15:27:06.779 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_left_mul_identity_i64 ... ok
Dec 14 15:27:06.779 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_right_add_identity_u8_T1 ... ok
Dec 14 15:27:06.835 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_left_mul_identity_u16_T1 ... ok
Dec 14 15:27:06.835 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_right_mul_identity_u32 ... ok
Dec 14 15:27:06.838 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_left_mul_identity_u8 ... ok
Dec 14 15:27:06.895 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_left_mul_identity_f32 ... ok
Dec 14 15:27:06.895 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_right_add_identity_f32_T3 ... ok
Dec 14 15:27:06.911 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_right_mul_identity_u8_T1 ... ok
Dec 14 15:27:06.939 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_right_mul_identity_isize ... ok
Dec 14 15:27:06.991 INFO [stdout] test rational::rational::rational_test::axiom_add_closure ... ok
Dec 14 15:27:07.011 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_right_mul_identity_f64 ... ok
Dec 14 15:27:07.035 INFO [stdout] test rational::rational::rational_test::axiom_field_left_invert ... ok
Dec 14 15:27:07.047 INFO [stdout] test rational::rational::rational_test::axiom_field_right_invert ... ok
Dec 14 15:27:07.075 INFO [stdout] test rational::rational::rational_test::axiom_left_add_identity ... ok
Dec 14 15:27:07.103 INFO [stdout] test rational::rational::rational_test::axiom_left_invert ... ok
Dec 14 15:27:07.123 INFO [stdout] test rational::rational::rational_test::axiom_add_commutivity ... ok
Dec 14 15:27:07.175 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_right_mul_identity_f32_T3 ... ok
Dec 14 15:27:07.183 INFO [stdout] test rational::rational::rational_test::axiom_left_mul_identity ... ok
Dec 14 15:27:07.251 INFO [stdout] test rational::rational::rational_test::axiom_mul_closure ... ok
Dec 14 15:27:07.339 INFO [stdout] test rational::rational::rational_test::axiom_left_negate ... ok
Dec 14 15:27:07.339 INFO [stdout] test rational::rational::rational_test::axiom_right_add_identity ... ok
Dec 14 15:27:07.415 INFO [stdout] test rational::rational::rational_test::axiom_left_over ... ok
Dec 14 15:27:07.441 INFO [stdout] test rational::rational::rational_test::axiom_left_under ... ok
Dec 14 15:27:07.491 INFO [stdout] test rational::rational::rational_test::axiom_mul_associativity ... ok
Dec 14 15:27:07.501 INFO [stdout] test rational::rational::rational_test::axiom_mul_commutivity ... ok
Dec 14 15:27:07.517 INFO [stdout] test rational::rational::rational_test::axiom_right_invert ... ok
Dec 14 15:27:07.627 INFO [stdout] test rational::rational::rational_test::axiom_right_negate ... ok
Dec 14 15:27:07.627 INFO [stdout] test rational::rational::rational_test::axiom_right_mul_identity ... ok
Dec 14 15:27:07.811 INFO [stdout] test rational::rational::rational_test::axiom_right_under ... ok
Dec 14 15:27:07.846 INFO [stdout] test rational::rational::rational_test::axiom_ring_mul_commutivity ... ok
Dec 14 15:27:07.855 INFO [stdout] test rational::rational::rational_test::axiom_right_distributivity ... ok
Dec 14 15:27:07.871 INFO [stdout] test rational::rational::rational_test::prop_left_zero_absorb ... ok
Dec 14 15:27:07.958 INFO [stdout] test rational::rational::rational_test::axiom_right_over ... ok
Dec 14 15:27:08.003 INFO [stdout] test rational::rational::rational_test::prop_left_one_negate ... ok
Dec 14 15:27:08.095 INFO [stdout] test rational::rational::rational_test::axiom_left_distributivity ... ok
Dec 14 15:27:08.109 INFO [stdout] test rational::rational::rational_test::prop_mul_cancel ... ok
Dec 14 15:27:08.134 INFO [stdout] test rational::rational::rational_test::axiom_add_associativity ... ok
Dec 14 15:27:08.211 INFO [stdout] test rational::rational::rational_test::prop_left_mul_negate ... ok
Dec 14 15:27:08.211 INFO [stdout] test rational::rational::rational_test::prop_add_cancel ... ok
Dec 14 15:27:08.230 INFO [stdout] test rational::rational::rational_test::prop_mul_zero ... ok
Dec 14 15:27:08.242 INFO [stdout] test rational::rational::rational_test::prop_right_one_negate ... ok
Dec 14 15:27:08.242 INFO [stdout] test rational::rational::rational_test::prop_right_zero_absorb ... ok
Dec 14 15:27:08.268 INFO [stdout] test rational::rational::rational_test::prop_mul_negate ... ok
Dec 14 15:27:08.275 INFO [stdout] test ring::ring::ring_test::axiom_left_distributivity_f64 ... ok
Dec 14 15:27:08.291 INFO [stdout] test ring::ring::ring_test::axiom_right_distributivity_i16 ... ok
Dec 14 15:27:08.293 INFO [stdout] test ring::ring::ring_test::axiom_left_distributivity_i32 ... ok
Dec 14 15:27:08.300 INFO [stdout] test ring::ring::ring_test::axiom_right_distributivity_f32 ... ok
Dec 14 15:27:08.327 INFO [stdout] test ring::ring::ring_test::axiom_left_distributivity_i8_T1 ... ok
Dec 14 15:27:08.335 INFO [stdout] test ring::ring::ring_test::axiom_right_distributivity_i64_T2 ... ok
Dec 14 15:27:08.335 INFO [stdout] test rational::rational::rational_test::prop_right_mul_negate ... ok
Dec 14 15:27:08.347 INFO [stdout] test ring::ring::ring_test::prop_left_mul_negate_i32_T2 ... ok
Dec 14 15:27:08.347 INFO [stdout] test ring::ring::ring_test::prop_left_mul_negate_i16 ... ok
Dec 14 15:27:08.368 INFO [stdout] test ring::ring::ring_test::prop_left_mul_negate_f64_T1 ... ok
Dec 14 15:27:08.393 INFO [stdout] test ring::ring::ring_test::prop_left_zero_absorb_isize ... ok
Dec 14 15:27:08.423 INFO [stdout] test ring::ring::ring_test::prop_left_one_negate_f64_T3 ... ok
Dec 14 15:27:08.427 INFO [stdout] test ring::ring::ring_test::prop_mul_negate_f32 ... ok
Dec 14 15:27:08.449 INFO [stdout] test ring::ring::ring_test::prop_mul_negate_i64 ... ok
Dec 14 15:27:08.449 INFO [stdout] test ring::ring::ring_test::prop_left_one_negate_isize ... ok
Dec 14 15:27:08.455 INFO [stdout] test ring::ring::ring_test::prop_mul_negate_i32_T2 ... ok
Dec 14 15:27:08.456 INFO [stdout] test ring::ring::ring_test::prop_left_zero_absorb_f64_T3 ... ok
Dec 14 15:27:08.487 INFO [stdout] test ring::ring::ring_test::prop_right_one_negate_i16_T2 ... ok
Dec 14 15:27:08.491 INFO [stdout] test ring::ring::ring_test::prop_left_one_negate_f32 ... ok
Dec 14 15:27:08.497 INFO [stdout] test ring::ring::ring_test::prop_right_mul_negate_i32 ... ok
Dec 14 15:27:08.503 INFO [stdout] test ring::ring::ring_test::prop_left_zero_absorb_f32 ... ok
Dec 14 15:27:08.503 INFO [stdout] test ring::ring::ring_test::prop_left_mul_negate_f32 ... ok
Dec 14 15:27:08.503 INFO [stdout] test ring::ring::ring_test::prop_right_mul_negate_f64 ... ok
Dec 14 15:27:08.527 INFO [stdout] test ring::ring::ring_test::prop_right_mul_negate_i8_T3 ... ok
Dec 14 15:27:08.534 INFO [stdout] test ring::ring::ring_test::prop_right_one_negate_i32 ... ok
Dec 14 15:27:08.539 INFO [stdout] test ring::ring::ring_test::prop_right_one_negate_f64 ... ok
Dec 14 15:27:08.567 INFO [stdout] test ring::ring::ring_test::prop_right_zero_absorb_i16_T2 ... ok
Dec 14 15:27:08.567 INFO [stdout] test ring::ring::ring_test::prop_right_zero_absorb_f64 ... ok
Dec 14 15:27:08.567 INFO [stdout] test semigroup::add_semigroup::add_semigroup_test::axiom_add_associativity_i8 ... ok
Dec 14 15:27:08.569 INFO [stdout] test ring::ring::ring_test::prop_right_zero_absorb_i32 ... ok
Dec 14 15:27:08.573 INFO [stdout] test semigroup::add_semigroup::add_semigroup_test::axiom_add_associativity_T2 ... ok
Dec 14 15:27:08.573 INFO [stdout] test semigroup::add_semigroup::add_semigroup_test::axiom_add_associativity_u32 ... ok
Dec 14 15:27:08.599 INFO [stdout] test semigroup::mul_semigroup::mul_semigroup_test::axiom_mul_associativity_i32_T2 ... ok
Dec 14 15:27:08.617 INFO [stdout] test semigroup::mul_semigroup::mul_semigroup_test::axiom_mul_associativity_isize ... ok
Dec 14 15:27:08.625 INFO [stdout] test semigroup::mul_semigroup::mul_semigroup_test::axiom_mul_associativity_u32_T2 ... ok
Dec 14 15:27:08.633 INFO [stdout] test semigroup::mul_semigroup::mul_semigroup_test::axiom_mul_associativity_u16 ... ok
Dec 14 15:27:08.635 INFO [stdout] test semigroup::add_semigroup::add_semigroup_test::axiom_add_associativity_u64_T2 ... ok
Dec 14 15:27:08.647 INFO [stdout] test semigroup::mul_semigroup::mul_semigroup_test::axiom_mul_associativity_f32 ... ok
Dec 14 15:27:08.647 INFO [stdout] test semigroup::add_semigroup::add_semigroup_test::axiom_add_associativity_f64 ... ok
Dec 14 15:27:08.661 INFO [stdout] test semigroup::add_semigroup::add_semigroup_test::axiom_add_associativity_f32_T2 ... ok
Dec 14 15:27:08.708 INFO [stdout] test semigroup::mul_semigroup::mul_semigroup_test::axiom_mul_associativity_f64_T2 ... ok
Dec 14 15:27:08.708 INFO [stdout] 
Dec 14 15:27:08.708 INFO [stdout] test result: ok. 170 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 14 15:27:08.708 INFO [stdout] 
Dec 14 15:27:08.708 INFO [stderr]    Doc-tests un_algebra
Dec 14 15:27:11.806 INFO [stdout] 
Dec 14 15:27:11.806 INFO [stdout] running 0 tests
Dec 14 15:27:11.806 INFO [stdout] 
Dec 14 15:27:11.806 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 14 15:27:11.806 INFO [stdout] 
Dec 14 15:27:11.816 INFO [stderr] su: No module specific data is present
Dec 14 15:27:12.073 INFO running `"docker" "inspect" "809593d3c838c10e5ffaca7407dba0d4e5fc06037641e0109f751542719c8b2a"`
Dec 14 15:27:12.160 INFO running `"docker" "rm" "-f" "809593d3c838c10e5ffaca7407dba0d4e5fc06037641e0109f751542719c8b2a"`
Dec 14 15:27:12.355 INFO [stdout] 809593d3c838c10e5ffaca7407dba0d4e5fc06037641e0109f751542719c8b2a