Nov 17 19:30:15.119 INFO testing un_algebra-0.1.4 against try#2e026d6e5d7621634147ad4c8074f1d964dbb1be for pr-55982
Nov 17 19:30:15.119 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-6/try#2e026d6e5d7621634147ad4c8074f1d964dbb1be:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/pr-55982/try#2e026d6e5d7621634147ad4c8074f1d964dbb1be:/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 +2e026d6e5d7621634147ad4c8074f1d964dbb1be-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"`
Nov 17 19:30:15.382 INFO [stdout] ddec0196a30a84a502a791c7efa94e3b8efab2644284f32742f545fd4a921bee
Nov 17 19:30:15.388 INFO running `"docker" "start" "-a" "ddec0196a30a84a502a791c7efa94e3b8efab2644284f32742f545fd4a921bee"`
Nov 17 19:30:15.930 INFO [stderr] usermod: no changes
Nov 17 19:30:16.016 INFO [stderr]    Compiling num-bigint v0.2.1
Nov 17 19:30:16.016 INFO [stderr]    Compiling num-complex v0.2.1
Nov 17 19:30:16.020 INFO [stderr]    Compiling byteorder v1.2.7
Nov 17 19:30:16.020 INFO [stderr]    Compiling wait-timeout v0.1.5
Nov 17 19:30:16.020 INFO [stderr]    Compiling rand v0.5.5
Nov 17 19:30:16.021 INFO [stderr]    Compiling float-cmp v0.4.0
Nov 17 19:30:22.251 INFO [stderr]    Compiling tempfile v3.0.4
Nov 17 19:30:23.827 INFO [stderr]    Compiling num-rational v0.2.1
Nov 17 19:30:24.871 INFO [stderr]    Compiling rusty-fork v0.2.1
Nov 17 19:30:27.699 INFO [stderr]    Compiling proptest v0.8.7
Nov 17 19:30:27.855 INFO [stderr]    Compiling num v0.2.0
Nov 17 19:30:42.599 INFO [stderr]    Compiling un_algebra v0.1.4 (/source)
Nov 17 19:30:44.091 INFO [stderr] warning: unused import: `proptest::test_runner::*`
Nov 17 19:30:44.091 INFO [stderr]   --> src/tests/config.rs:12:5
Nov 17 19:30:44.091 INFO [stderr]    |
Nov 17 19:30:44.091 INFO [stderr] 12 | use proptest::test_runner::*;
Nov 17 19:30:44.091 INFO [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^
Nov 17 19:30:44.091 INFO [stderr]    |
Nov 17 19:30:44.091 INFO [stderr]    = note: #[warn(unused_imports)] on by default
Nov 17 19:30:44.091 INFO [stderr] 
Nov 17 19:30:45.767 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 29.82s
Nov 17 19:30:45.782 INFO [stderr] su: No module specific data is present
Nov 17 19:30:46.435 INFO running `"docker" "inspect" "ddec0196a30a84a502a791c7efa94e3b8efab2644284f32742f545fd4a921bee"`
Nov 17 19:30:46.691 INFO running `"docker" "rm" "-f" "ddec0196a30a84a502a791c7efa94e3b8efab2644284f32742f545fd4a921bee"`
Nov 17 19:30:46.964 INFO [stdout] ddec0196a30a84a502a791c7efa94e3b8efab2644284f32742f545fd4a921bee
Nov 17 19:30:46.965 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-6/try#2e026d6e5d7621634147ad4c8074f1d964dbb1be:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/pr-55982/try#2e026d6e5d7621634147ad4c8074f1d964dbb1be:/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 +2e026d6e5d7621634147ad4c8074f1d964dbb1be-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"`
Nov 17 19:30:47.262 INFO [stdout] 5450c5e99b9a5adae772f7538445f366ce1621a12abc1362b35a25c9e8510f44
Nov 17 19:30:47.266 INFO running `"docker" "start" "-a" "5450c5e99b9a5adae772f7538445f366ce1621a12abc1362b35a25c9e8510f44"`
Nov 17 19:30:47.816 INFO [stderr] usermod: no changes
Nov 17 19:30:47.874 INFO [stderr]    Compiling un_algebra v0.1.4 (/source)
Nov 17 19:30:49.516 INFO [stderr] warning: unused import: `proptest::test_runner::*`
Nov 17 19:30:49.519 INFO [stderr]   --> examples/f4.rs:18:5
Nov 17 19:30:49.519 INFO [stderr]    |
Nov 17 19:30:49.519 INFO [stderr] 18 | use proptest::test_runner::*;
Nov 17 19:30:49.519 INFO [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^
Nov 17 19:30:49.519 INFO [stderr]    |
Nov 17 19:30:49.519 INFO [stderr]    = note: #[warn(unused_imports)] on by default
Nov 17 19:30:49.519 INFO [stderr] 
Nov 17 19:30:50.047 INFO [stderr] warning: unused import: `proptest::test_runner::*`
Nov 17 19:30:50.047 INFO [stderr]   --> examples/rps.rs:20:5
Nov 17 19:30:50.048 INFO [stderr]    |
Nov 17 19:30:50.048 INFO [stderr] 20 | use proptest::test_runner::*;
Nov 17 19:30:50.048 INFO [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^
Nov 17 19:30:50.049 INFO [stderr]    |
Nov 17 19:30:50.049 INFO [stderr]    = note: #[warn(unused_imports)] on by default
Nov 17 19:30:50.049 INFO [stderr] 
Nov 17 19:30:50.145 INFO [stderr] warning: unused import: `proptest::test_runner::*`
Nov 17 19:30:50.145 INFO [stderr]   --> examples/binary.rs:22:5
Nov 17 19:30:50.145 INFO [stderr]    |
Nov 17 19:30:50.145 INFO [stderr] 22 | use proptest::test_runner::*;
Nov 17 19:30:50.145 INFO [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^
Nov 17 19:30:50.145 INFO [stderr]    |
Nov 17 19:30:50.145 INFO [stderr]    = note: #[warn(unused_imports)] on by default
Nov 17 19:30:50.145 INFO [stderr] 
Nov 17 19:31:32.104 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 44.27s
Nov 17 19:31:32.111 INFO [stderr] su: No module specific data is present
Nov 17 19:31:32.399 INFO running `"docker" "inspect" "5450c5e99b9a5adae772f7538445f366ce1621a12abc1362b35a25c9e8510f44"`
Nov 17 19:31:32.502 INFO running `"docker" "rm" "-f" "5450c5e99b9a5adae772f7538445f366ce1621a12abc1362b35a25c9e8510f44"`
Nov 17 19:31:32.659 INFO [stdout] 5450c5e99b9a5adae772f7538445f366ce1621a12abc1362b35a25c9e8510f44
Nov 17 19:31:32.661 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-6/try#2e026d6e5d7621634147ad4c8074f1d964dbb1be:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/pr-55982/try#2e026d6e5d7621634147ad4c8074f1d964dbb1be:/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 +2e026d6e5d7621634147ad4c8074f1d964dbb1be-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"`
Nov 17 19:31:32.967 INFO [stdout] 0341fa7525aa347d068af7c06b5cc6606f78977327f4ef03cb8b09c720018cdf
Nov 17 19:31:32.970 INFO running `"docker" "start" "-a" "0341fa7525aa347d068af7c06b5cc6606f78977327f4ef03cb8b09c720018cdf"`
Nov 17 19:31:34.790 INFO [stderr] usermod: no changes
Nov 17 19:31:34.911 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.10s
Nov 17 19:31:34.915 INFO [stderr]      Running /target/debug/deps/un_algebra-69d822e342d66150
Nov 17 19:31:34.931 INFO [stdout] 
Nov 17 19:31:34.931 INFO [stdout] running 166 tests
Nov 17 19:31:35.117 INFO [stdout] test com_group::add_com_group::add_com_group_test::axiom_add_commutivity_i32 ... ok
Nov 17 19:31:35.118 INFO [stdout] test com_group::add_com_group::add_com_group_test::axiom_add_commutivity_i16_T2 ... ok
Nov 17 19:31:35.166 INFO [stdout] test com_ring::com_ring::com_ring_test::axiom_mul_commutivity_i16_T2 ... ok
Nov 17 19:31:35.183 INFO [stdout] test com_ring::com_ring::com_ring_test::axiom_mul_commutivity_i8 ... ok
Nov 17 19:31:35.199 INFO [stdout] test com_group::mul_com_group::mul_com_group_test::axiom_mul_commutivity_f32 ... ok
Nov 17 19:31:35.199 INFO [stdout] test com_group::add_com_group::add_com_group_test::axiom_add_commutivity_f64 ... ok
Nov 17 19:31:35.207 INFO [stdout] test com_ring::com_ring::com_ring_test::axiom_mul_commutivity_f32 ... ok
Nov 17 19:31:35.263 INFO [stdout] test com_group::add_com_group::add_com_group_test::axiom_add_commutivity_f32_T3 ... ok
Nov 17 19:31:35.303 INFO [stdout] test complex::complex::complex_test::axiom_add_closure_c64 ... ok
Nov 17 19:31:35.323 INFO [stdout] test complex::complex::complex_test::axiom_field_right_invert_c32 ... ok
Nov 17 19:31:35.364 INFO [stdout] test complex::complex::complex_test::axiom_left_add_identity_c64 ... ok
Nov 17 19:31:35.377 INFO [stdout] test complex::complex::complex_test::axiom_field_left_invert_c64 ... ok
Nov 17 19:31:35.379 INFO [stdout] test com_group::mul_com_group::mul_com_group_test::axiom_mul_commutivity_f64_T3 ... ok
Nov 17 19:31:35.399 INFO [stdout] test com_ring::com_ring::com_ring_test::axiom_mul_commutivity_f64_T3 ... ok
Nov 17 19:31:35.432 INFO [stdout] test complex::complex::complex_test::axiom_add_commutivity_c32 ... ok
Nov 17 19:31:35.440 INFO [stdout] test complex::complex::complex_test::axiom_left_mul_identity_c64 ... ok
Nov 17 19:31:35.487 INFO [stdout] test complex::complex::complex_test::axiom_add_associativity_c32 ... ok
Nov 17 19:31:35.514 INFO [stdout] test complex::complex::complex_test::axiom_left_negate_c32 ... ok
Nov 17 19:31:35.514 INFO [stdout] test complex::complex::complex_test::axiom_left_invert_c64 ... ok
Nov 17 19:31:35.539 INFO [stdout] test complex::complex::complex_test::axiom_right_add_identity_c32 ... ok
Nov 17 19:31:35.576 INFO [stdout] test complex::complex::complex_test::axiom_mul_commutivity_c64 ... ok
Nov 17 19:31:35.608 INFO [stdout] test complex::complex::complex_test::axiom_left_distributivity_c32 ... ok
Nov 17 19:31:35.615 INFO [stdout] test complex::complex::complex_test::axiom_right_negate_c64 ... ok
Nov 17 19:31:35.629 INFO [stdout] test complex::complex::complex_test::axiom_right_mul_identity_c32 ... ok
Nov 17 19:31:35.658 INFO [stdout] test complex::complex::complex_test::axiom_mul_associativity_c64 ... ok
Nov 17 19:31:35.662 INFO [stdout] test complex::complex::complex_test::axiom_right_distributivity_c64 ... ok
Nov 17 19:31:35.683 INFO [stdout] test complex::complex::complex_test::axiom_mul_closure_c64 ... ok
Nov 17 19:31:35.692 INFO [stdout] test complex::complex::complex_test::axiom_right_invert_c32 ... ok
Nov 17 19:31:35.707 INFO [stdout] test complex::complex::complex_test::prop_left_one_negate_c64 ... ok
Nov 17 19:31:35.759 INFO [stdout] test complex::complex::complex_test::prop_left_zero_absorb_c64 ... ok
Nov 17 19:31:35.766 INFO [stdout] test complex::complex::complex_test::axiom_ring_mul_commutivity_c64 ... ok
Nov 17 19:31:35.774 INFO [stdout] test complex::complex::complex_test::prop_left_mul_negate_c64 ... ok
Nov 17 19:31:35.816 INFO [stdout] test complex::complex::complex_test::prop_mul_negate_c64 ... ok
Nov 17 19:31:35.862 INFO [stdout] test field::field::field_test::axiom_left_invert_f32 ... ok
Nov 17 19:31:35.870 INFO [stdout] test complex::complex::complex_test::prop_right_zero_absorb_c32 ... ok
Nov 17 19:31:35.910 INFO [stdout] test complex::complex::complex_test::prop_add_cancel_c32 ... ok
Nov 17 19:31:35.910 INFO [stdout] test complex::complex::complex_test::prop_right_one_negate_c32 ... ok
Nov 17 19:31:35.910 INFO [stdout] test complex::complex::complex_test::prop_right_mul_negate_c32 ... ok
Nov 17 19:31:35.947 INFO [stdout] test field::field::field_test::axiom_right_invert_f64 ... ok
Nov 17 19:31:35.959 INFO [stdout] test complex::complex::complex_test::prop_mul_zero_c64 ... ok
Nov 17 19:31:35.959 INFO [stdout] test field::field::field_test::axiom_left_invert_f32_T2 ... ok
Nov 17 19:31:35.977 INFO [stdout] test complex::complex::complex_test::prop_mul_cancel_c64 ... ok
Nov 17 19:31:36.019 INFO [stdout] test field::field::field_test::axiom_left_invert_f64_T1 ... ok
Nov 17 19:31:36.027 INFO [stdout] test field::field::field_test::prop_mul_zero_f32 ... ok
Nov 17 19:31:36.043 INFO [stdout] test group::add_group::add_group_test::axiom_left_negate_f64 ... ok
Nov 17 19:31:36.072 INFO [stdout] test field::field::field_test::prop_mul_cancel_f32 ... ok
Nov 17 19:31:36.079 INFO [stdout] test field::field::field_test::prop_mul_cancel_f64_T1 ... ok
Nov 17 19:31:36.079 INFO [stdout] test group::add_group::add_group_test::axiom_left_negate_i32 ... ok
Nov 17 19:31:36.119 INFO [stdout] test group::add_group::add_group_test::axiom_left_negate_i16_T1 ... ok
Nov 17 19:31:36.135 INFO [stdout] test group::add_group::add_group_test::axiom_right_negate_i16 ... ok
Nov 17 19:31:36.154 INFO [stdout] test field::field::field_test::prop_add_cancel_f64 ... ok
Nov 17 19:31:36.157 INFO [stdout] test group::add_group::add_group_test::axiom_right_negate_isize_T2 ... ok
Nov 17 19:31:36.171 INFO [stdout] test group::add_group::add_group_test::axiom_right_negate_f32 ... ok
Nov 17 19:31:36.179 INFO [stdout] test group::add_group::add_group_test::axiom_right_negate_f64_T3 ... ok
Nov 17 19:31:36.217 INFO [stdout] test group::mul_group::mul_group_test::axiom_left_invert_f64_T1 ... ok
Nov 17 19:31:36.217 INFO [stdout] test field::field::field_test::prop_add_cancel_f32_T2 ... ok
Nov 17 19:31:36.223 INFO [stdout] test group::mul_group::mul_group_test::axiom_left_invert_f32 ... ok
Nov 17 19:31:36.259 INFO [stdout] test group::mul_group::mul_group_test::axiom_right_invert_f64 ... ok
Nov 17 19:31:36.287 INFO [stdout] test field::field::field_test::prop_mul_zero_f64_T3 ... ok
Nov 17 19:31:36.287 INFO [stdout] test magma::add_magma::add_magma_test::axiom_add_closure_i64 ... ok
Nov 17 19:31:36.299 INFO [stdout] test magma::add_magma::add_magma_test::axiom_add_closure_u16 ... ok
Nov 17 19:31:36.299 INFO [stdout] test magma::add_magma::add_magma_test::axiom_add_closure_f64_T1 ... ok
Nov 17 19:31:36.300 INFO [stdout] test magma::add_magma::add_magma_test::axiom_add_closure_f32 ... ok
Nov 17 19:31:36.311 INFO [stdout] test magma::add_magma::add_magma_test::axiom_add_closure_isize_T3 ... ok
Nov 17 19:31:36.331 INFO [stdout] test magma::add_magma::add_magma_test::axiom_add_closure_u64_T1 ... ok
Nov 17 19:31:36.339 INFO [stdout] test magma::add_magma::add_magma_test::axiom_add_closure_f32_T2 ... ok
Nov 17 19:31:36.355 INFO [stdout] test magma::mul_magma::mul_magma_test::axiom_mul_closure_i8 ... ok
Nov 17 19:31:36.359 INFO [stdout] test magma::mul_magma::mul_magma_test::axiom_mul_closure_f64 ... ok
Nov 17 19:31:36.360 INFO [stdout] test magma::add_magma::add_magma_test::axiom_add_closure_u8_T2 ... ok
Nov 17 19:31:36.371 INFO [stdout] test magma::mul_magma::mul_magma_test::axiom_mul_closure_isize_T3 ... ok
Nov 17 19:31:36.391 INFO [stdout] test magma::mul_magma::mul_magma_test::axiom_mul_closure_f64_T1 ... ok
Nov 17 19:31:36.394 INFO [stdout] test group::mul_group::mul_group_test::axiom_right_invert_f32_T3 ... ok
Nov 17 19:31:36.397 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_left_add_identity_i32_T2 ... ok
Nov 17 19:31:36.400 INFO [stdout] test magma::mul_magma::mul_magma_test::axiom_mul_closure_u32 ... ok
Nov 17 19:31:36.413 INFO [stdout] test magma::mul_magma::mul_magma_test::axiom_mul_closure_u64_T1 ... ok
Nov 17 19:31:36.420 INFO [stdout] test magma::mul_magma::mul_magma_test::axiom_mul_closure_u8_T2 ... ok
Nov 17 19:31:36.435 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_left_add_identity_u16_T1 ... ok
Nov 17 19:31:36.435 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_left_add_identity_u8 ... ok
Nov 17 19:31:36.447 INFO [stdout] test magma::mul_magma::mul_magma_test::axiom_mul_closure_f32_T2 ... ok
Nov 17 19:31:36.464 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_right_add_identity_u32 ... ok
Nov 17 19:31:36.467 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_right_add_identity_f64 ... ok
Nov 17 19:31:36.479 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_left_add_identity_i64 ... ok
Nov 17 19:31:36.481 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_right_add_identity_u8_T1 ... ok
Nov 17 19:31:36.484 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_left_add_identity_f32 ... ok
Nov 17 19:31:36.489 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_right_add_identity_isize ... ok
Nov 17 19:31:36.512 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_left_mul_identity_u8 ... ok
Nov 17 19:31:36.514 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_left_mul_identity_f32 ... ok
Nov 17 19:31:36.519 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_left_mul_identity_i64 ... ok
Nov 17 19:31:36.521 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_left_mul_identity_u16_T1 ... ok
Nov 17 19:31:36.522 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_right_add_identity_i32_T3 ... ok
Nov 17 19:31:36.540 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_left_mul_identity_i32_T2 ... ok
Nov 17 19:31:36.561 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_right_mul_identity_u32 ... ok
Nov 17 19:31:36.561 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_right_mul_identity_u8_T1 ... ok
Nov 17 19:31:36.571 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_right_mul_identity_isize ... ok
Nov 17 19:31:36.573 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_right_add_identity_f32_T3 ... ok
Nov 17 19:31:36.580 INFO [stdout] test rational::rational::rational_test::axiom_field_left_invert ... ok
Nov 17 19:31:36.580 INFO [stdout] test rational::rational::rational_test::axiom_field_right_invert ... ok
Nov 17 19:31:36.580 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_right_mul_identity_f64 ... ok
Nov 17 19:31:36.591 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_right_mul_identity_f32_T3 ... ok
Nov 17 19:31:36.600 INFO [stdout] test rational::rational::rational_test::axiom_add_closure ... ok
Nov 17 19:31:36.604 INFO [stdout] test rational::rational::rational_test::axiom_left_add_identity ... ok
Nov 17 19:31:36.604 INFO [stdout] test rational::rational::rational_test::axiom_left_negate ... ok
Nov 17 19:31:36.615 INFO [stdout] test rational::rational::rational_test::axiom_add_commutivity ... ok
Nov 17 19:31:36.623 INFO [stdout] test rational::rational::rational_test::axiom_left_invert ... ok
Nov 17 19:31:36.623 INFO [stdout] test rational::rational::rational_test::axiom_left_mul_identity ... ok
Nov 17 19:31:36.639 INFO [stdout] test rational::rational::rational_test::axiom_right_add_identity ... ok
Nov 17 19:31:36.640 INFO [stdout] test rational::rational::rational_test::axiom_mul_closure ... ok
Nov 17 19:31:36.641 INFO [stdout] test rational::rational::rational_test::axiom_right_invert ... ok
Nov 17 19:31:36.663 INFO [stdout] test rational::rational::rational_test::axiom_right_mul_identity ... ok
Nov 17 19:31:36.675 INFO [stdout] test rational::rational::rational_test::axiom_right_negate ... ok
Nov 17 19:31:36.686 INFO [stdout] test rational::rational::rational_test::axiom_add_associativity ... ok
Nov 17 19:31:36.693 INFO [stdout] test rational::rational::rational_test::axiom_mul_commutivity ... ok
Nov 17 19:31:36.703 INFO [stdout] test rational::rational::rational_test::axiom_ring_mul_commutivity ... ok
Nov 17 19:31:36.703 INFO [stdout] test rational::rational::rational_test::prop_left_zero_absorb ... ok
Nov 17 19:31:36.712 INFO [stdout] test rational::rational::rational_test::prop_left_one_negate ... ok
Nov 17 19:31:36.755 INFO [stdout] test rational::rational::rational_test::prop_left_mul_negate ... ok
Nov 17 19:31:36.764 INFO [stdout] test rational::rational::rational_test::prop_mul_cancel ... ok
Nov 17 19:31:36.765 INFO [stdout] test rational::rational::rational_test::prop_mul_zero ... ok
Nov 17 19:31:36.770 INFO [stdout] test rational::rational::rational_test::axiom_mul_associativity ... ok
Nov 17 19:31:36.775 INFO [stdout] test rational::rational::rational_test::prop_add_cancel ... ok
Nov 17 19:31:36.779 INFO [stdout] test rational::rational::rational_test::prop_right_zero_absorb ... ok
Nov 17 19:31:36.795 INFO [stdout] test rational::rational::rational_test::axiom_left_distributivity ... ok
Nov 17 19:31:36.799 INFO [stdout] test rational::rational::rational_test::axiom_right_distributivity ... ok
Nov 17 19:31:36.811 INFO [stdout] test rational::rational::rational_test::prop_right_one_negate ... ok
Nov 17 19:31:36.811 INFO [stdout] test rational::rational::rational_test::prop_mul_negate ... ok
Nov 17 19:31:36.823 INFO [stdout] test ring::ring::ring_test::axiom_right_distributivity_i16 ... ok
Nov 17 19:31:36.843 INFO [stdout] test ring::ring::ring_test::axiom_left_distributivity_i32 ... ok
Nov 17 19:31:36.848 INFO [stdout] test rational::rational::rational_test::prop_right_mul_negate ... ok
Nov 17 19:31:36.848 INFO [stdout] test ring::ring::ring_test::axiom_left_distributivity_i8_T1 ... ok
Nov 17 19:31:36.851 INFO [stdout] test ring::ring::ring_test::axiom_right_distributivity_i64_T2 ... ok
Nov 17 19:31:36.879 INFO [stdout] test ring::ring::ring_test::prop_left_mul_negate_i32_T2 ... ok
Nov 17 19:31:36.884 INFO [stdout] test ring::ring::ring_test::prop_left_mul_negate_i16 ... ok
Nov 17 19:31:36.891 INFO [stdout] test ring::ring::ring_test::prop_left_mul_negate_f64_T1 ... ok
Nov 17 19:31:36.895 INFO [stdout] test ring::ring::ring_test::prop_left_mul_negate_f32 ... ok
Nov 17 19:31:36.903 INFO [stdout] test ring::ring::ring_test::prop_left_one_negate_isize ... ok
Nov 17 19:31:36.911 INFO [stdout] test ring::ring::ring_test::prop_left_one_negate_f32 ... ok
Nov 17 19:31:36.919 INFO [stdout] test ring::ring::ring_test::axiom_right_distributivity_f32 ... ok
Nov 17 19:31:36.919 INFO [stdout] test ring::ring::ring_test::prop_left_zero_absorb_isize ... ok
Nov 17 19:31:36.923 INFO [stdout] test ring::ring::ring_test::axiom_left_distributivity_f64 ... ok
Nov 17 19:31:36.955 INFO [stdout] test ring::ring::ring_test::prop_mul_negate_i64 ... ok
Nov 17 19:31:36.959 INFO [stdout] test ring::ring::ring_test::prop_right_mul_negate_i32 ... ok
Nov 17 19:31:36.963 INFO [stdout] test ring::ring::ring_test::prop_mul_negate_i32_T2 ... ok
Nov 17 19:31:36.963 INFO [stdout] test ring::ring::ring_test::prop_left_zero_absorb_f32 ... ok
Nov 17 19:31:36.967 INFO [stdout] test ring::ring::ring_test::prop_mul_negate_f32 ... ok
Nov 17 19:31:36.981 INFO [stdout] test ring::ring::ring_test::prop_left_one_negate_f64_T3 ... ok
Nov 17 19:31:36.985 INFO [stdout] test ring::ring::ring_test::prop_right_mul_negate_f64 ... ok
Nov 17 19:31:36.985 INFO [stdout] test ring::ring::ring_test::prop_right_one_negate_i32 ... ok
Nov 17 19:31:36.995 INFO [stdout] test ring::ring::ring_test::prop_right_one_negate_i16_T2 ... ok
Nov 17 19:31:36.995 INFO [stdout] test ring::ring::ring_test::prop_right_mul_negate_i8_T3 ... ok
Nov 17 19:31:36.995 INFO [stdout] test ring::ring::ring_test::prop_left_zero_absorb_f64_T3 ... ok
Nov 17 19:31:37.011 INFO [stdout] test ring::ring::ring_test::prop_right_zero_absorb_i16_T2 ... ok
Nov 17 19:31:37.012 INFO [stdout] test ring::ring::ring_test::prop_right_zero_absorb_i32 ... ok
Nov 17 19:31:37.028 INFO [stdout] test ring::ring::ring_test::prop_right_zero_absorb_f64 ... ok
Nov 17 19:31:37.039 INFO [stdout] test ring::ring::ring_test::prop_right_one_negate_f64 ... ok
Nov 17 19:31:37.039 INFO [stdout] test semigroup::add_semigroup::add_semigroup_test::axiom_add_associativity_T2 ... ok
Nov 17 19:31:37.041 INFO [stdout] test semigroup::add_semigroup::add_semigroup_test::axiom_add_associativity_u32 ... ok
Nov 17 19:31:37.047 INFO [stdout] test semigroup::add_semigroup::add_semigroup_test::axiom_add_associativity_u64_T2 ... ok
Nov 17 19:31:37.050 INFO [stdout] test semigroup::add_semigroup::add_semigroup_test::axiom_add_associativity_i8 ... ok
Nov 17 19:31:37.067 INFO [stdout] test semigroup::mul_semigroup::mul_semigroup_test::axiom_mul_associativity_i32_T2 ... ok
Nov 17 19:31:37.078 INFO [stdout] test semigroup::add_semigroup::add_semigroup_test::axiom_add_associativity_f64 ... ok
Nov 17 19:31:37.083 INFO [stdout] test semigroup::mul_semigroup::mul_semigroup_test::axiom_mul_associativity_u16 ... ok
Nov 17 19:31:37.083 INFO [stdout] test semigroup::mul_semigroup::mul_semigroup_test::axiom_mul_associativity_u32_T2 ... ok
Nov 17 19:31:37.083 INFO [stdout] test semigroup::mul_semigroup::mul_semigroup_test::axiom_mul_associativity_isize ... ok
Nov 17 19:31:37.145 INFO [stdout] test semigroup::add_semigroup::add_semigroup_test::axiom_add_associativity_f32_T2 ... ok
Nov 17 19:31:37.145 INFO [stdout] test semigroup::mul_semigroup::mul_semigroup_test::axiom_mul_associativity_f32 ... ok
Nov 17 19:31:37.185 INFO [stdout] test semigroup::mul_semigroup::mul_semigroup_test::axiom_mul_associativity_f64_T2 ... ok
Nov 17 19:31:37.185 INFO [stdout] 
Nov 17 19:31:37.185 INFO [stdout] test result: ok. 166 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 17 19:31:37.185 INFO [stdout] 
Nov 17 19:31:37.185 INFO [stderr]    Doc-tests un_algebra
Nov 17 19:31:39.797 INFO [stdout] 
Nov 17 19:31:39.797 INFO [stdout] running 0 tests
Nov 17 19:31:39.797 INFO [stdout] 
Nov 17 19:31:39.797 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 17 19:31:39.797 INFO [stdout] 
Nov 17 19:31:39.806 INFO [stderr] su: No module specific data is present
Nov 17 19:31:40.359 INFO running `"docker" "inspect" "0341fa7525aa347d068af7c06b5cc6606f78977327f4ef03cb8b09c720018cdf"`
Nov 17 19:31:40.553 INFO running `"docker" "rm" "-f" "0341fa7525aa347d068af7c06b5cc6606f78977327f4ef03cb8b09c720018cdf"`
Nov 17 19:31:40.662 INFO [stdout] 0341fa7525aa347d068af7c06b5cc6606f78977327f4ef03cb8b09c720018cdf