Dec 06 18:45:05.541 INFO testing un_algebra-0.1.6 against try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468 for pr-56514
Dec 06 18:45:05.541 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-5/try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-5/pr-56514/try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468:/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 +6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468-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:05.772 INFO [stdout] e4e87c1f9d0b4c7d70b8e33b6fba654d7281cd4696114423230c2c991fb8ca41
Dec 06 18:45:05.777 INFO running `"docker" "start" "-a" "e4e87c1f9d0b4c7d70b8e33b6fba654d7281cd4696114423230c2c991fb8ca41"`
Dec 06 18:45:06.408 INFO [stderr] usermod: no changes
Dec 06 18:45:06.604 INFO [stderr]    Compiling byteorder v1.2.7
Dec 06 18:45:06.615 INFO [stderr]    Compiling float-cmp v0.4.0
Dec 06 18:45:06.617 INFO [stderr]    Compiling rand v0.5.5
Dec 06 18:45:06.641 INFO [stderr]    Compiling rusty-fork v0.2.1
Dec 06 18:45:11.760 INFO [stderr]    Compiling proptest v0.8.7
Dec 06 18:45:26.764 INFO [stderr]    Compiling un_algebra v0.1.6 (/source)
Dec 06 18:45:29.196 INFO [stderr] warning: unused `#[macro_use]` import
Dec 06 18:45:29.196 INFO [stderr]    --> src/lib.rs:166:1
Dec 06 18:45:29.196 INFO [stderr]     |
Dec 06 18:45:29.196 INFO [stderr] 166 | #[macro_use]
Dec 06 18:45:29.196 INFO [stderr]     | ^^^^^^^^^^^^
Dec 06 18:45:29.196 INFO [stderr]     |
Dec 06 18:45:29.196 INFO [stderr]     = note: #[warn(unused_imports)] on by default
Dec 06 18:45:29.196 INFO [stderr] 
Dec 06 18:45:30.144 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 23.71s
Dec 06 18:45:30.160 INFO [stderr] su: No module specific data is present
Dec 06 18:45:31.158 INFO running `"docker" "inspect" "e4e87c1f9d0b4c7d70b8e33b6fba654d7281cd4696114423230c2c991fb8ca41"`
Dec 06 18:45:31.448 INFO running `"docker" "rm" "-f" "e4e87c1f9d0b4c7d70b8e33b6fba654d7281cd4696114423230c2c991fb8ca41"`
Dec 06 18:45:31.730 INFO [stdout] e4e87c1f9d0b4c7d70b8e33b6fba654d7281cd4696114423230c2c991fb8ca41
Dec 06 18:45:31.740 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-5/try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-5/pr-56514/try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468:/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 +6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468-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:32.253 INFO [stdout] 7450c86b8ec5759ccbca99b4169119d0a0ac0101a7214c50250199cc60034358
Dec 06 18:45:32.258 INFO running `"docker" "start" "-a" "7450c86b8ec5759ccbca99b4169119d0a0ac0101a7214c50250199cc60034358"`
Dec 06 18:45:32.750 INFO [stderr] usermod: no changes
Dec 06 18:45:32.817 INFO [stderr]    Compiling un_algebra v0.1.6 (/source)
Dec 06 18:45:36.076 INFO [stderr] warning: crate `F4` should have a snake case name such as `f4`
Dec 06 18:45:36.076 INFO [stderr]   |
Dec 06 18:45:36.076 INFO [stderr]   = note: #[warn(non_snake_case)] on by default
Dec 06 18:45:36.076 INFO [stderr] 
Dec 06 18:45:36.908 INFO [stderr] warning: crate `D3` should have a snake case name such as `d3`
Dec 06 18:45:36.908 INFO [stderr]   |
Dec 06 18:45:36.908 INFO [stderr]   = note: #[warn(non_snake_case)] on by default
Dec 06 18:45:36.908 INFO [stderr] 
Dec 06 18:45:37.572 INFO [stderr] warning: crate `SZ3` should have a snake case name such as `sz3`
Dec 06 18:45:37.572 INFO [stderr]   |
Dec 06 18:45:37.572 INFO [stderr]   = note: #[warn(non_snake_case)] on by default
Dec 06 18:45:37.572 INFO [stderr] 
Dec 06 18:45:38.182 INFO [stderr] warning: crate `RPS` should have a snake case name such as `rps`
Dec 06 18:45:38.182 INFO [stderr]   |
Dec 06 18:45:38.182 INFO [stderr]   = note: #[warn(non_snake_case)] on by default
Dec 06 18:45:38.182 INFO [stderr] 
Dec 06 18:46:14.833 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 42.06s
Dec 06 18:46:14.842 INFO [stderr] su: No module specific data is present
Dec 06 18:46:15.542 INFO running `"docker" "inspect" "7450c86b8ec5759ccbca99b4169119d0a0ac0101a7214c50250199cc60034358"`
Dec 06 18:46:15.820 INFO running `"docker" "rm" "-f" "7450c86b8ec5759ccbca99b4169119d0a0ac0101a7214c50250199cc60034358"`
Dec 06 18:46:16.128 INFO [stdout] 7450c86b8ec5759ccbca99b4169119d0a0ac0101a7214c50250199cc60034358
Dec 06 18:46:16.134 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-5/try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-5/pr-56514/try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468:/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 +6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468-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:16.452 INFO [stdout] 7a01fa35913c92eb83b27eb185624d7abeda3575ac3efe4f52ba6e8c8fa95336
Dec 06 18:46:16.454 INFO running `"docker" "start" "-a" "7a01fa35913c92eb83b27eb185624d7abeda3575ac3efe4f52ba6e8c8fa95336"`
Dec 06 18:46:17.007 INFO [stderr] usermod: no changes
Dec 06 18:46:17.114 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.09s
Dec 06 18:46:17.128 INFO [stderr]      Running /target/debug/deps/un_algebra-40b845945f20175b
Dec 06 18:46:17.131 INFO [stdout] 
Dec 06 18:46:17.131 INFO [stdout] running 170 tests
Dec 06 18:46:17.169 INFO [stdout] test com_group::add_com_group::add_com_group_test::axiom_add_commutivity_i16_T2 ... ok
Dec 06 18:46:17.193 INFO [stdout] test com_group::mul_com_group::mul_com_group_test::axiom_mul_commutivity_f32 ... ok
Dec 06 18:46:17.220 INFO [stdout] test com_group::add_com_group::add_com_group_test::axiom_add_commutivity_i32 ... ok
Dec 06 18:46:17.220 INFO [stdout] test com_ring::com_ring::com_ring_test::axiom_mul_commutivity_i8 ... ok
Dec 06 18:46:17.244 INFO [stdout] test com_ring::com_ring::com_ring_test::axiom_mul_commutivity_i16_T2 ... ok
Dec 06 18:46:17.307 INFO [stdout] test com_group::add_com_group::add_com_group_test::axiom_add_commutivity_f64 ... ok
Dec 06 18:46:17.321 INFO [stdout] test com_ring::com_ring::com_ring_test::axiom_mul_commutivity_f32 ... ok
Dec 06 18:46:17.361 INFO [stdout] test com_ring::com_ring::com_ring_test::axiom_mul_commutivity_f64_T3 ... ok
Dec 06 18:46:17.361 INFO [stdout] test complex::complex::complex_test::axiom_add_closure_C64 ... ok
Dec 06 18:46:17.361 INFO [stdout] test com_group::add_com_group::add_com_group_test::axiom_add_commutivity_f32_T3 ... ok
Dec 06 18:46:17.368 INFO [stdout] test com_group::mul_com_group::mul_com_group_test::axiom_mul_commutivity_f64_T3 ... ok
Dec 06 18:46:17.396 INFO [stdout] test complex::complex::complex_test::axiom_add_associativity_C32 ... ok
Dec 06 18:46:17.468 INFO [stdout] test complex::complex::complex_test::axiom_left_negate_C32 ... ok
Dec 06 18:46:17.468 INFO [stdout] test complex::complex::complex_test::axiom_left_mul_identity_C64 ... ok
Dec 06 18:46:17.468 INFO [stdout] test complex::complex::complex_test::axiom_field_right_invert_C32 ... ok
Dec 06 18:46:17.476 INFO [stdout] test complex::complex::complex_test::axiom_field_left_invert_C64 ... ok
Dec 06 18:46:17.508 INFO [stdout] test complex::complex::complex_test::axiom_add_commutivity_C32 ... ok
Dec 06 18:46:17.534 INFO [stdout] test complex::complex::complex_test::axiom_left_invert_C64 ... ok
Dec 06 18:46:17.534 INFO [stdout] test complex::complex::complex_test::axiom_right_add_identity_C32 ... ok
Dec 06 18:46:17.568 INFO [stdout] test complex::complex::complex_test::axiom_left_add_identity_C64 ... ok
Dec 06 18:46:17.594 INFO [stdout] test complex::complex::complex_test::axiom_left_distributivity_C32 ... ok
Dec 06 18:46:17.616 INFO [stdout] test complex::complex::complex_test::axiom_right_mul_identity_C32 ... ok
Dec 06 18:46:17.676 INFO [stdout] test complex::complex::complex_test::axiom_right_invert_C32 ... ok
Dec 06 18:46:17.714 INFO [stdout] test complex::complex::complex_test::axiom_mul_associativity_C64 ... ok
Dec 06 18:46:17.730 INFO [stdout] test complex::complex::complex_test::axiom_mul_closure_C64 ... ok
Dec 06 18:46:17.740 INFO [stdout] test complex::complex::complex_test::axiom_mul_commutivity_C64 ... ok
Dec 06 18:46:17.776 INFO [stdout] test complex::complex::complex_test::axiom_ring_mul_commutivity_C64 ... ok
Dec 06 18:46:17.805 INFO [stdout] test complex::complex::complex_test::prop_left_one_negate_C64 ... ok
Dec 06 18:46:17.808 INFO [stdout] test complex::complex::complex_test::axiom_right_negate_C64 ... ok
Dec 06 18:46:17.909 INFO [stdout] test complex::complex::complex_test::axiom_right_distributivity_C64 ... ok
Dec 06 18:46:17.920 INFO [stdout] test complex::complex::complex_test::prop_mul_zero_C64 ... ok
Dec 06 18:46:17.944 INFO [stdout] test complex::complex::complex_test::prop_right_mul_negate_C32 ... ok
Dec 06 18:46:17.960 INFO [stdout] test complex::complex::complex_test::prop_mul_negate_C64 ... ok
Dec 06 18:46:17.980 INFO [stdout] test complex::complex::complex_test::prop_left_zero_absorb_C64 ... ok
Dec 06 18:46:17.980 INFO [stdout] test complex::complex::complex_test::prop_add_cancel_C32 ... ok
Dec 06 18:46:17.992 INFO [stdout] test complex::complex::complex_test::prop_right_zero_absorb_C32 ... ok
Dec 06 18:46:18.000 INFO [stdout] test field::field::field_test::axiom_left_invert_f32 ... ok
Dec 06 18:46:18.016 INFO [stdout] test complex::complex::complex_test::prop_right_one_negate_C32 ... ok
Dec 06 18:46:18.034 INFO [stdout] test field::field::field_test::axiom_left_invert_f32_T2 ... ok
Dec 06 18:46:18.037 INFO [stdout] test complex::complex::complex_test::prop_left_mul_negate_C64 ... ok
Dec 06 18:46:18.061 INFO [stdout] test complex::complex::complex_test::prop_mul_cancel_C64 ... ok
Dec 06 18:46:18.094 INFO [stdout] test field::field::field_test::axiom_right_invert_f64 ... ok
Dec 06 18:46:18.128 INFO [stdout] test field::field::field_test::axiom_left_invert_f64_T1 ... ok
Dec 06 18:46:18.140 INFO [stdout] test field::field::field_test::prop_mul_zero_f32 ... ok
Dec 06 18:46:18.144 INFO [stdout] test group::add_group::add_group_test::axiom_left_negate_i16_T1 ... ok
Dec 06 18:46:18.176 INFO [stdout] test group::add_group::add_group_test::axiom_left_negate_f64 ... ok
Dec 06 18:46:18.176 INFO [stdout] test field::field::field_test::prop_mul_cancel_f64_T1 ... ok
Dec 06 18:46:18.176 INFO [stdout] test field::field::field_test::prop_mul_cancel_f32 ... ok
Dec 06 18:46:18.248 INFO [stdout] test group::add_group::add_group_test::axiom_left_negate_i32 ... ok
Dec 06 18:46:18.296 INFO [stdout] test group::add_group::add_group_test::axiom_right_negate_i16 ... ok
Dec 06 18:46:18.296 INFO [stdout] test group::add_group::add_group_test::axiom_right_negate_f32 ... ok
Dec 06 18:46:18.303 INFO [stdout] test group::add_group::add_group_test::axiom_right_negate_isize_T2 ... ok
Dec 06 18:46:18.303 INFO [stdout] test field::field::field_test::prop_add_cancel_f64 ... ok
Dec 06 18:46:18.308 INFO [stdout] test group::mul_group::mul_group_test::axiom_left_invert_f32 ... ok
Dec 06 18:46:18.344 INFO [stdout] test field::field::field_test::prop_mul_zero_f64_T3 ... ok
Dec 06 18:46:18.351 INFO [stdout] test group::add_group::add_group_test::axiom_right_negate_f64_T3 ... ok
Dec 06 18:46:18.380 INFO [stdout] test magma::add_magma::add_magma_test::axiom_add_closure_i64 ... ok
Dec 06 18:46:18.380 INFO [stdout] test magma::add_magma::add_magma_test::axiom_add_closure_f32 ... ok
Dec 06 18:46:18.416 INFO [stdout] test magma::add_magma::add_magma_test::axiom_add_closure_isize_T3 ... ok
Dec 06 18:46:18.435 INFO [stdout] test group::mul_group::mul_group_test::axiom_left_invert_f64_T1 ... ok
Dec 06 18:46:18.439 INFO [stdout] test field::field::field_test::prop_add_cancel_f32_T2 ... ok
Dec 06 18:46:18.447 INFO [stdout] test magma::add_magma::add_magma_test::axiom_add_closure_u64_T1 ... ok
Dec 06 18:46:18.464 INFO [stdout] test magma::add_magma::add_magma_test::axiom_add_closure_u16 ... ok
Dec 06 18:46:18.480 INFO [stdout] test magma::add_magma::add_magma_test::axiom_add_closure_f64_T1 ... ok
Dec 06 18:46:18.488 INFO [stdout] test group::mul_group::mul_group_test::axiom_right_invert_f32_T3 ... ok
Dec 06 18:46:18.488 INFO [stdout] test magma::add_magma::add_magma_test::axiom_add_closure_u8_T2 ... ok
Dec 06 18:46:18.533 INFO [stdout] test magma::mul_magma::mul_magma_test::axiom_mul_closure_f64 ... ok
Dec 06 18:46:18.556 INFO [stdout] test magma::mul_magma::mul_magma_test::axiom_mul_closure_isize_T3 ... ok
Dec 06 18:46:18.580 INFO [stdout] test magma::mul_magma::mul_magma_test::axiom_mul_closure_i8 ... ok
Dec 06 18:46:18.588 INFO [stdout] test magma::mul_magma::mul_magma_test::axiom_mul_closure_u8_T2 ... ok
Dec 06 18:46:18.588 INFO [stdout] test magma::mul_magma::mul_magma_test::axiom_mul_closure_u32 ... ok
Dec 06 18:46:18.596 INFO [stdout] test group::mul_group::mul_group_test::axiom_right_invert_f64 ... ok
Dec 06 18:46:18.616 INFO [stdout] test magma::mul_magma::mul_magma_test::axiom_mul_closure_u64_T1 ... ok
Dec 06 18:46:18.625 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_left_add_identity_f32 ... ok
Dec 06 18:46:18.636 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_left_add_identity_i64 ... ok
Dec 06 18:46:18.655 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_left_add_identity_i32_T2 ... ok
Dec 06 18:46:18.666 INFO [stdout] test magma::mul_magma::mul_magma_test::axiom_mul_closure_f64_T1 ... ok
Dec 06 18:46:18.675 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_left_add_identity_u16_T1 ... ok
Dec 06 18:46:18.697 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_left_add_identity_u8 ... ok
Dec 06 18:46:18.700 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_right_add_identity_f64 ... ok
Dec 06 18:46:18.708 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_right_add_identity_isize ... ok
Dec 06 18:46:18.708 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_right_add_identity_i32_T3 ... ok
Dec 06 18:46:18.720 INFO [stdout] test magma::add_magma::add_magma_test::axiom_add_closure_f32_T2 ... ok
Dec 06 18:46:18.748 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_left_mul_identity_i32_T2 ... ok
Dec 06 18:46:18.760 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_right_add_identity_u8_T1 ... ok
Dec 06 18:46:18.764 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_left_mul_identity_f32 ... ok
Dec 06 18:46:18.768 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_left_mul_identity_u16_T1 ... ok
Dec 06 18:46:18.773 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_right_add_identity_f32_T3 ... ok
Dec 06 18:46:18.776 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_left_mul_identity_i64 ... ok
Dec 06 18:46:18.801 INFO [stdout] test magma::mul_magma::mul_magma_test::axiom_mul_closure_f32_T2 ... ok
Dec 06 18:46:18.804 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_right_add_identity_u32 ... ok
Dec 06 18:46:18.820 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_right_mul_identity_isize ... ok
Dec 06 18:46:18.820 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_right_mul_identity_f64 ... ok
Dec 06 18:46:18.836 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_right_mul_identity_u8_T1 ... ok
Dec 06 18:46:18.844 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_right_mul_identity_u32 ... ok
Dec 06 18:46:18.872 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_left_mul_identity_u8 ... ok
Dec 06 18:46:18.891 INFO [stdout] test rational::rational::rational_test::axiom_add_closure ... ok
Dec 06 18:46:18.892 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_right_mul_identity_f32_T3 ... ok
Dec 06 18:46:18.944 INFO [stdout] test rational::rational::rational_test::axiom_field_left_invert ... ok
Dec 06 18:46:18.947 INFO [stdout] test rational::rational::rational_test::axiom_field_right_invert ... ok
Dec 06 18:46:18.956 INFO [stdout] test rational::rational::rational_test::axiom_left_invert ... ok
Dec 06 18:46:18.972 INFO [stdout] test rational::rational::rational_test::axiom_left_mul_identity ... ok
Dec 06 18:46:19.000 INFO [stdout] test rational::rational::rational_test::axiom_left_add_identity ... ok
Dec 06 18:46:19.044 INFO [stdout] test rational::rational::rational_test::axiom_left_negate ... ok
Dec 06 18:46:19.100 INFO [stdout] test rational::rational::rational_test::axiom_add_commutivity ... ok
Dec 06 18:46:19.140 INFO [stdout] test rational::rational::rational_test::axiom_right_add_identity ... ok
Dec 06 18:46:19.224 INFO [stdout] test rational::rational::rational_test::axiom_mul_closure ... ok
Dec 06 18:46:19.248 INFO [stdout] test rational::rational::rational_test::axiom_left_over ... ok
Dec 06 18:46:19.300 INFO [stdout] test rational::rational::rational_test::axiom_right_invert ... ok
Dec 06 18:46:19.320 INFO [stdout] test rational::rational::rational_test::axiom_mul_commutivity ... ok
Dec 06 18:46:19.340 INFO [stdout] test rational::rational::rational_test::axiom_add_associativity ... ok
Dec 06 18:46:19.360 INFO [stdout] test rational::rational::rational_test::axiom_right_mul_identity ... ok
Dec 06 18:46:19.384 INFO [stdout] test rational::rational::rational_test::axiom_right_negate ... ok
Dec 06 18:46:19.428 INFO [stdout] test rational::rational::rational_test::axiom_mul_associativity ... ok
Dec 06 18:46:19.520 INFO [stdout] test rational::rational::rational_test::axiom_right_distributivity ... ok
Dec 06 18:46:19.536 INFO [stdout] test rational::rational::rational_test::axiom_right_over ... ok
Dec 06 18:46:19.554 INFO [stdout] test rational::rational::rational_test::prop_left_zero_absorb ... ok
Dec 06 18:46:19.564 INFO [stdout] test rational::rational::rational_test::prop_left_one_negate ... ok
Dec 06 18:46:19.608 INFO [stdout] test rational::rational::rational_test::axiom_left_under ... ok
Dec 06 18:46:19.631 INFO [stdout] test rational::rational::rational_test::axiom_left_distributivity ... ok
Dec 06 18:46:19.700 INFO [stdout] test rational::rational::rational_test::axiom_right_under ... ok
Dec 06 18:46:19.724 INFO [stdout] test rational::rational::rational_test::axiom_ring_mul_commutivity ... ok
Dec 06 18:46:19.760 INFO [stdout] test rational::rational::rational_test::prop_left_mul_negate ... ok
Dec 06 18:46:19.780 INFO [stdout] test rational::rational::rational_test::prop_right_one_negate ... ok
Dec 06 18:46:19.780 INFO [stdout] test rational::rational::rational_test::prop_mul_cancel ... ok
Dec 06 18:46:19.790 INFO [stdout] test rational::rational::rational_test::prop_add_cancel ... ok
Dec 06 18:46:19.804 INFO [stdout] test ring::ring::ring_test::axiom_left_distributivity_i8_T1 ... ok
Dec 06 18:46:19.810 INFO [stdout] test rational::rational::rational_test::prop_mul_negate ... ok
Dec 06 18:46:19.816 INFO [stdout] test rational::rational::rational_test::prop_right_zero_absorb ... ok
Dec 06 18:46:19.826 INFO [stdout] test ring::ring::ring_test::axiom_left_distributivity_i32 ... ok
Dec 06 18:46:19.841 INFO [stdout] test ring::ring::ring_test::axiom_right_distributivity_i16 ... ok
Dec 06 18:46:19.881 INFO [stdout] test rational::rational::rational_test::prop_mul_zero ... ok
Dec 06 18:46:19.908 INFO [stdout] test ring::ring::ring_test::axiom_right_distributivity_i64_T2 ... ok
Dec 06 18:46:19.908 INFO [stdout] test ring::ring::ring_test::axiom_right_distributivity_f32 ... ok
Dec 06 18:46:19.922 INFO [stdout] test rational::rational::rational_test::prop_right_mul_negate ... ok
Dec 06 18:46:19.928 INFO [stdout] test ring::ring::ring_test::axiom_left_distributivity_f64 ... ok
Dec 06 18:46:19.932 INFO [stdout] test ring::ring::ring_test::prop_left_mul_negate_i16 ... ok
Dec 06 18:46:19.950 INFO [stdout] test ring::ring::ring_test::prop_left_mul_negate_f32 ... ok
Dec 06 18:46:19.954 INFO [stdout] test ring::ring::ring_test::prop_left_mul_negate_f64_T1 ... ok
Dec 06 18:46:19.954 INFO [stdout] test ring::ring::ring_test::prop_left_mul_negate_i32_T2 ... ok
Dec 06 18:46:19.983 INFO [stdout] test ring::ring::ring_test::prop_mul_negate_i32_T2 ... ok
Dec 06 18:46:19.988 INFO [stdout] test ring::ring::ring_test::prop_left_one_negate_isize ... ok
Dec 06 18:46:19.992 INFO [stdout] test ring::ring::ring_test::prop_left_one_negate_f32 ... ok
Dec 06 18:46:20.034 INFO [stdout] test ring::ring::ring_test::prop_mul_negate_f32 ... ok
Dec 06 18:46:20.035 INFO [stdout] test ring::ring::ring_test::prop_left_zero_absorb_isize ... ok
Dec 06 18:46:20.046 INFO [stdout] test ring::ring::ring_test::prop_mul_negate_i64 ... ok
Dec 06 18:46:20.052 INFO [stdout] test ring::ring::ring_test::prop_left_zero_absorb_f32 ... ok
Dec 06 18:46:20.063 INFO [stdout] test ring::ring::ring_test::prop_right_mul_negate_i32 ... ok
Dec 06 18:46:20.092 INFO [stdout] test ring::ring::ring_test::prop_right_mul_negate_i8_T3 ... ok
Dec 06 18:46:20.096 INFO [stdout] test ring::ring::ring_test::prop_right_one_negate_i16_T2 ... ok
Dec 06 18:46:20.100 INFO [stdout] test ring::ring::ring_test::prop_right_one_negate_f64 ... ok
Dec 06 18:46:20.100 INFO [stdout] test ring::ring::ring_test::prop_left_one_negate_f64_T3 ... ok
Dec 06 18:46:20.101 INFO [stdout] test ring::ring::ring_test::prop_right_one_negate_i32 ... ok
Dec 06 18:46:20.106 INFO [stdout] test ring::ring::ring_test::prop_left_zero_absorb_f64_T3 ... ok
Dec 06 18:46:20.128 INFO [stdout] test ring::ring::ring_test::prop_right_mul_negate_f64 ... ok
Dec 06 18:46:20.128 INFO [stdout] test ring::ring::ring_test::prop_right_zero_absorb_i16_T2 ... ok
Dec 06 18:46:20.146 INFO [stdout] test ring::ring::ring_test::prop_right_zero_absorb_i32 ... ok
Dec 06 18:46:20.146 INFO [stdout] test semigroup::add_semigroup::add_semigroup_test::axiom_add_associativity_i8 ... ok
Dec 06 18:46:20.152 INFO [stdout] test semigroup::add_semigroup::add_semigroup_test::axiom_add_associativity_T2 ... ok
Dec 06 18:46:20.173 INFO [stdout] test ring::ring::ring_test::prop_right_zero_absorb_f64 ... ok
Dec 06 18:46:20.190 INFO [stdout] test semigroup::add_semigroup::add_semigroup_test::axiom_add_associativity_u32 ... ok
Dec 06 18:46:20.190 INFO [stdout] test semigroup::add_semigroup::add_semigroup_test::axiom_add_associativity_u64_T2 ... ok
Dec 06 18:46:20.220 INFO [stdout] test semigroup::mul_semigroup::mul_semigroup_test::axiom_mul_associativity_i32_T2 ... ok
Dec 06 18:46:20.220 INFO [stdout] test semigroup::add_semigroup::add_semigroup_test::axiom_add_associativity_f64 ... ok
Dec 06 18:46:20.226 INFO [stdout] test semigroup::mul_semigroup::mul_semigroup_test::axiom_mul_associativity_isize ... ok
Dec 06 18:46:20.232 INFO [stdout] test semigroup::mul_semigroup::mul_semigroup_test::axiom_mul_associativity_u16 ... ok
Dec 06 18:46:20.234 INFO [stdout] test semigroup::mul_semigroup::mul_semigroup_test::axiom_mul_associativity_u32_T2 ... ok
Dec 06 18:46:20.263 INFO [stdout] test semigroup::mul_semigroup::mul_semigroup_test::axiom_mul_associativity_f32 ... ok
Dec 06 18:46:20.273 INFO [stdout] test semigroup::add_semigroup::add_semigroup_test::axiom_add_associativity_f32_T2 ... ok
Dec 06 18:46:20.316 INFO [stdout] test semigroup::mul_semigroup::mul_semigroup_test::axiom_mul_associativity_f64_T2 ... ok
Dec 06 18:46:20.316 INFO [stdout] 
Dec 06 18:46:20.316 INFO [stdout] test result: ok. 170 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 06 18:46:20.316 INFO [stdout] 
Dec 06 18:46:20.317 INFO [stderr]    Doc-tests un_algebra
Dec 06 18:46:23.594 INFO [stdout] 
Dec 06 18:46:23.594 INFO [stdout] running 0 tests
Dec 06 18:46:23.594 INFO [stdout] 
Dec 06 18:46:23.594 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 06 18:46:23.594 INFO [stdout] 
Dec 06 18:46:23.608 INFO [stderr] su: No module specific data is present
Dec 06 18:46:23.898 INFO running `"docker" "inspect" "7a01fa35913c92eb83b27eb185624d7abeda3575ac3efe4f52ba6e8c8fa95336"`
Dec 06 18:46:23.996 INFO running `"docker" "rm" "-f" "7a01fa35913c92eb83b27eb185624d7abeda3575ac3efe4f52ba6e8c8fa95336"`
Dec 06 18:46:24.092 INFO [stdout] 7a01fa35913c92eb83b27eb185624d7abeda3575ac3efe4f52ba6e8c8fa95336