Oct 15 15:18:19.236 INFO testing un_algebra-0.1.4 against try#40d4795669493f1965de7c44029c69552134fe1f for rustdoc-test-static-cling-1
Oct 15 15:18:19.236 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling-1/worker-1/try#40d4795669493f1965de7c44029c69552134fe1f:/target:rw,Z" "-v" "/mnt/big/crater/./work/local/test-source/worker-1/rustdoc-test-static-cling-1/try#40d4795669493f1965de7c44029c69552134fe1f:/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 +40d4795669493f1965de7c44029c69552134fe1f-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"`
Oct 15 15:18:19.594 INFO blam! d12818e64cccf1b91465a947cc7069bb491b97d519f4d4afa531c3aee51f9fd1
Oct 15 15:18:19.594 INFO running `"docker" "start" "-a" "d12818e64cccf1b91465a947cc7069bb491b97d519f4d4afa531c3aee51f9fd1"`
Oct 15 15:18:20.407 INFO kablam! usermod: no changes
Oct 15 15:18:20.540 INFO kablam!    Compiling num-complex v0.2.1
Oct 15 15:18:20.540 INFO kablam!    Compiling byteorder v1.2.6
Oct 15 15:18:20.541 INFO kablam!    Compiling rand v0.5.5
Oct 15 15:18:20.541 INFO kablam!    Compiling float-cmp v0.4.0
Oct 15 15:18:20.541 INFO kablam!    Compiling num-iter v0.1.37
Oct 15 15:18:24.868 INFO kablam!    Compiling num v0.2.0
Oct 15 15:18:26.921 INFO kablam!    Compiling tempfile v3.0.4
Oct 15 15:18:28.217 INFO kablam!    Compiling rusty-fork v0.2.1
Oct 15 15:18:29.779 INFO kablam!    Compiling proptest v0.8.7
Oct 15 15:18:45.087 INFO kablam!    Compiling un_algebra v0.1.4 (/source)
Oct 15 15:18:46.647 INFO kablam! warning: unused import: `proptest::test_runner::*`
Oct 15 15:18:46.647 INFO kablam!   --> src/tests/config.rs:12:5
Oct 15 15:18:46.647 INFO kablam!    |
Oct 15 15:18:46.647 INFO kablam! 12 | use proptest::test_runner::*;
Oct 15 15:18:46.647 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^
Oct 15 15:18:46.647 INFO kablam!    |
Oct 15 15:18:46.647 INFO kablam!    = note: #[warn(unused_imports)] on by default
Oct 15 15:18:46.647 INFO kablam! 
Oct 15 15:18:47.887 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 27.44s
Oct 15 15:18:47.892 INFO kablam! su: No module specific data is present
Oct 15 15:18:48.473 INFO running `"docker" "rm" "-f" "d12818e64cccf1b91465a947cc7069bb491b97d519f4d4afa531c3aee51f9fd1"`
Oct 15 15:18:48.743 INFO blam! d12818e64cccf1b91465a947cc7069bb491b97d519f4d4afa531c3aee51f9fd1
Oct 15 15:18:48.749 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling-1/worker-1/try#40d4795669493f1965de7c44029c69552134fe1f:/target:rw,Z" "-v" "/mnt/big/crater/./work/local/test-source/worker-1/rustdoc-test-static-cling-1/try#40d4795669493f1965de7c44029c69552134fe1f:/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 +40d4795669493f1965de7c44029c69552134fe1f-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"`
Oct 15 15:18:49.151 INFO blam! f96be10cf7e856d5260417270afebdc64c5cc3389d44ba611b0b9a3ef39b686c
Oct 15 15:18:49.154 INFO running `"docker" "start" "-a" "f96be10cf7e856d5260417270afebdc64c5cc3389d44ba611b0b9a3ef39b686c"`
Oct 15 15:18:50.083 INFO kablam! usermod: no changes
Oct 15 15:18:50.191 INFO kablam!    Compiling un_algebra v0.1.4 (/source)
Oct 15 15:18:52.320 INFO kablam! warning: unused import: `proptest::test_runner::*`
Oct 15 15:18:52.320 INFO kablam!   --> examples/f4.rs:18:5
Oct 15 15:18:52.320 INFO kablam!    |
Oct 15 15:18:52.320 INFO kablam! 18 | use proptest::test_runner::*;
Oct 15 15:18:52.320 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^
Oct 15 15:18:52.320 INFO kablam!    |
Oct 15 15:18:52.320 INFO kablam!    = note: #[warn(unused_imports)] on by default
Oct 15 15:18:52.320 INFO kablam! 
Oct 15 15:18:52.593 INFO kablam! warning: unused import: `proptest::test_runner::*`
Oct 15 15:18:52.593 INFO kablam!   --> examples/binary.rs:22:5
Oct 15 15:18:52.593 INFO kablam!    |
Oct 15 15:18:52.593 INFO kablam! 22 | use proptest::test_runner::*;
Oct 15 15:18:52.594 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^
Oct 15 15:18:52.594 INFO kablam!    |
Oct 15 15:18:52.594 INFO kablam!    = note: #[warn(unused_imports)] on by default
Oct 15 15:18:52.594 INFO kablam! 
Oct 15 15:18:52.603 INFO kablam! warning: unused import: `proptest::test_runner::*`
Oct 15 15:18:52.603 INFO kablam!   --> examples/rps.rs:20:5
Oct 15 15:18:52.603 INFO kablam!    |
Oct 15 15:18:52.603 INFO kablam! 20 | use proptest::test_runner::*;
Oct 15 15:18:52.603 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^
Oct 15 15:18:52.603 INFO kablam!    |
Oct 15 15:18:52.603 INFO kablam!    = note: #[warn(unused_imports)] on by default
Oct 15 15:18:52.603 INFO kablam! 
Oct 15 15:19:35.797 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 45.68s
Oct 15 15:19:35.802 INFO kablam! su: No module specific data is present
Oct 15 15:19:36.123 INFO running `"docker" "rm" "-f" "f96be10cf7e856d5260417270afebdc64c5cc3389d44ba611b0b9a3ef39b686c"`
Oct 15 15:19:36.247 INFO blam! f96be10cf7e856d5260417270afebdc64c5cc3389d44ba611b0b9a3ef39b686c
Oct 15 15:19:36.251 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling-1/worker-1/try#40d4795669493f1965de7c44029c69552134fe1f:/target:rw,Z" "-v" "/mnt/big/crater/./work/local/test-source/worker-1/rustdoc-test-static-cling-1/try#40d4795669493f1965de7c44029c69552134fe1f:/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 +40d4795669493f1965de7c44029c69552134fe1f-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"`
Oct 15 15:19:36.492 INFO blam! 41843ffbdefe3b3f978b96402d9802ca046e4d720cd4e239a8172ea94d961661
Oct 15 15:19:36.503 INFO running `"docker" "start" "-a" "41843ffbdefe3b3f978b96402d9802ca046e4d720cd4e239a8172ea94d961661"`
Oct 15 15:19:37.173 INFO kablam! usermod: no changes
Oct 15 15:19:37.255 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 0.06s
Oct 15 15:19:37.255 INFO kablam!      Running /target/debug/deps/un_algebra-bbb398b77acfac34
Oct 15 15:19:37.256 INFO blam! 
Oct 15 15:19:37.256 INFO blam! running 166 tests
Oct 15 15:19:37.313 INFO blam! test com_group::add_com_group::add_com_group_test::axiom_add_commutivity_i32 ... ok
Oct 15 15:19:37.313 INFO blam! test com_group::add_com_group::add_com_group_test::axiom_add_commutivity_i16_T2 ... ok
Oct 15 15:19:37.368 INFO blam! test com_group::mul_com_group::mul_com_group_test::axiom_mul_commutivity_f32 ... ok
Oct 15 15:19:37.373 INFO blam! test com_ring::com_ring::com_ring_test::axiom_mul_commutivity_f32 ... ok
Oct 15 15:19:37.396 INFO blam! test com_ring::com_ring::com_ring_test::axiom_mul_commutivity_i16_T2 ... ok
Oct 15 15:19:37.403 INFO blam! test com_ring::com_ring::com_ring_test::axiom_mul_commutivity_i8 ... ok
Oct 15 15:19:37.440 INFO blam! test com_group::add_com_group::add_com_group_test::axiom_add_commutivity_f64 ... ok
Oct 15 15:19:37.440 INFO blam! test com_ring::com_ring::com_ring_test::axiom_mul_commutivity_f64_T3 ... ok
Oct 15 15:19:37.440 INFO blam! test com_group::mul_com_group::mul_com_group_test::axiom_mul_commutivity_f64_T3 ... ok
Oct 15 15:19:37.505 INFO blam! test complex::complex::complex_test::axiom_field_right_invert_c32 ... ok
Oct 15 15:19:37.530 INFO blam! test complex::complex::complex_test::axiom_field_left_invert_c64 ... ok
Oct 15 15:19:37.579 INFO blam! test com_group::add_com_group::add_com_group_test::axiom_add_commutivity_f32_T3 ... ok
Oct 15 15:19:37.579 INFO blam! test complex::complex::complex_test::axiom_left_add_identity_c64 ... ok
Oct 15 15:19:37.595 INFO blam! test complex::complex::complex_test::axiom_add_commutivity_c32 ... ok
Oct 15 15:19:37.647 INFO blam! test complex::complex::complex_test::axiom_add_closure_c64 ... ok
Oct 15 15:19:37.659 INFO blam! test complex::complex::complex_test::axiom_left_distributivity_c32 ... ok
Oct 15 15:19:37.699 INFO blam! test complex::complex::complex_test::axiom_add_associativity_c32 ... ok
Oct 15 15:19:37.731 INFO blam! test complex::complex::complex_test::axiom_left_invert_c64 ... ok
Oct 15 15:19:37.743 INFO blam! test complex::complex::complex_test::axiom_right_add_identity_c32 ... ok
Oct 15 15:19:37.767 INFO blam! test complex::complex::complex_test::axiom_left_negate_c32 ... ok
Oct 15 15:19:37.805 INFO blam! test complex::complex::complex_test::axiom_left_mul_identity_c64 ... ok
Oct 15 15:19:37.829 INFO blam! test complex::complex::complex_test::axiom_mul_commutivity_c64 ... ok
Oct 15 15:19:37.875 INFO blam! test complex::complex::complex_test::axiom_mul_closure_c64 ... ok
Oct 15 15:19:37.883 INFO blam! test complex::complex::complex_test::axiom_right_invert_c32 ... ok
Oct 15 15:19:37.886 INFO blam! test complex::complex::complex_test::axiom_right_mul_identity_c32 ... ok
Oct 15 15:19:37.911 INFO blam! test complex::complex::complex_test::axiom_right_negate_c64 ... ok
Oct 15 15:19:38.008 INFO blam! test complex::complex::complex_test::prop_left_zero_absorb_c64 ... ok
Oct 15 15:19:38.023 INFO blam! test complex::complex::complex_test::prop_add_cancel_c32 ... ok
Oct 15 15:19:38.067 INFO blam! test complex::complex::complex_test::axiom_right_distributivity_c64 ... ok
Oct 15 15:19:38.137 INFO blam! test complex::complex::complex_test::axiom_mul_associativity_c64 ... ok
Oct 15 15:19:38.143 INFO blam! test complex::complex::complex_test::prop_left_one_negate_c64 ... ok
Oct 15 15:19:38.175 INFO blam! test complex::complex::complex_test::prop_right_mul_negate_c32 ... ok
Oct 15 15:19:38.183 INFO blam! test complex::complex::complex_test::prop_left_mul_negate_c64 ... ok
Oct 15 15:19:38.191 INFO blam! test complex::complex::complex_test::axiom_ring_mul_commutivity_c64 ... ok
Oct 15 15:19:38.227 INFO blam! test complex::complex::complex_test::prop_right_zero_absorb_c32 ... ok
Oct 15 15:19:38.304 INFO blam! test complex::complex::complex_test::prop_mul_zero_c64 ... ok
Oct 15 15:19:38.311 INFO blam! test field::field::field_test::axiom_right_invert_f64 ... ok
Oct 15 15:19:38.328 INFO blam! test field::field::field_test::axiom_left_invert_f64_T1 ... ok
Oct 15 15:19:38.348 INFO blam! test field::field::field_test::axiom_left_invert_f32_T2 ... ok
Oct 15 15:19:38.355 INFO blam! test complex::complex::complex_test::prop_right_one_negate_c32 ... ok
Oct 15 15:19:38.368 INFO blam! test complex::complex::complex_test::prop_mul_negate_c64 ... ok
Oct 15 15:19:38.383 INFO blam! test complex::complex::complex_test::prop_mul_cancel_c64 ... ok
Oct 15 15:19:38.435 INFO blam! test group::add_group::add_group_test::axiom_left_negate_f64 ... ok
Oct 15 15:19:38.435 INFO blam! test field::field::field_test::axiom_left_invert_f32 ... ok
Oct 15 15:19:38.439 INFO blam! test field::field::field_test::prop_add_cancel_f64 ... ok
Oct 15 15:19:38.511 INFO blam! test field::field::field_test::prop_mul_zero_f32 ... ok
Oct 15 15:19:38.512 INFO blam! test field::field::field_test::prop_mul_cancel_f32 ... ok
Oct 15 15:19:38.522 INFO blam! test field::field::field_test::prop_mul_zero_f64_T3 ... ok
Oct 15 15:19:38.524 INFO blam! test group::add_group::add_group_test::axiom_left_negate_i16_T1 ... ok
Oct 15 15:19:38.555 INFO blam! test group::add_group::add_group_test::axiom_right_negate_i16 ... ok
Oct 15 15:19:38.563 INFO blam! test group::add_group::add_group_test::axiom_left_negate_i32 ... ok
Oct 15 15:19:38.575 INFO blam! test group::add_group::add_group_test::axiom_right_negate_f32 ... ok
Oct 15 15:19:38.599 INFO blam! test field::field::field_test::prop_mul_cancel_f64_T1 ... ok
Oct 15 15:19:38.607 INFO blam! test group::mul_group::mul_group_test::axiom_left_invert_f32 ... ok
Oct 15 15:19:38.619 INFO blam! test field::field::field_test::prop_add_cancel_f32_T2 ... ok
Oct 15 15:19:38.647 INFO blam! test group::add_group::add_group_test::axiom_right_negate_isize_T2 ... ok
Oct 15 15:19:38.663 INFO blam! test group::add_group::add_group_test::axiom_right_negate_f64_T3 ... ok
Oct 15 15:19:38.675 INFO blam! test magma::add_magma::add_magma_test::axiom_add_closure_i64 ... ok
Oct 15 15:19:38.694 INFO blam! test magma::add_magma::add_magma_test::axiom_add_closure_f64_T1 ... ok
Oct 15 15:19:38.707 INFO blam! test magma::add_magma::add_magma_test::axiom_add_closure_u16 ... ok
Oct 15 15:19:38.726 INFO blam! test magma::add_magma::add_magma_test::axiom_add_closure_u64_T1 ... ok
Oct 15 15:19:38.742 INFO blam! test group::mul_group::mul_group_test::axiom_left_invert_f64_T1 ... ok
Oct 15 15:19:38.771 INFO blam! test group::mul_group::mul_group_test::axiom_right_invert_f64 ... ok
Oct 15 15:19:38.795 INFO blam! test magma::add_magma::add_magma_test::axiom_add_closure_isize_T3 ... ok
Oct 15 15:19:38.795 INFO blam! test group::mul_group::mul_group_test::axiom_right_invert_f32_T3 ... ok
Oct 15 15:19:38.835 INFO blam! test magma::add_magma::add_magma_test::axiom_add_closure_u8_T2 ... ok
Oct 15 15:19:38.837 INFO blam! test magma::mul_magma::mul_magma_test::axiom_mul_closure_f64 ... ok
Oct 15 15:19:38.871 INFO blam! test magma::add_magma::add_magma_test::axiom_add_closure_f32 ... ok
Oct 15 15:19:38.871 INFO blam! test magma::mul_magma::mul_magma_test::axiom_mul_closure_i8 ... ok
Oct 15 15:19:38.890 INFO blam! test magma::mul_magma::mul_magma_test::axiom_mul_closure_u64_T1 ... ok
Oct 15 15:19:38.910 INFO blam! test magma::mul_magma::mul_magma_test::axiom_mul_closure_u8_T2 ... ok
Oct 15 15:19:38.929 INFO blam! test magma::add_magma::add_magma_test::axiom_add_closure_f32_T2 ... ok
Oct 15 15:19:38.930 INFO blam! test magma::mul_magma::mul_magma_test::axiom_mul_closure_isize_T3 ... ok
Oct 15 15:19:38.932 INFO blam! test monoid::add_monoid::add_monoid_test::axiom_left_add_identity_i32_T2 ... ok
Oct 15 15:19:38.943 INFO blam! test magma::mul_magma::mul_magma_test::axiom_mul_closure_u32 ... ok
Oct 15 15:19:38.951 INFO blam! test magma::mul_magma::mul_magma_test::axiom_mul_closure_f64_T1 ... ok
Oct 15 15:19:38.951 INFO blam! test monoid::add_monoid::add_monoid_test::axiom_left_add_identity_i64 ... ok
Oct 15 15:19:38.955 INFO blam! test monoid::add_monoid::add_monoid_test::axiom_left_add_identity_f32 ... ok
Oct 15 15:19:38.966 INFO blam! test monoid::add_monoid::add_monoid_test::axiom_left_add_identity_u16_T1 ... ok
Oct 15 15:19:38.985 INFO blam! test monoid::add_monoid::add_monoid_test::axiom_right_add_identity_i32_T3 ... ok
Oct 15 15:19:39.008 INFO blam! test monoid::add_monoid::add_monoid_test::axiom_right_add_identity_u8_T1 ... ok
Oct 15 15:19:39.008 INFO blam! test magma::mul_magma::mul_magma_test::axiom_mul_closure_f32_T2 ... ok
Oct 15 15:19:39.019 INFO blam! test monoid::add_monoid::add_monoid_test::axiom_right_add_identity_u32 ... ok
Oct 15 15:19:39.043 INFO blam! test monoid::add_monoid::add_monoid_test::axiom_right_add_identity_f64 ... ok
Oct 15 15:19:39.047 INFO blam! test monoid::add_monoid::add_monoid_test::axiom_right_add_identity_f32_T3 ... ok
Oct 15 15:19:39.047 INFO blam! test monoid::mul_monoid::mul_monoid_test::axiom_left_mul_identity_u16_T1 ... ok
Oct 15 15:19:39.071 INFO blam! test monoid::add_monoid::add_monoid_test::axiom_left_add_identity_u8 ... ok
Oct 15 15:19:39.071 INFO blam! test monoid::add_monoid::add_monoid_test::axiom_right_add_identity_isize ... ok
Oct 15 15:19:39.102 INFO blam! test monoid::mul_monoid::mul_monoid_test::axiom_left_mul_identity_i32_T2 ... ok
Oct 15 15:19:39.103 INFO blam! test monoid::mul_monoid::mul_monoid_test::axiom_left_mul_identity_i64 ... ok
Oct 15 15:19:39.103 INFO blam! test monoid::mul_monoid::mul_monoid_test::axiom_left_mul_identity_u8 ... ok
Oct 15 15:19:39.103 INFO blam! test monoid::mul_monoid::mul_monoid_test::axiom_right_mul_identity_isize ... ok
Oct 15 15:19:39.131 INFO blam! test monoid::mul_monoid::mul_monoid_test::axiom_left_mul_identity_f32 ... ok
Oct 15 15:19:39.147 INFO blam! test monoid::mul_monoid::mul_monoid_test::axiom_right_mul_identity_f64 ... ok
Oct 15 15:19:39.191 INFO blam! test monoid::mul_monoid::mul_monoid_test::axiom_right_mul_identity_u8_T1 ... ok
Oct 15 15:19:39.191 INFO blam! test rational::rational::rational_test::axiom_field_left_invert ... ok
Oct 15 15:19:39.235 INFO blam! test rational::rational::rational_test::axiom_add_closure ... ok
Oct 15 15:19:39.235 INFO blam! test rational::rational::rational_test::axiom_add_commutivity ... ok
Oct 15 15:19:39.259 INFO blam! test rational::rational::rational_test::axiom_field_right_invert ... ok
Oct 15 15:19:39.291 INFO blam! test rational::rational::rational_test::axiom_left_negate ... ok
Oct 15 15:19:39.307 INFO blam! test rational::rational::rational_test::axiom_left_invert ... ok
Oct 15 15:19:39.307 INFO blam! test monoid::mul_monoid::mul_monoid_test::axiom_right_mul_identity_u32 ... ok
Oct 15 15:19:39.307 INFO blam! test rational::rational::rational_test::axiom_left_mul_identity ... ok
Oct 15 15:19:39.343 INFO blam! test monoid::mul_monoid::mul_monoid_test::axiom_right_mul_identity_f32_T3 ... ok
Oct 15 15:19:39.343 INFO blam! test rational::rational::rational_test::axiom_left_add_identity ... ok
Oct 15 15:19:39.375 INFO blam! test rational::rational::rational_test::axiom_right_add_identity ... ok
Oct 15 15:19:39.415 INFO blam! test rational::rational::rational_test::axiom_right_invert ... ok
Oct 15 15:19:39.465 INFO blam! test rational::rational::rational_test::axiom_mul_closure ... ok
Oct 15 15:19:39.491 INFO blam! test rational::rational::rational_test::axiom_right_negate ... ok
Oct 15 15:19:39.510 INFO blam! test rational::rational::rational_test::axiom_add_associativity ... ok
Oct 15 15:19:39.539 INFO blam! test rational::rational::rational_test::axiom_right_mul_identity ... ok
Oct 15 15:19:39.575 INFO blam! test rational::rational::rational_test::prop_left_one_negate ... ok
Oct 15 15:19:39.583 INFO blam! test rational::rational::rational_test::prop_left_zero_absorb ... ok
Oct 15 15:19:39.672 INFO blam! test rational::rational::rational_test::prop_mul_cancel ... ok
Oct 15 15:19:39.774 INFO blam! test rational::rational::rational_test::axiom_ring_mul_commutivity ... ok
Oct 15 15:19:39.775 INFO blam! test rational::rational::rational_test::axiom_mul_commutivity ... ok
Oct 15 15:19:39.807 INFO blam! test rational::rational::rational_test::prop_mul_negate ... ok
Oct 15 15:19:39.818 INFO blam! test rational::rational::rational_test::prop_left_mul_negate ... ok
Oct 15 15:19:39.891 INFO blam! test rational::rational::rational_test::prop_add_cancel ... ok
Oct 15 15:19:39.894 INFO blam! test rational::rational::rational_test::prop_mul_zero ... ok
Oct 15 15:19:39.935 INFO blam! test rational::rational::rational_test::prop_right_zero_absorb ... ok
Oct 15 15:19:39.935 INFO blam! test rational::rational::rational_test::prop_right_one_negate ... ok
Oct 15 15:19:39.935 INFO blam! test rational::rational::rational_test::axiom_left_distributivity ... ok
Oct 15 15:19:39.952 INFO blam! test rational::rational::rational_test::prop_right_mul_negate ... ok
Oct 15 15:19:39.997 INFO blam! test rational::rational::rational_test::axiom_mul_associativity ... ok
Oct 15 15:19:40.006 INFO blam! test rational::rational::rational_test::axiom_right_distributivity ... ok
Oct 15 15:19:40.042 INFO blam! test ring::ring::ring_test::axiom_left_distributivity_i8_T1 ... ok
Oct 15 15:19:40.043 INFO blam! test ring::ring::ring_test::axiom_left_distributivity_i32 ... ok
Oct 15 15:19:40.099 INFO blam! test ring::ring::ring_test::axiom_left_distributivity_f64 ... ok
Oct 15 15:19:40.118 INFO blam! test ring::ring::ring_test::axiom_right_distributivity_i16 ... ok
Oct 15 15:19:40.194 INFO blam! test ring::ring::ring_test::prop_left_mul_negate_i32_T2 ... ok
Oct 15 15:19:40.206 INFO blam! test ring::ring::ring_test::prop_left_mul_negate_i16 ... ok
Oct 15 15:19:40.234 INFO blam! test ring::ring::ring_test::axiom_right_distributivity_f32 ... ok
Oct 15 15:19:40.234 INFO blam! test ring::ring::ring_test::axiom_right_distributivity_i64_T2 ... ok
Oct 15 15:19:40.235 INFO blam! test ring::ring::ring_test::prop_left_one_negate_f32 ... ok
Oct 15 15:19:40.235 INFO blam! test ring::ring::ring_test::prop_left_mul_negate_f32 ... ok
Oct 15 15:19:40.312 INFO blam! test ring::ring::ring_test::prop_left_one_negate_isize ... ok
Oct 15 15:19:40.312 INFO blam! test ring::ring::ring_test::prop_left_one_negate_f64_T3 ... ok
Oct 15 15:19:40.363 INFO blam! test ring::ring::ring_test::prop_left_zero_absorb_isize ... ok
Oct 15 15:19:40.363 INFO blam! test ring::ring::ring_test::prop_mul_negate_i32_T2 ... ok
Oct 15 15:19:40.388 INFO blam! test ring::ring::ring_test::prop_left_mul_negate_f64_T1 ... ok
Oct 15 15:19:40.398 INFO blam! test ring::ring::ring_test::prop_left_zero_absorb_f32 ... ok
Oct 15 15:19:40.437 INFO blam! test ring::ring::ring_test::prop_left_zero_absorb_f64_T3 ... ok
Oct 15 15:19:40.438 INFO blam! test ring::ring::ring_test::prop_mul_negate_i64 ... ok
Oct 15 15:19:40.491 INFO blam! test ring::ring::ring_test::prop_right_one_negate_i16_T2 ... ok
Oct 15 15:19:40.496 INFO blam! test ring::ring::ring_test::prop_right_mul_negate_i8_T3 ... ok
Oct 15 15:19:40.496 INFO blam! test ring::ring::ring_test::prop_mul_negate_f32 ... ok
Oct 15 15:19:40.507 INFO blam! test ring::ring::ring_test::prop_right_mul_negate_i32 ... ok
Oct 15 15:19:40.531 INFO blam! test ring::ring::ring_test::prop_right_one_negate_f64 ... ok
Oct 15 15:19:40.531 INFO blam! test ring::ring::ring_test::prop_right_one_negate_i32 ... ok
Oct 15 15:19:40.539 INFO blam! test ring::ring::ring_test::prop_right_mul_negate_f64 ... ok
Oct 15 15:19:40.555 INFO blam! test ring::ring::ring_test::prop_right_zero_absorb_f64 ... ok
Oct 15 15:19:40.583 INFO blam! test ring::ring::ring_test::prop_right_zero_absorb_i16_T2 ... ok
Oct 15 15:19:40.584 INFO blam! test ring::ring::ring_test::prop_right_zero_absorb_i32 ... ok
Oct 15 15:19:40.625 INFO blam! test semigroup::add_semigroup::add_semigroup_test::axiom_add_associativity_T2 ... ok
Oct 15 15:19:40.655 INFO blam! test semigroup::add_semigroup::add_semigroup_test::axiom_add_associativity_u32 ... ok
Oct 15 15:19:40.703 INFO blam! test semigroup::add_semigroup::add_semigroup_test::axiom_add_associativity_i8 ... ok
Oct 15 15:19:40.705 INFO blam! test semigroup::mul_semigroup::mul_semigroup_test::axiom_mul_associativity_f32 ... ok
Oct 15 15:19:40.740 INFO blam! test semigroup::mul_semigroup::mul_semigroup_test::axiom_mul_associativity_u32_T2 ... ok
Oct 15 15:19:40.746 INFO blam! test semigroup::add_semigroup::add_semigroup_test::axiom_add_associativity_u64_T2 ... ok
Oct 15 15:19:40.763 INFO blam! test semigroup::mul_semigroup::mul_semigroup_test::axiom_mul_associativity_i32_T2 ... ok
Oct 15 15:19:40.827 INFO blam! test semigroup::mul_semigroup::mul_semigroup_test::axiom_mul_associativity_isize ... ok
Oct 15 15:19:40.830 INFO blam! test semigroup::add_semigroup::add_semigroup_test::axiom_add_associativity_f64 ... ok
Oct 15 15:19:40.851 INFO blam! test semigroup::mul_semigroup::mul_semigroup_test::axiom_mul_associativity_u16 ... ok
Oct 15 15:19:40.918 INFO blam! test semigroup::add_semigroup::add_semigroup_test::axiom_add_associativity_f32_T2 ... ok
Oct 15 15:19:40.931 INFO kablam!    Doc-tests un_algebra
Oct 15 15:19:40.931 INFO blam! test semigroup::mul_semigroup::mul_semigroup_test::axiom_mul_associativity_f64_T2 ... ok
Oct 15 15:19:40.931 INFO blam! 
Oct 15 15:19:40.931 INFO blam! test result: ok. 166 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 15 15:19:40.931 INFO blam! 
Oct 15 15:19:43.808 INFO blam! 
Oct 15 15:19:43.808 INFO blam! running 0 tests
Oct 15 15:19:43.808 INFO blam! 
Oct 15 15:19:43.808 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 15 15:19:43.808 INFO blam! 
Oct 15 15:19:43.822 INFO kablam! su: No module specific data is present
Oct 15 15:19:44.383 INFO running `"docker" "rm" "-f" "41843ffbdefe3b3f978b96402d9802ca046e4d720cd4e239a8172ea94d961661"`
Oct 15 15:19:44.507 INFO blam! 41843ffbdefe3b3f978b96402d9802ca046e4d720cd4e239a8172ea94d961661