Oct 15 15:18:21.239 INFO testing un_algebra-0.1.4 against master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513 for rustdoc-test-static-cling-1
Oct 15 15:18:21.240 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling-1/worker-4/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/target:rw,Z" "-v" "/mnt/big/crater/./work/local/test-source/worker-4/rustdoc-test-static-cling-1/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/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 +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-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:21.612 INFO blam! 43ede1a65a04c6cee3cfca0ff5ca0c7ebaffe8a11a95597998068328352bdaf2
Oct 15 15:18:21.627 INFO running `"docker" "start" "-a" "43ede1a65a04c6cee3cfca0ff5ca0c7ebaffe8a11a95597998068328352bdaf2"`
Oct 15 15:18:22.461 INFO kablam! usermod: no changes
Oct 15 15:18:22.603 INFO kablam!    Compiling num-traits v0.2.6
Oct 15 15:18:22.611 INFO kablam!    Compiling byteorder v1.2.6
Oct 15 15:18:22.611 INFO kablam!    Compiling wait-timeout v0.1.5
Oct 15 15:18:22.611 INFO kablam!    Compiling rand v0.5.5
Oct 15 15:18:27.583 INFO kablam!    Compiling tempfile v3.0.4
Oct 15 15:18:28.589 INFO kablam!    Compiling num-integer v0.1.39
Oct 15 15:18:28.593 INFO kablam!    Compiling num-complex v0.2.1
Oct 15 15:18:28.597 INFO kablam!    Compiling float-cmp v0.4.0
Oct 15 15:18:28.743 INFO kablam!    Compiling rusty-fork v0.2.1
Oct 15 15:18:30.074 INFO kablam!    Compiling num-bigint v0.2.0
Oct 15 15:18:30.074 INFO kablam!    Compiling num-iter v0.1.37
Oct 15 15:18:31.431 INFO kablam!    Compiling proptest v0.8.7
Oct 15 15:18:35.159 INFO kablam!    Compiling num-rational v0.2.1
Oct 15 15:18:38.083 INFO kablam!    Compiling num v0.2.0
Oct 15 15:18:48.169 INFO kablam!    Compiling un_algebra v0.1.4 (/source)
Oct 15 15:18:49.742 INFO kablam! warning: unused import: `proptest::test_runner::*`
Oct 15 15:18:49.743 INFO kablam!   --> src/tests/config.rs:12:5
Oct 15 15:18:49.747 INFO kablam!    |
Oct 15 15:18:49.747 INFO kablam! 12 | use proptest::test_runner::*;
Oct 15 15:18:49.747 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^
Oct 15 15:18:49.747 INFO kablam!    |
Oct 15 15:18:49.748 INFO kablam!    = note: #[warn(unused_imports)] on by default
Oct 15 15:18:49.748 INFO kablam! 
Oct 15 15:18:50.999 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 28.51s
Oct 15 15:18:51.015 INFO kablam! su: No module specific data is present
Oct 15 15:18:51.621 INFO running `"docker" "rm" "-f" "43ede1a65a04c6cee3cfca0ff5ca0c7ebaffe8a11a95597998068328352bdaf2"`
Oct 15 15:18:51.787 INFO blam! 43ede1a65a04c6cee3cfca0ff5ca0c7ebaffe8a11a95597998068328352bdaf2
Oct 15 15:18:51.797 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling-1/worker-4/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/target:rw,Z" "-v" "/mnt/big/crater/./work/local/test-source/worker-4/rustdoc-test-static-cling-1/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/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 +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-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:52.171 INFO blam! dfa06f1a6494e9dd46cafb6fcd59dfbbca86f4eb4c81aac81fd7411242fefbde
Oct 15 15:18:52.171 INFO running `"docker" "start" "-a" "dfa06f1a6494e9dd46cafb6fcd59dfbbca86f4eb4c81aac81fd7411242fefbde"`
Oct 15 15:18:52.905 INFO kablam! usermod: no changes
Oct 15 15:18:52.995 INFO kablam!    Compiling un_algebra v0.1.4 (/source)
Oct 15 15:18:56.079 INFO kablam! warning: unused import: `proptest::test_runner::*`
Oct 15 15:18:56.080 INFO kablam!   --> examples/binary.rs:22:5
Oct 15 15:18:56.080 INFO kablam!    |
Oct 15 15:18:56.080 INFO kablam! 22 | use proptest::test_runner::*;
Oct 15 15:18:56.081 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^
Oct 15 15:18:56.081 INFO kablam!    |
Oct 15 15:18:56.081 INFO kablam!    = note: #[warn(unused_imports)] on by default
Oct 15 15:18:56.082 INFO kablam! 
Oct 15 15:18:56.103 INFO kablam! warning: unused import: `proptest::test_runner::*`
Oct 15 15:18:56.103 INFO kablam!   --> examples/f4.rs:18:5
Oct 15 15:18:56.103 INFO kablam!    |
Oct 15 15:18:56.103 INFO kablam! 18 | use proptest::test_runner::*;
Oct 15 15:18:56.103 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^
Oct 15 15:18:56.103 INFO kablam!    |
Oct 15 15:18:56.103 INFO kablam!    = note: #[warn(unused_imports)] on by default
Oct 15 15:18:56.103 INFO kablam! 
Oct 15 15:18:56.707 INFO kablam! warning: unused import: `proptest::test_runner::*`
Oct 15 15:18:56.707 INFO kablam!   --> examples/rps.rs:20:5
Oct 15 15:18:56.707 INFO kablam!    |
Oct 15 15:18:56.707 INFO kablam! 20 | use proptest::test_runner::*;
Oct 15 15:18:56.707 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^
Oct 15 15:18:56.707 INFO kablam!    |
Oct 15 15:18:56.707 INFO kablam!    = note: #[warn(unused_imports)] on by default
Oct 15 15:18:56.707 INFO kablam! 
Oct 15 15:19:37.103 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 44.16s
Oct 15 15:19:37.107 INFO kablam! su: No module specific data is present
Oct 15 15:19:37.467 INFO running `"docker" "rm" "-f" "dfa06f1a6494e9dd46cafb6fcd59dfbbca86f4eb4c81aac81fd7411242fefbde"`
Oct 15 15:19:37.690 INFO blam! dfa06f1a6494e9dd46cafb6fcd59dfbbca86f4eb4c81aac81fd7411242fefbde
Oct 15 15:19:37.691 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling-1/worker-4/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/target:rw,Z" "-v" "/mnt/big/crater/./work/local/test-source/worker-4/rustdoc-test-static-cling-1/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/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 +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-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:38.009 INFO blam! 59b9bbc7a398fd3aff1af1405a5f621345759d1c4ea89daf0c78bdef38b16c7c
Oct 15 15:19:38.019 INFO running `"docker" "start" "-a" "59b9bbc7a398fd3aff1af1405a5f621345759d1c4ea89daf0c78bdef38b16c7c"`
Oct 15 15:19:39.027 INFO kablam! usermod: no changes
Oct 15 15:19:39.156 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 0.10s
Oct 15 15:19:39.156 INFO kablam!      Running /target/debug/deps/un_algebra-72441954ee864fa3
Oct 15 15:19:39.159 INFO blam! 
Oct 15 15:19:39.159 INFO blam! running 166 tests
Oct 15 15:19:39.291 INFO blam! test com_group::mul_com_group::mul_com_group_test::axiom_mul_commutivity_f32 ... ok
Oct 15 15:19:39.411 INFO blam! test com_ring::com_ring::com_ring_test::axiom_mul_commutivity_i16_T2 ... ok
Oct 15 15:19:39.471 INFO blam! test com_group::add_com_group::add_com_group_test::axiom_add_commutivity_i16_T2 ... ok
Oct 15 15:19:39.479 INFO blam! test com_group::add_com_group::add_com_group_test::axiom_add_commutivity_i32 ... ok
Oct 15 15:19:39.531 INFO blam! test com_ring::com_ring::com_ring_test::axiom_mul_commutivity_i8 ... ok
Oct 15 15:19:39.744 INFO blam! test com_ring::com_ring::com_ring_test::axiom_mul_commutivity_f32 ... ok
Oct 15 15:19:39.744 INFO blam! test com_group::add_com_group::add_com_group_test::axiom_add_commutivity_f64 ... ok
Oct 15 15:19:39.991 INFO blam! test complex::complex::complex_test::axiom_field_right_invert_c32 ... ok
Oct 15 15:19:40.023 INFO blam! test complex::complex::complex_test::axiom_add_closure_c64 ... ok
Oct 15 15:19:40.063 INFO blam! test com_group::add_com_group::add_com_group_test::axiom_add_commutivity_f32_T3 ... ok
Oct 15 15:19:40.224 INFO blam! test complex::complex::complex_test::axiom_add_commutivity_c32 ... ok
Oct 15 15:19:40.249 INFO blam! test complex::complex::complex_test::axiom_left_add_identity_c64 ... ok
Oct 15 15:19:40.249 INFO blam! test com_ring::com_ring::com_ring_test::axiom_mul_commutivity_f64_T3 ... ok
Oct 15 15:19:40.267 INFO blam! test complex::complex::complex_test::axiom_field_left_invert_c64 ... ok
Oct 15 15:19:40.327 INFO blam! test com_group::mul_com_group::mul_com_group_test::axiom_mul_commutivity_f64_T3 ... ok
Oct 15 15:19:40.375 INFO blam! test complex::complex::complex_test::axiom_left_invert_c64 ... ok
Oct 15 15:19:40.402 INFO blam! test complex::complex::complex_test::axiom_add_associativity_c32 ... ok
Oct 15 15:19:40.419 INFO blam! test complex::complex::complex_test::axiom_left_mul_identity_c64 ... ok
Oct 15 15:19:40.427 INFO blam! test complex::complex::complex_test::axiom_left_negate_c32 ... ok
Oct 15 15:19:40.547 INFO blam! test complex::complex::complex_test::axiom_right_invert_c32 ... ok
Oct 15 15:19:40.615 INFO blam! test complex::complex::complex_test::axiom_right_mul_identity_c32 ... ok
Oct 15 15:19:40.615 INFO blam! test complex::complex::complex_test::axiom_right_add_identity_c32 ... ok
Oct 15 15:19:40.669 INFO blam! test complex::complex::complex_test::axiom_mul_closure_c64 ... ok
Oct 15 15:19:40.669 INFO blam! test complex::complex::complex_test::axiom_mul_commutivity_c64 ... ok
Oct 15 15:19:40.677 INFO blam! test complex::complex::complex_test::axiom_right_distributivity_c64 ... ok
Oct 15 15:19:40.734 INFO blam! test complex::complex::complex_test::axiom_left_distributivity_c32 ... ok
Oct 15 15:19:40.753 INFO blam! test complex::complex::complex_test::axiom_right_negate_c64 ... ok
Oct 15 15:19:40.827 INFO blam! test complex::complex::complex_test::axiom_mul_associativity_c64 ... ok
Oct 15 15:19:40.851 INFO blam! test complex::complex::complex_test::prop_left_mul_negate_c64 ... ok
Oct 15 15:19:40.947 INFO blam! test complex::complex::complex_test::axiom_ring_mul_commutivity_c64 ... ok
Oct 15 15:19:40.947 INFO blam! test complex::complex::complex_test::prop_left_one_negate_c64 ... ok
Oct 15 15:19:40.998 INFO blam! test complex::complex::complex_test::prop_left_zero_absorb_c64 ... ok
Oct 15 15:19:41.011 INFO blam! test complex::complex::complex_test::prop_mul_cancel_c64 ... ok
Oct 15 15:19:41.043 INFO blam! test complex::complex::complex_test::prop_mul_negate_c64 ... ok
Oct 15 15:19:41.043 INFO blam! test complex::complex::complex_test::prop_right_zero_absorb_c32 ... ok
Oct 15 15:19:41.055 INFO blam! test complex::complex::complex_test::prop_add_cancel_c32 ... ok
Oct 15 15:19:41.095 INFO blam! test complex::complex::complex_test::prop_right_one_negate_c32 ... ok
Oct 15 15:19:41.107 INFO blam! test complex::complex::complex_test::prop_mul_zero_c64 ... ok
Oct 15 15:19:41.135 INFO blam! test field::field::field_test::axiom_left_invert_f32 ... ok
Oct 15 15:19:41.178 INFO blam! test field::field::field_test::prop_add_cancel_f64 ... ok
Oct 15 15:19:41.181 INFO blam! test field::field::field_test::axiom_right_invert_f64 ... ok
Oct 15 15:19:41.220 INFO blam! test field::field::field_test::axiom_left_invert_f64_T1 ... ok
Oct 15 15:19:41.239 INFO blam! test complex::complex::complex_test::prop_right_mul_negate_c32 ... ok
Oct 15 15:19:41.246 INFO blam! test field::field::field_test::prop_mul_zero_f32 ... ok
Oct 15 15:19:41.281 INFO blam! test field::field::field_test::prop_add_cancel_f32_T2 ... ok
Oct 15 15:19:41.292 INFO blam! test field::field::field_test::axiom_left_invert_f32_T2 ... ok
Oct 15 15:19:41.321 INFO blam! test group::add_group::add_group_test::axiom_left_negate_i32 ... ok
Oct 15 15:19:41.322 INFO blam! test group::add_group::add_group_test::axiom_right_negate_f32 ... ok
Oct 15 15:19:41.337 INFO blam! test group::add_group::add_group_test::axiom_left_negate_i16_T1 ... ok
Oct 15 15:19:41.342 INFO blam! test field::field::field_test::prop_mul_cancel_f32 ... ok
Oct 15 15:19:41.368 INFO blam! test field::field::field_test::prop_mul_zero_f64_T3 ... ok
Oct 15 15:19:41.376 INFO blam! test group::add_group::add_group_test::axiom_right_negate_i16 ... ok
Oct 15 15:19:41.387 INFO blam! test group::add_group::add_group_test::axiom_right_negate_isize_T2 ... ok
Oct 15 15:19:41.455 INFO blam! test group::mul_group::mul_group_test::axiom_left_invert_f64_T1 ... ok
Oct 15 15:19:41.455 INFO blam! test group::add_group::add_group_test::axiom_left_negate_f64 ... ok
Oct 15 15:19:41.483 INFO blam! test field::field::field_test::prop_mul_cancel_f64_T1 ... ok
Oct 15 15:19:41.515 INFO blam! test magma::add_magma::add_magma_test::axiom_add_closure_f32 ... ok
Oct 15 15:19:41.524 INFO blam! test group::mul_group::mul_group_test::axiom_left_invert_f32 ... ok
Oct 15 15:19:41.527 INFO blam! test group::add_group::add_group_test::axiom_right_negate_f64_T3 ... ok
Oct 15 15:19:41.541 INFO blam! test group::mul_group::mul_group_test::axiom_right_invert_f32_T3 ... ok
Oct 15 15:19:41.551 INFO blam! test magma::add_magma::add_magma_test::axiom_add_closure_f64_T1 ... ok
Oct 15 15:19:41.588 INFO blam! test magma::add_magma::add_magma_test::axiom_add_closure_u8_T2 ... ok
Oct 15 15:19:41.588 INFO blam! test magma::add_magma::add_magma_test::axiom_add_closure_u16 ... ok
Oct 15 15:19:41.588 INFO blam! test magma::add_magma::add_magma_test::axiom_add_closure_u64_T1 ... ok
Oct 15 15:19:41.628 INFO blam! test group::mul_group::mul_group_test::axiom_right_invert_f64 ... ok
Oct 15 15:19:41.639 INFO blam! test magma::mul_magma::mul_magma_test::axiom_mul_closure_i8 ... ok
Oct 15 15:19:41.643 INFO blam! test magma::add_magma::add_magma_test::axiom_add_closure_isize_T3 ... ok
Oct 15 15:19:41.667 INFO blam! test magma::mul_magma::mul_magma_test::axiom_mul_closure_f64 ... ok
Oct 15 15:19:41.671 INFO blam! test magma::mul_magma::mul_magma_test::axiom_mul_closure_u64_T1 ... ok
Oct 15 15:19:41.680 INFO blam! test magma::add_magma::add_magma_test::axiom_add_closure_f32_T2 ... ok
Oct 15 15:19:41.691 INFO blam! test magma::add_magma::add_magma_test::axiom_add_closure_i64 ... ok
Oct 15 15:19:41.706 INFO blam! test magma::mul_magma::mul_magma_test::axiom_mul_closure_u32 ... ok
Oct 15 15:19:41.744 INFO blam! test magma::mul_magma::mul_magma_test::axiom_mul_closure_f64_T1 ... ok
Oct 15 15:19:41.755 INFO blam! test magma::mul_magma::mul_magma_test::axiom_mul_closure_u8_T2 ... ok
Oct 15 15:19:41.759 INFO blam! test monoid::add_monoid::add_monoid_test::axiom_left_add_identity_i32_T2 ... ok
Oct 15 15:19:41.779 INFO blam! test monoid::add_monoid::add_monoid_test::axiom_left_add_identity_i64 ... ok
Oct 15 15:19:41.779 INFO blam! test monoid::add_monoid::add_monoid_test::axiom_left_add_identity_u16_T1 ... ok
Oct 15 15:19:41.807 INFO blam! test magma::mul_magma::mul_magma_test::axiom_mul_closure_isize_T3 ... ok
Oct 15 15:19:41.807 INFO blam! test magma::mul_magma::mul_magma_test::axiom_mul_closure_f32_T2 ... ok
Oct 15 15:19:41.826 INFO blam! test monoid::add_monoid::add_monoid_test::axiom_right_add_identity_isize ... ok
Oct 15 15:19:41.859 INFO blam! test monoid::add_monoid::add_monoid_test::axiom_left_add_identity_f32 ... ok
Oct 15 15:19:41.859 INFO blam! test monoid::add_monoid::add_monoid_test::axiom_left_add_identity_u8 ... ok
Oct 15 15:19:41.864 INFO blam! test monoid::add_monoid::add_monoid_test::axiom_right_add_identity_u8_T1 ... ok
Oct 15 15:19:41.870 INFO blam! test monoid::add_monoid::add_monoid_test::axiom_right_add_identity_f32_T3 ... ok
Oct 15 15:19:41.888 INFO blam! test monoid::mul_monoid::mul_monoid_test::axiom_left_mul_identity_f32 ... ok
Oct 15 15:19:41.899 INFO blam! test monoid::add_monoid::add_monoid_test::axiom_right_add_identity_f64 ... ok
Oct 15 15:19:41.903 INFO blam! test monoid::mul_monoid::mul_monoid_test::axiom_left_mul_identity_u16_T1 ... ok
Oct 15 15:19:41.914 INFO blam! test monoid::add_monoid::add_monoid_test::axiom_right_add_identity_u32 ... ok
Oct 15 15:19:41.914 INFO blam! test monoid::add_monoid::add_monoid_test::axiom_right_add_identity_i32_T3 ... ok
Oct 15 15:19:41.914 INFO blam! test monoid::mul_monoid::mul_monoid_test::axiom_left_mul_identity_u8 ... ok
Oct 15 15:19:41.971 INFO blam! test monoid::mul_monoid::mul_monoid_test::axiom_right_mul_identity_u32 ... ok
Oct 15 15:19:41.971 INFO blam! test monoid::mul_monoid::mul_monoid_test::axiom_right_mul_identity_isize ... ok
Oct 15 15:19:41.971 INFO blam! test monoid::mul_monoid::mul_monoid_test::axiom_right_mul_identity_u8_T1 ... ok
Oct 15 15:19:41.988 INFO blam! test monoid::mul_monoid::mul_monoid_test::axiom_right_mul_identity_f32_T3 ... ok
Oct 15 15:19:41.988 INFO blam! test rational::rational::rational_test::axiom_field_left_invert ... ok
Oct 15 15:19:42.000 INFO blam! test monoid::mul_monoid::mul_monoid_test::axiom_right_mul_identity_f64 ... ok
Oct 15 15:19:42.001 INFO blam! test rational::rational::rational_test::axiom_field_right_invert ... ok
Oct 15 15:19:42.001 INFO blam! test monoid::mul_monoid::mul_monoid_test::axiom_left_mul_identity_i64 ... ok
Oct 15 15:19:42.001 INFO blam! test monoid::mul_monoid::mul_monoid_test::axiom_left_mul_identity_i32_T2 ... ok
Oct 15 15:19:42.031 INFO blam! test rational::rational::rational_test::axiom_add_closure ... ok
Oct 15 15:19:42.051 INFO blam! test rational::rational::rational_test::axiom_left_negate ... ok
Oct 15 15:19:42.060 INFO blam! test rational::rational::rational_test::axiom_left_invert ... ok
Oct 15 15:19:42.060 INFO blam! test rational::rational::rational_test::axiom_add_commutivity ... ok
Oct 15 15:19:42.067 INFO blam! test rational::rational::rational_test::axiom_left_mul_identity ... ok
Oct 15 15:19:42.075 INFO blam! test rational::rational::rational_test::axiom_left_add_identity ... ok
Oct 15 15:19:42.135 INFO blam! test rational::rational::rational_test::axiom_right_add_identity ... ok
Oct 15 15:19:42.163 INFO blam! test rational::rational::rational_test::axiom_add_associativity ... ok
Oct 15 15:19:42.167 INFO blam! test rational::rational::rational_test::axiom_right_invert ... ok
Oct 15 15:19:42.167 INFO blam! test rational::rational::rational_test::axiom_mul_closure ... ok
Oct 15 15:19:42.167 INFO blam! test rational::rational::rational_test::axiom_right_mul_identity ... ok
Oct 15 15:19:42.219 INFO blam! test rational::rational::rational_test::axiom_ring_mul_commutivity ... ok
Oct 15 15:19:42.239 INFO blam! test rational::rational::rational_test::axiom_mul_associativity ... ok
Oct 15 15:19:42.247 INFO blam! test rational::rational::rational_test::axiom_right_distributivity ... ok
Oct 15 15:19:42.255 INFO blam! test rational::rational::rational_test::prop_left_zero_absorb ... ok
Oct 15 15:19:42.261 INFO blam! test rational::rational::rational_test::axiom_right_negate ... ok
Oct 15 15:19:42.261 INFO blam! test rational::rational::rational_test::axiom_mul_commutivity ... ok
Oct 15 15:19:42.268 INFO blam! test rational::rational::rational_test::prop_left_one_negate ... ok
Oct 15 15:19:42.311 INFO blam! test rational::rational::rational_test::axiom_left_distributivity ... ok
Oct 15 15:19:42.319 INFO blam! test rational::rational::rational_test::prop_right_one_negate ... ok
Oct 15 15:19:42.319 INFO blam! test rational::rational::rational_test::prop_mul_negate ... ok
Oct 15 15:19:42.322 INFO blam! test rational::rational::rational_test::prop_add_cancel ... ok
Oct 15 15:19:42.343 INFO blam! test rational::rational::rational_test::prop_left_mul_negate ... ok
Oct 15 15:19:42.343 INFO blam! test rational::rational::rational_test::prop_right_zero_absorb ... ok
Oct 15 15:19:42.347 INFO blam! test ring::ring::ring_test::axiom_left_distributivity_i32 ... ok
Oct 15 15:19:42.359 INFO blam! test rational::rational::rational_test::prop_mul_zero ... ok
Oct 15 15:19:42.403 INFO blam! test ring::ring::ring_test::axiom_right_distributivity_i16 ... ok
Oct 15 15:19:42.408 INFO blam! test rational::rational::rational_test::prop_right_mul_negate ... ok
Oct 15 15:19:42.412 INFO blam! test ring::ring::ring_test::axiom_left_distributivity_i8_T1 ... ok
Oct 15 15:19:42.423 INFO blam! test ring::ring::ring_test::axiom_right_distributivity_f32 ... ok
Oct 15 15:19:42.427 INFO blam! test ring::ring::ring_test::axiom_right_distributivity_i64_T2 ... ok
Oct 15 15:19:42.431 INFO blam! test rational::rational::rational_test::prop_mul_cancel ... ok
Oct 15 15:19:42.459 INFO blam! test ring::ring::ring_test::axiom_left_distributivity_f64 ... ok
Oct 15 15:19:42.478 INFO blam! test ring::ring::ring_test::prop_left_mul_negate_i16 ... ok
Oct 15 15:19:42.478 INFO blam! test ring::ring::ring_test::prop_left_one_negate_isize ... ok
Oct 15 15:19:42.478 INFO blam! test ring::ring::ring_test::prop_left_mul_negate_i32_T2 ... ok
Oct 15 15:19:42.499 INFO blam! test ring::ring::ring_test::prop_left_mul_negate_f32 ... ok
Oct 15 15:19:42.499 INFO blam! test ring::ring::ring_test::prop_left_one_negate_f32 ... ok
Oct 15 15:19:42.551 INFO blam! test ring::ring::ring_test::prop_left_one_negate_f64_T3 ... ok
Oct 15 15:19:42.557 INFO blam! test ring::ring::ring_test::prop_mul_negate_i64 ... ok
Oct 15 15:19:42.567 INFO blam! test ring::ring::ring_test::prop_mul_negate_i32_T2 ... ok
Oct 15 15:19:42.567 INFO blam! test ring::ring::ring_test::prop_left_zero_absorb_f32 ... ok
Oct 15 15:19:42.567 INFO blam! test ring::ring::ring_test::prop_left_mul_negate_f64_T1 ... ok
Oct 15 15:19:42.591 INFO blam! test ring::ring::ring_test::prop_left_zero_absorb_isize ... ok
Oct 15 15:19:42.643 INFO blam! test ring::ring::ring_test::prop_right_mul_negate_i32 ... ok
Oct 15 15:19:42.643 INFO blam! test ring::ring::ring_test::prop_left_zero_absorb_f64_T3 ... ok
Oct 15 15:19:42.647 INFO blam! test ring::ring::ring_test::prop_right_one_negate_i32 ... ok
Oct 15 15:19:42.647 INFO blam! test ring::ring::ring_test::prop_right_one_negate_i16_T2 ... ok
Oct 15 15:19:42.647 INFO blam! test ring::ring::ring_test::prop_mul_negate_f32 ... ok
Oct 15 15:19:42.647 INFO blam! test ring::ring::ring_test::prop_right_mul_negate_f64 ... ok
Oct 15 15:19:42.658 INFO blam! test ring::ring::ring_test::prop_right_mul_negate_i8_T3 ... ok
Oct 15 15:19:42.679 INFO blam! test ring::ring::ring_test::prop_right_zero_absorb_i16_T2 ... ok
Oct 15 15:19:42.695 INFO blam! test semigroup::add_semigroup::add_semigroup_test::axiom_add_associativity_i8 ... ok
Oct 15 15:19:42.713 INFO blam! test ring::ring::ring_test::prop_right_zero_absorb_f64 ... ok
Oct 15 15:19:42.719 INFO blam! test semigroup::add_semigroup::add_semigroup_test::axiom_add_associativity_u32 ... ok
Oct 15 15:19:42.743 INFO blam! test semigroup::add_semigroup::add_semigroup_test::axiom_add_associativity_u64_T2 ... ok
Oct 15 15:19:42.755 INFO blam! test ring::ring::ring_test::prop_right_one_negate_f64 ... ok
Oct 15 15:19:42.783 INFO blam! test ring::ring::ring_test::prop_right_zero_absorb_i32 ... ok
Oct 15 15:19:42.783 INFO blam! test semigroup::mul_semigroup::mul_semigroup_test::axiom_mul_associativity_isize ... ok
Oct 15 15:19:42.811 INFO blam! test semigroup::add_semigroup::add_semigroup_test::axiom_add_associativity_T2 ... ok
Oct 15 15:19:42.811 INFO blam! test semigroup::mul_semigroup::mul_semigroup_test::axiom_mul_associativity_u32_T2 ... ok
Oct 15 15:19:42.843 INFO blam! test semigroup::mul_semigroup::mul_semigroup_test::axiom_mul_associativity_i32_T2 ... ok
Oct 15 15:19:42.875 INFO blam! test semigroup::mul_semigroup::mul_semigroup_test::axiom_mul_associativity_u16 ... ok
Oct 15 15:19:42.907 INFO blam! test semigroup::mul_semigroup::mul_semigroup_test::axiom_mul_associativity_f32 ... ok
Oct 15 15:19:42.907 INFO blam! test semigroup::add_semigroup::add_semigroup_test::axiom_add_associativity_f64 ... ok
Oct 15 15:19:42.950 INFO blam! test semigroup::add_semigroup::add_semigroup_test::axiom_add_associativity_f32_T2 ... ok
Oct 15 15:19:42.977 INFO blam! test semigroup::mul_semigroup::mul_semigroup_test::axiom_mul_associativity_f64_T2 ... ok
Oct 15 15:19:42.977 INFO blam! 
Oct 15 15:19:42.977 INFO blam! test result: ok. 166 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 15 15:19:42.977 INFO blam! 
Oct 15 15:19:42.987 INFO kablam!    Doc-tests un_algebra
Oct 15 15:19:45.538 INFO blam! 
Oct 15 15:19:45.538 INFO blam! running 0 tests
Oct 15 15:19:45.538 INFO blam! 
Oct 15 15:19:45.538 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 15 15:19:45.538 INFO blam! 
Oct 15 15:19:45.547 INFO kablam! su: No module specific data is present
Oct 15 15:19:45.944 INFO running `"docker" "rm" "-f" "59b9bbc7a398fd3aff1af1405a5f621345759d1c4ea89daf0c78bdef38b16c7c"`
Oct 15 15:19:46.093 INFO blam! 59b9bbc7a398fd3aff1af1405a5f621345759d1c4ea89daf0c78bdef38b16c7c