Oct 11 09:16:31.321 INFO testing un_algebra-0.1.4 against master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513 for rustdoc-test-static-cling
Oct 11 09:16:31.321 INFO running: cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt build --frozen
Oct 11 09:16:31.321 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/test-source/worker-1/rustdoc-test-static-cling/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/source:ro,Z" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling/worker-1/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/target:rw,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" "CMD=cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt build --frozen" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "1536M" "--network" "none" "crater"`
Oct 11 09:16:31.514 INFO blam! d068be9dbab0f9ed8780b6115bbbf00dc3b9ad182dd071f1e6b995c2f2a4370b
Oct 11 09:16:31.515 INFO running `"docker" "start" "-a" "d068be9dbab0f9ed8780b6115bbbf00dc3b9ad182dd071f1e6b995c2f2a4370b"`
Oct 11 09:16:32.074 INFO kablam! usermod: no changes
Oct 11 09:16:32.175 INFO kablam!    Compiling byteorder v1.2.6
Oct 11 09:16:32.176 INFO kablam!    Compiling wait-timeout v0.1.5
Oct 11 09:16:32.177 INFO kablam!    Compiling rand v0.5.5
Oct 11 09:16:32.177 INFO kablam!    Compiling float-cmp v0.4.0
Oct 11 09:16:36.081 INFO kablam!    Compiling tempfile v3.0.4
Oct 11 09:16:37.113 INFO kablam!    Compiling rusty-fork v0.2.1
Oct 11 09:16:38.439 INFO kablam!    Compiling proptest v0.8.7
Oct 11 09:16:50.665 INFO kablam!    Compiling un_algebra v0.1.4 (/source)
Oct 11 09:16:52.140 INFO kablam! warning: unused import: `proptest::test_runner::*`
Oct 11 09:16:52.140 INFO kablam!   --> src/tests/config.rs:12:5
Oct 11 09:16:52.140 INFO kablam!    |
Oct 11 09:16:52.140 INFO kablam! 12 | use proptest::test_runner::*;
Oct 11 09:16:52.140 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^
Oct 11 09:16:52.140 INFO kablam!    |
Oct 11 09:16:52.140 INFO kablam!    = note: #[warn(unused_imports)] on by default
Oct 11 09:16:52.140 INFO kablam! 
Oct 11 09:16:53.291 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 21.20s
Oct 11 09:16:53.312 INFO kablam! su: No module specific data is present
Oct 11 09:16:53.678 INFO running `"docker" "rm" "-f" "d068be9dbab0f9ed8780b6115bbbf00dc3b9ad182dd071f1e6b995c2f2a4370b"`
Oct 11 09:16:53.758 INFO blam! d068be9dbab0f9ed8780b6115bbbf00dc3b9ad182dd071f1e6b995c2f2a4370b
Oct 11 09:16:53.762 INFO running: cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen --no-run
Oct 11 09:16:53.762 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/test-source/worker-1/rustdoc-test-static-cling/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/source:ro,Z" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling/worker-1/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/target:rw,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" "CMD=cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen --no-run" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "1536M" "--network" "none" "crater"`
Oct 11 09:16:54.031 INFO blam! a70f7158fd2b30c98bf50de0fd7b46da8cf8e12358e6e9bbe244208872fa13e9
Oct 11 09:16:54.033 INFO running `"docker" "start" "-a" "a70f7158fd2b30c98bf50de0fd7b46da8cf8e12358e6e9bbe244208872fa13e9"`
Oct 11 09:16:54.524 INFO kablam! usermod: no changes
Oct 11 09:16:54.599 INFO kablam!    Compiling un_algebra v0.1.4 (/source)
Oct 11 09:16:56.276 INFO kablam! warning: unused import: `proptest::test_runner::*`
Oct 11 09:16:56.276 INFO kablam!   --> examples/binary.rs:22:5
Oct 11 09:16:56.276 INFO kablam!    |
Oct 11 09:16:56.276 INFO kablam! 22 | use proptest::test_runner::*;
Oct 11 09:16:56.276 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^
Oct 11 09:16:56.276 INFO kablam!    |
Oct 11 09:16:56.276 INFO kablam!    = note: #[warn(unused_imports)] on by default
Oct 11 09:16:56.276 INFO kablam! 
Oct 11 09:16:56.441 INFO kablam! warning: unused import: `proptest::test_runner::*`
Oct 11 09:16:56.444 INFO kablam!   --> examples/rps.rs:20:5
Oct 11 09:16:56.444 INFO kablam!    |
Oct 11 09:16:56.445 INFO kablam! 20 | use proptest::test_runner::*;
Oct 11 09:16:56.445 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^
Oct 11 09:16:56.445 INFO kablam!    |
Oct 11 09:16:56.445 INFO kablam!    = note: #[warn(unused_imports)] on by default
Oct 11 09:16:56.446 INFO kablam! 
Oct 11 09:16:56.497 INFO kablam! warning: unused import: `proptest::test_runner::*`
Oct 11 09:16:56.498 INFO kablam!   --> examples/f4.rs:18:5
Oct 11 09:16:56.498 INFO kablam!    |
Oct 11 09:16:56.498 INFO kablam! 18 | use proptest::test_runner::*;
Oct 11 09:16:56.499 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^
Oct 11 09:16:56.508 INFO kablam!    |
Oct 11 09:16:56.509 INFO kablam!    = note: #[warn(unused_imports)] on by default
Oct 11 09:16:56.509 INFO kablam! 
Oct 11 09:17:30.206 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 35.66s
Oct 11 09:17:30.220 INFO kablam! su: No module specific data is present
Oct 11 09:17:30.754 INFO running `"docker" "rm" "-f" "a70f7158fd2b30c98bf50de0fd7b46da8cf8e12358e6e9bbe244208872fa13e9"`
Oct 11 09:17:30.969 INFO blam! a70f7158fd2b30c98bf50de0fd7b46da8cf8e12358e6e9bbe244208872fa13e9
Oct 11 09:17:30.973 INFO running: cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen
Oct 11 09:17:30.974 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/test-source/worker-1/rustdoc-test-static-cling/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/source:ro,Z" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling/worker-1/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/target:rw,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" "CMD=cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "1536M" "--network" "none" "crater"`
Oct 11 09:17:31.189 INFO blam! 2c47d0a9881bb75c27697403811d8d8305b38762160b3badfa7e1deeac453376
Oct 11 09:17:31.194 INFO running `"docker" "start" "-a" "2c47d0a9881bb75c27697403811d8d8305b38762160b3badfa7e1deeac453376"`
Oct 11 09:17:31.648 INFO kablam! usermod: no changes
Oct 11 09:17:31.790 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 0.12s
Oct 11 09:17:31.813 INFO kablam!      Running /target/debug/deps/un_algebra-72441954ee864fa3
Oct 11 09:17:31.816 INFO blam! 
Oct 11 09:17:31.816 INFO blam! running 166 tests
Oct 11 09:17:32.032 INFO blam! test com_ring::com_ring::com_ring_test::axiom_mul_commutivity_f64_T3 ... ok
Oct 11 09:17:32.044 INFO blam! test com_group::add_com_group::add_com_group_test::axiom_add_commutivity_i32 ... ok
Oct 11 09:17:32.068 INFO blam! test com_group::add_com_group::add_com_group_test::axiom_add_commutivity_i16_T2 ... ok
Oct 11 09:17:32.148 INFO blam! test com_ring::com_ring::com_ring_test::axiom_mul_commutivity_i8 ... ok
Oct 11 09:17:32.196 INFO blam! test com_group::mul_com_group::mul_com_group_test::axiom_mul_commutivity_f32 ... ok
Oct 11 09:17:32.196 INFO blam! test com_ring::com_ring::com_ring_test::axiom_mul_commutivity_f32 ... ok
Oct 11 09:17:32.196 INFO blam! test com_ring::com_ring::com_ring_test::axiom_mul_commutivity_i16_T2 ... ok
Oct 11 09:17:32.196 INFO blam! test com_group::add_com_group::add_com_group_test::axiom_add_commutivity_f64 ... ok
Oct 11 09:17:32.340 INFO blam! test complex::complex::complex_test::axiom_add_associativity_c32 ... ok
Oct 11 09:17:32.441 INFO blam! test complex::complex::complex_test::axiom_add_commutivity_c32 ... ok
Oct 11 09:17:32.480 INFO blam! test complex::complex::complex_test::axiom_left_add_identity_c64 ... ok
Oct 11 09:17:32.484 INFO blam! test com_group::add_com_group::add_com_group_test::axiom_add_commutivity_f32_T3 ... ok
Oct 11 09:17:32.484 INFO blam! test complex::complex::complex_test::axiom_field_right_invert_c32 ... ok
Oct 11 09:17:32.505 INFO blam! test complex::complex::complex_test::axiom_field_left_invert_c64 ... ok
Oct 11 09:17:32.544 INFO blam! test com_group::mul_com_group::mul_com_group_test::axiom_mul_commutivity_f64_T3 ... ok
Oct 11 09:17:32.544 INFO blam! test complex::complex::complex_test::axiom_add_closure_c64 ... ok
Oct 11 09:17:32.668 INFO blam! test complex::complex::complex_test::axiom_right_add_identity_c32 ... ok
Oct 11 09:17:32.690 INFO blam! test complex::complex::complex_test::axiom_left_invert_c64 ... ok
Oct 11 09:17:32.691 INFO blam! test complex::complex::complex_test::axiom_left_negate_c32 ... ok
Oct 11 09:17:32.734 INFO blam! test complex::complex::complex_test::axiom_left_mul_identity_c64 ... ok
Oct 11 09:17:32.785 INFO blam! test complex::complex::complex_test::axiom_mul_associativity_c64 ... ok
Oct 11 09:17:32.792 INFO blam! test complex::complex::complex_test::axiom_left_distributivity_c32 ... ok
Oct 11 09:17:32.793 INFO blam! test complex::complex::complex_test::axiom_right_invert_c32 ... ok
Oct 11 09:17:32.852 INFO blam! test complex::complex::complex_test::axiom_right_negate_c64 ... ok
Oct 11 09:17:32.912 INFO blam! test complex::complex::complex_test::axiom_mul_commutivity_c64 ... ok
Oct 11 09:17:32.924 INFO blam! test complex::complex::complex_test::prop_left_one_negate_c64 ... ok
Oct 11 09:17:32.937 INFO blam! test complex::complex::complex_test::axiom_mul_closure_c64 ... ok
Oct 11 09:17:32.940 INFO blam! test complex::complex::complex_test::axiom_right_distributivity_c64 ... ok
Oct 11 09:17:32.957 INFO blam! test complex::complex::complex_test::axiom_right_mul_identity_c32 ... ok
Oct 11 09:17:32.976 INFO blam! test complex::complex::complex_test::prop_left_mul_negate_c64 ... ok
Oct 11 09:17:33.080 INFO blam! test complex::complex::complex_test::prop_add_cancel_c32 ... ok
Oct 11 09:17:33.121 INFO blam! test complex::complex::complex_test::prop_right_one_negate_c32 ... ok
Oct 11 09:17:33.121 INFO blam! test complex::complex::complex_test::prop_mul_cancel_c64 ... ok
Oct 11 09:17:33.123 INFO blam! test complex::complex::complex_test::axiom_ring_mul_commutivity_c64 ... ok
Oct 11 09:17:33.167 INFO blam! test complex::complex::complex_test::prop_right_mul_negate_c32 ... ok
Oct 11 09:17:33.208 INFO blam! test complex::complex::complex_test::prop_right_zero_absorb_c32 ... ok
Oct 11 09:17:33.221 INFO blam! test complex::complex::complex_test::prop_left_zero_absorb_c64 ... ok
Oct 11 09:17:33.221 INFO blam! test complex::complex::complex_test::prop_mul_negate_c64 ... ok
Oct 11 09:17:33.221 INFO blam! test field::field::field_test::axiom_left_invert_f32 ... ok
Oct 11 09:17:33.245 INFO blam! test field::field::field_test::axiom_left_invert_f32_T2 ... ok
Oct 11 09:17:33.260 INFO blam! test complex::complex::complex_test::prop_mul_zero_c64 ... ok
Oct 11 09:17:33.328 INFO blam! test field::field::field_test::axiom_left_invert_f64_T1 ... ok
Oct 11 09:17:33.342 INFO blam! test field::field::field_test::axiom_right_invert_f64 ... ok
Oct 11 09:17:33.381 INFO blam! test field::field::field_test::prop_mul_cancel_f32 ... ok
Oct 11 09:17:33.444 INFO blam! test group::add_group::add_group_test::axiom_left_negate_f64 ... ok
Oct 11 09:17:33.444 INFO blam! test group::add_group::add_group_test::axiom_left_negate_i16_T1 ... ok
Oct 11 09:17:33.444 INFO blam! test field::field::field_test::prop_mul_zero_f64_T3 ... ok
Oct 11 09:17:33.452 INFO blam! test field::field::field_test::prop_mul_zero_f32 ... ok
Oct 11 09:17:33.464 INFO blam! test field::field::field_test::prop_add_cancel_f64 ... ok
Oct 11 09:17:33.468 INFO blam! test group::add_group::add_group_test::axiom_left_negate_i32 ... ok
Oct 11 09:17:33.480 INFO blam! test field::field::field_test::prop_mul_cancel_f64_T1 ... ok
Oct 11 09:17:33.494 INFO blam! test group::add_group::add_group_test::axiom_right_negate_f32 ... ok
Oct 11 09:17:33.516 INFO blam! test group::add_group::add_group_test::axiom_right_negate_isize_T2 ... ok
Oct 11 09:17:33.556 INFO blam! test field::field::field_test::prop_add_cancel_f32_T2 ... ok
Oct 11 09:17:33.564 INFO blam! test group::mul_group::mul_group_test::axiom_left_invert_f64_T1 ... ok
Oct 11 09:17:33.584 INFO blam! test group::add_group::add_group_test::axiom_right_negate_i16 ... ok
Oct 11 09:17:33.584 INFO blam! test group::add_group::add_group_test::axiom_right_negate_f64_T3 ... ok
Oct 11 09:17:33.613 INFO blam! test magma::add_magma::add_magma_test::axiom_add_closure_f32 ... ok
Oct 11 09:17:33.648 INFO blam! test group::mul_group::mul_group_test::axiom_left_invert_f32 ... ok
Oct 11 09:17:33.665 INFO blam! test magma::add_magma::add_magma_test::axiom_add_closure_u16 ... ok
Oct 11 09:17:33.668 INFO blam! test magma::add_magma::add_magma_test::axiom_add_closure_f32_T2 ... ok
Oct 11 09:17:33.688 INFO blam! test magma::add_magma::add_magma_test::axiom_add_closure_u8_T2 ... ok
Oct 11 09:17:33.703 INFO blam! test group::mul_group::mul_group_test::axiom_right_invert_f64 ... ok
Oct 11 09:17:33.741 INFO blam! test magma::add_magma::add_magma_test::axiom_add_closure_i64 ... ok
Oct 11 09:17:33.741 INFO blam! test magma::add_magma::add_magma_test::axiom_add_closure_u64_T1 ... ok
Oct 11 09:17:33.745 INFO blam! test group::mul_group::mul_group_test::axiom_right_invert_f32_T3 ... ok
Oct 11 09:17:33.756 INFO blam! test magma::add_magma::add_magma_test::axiom_add_closure_isize_T3 ... ok
Oct 11 09:17:33.778 INFO blam! test magma::mul_magma::mul_magma_test::axiom_mul_closure_u32 ... ok
Oct 11 09:17:33.793 INFO blam! test magma::add_magma::add_magma_test::axiom_add_closure_f64_T1 ... ok
Oct 11 09:17:33.797 INFO blam! test magma::mul_magma::mul_magma_test::axiom_mul_closure_f64 ... ok
Oct 11 09:17:33.837 INFO blam! test magma::mul_magma::mul_magma_test::axiom_mul_closure_u64_T1 ... ok
Oct 11 09:17:33.837 INFO blam! test monoid::add_monoid::add_monoid_test::axiom_left_add_identity_i32_T2 ... ok
Oct 11 09:17:33.852 INFO blam! test magma::mul_magma::mul_magma_test::axiom_mul_closure_i8 ... ok
Oct 11 09:17:33.868 INFO blam! test magma::mul_magma::mul_magma_test::axiom_mul_closure_f32_T2 ... ok
Oct 11 09:17:33.868 INFO blam! test magma::mul_magma::mul_magma_test::axiom_mul_closure_u8_T2 ... ok
Oct 11 09:17:33.869 INFO blam! test magma::mul_magma::mul_magma_test::axiom_mul_closure_isize_T3 ... ok
Oct 11 09:17:33.888 INFO blam! test monoid::add_monoid::add_monoid_test::axiom_left_add_identity_u8 ... ok
Oct 11 09:17:33.908 INFO blam! test monoid::add_monoid::add_monoid_test::axiom_left_add_identity_u16_T1 ... ok
Oct 11 09:17:33.920 INFO blam! test monoid::add_monoid::add_monoid_test::axiom_left_add_identity_i64 ... ok
Oct 11 09:17:33.944 INFO blam! test monoid::add_monoid::add_monoid_test::axiom_left_add_identity_f32 ... ok
Oct 11 09:17:33.945 INFO blam! test magma::mul_magma::mul_magma_test::axiom_mul_closure_f64_T1 ... ok
Oct 11 09:17:33.953 INFO blam! test monoid::add_monoid::add_monoid_test::axiom_right_add_identity_isize ... ok
Oct 11 09:17:33.968 INFO blam! test monoid::add_monoid::add_monoid_test::axiom_right_add_identity_u32 ... ok
Oct 11 09:17:33.968 INFO blam! test monoid::add_monoid::add_monoid_test::axiom_right_add_identity_i32_T3 ... ok
Oct 11 09:17:33.988 INFO blam! test monoid::add_monoid::add_monoid_test::axiom_right_add_identity_f64 ... ok
Oct 11 09:17:33.988 INFO blam! test monoid::add_monoid::add_monoid_test::axiom_right_add_identity_u8_T1 ... ok
Oct 11 09:17:34.017 INFO blam! test monoid::mul_monoid::mul_monoid_test::axiom_left_mul_identity_i64 ... ok
Oct 11 09:17:34.017 INFO blam! test monoid::mul_monoid::mul_monoid_test::axiom_left_mul_identity_f32 ... ok
Oct 11 09:17:34.072 INFO blam! test monoid::mul_monoid::mul_monoid_test::axiom_left_mul_identity_i32_T2 ... ok
Oct 11 09:17:34.073 INFO blam! test monoid::mul_monoid::mul_monoid_test::axiom_left_mul_identity_u16_T1 ... ok
Oct 11 09:17:34.073 INFO blam! test monoid::mul_monoid::mul_monoid_test::axiom_left_mul_identity_u8 ... ok
Oct 11 09:17:34.073 INFO blam! test monoid::mul_monoid::mul_monoid_test::axiom_right_mul_identity_isize ... ok
Oct 11 09:17:34.084 INFO blam! test monoid::add_monoid::add_monoid_test::axiom_right_add_identity_f32_T3 ... ok
Oct 11 09:17:34.128 INFO blam! test monoid::mul_monoid::mul_monoid_test::axiom_right_mul_identity_f32_T3 ... ok
Oct 11 09:17:34.140 INFO blam! test monoid::mul_monoid::mul_monoid_test::axiom_right_mul_identity_f64 ... ok
Oct 11 09:17:34.141 INFO blam! test rational::rational::rational_test::axiom_field_left_invert ... ok
Oct 11 09:17:34.148 INFO blam! test monoid::mul_monoid::mul_monoid_test::axiom_right_mul_identity_u32 ... ok
Oct 11 09:17:34.149 INFO blam! test rational::rational::rational_test::axiom_add_commutivity ... ok
Oct 11 09:17:34.180 INFO blam! test rational::rational::rational_test::axiom_add_closure ... ok
Oct 11 09:17:34.216 INFO blam! test rational::rational::rational_test::axiom_left_mul_identity ... ok
Oct 11 09:17:34.217 INFO blam! test rational::rational::rational_test::axiom_left_invert ... ok
Oct 11 09:17:34.217 INFO blam! test rational::rational::rational_test::axiom_left_add_identity ... ok
Oct 11 09:17:34.217 INFO blam! test rational::rational::rational_test::axiom_left_negate ... ok
Oct 11 09:17:34.217 INFO blam! test rational::rational::rational_test::axiom_field_right_invert ... ok
Oct 11 09:17:34.264 INFO blam! test monoid::mul_monoid::mul_monoid_test::axiom_right_mul_identity_u8_T1 ... ok
Oct 11 09:17:34.284 INFO blam! test rational::rational::rational_test::axiom_right_invert ... ok
Oct 11 09:17:34.337 INFO blam! test rational::rational::rational_test::axiom_right_add_identity ... ok
Oct 11 09:17:34.340 INFO blam! test rational::rational::rational_test::axiom_add_associativity ... ok
Oct 11 09:17:34.341 INFO blam! test rational::rational::rational_test::axiom_right_mul_identity ... ok
Oct 11 09:17:34.341 INFO blam! test rational::rational::rational_test::axiom_mul_associativity ... ok
Oct 11 09:17:34.376 INFO blam! test rational::rational::rational_test::axiom_mul_commutivity ... ok
Oct 11 09:17:34.388 INFO blam! test rational::rational::rational_test::axiom_right_negate ... ok
Oct 11 09:17:34.389 INFO blam! test rational::rational::rational_test::axiom_mul_closure ... ok
Oct 11 09:17:34.396 INFO blam! test rational::rational::rational_test::axiom_ring_mul_commutivity ... ok
Oct 11 09:17:34.408 INFO blam! test rational::rational::rational_test::axiom_left_distributivity ... ok
Oct 11 09:17:34.417 INFO blam! test rational::rational::rational_test::prop_left_one_negate ... ok
Oct 11 09:17:34.435 INFO blam! test rational::rational::rational_test::prop_left_zero_absorb ... ok
Oct 11 09:17:34.515 INFO blam! test rational::rational::rational_test::prop_add_cancel ... ok
Oct 11 09:17:34.515 INFO blam! test rational::rational::rational_test::axiom_right_distributivity ... ok
Oct 11 09:17:34.524 INFO blam! test rational::rational::rational_test::prop_right_mul_negate ... ok
Oct 11 09:17:34.528 INFO blam! test rational::rational::rational_test::prop_right_zero_absorb ... ok
Oct 11 09:17:34.551 INFO blam! test rational::rational::rational_test::prop_right_one_negate ... ok
Oct 11 09:17:34.551 INFO blam! test ring::ring::ring_test::axiom_left_distributivity_i32 ... ok
Oct 11 09:17:34.556 INFO blam! test rational::rational::rational_test::prop_left_mul_negate ... ok
Oct 11 09:17:34.563 INFO blam! test ring::ring::ring_test::axiom_left_distributivity_i8_T1 ... ok
Oct 11 09:17:34.588 INFO blam! test rational::rational::rational_test::prop_mul_negate ... ok
Oct 11 09:17:34.596 INFO blam! test ring::ring::ring_test::axiom_right_distributivity_i64_T2 ... ok
Oct 11 09:17:34.600 INFO blam! test ring::ring::ring_test::axiom_left_distributivity_f64 ... ok
Oct 11 09:17:34.604 INFO blam! test ring::ring::ring_test::axiom_right_distributivity_i16 ... ok
Oct 11 09:17:34.610 INFO blam! test rational::rational::rational_test::prop_mul_cancel ... ok
Oct 11 09:17:34.664 INFO blam! test rational::rational::rational_test::prop_mul_zero ... ok
Oct 11 09:17:34.680 INFO blam! test ring::ring::ring_test::axiom_right_distributivity_f32 ... ok
Oct 11 09:17:34.688 INFO blam! test ring::ring::ring_test::prop_left_mul_negate_f32 ... ok
Oct 11 09:17:34.696 INFO blam! test ring::ring::ring_test::prop_left_mul_negate_i16 ... ok
Oct 11 09:17:34.712 INFO blam! test ring::ring::ring_test::prop_left_one_negate_isize ... ok
Oct 11 09:17:34.712 INFO blam! test ring::ring::ring_test::prop_left_one_negate_f32 ... ok
Oct 11 09:17:34.720 INFO blam! test ring::ring::ring_test::prop_left_one_negate_f64_T3 ... ok
Oct 11 09:17:34.728 INFO blam! test ring::ring::ring_test::prop_left_mul_negate_f64_T1 ... ok
Oct 11 09:17:34.736 INFO blam! test ring::ring::ring_test::prop_left_mul_negate_i32_T2 ... ok
Oct 11 09:17:34.748 INFO blam! test ring::ring::ring_test::prop_mul_negate_i64 ... ok
Oct 11 09:17:34.768 INFO blam! test ring::ring::ring_test::prop_right_mul_negate_i32 ... ok
Oct 11 09:17:34.768 INFO blam! test ring::ring::ring_test::prop_left_zero_absorb_isize ... ok
Oct 11 09:17:34.776 INFO blam! test ring::ring::ring_test::prop_mul_negate_i32_T2 ... ok
Oct 11 09:17:34.776 INFO blam! test ring::ring::ring_test::prop_left_zero_absorb_f32 ... ok
Oct 11 09:17:34.797 INFO blam! test ring::ring::ring_test::prop_mul_negate_f32 ... ok
Oct 11 09:17:34.797 INFO blam! test ring::ring::ring_test::prop_right_one_negate_i32 ... ok
Oct 11 09:17:34.804 INFO blam! test ring::ring::ring_test::prop_right_one_negate_i16_T2 ... ok
Oct 11 09:17:34.814 INFO blam! test ring::ring::ring_test::prop_right_mul_negate_f64 ... ok
Oct 11 09:17:34.820 INFO blam! test ring::ring::ring_test::prop_right_mul_negate_i8_T3 ... ok
Oct 11 09:17:34.825 INFO blam! test ring::ring::ring_test::prop_left_zero_absorb_f64_T3 ... ok
Oct 11 09:17:34.831 INFO blam! test ring::ring::ring_test::prop_right_zero_absorb_i16_T2 ... ok
Oct 11 09:17:34.832 INFO blam! test ring::ring::ring_test::prop_right_zero_absorb_i32 ... ok
Oct 11 09:17:34.855 INFO blam! test ring::ring::ring_test::prop_right_zero_absorb_f64 ... ok
Oct 11 09:17:34.864 INFO blam! test semigroup::add_semigroup::add_semigroup_test::axiom_add_associativity_i8 ... ok
Oct 11 09:17:34.900 INFO blam! test ring::ring::ring_test::prop_right_one_negate_f64 ... ok
Oct 11 09:17:34.900 INFO blam! test semigroup::add_semigroup::add_semigroup_test::axiom_add_associativity_u32 ... ok
Oct 11 09:17:34.900 INFO blam! test semigroup::add_semigroup::add_semigroup_test::axiom_add_associativity_T2 ... ok
Oct 11 09:17:34.912 INFO blam! test semigroup::add_semigroup::add_semigroup_test::axiom_add_associativity_u64_T2 ... ok
Oct 11 09:17:34.921 INFO blam! test semigroup::mul_semigroup::mul_semigroup_test::axiom_mul_associativity_u16 ... ok
Oct 11 09:17:34.946 INFO blam! test semigroup::mul_semigroup::mul_semigroup_test::axiom_mul_associativity_u32_T2 ... ok
Oct 11 09:17:34.958 INFO blam! test semigroup::mul_semigroup::mul_semigroup_test::axiom_mul_associativity_i32_T2 ... ok
Oct 11 09:17:34.965 INFO blam! test semigroup::mul_semigroup::mul_semigroup_test::axiom_mul_associativity_isize ... ok
Oct 11 09:17:34.973 INFO blam! test semigroup::mul_semigroup::mul_semigroup_test::axiom_mul_associativity_f32 ... ok
Oct 11 09:17:34.975 INFO blam! test semigroup::add_semigroup::add_semigroup_test::axiom_add_associativity_f64 ... ok
Oct 11 09:17:35.004 INFO blam! test semigroup::mul_semigroup::mul_semigroup_test::axiom_mul_associativity_f64_T2 ... ok
Oct 11 09:17:35.018 INFO blam! test semigroup::add_semigroup::add_semigroup_test::axiom_add_associativity_f32_T2 ... ok
Oct 11 09:17:35.018 INFO blam! 
Oct 11 09:17:35.018 INFO blam! test result: ok. 166 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 11 09:17:35.018 INFO blam! 
Oct 11 09:17:35.020 INFO kablam!    Doc-tests un_algebra
Oct 11 09:17:37.317 INFO blam! 
Oct 11 09:17:37.317 INFO blam! running 0 tests
Oct 11 09:17:37.317 INFO blam! 
Oct 11 09:17:37.317 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 11 09:17:37.317 INFO blam! 
Oct 11 09:17:37.325 INFO kablam! su: No module specific data is present
Oct 11 09:17:37.890 INFO running `"docker" "rm" "-f" "2c47d0a9881bb75c27697403811d8d8305b38762160b3badfa7e1deeac453376"`
Oct 11 09:17:37.996 INFO blam! 2c47d0a9881bb75c27697403811d8d8305b38762160b3badfa7e1deeac453376