Nov 17 19:30:15.795 INFO testing un_algebra-0.1.4 against master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c for pr-55982
Nov 17 19:30:15.795 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-3/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-3/pr-55982/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/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 +6b9b97bd9b704f85f0184f7a213cc4d62bd9654c-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:16.000 INFO [stdout] 0ec2b53488374671248380918ee6a3aae25b76fdbad9fbfdfc5ad633b16347e1
Nov 17 19:30:16.001 INFO running `"docker" "start" "-a" "0ec2b53488374671248380918ee6a3aae25b76fdbad9fbfdfc5ad633b16347e1"`
Nov 17 19:30:17.135 INFO [stderr] usermod: no changes
Nov 17 19:30:17.238 INFO [stderr]    Compiling num-bigint v0.2.1
Nov 17 19:30:17.238 INFO [stderr]    Compiling num-complex v0.2.1
Nov 17 19:30:17.251 INFO [stderr]    Compiling byteorder v1.2.7
Nov 17 19:30:17.251 INFO [stderr]    Compiling wait-timeout v0.1.5
Nov 17 19:30:17.251 INFO [stderr]    Compiling rand v0.5.5
Nov 17 19:30:17.251 INFO [stderr]    Compiling float-cmp v0.4.0
Nov 17 19:30:17.251 INFO [stderr]    Compiling num-iter v0.1.37
Nov 17 19:30:24.649 INFO [stderr]    Compiling tempfile v3.0.4
Nov 17 19:30:26.160 INFO [stderr]    Compiling num-rational v0.2.1
Nov 17 19:30:27.575 INFO [stderr]    Compiling rusty-fork v0.2.1
Nov 17 19:30:29.625 INFO [stderr]    Compiling num v0.2.0
Nov 17 19:30:30.544 INFO [stderr]    Compiling proptest v0.8.7
Nov 17 19:30:46.152 INFO [stderr]    Compiling un_algebra v0.1.4 (/source)
Nov 17 19:30:47.504 INFO [stderr] warning: unused import: `proptest::test_runner::*`
Nov 17 19:30:47.504 INFO [stderr]   --> src/tests/config.rs:12:5
Nov 17 19:30:47.504 INFO [stderr]    |
Nov 17 19:30:47.505 INFO [stderr] 12 | use proptest::test_runner::*;
Nov 17 19:30:47.505 INFO [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^
Nov 17 19:30:47.505 INFO [stderr]    |
Nov 17 19:30:47.505 INFO [stderr]    = note: #[warn(unused_imports)] on by default
Nov 17 19:30:47.506 INFO [stderr] 
Nov 17 19:30:48.466 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 31.31s
Nov 17 19:30:48.473 INFO [stderr] su: No module specific data is present
Nov 17 19:30:48.827 INFO running `"docker" "inspect" "0ec2b53488374671248380918ee6a3aae25b76fdbad9fbfdfc5ad633b16347e1"`
Nov 17 19:30:48.948 INFO running `"docker" "rm" "-f" "0ec2b53488374671248380918ee6a3aae25b76fdbad9fbfdfc5ad633b16347e1"`
Nov 17 19:30:49.206 INFO [stdout] 0ec2b53488374671248380918ee6a3aae25b76fdbad9fbfdfc5ad633b16347e1
Nov 17 19:30:49.217 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-3/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-3/pr-55982/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/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 +6b9b97bd9b704f85f0184f7a213cc4d62bd9654c-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:49.577 INFO [stdout] c430df6bc821a548b7d6599bfbb59ea84a2c69f3371c16c91b52f8eabfceb73d
Nov 17 19:30:49.580 INFO running `"docker" "start" "-a" "c430df6bc821a548b7d6599bfbb59ea84a2c69f3371c16c91b52f8eabfceb73d"`
Nov 17 19:30:50.823 INFO [stderr] usermod: no changes
Nov 17 19:30:50.965 INFO [stderr]    Compiling un_algebra v0.1.4 (/source)
Nov 17 19:30:53.075 INFO [stderr] warning: unused import: `proptest::test_runner::*`
Nov 17 19:30:53.075 INFO [stderr]   --> examples/f4.rs:18:5
Nov 17 19:30:53.075 INFO [stderr]    |
Nov 17 19:30:53.075 INFO [stderr] 18 | use proptest::test_runner::*;
Nov 17 19:30:53.075 INFO [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^
Nov 17 19:30:53.075 INFO [stderr]    |
Nov 17 19:30:53.076 INFO [stderr]    = note: #[warn(unused_imports)] on by default
Nov 17 19:30:53.076 INFO [stderr] 
Nov 17 19:30:53.186 INFO [stderr] warning: unused import: `proptest::test_runner::*`
Nov 17 19:30:53.186 INFO [stderr]   --> examples/rps.rs:20:5
Nov 17 19:30:53.186 INFO [stderr]    |
Nov 17 19:30:53.186 INFO [stderr] 20 | use proptest::test_runner::*;
Nov 17 19:30:53.186 INFO [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^
Nov 17 19:30:53.186 INFO [stderr]    |
Nov 17 19:30:53.186 INFO [stderr]    = note: #[warn(unused_imports)] on by default
Nov 17 19:30:53.186 INFO [stderr] 
Nov 17 19:30:53.321 INFO [stderr] warning: unused import: `proptest::test_runner::*`
Nov 17 19:30:53.321 INFO [stderr]   --> examples/binary.rs:22:5
Nov 17 19:30:53.322 INFO [stderr]    |
Nov 17 19:30:53.322 INFO [stderr] 22 | use proptest::test_runner::*;
Nov 17 19:30:53.322 INFO [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^
Nov 17 19:30:53.323 INFO [stderr]    |
Nov 17 19:30:53.323 INFO [stderr]    = note: #[warn(unused_imports)] on by default
Nov 17 19:30:53.323 INFO [stderr] 
Nov 17 19:31:36.494 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 45.63s
Nov 17 19:31:36.494 INFO [stderr] su: No module specific data is present
Nov 17 19:31:36.931 INFO running `"docker" "inspect" "c430df6bc821a548b7d6599bfbb59ea84a2c69f3371c16c91b52f8eabfceb73d"`
Nov 17 19:31:37.111 INFO running `"docker" "rm" "-f" "c430df6bc821a548b7d6599bfbb59ea84a2c69f3371c16c91b52f8eabfceb73d"`
Nov 17 19:31:37.259 INFO [stdout] c430df6bc821a548b7d6599bfbb59ea84a2c69f3371c16c91b52f8eabfceb73d
Nov 17 19:31:37.267 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-3/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-3/pr-55982/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/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 +6b9b97bd9b704f85f0184f7a213cc4d62bd9654c-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:37.426 INFO [stdout] 3cad90ddcfe8d5f91917604dd9d8b412532158f4c596b33cf84e3ebe90c124bf
Nov 17 19:31:37.428 INFO running `"docker" "start" "-a" "3cad90ddcfe8d5f91917604dd9d8b412532158f4c596b33cf84e3ebe90c124bf"`
Nov 17 19:31:37.983 INFO [stderr] usermod: no changes
Nov 17 19:31:38.071 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.06s
Nov 17 19:31:38.086 INFO [stderr]      Running /target/debug/deps/un_algebra-82d3f5b8834af541
Nov 17 19:31:38.098 INFO [stdout] 
Nov 17 19:31:38.098 INFO [stdout] running 166 tests
Nov 17 19:31:38.167 INFO [stdout] test com_group::add_com_group::add_com_group_test::axiom_add_commutivity_i32 ... ok
Nov 17 19:31:38.186 INFO [stdout] test com_ring::com_ring::com_ring_test::axiom_mul_commutivity_f32 ... ok
Nov 17 19:31:38.223 INFO [stdout] test com_ring::com_ring::com_ring_test::axiom_mul_commutivity_i8 ... ok
Nov 17 19:31:38.235 INFO [stdout] test com_group::add_com_group::add_com_group_test::axiom_add_commutivity_i16_T2 ... ok
Nov 17 19:31:38.295 INFO [stdout] test com_group::mul_com_group::mul_com_group_test::axiom_mul_commutivity_f32 ... ok
Nov 17 19:31:38.307 INFO [stdout] test com_ring::com_ring::com_ring_test::axiom_mul_commutivity_i16_T2 ... ok
Nov 17 19:31:38.369 INFO [stdout] test com_group::mul_com_group::mul_com_group_test::axiom_mul_commutivity_f64_T3 ... ok
Nov 17 19:31:38.375 INFO [stdout] test com_group::add_com_group::add_com_group_test::axiom_add_commutivity_f32_T3 ... ok
Nov 17 19:31:38.390 INFO [stdout] test com_group::add_com_group::add_com_group_test::axiom_add_commutivity_f64 ... ok
Nov 17 19:31:38.477 INFO [stdout] test complex::complex::complex_test::axiom_field_right_invert_c32 ... ok
Nov 17 19:31:38.519 INFO [stdout] test complex::complex::complex_test::axiom_add_closure_c64 ... ok
Nov 17 19:31:38.562 INFO [stdout] test complex::complex::complex_test::axiom_add_associativity_c32 ... ok
Nov 17 19:31:38.616 INFO [stdout] test complex::complex::complex_test::axiom_left_mul_identity_c64 ... ok
Nov 17 19:31:38.638 INFO [stdout] test complex::complex::complex_test::axiom_left_invert_c64 ... ok
Nov 17 19:31:38.638 INFO [stdout] test complex::complex::complex_test::axiom_field_left_invert_c64 ... ok
Nov 17 19:31:38.645 INFO [stdout] test complex::complex::complex_test::axiom_left_add_identity_c64 ... ok
Nov 17 19:31:38.665 INFO [stdout] test com_ring::com_ring::com_ring_test::axiom_mul_commutivity_f64_T3 ... ok
Nov 17 19:31:38.712 INFO [stdout] test complex::complex::complex_test::axiom_left_negate_c32 ... ok
Nov 17 19:31:38.733 INFO [stdout] test complex::complex::complex_test::axiom_add_commutivity_c32 ... ok
Nov 17 19:31:38.751 INFO [stdout] test complex::complex::complex_test::axiom_left_distributivity_c32 ... ok
Nov 17 19:31:38.767 INFO [stdout] test complex::complex::complex_test::axiom_right_add_identity_c32 ... ok
Nov 17 19:31:38.847 INFO [stdout] test complex::complex::complex_test::axiom_mul_closure_c64 ... ok
Nov 17 19:31:38.847 INFO [stdout] test complex::complex::complex_test::axiom_right_invert_c32 ... ok
Nov 17 19:31:38.873 INFO [stdout] test complex::complex::complex_test::axiom_mul_associativity_c64 ... ok
Nov 17 19:31:38.883 INFO [stdout] test complex::complex::complex_test::axiom_right_distributivity_c64 ... ok
Nov 17 19:31:38.900 INFO [stdout] test complex::complex::complex_test::axiom_right_negate_c64 ... ok
Nov 17 19:31:38.910 INFO [stdout] test complex::complex::complex_test::axiom_ring_mul_commutivity_c64 ... ok
Nov 17 19:31:38.949 INFO [stdout] test complex::complex::complex_test::axiom_right_mul_identity_c32 ... ok
Nov 17 19:31:38.967 INFO [stdout] test complex::complex::complex_test::prop_left_zero_absorb_c64 ... ok
Nov 17 19:31:39.012 INFO [stdout] test complex::complex::complex_test::prop_left_one_negate_c64 ... ok
Nov 17 19:31:39.012 INFO [stdout] test complex::complex::complex_test::axiom_mul_commutivity_c64 ... ok
Nov 17 19:31:39.071 INFO [stdout] test complex::complex::complex_test::prop_right_zero_absorb_c32 ... ok
Nov 17 19:31:39.098 INFO [stdout] test complex::complex::complex_test::prop_right_one_negate_c32 ... ok
Nov 17 19:31:39.104 INFO [stdout] test complex::complex::complex_test::prop_left_mul_negate_c64 ... ok
Nov 17 19:31:39.125 INFO [stdout] test field::field::field_test::axiom_left_invert_f32 ... ok
Nov 17 19:31:39.128 INFO [stdout] test complex::complex::complex_test::prop_mul_cancel_c64 ... ok
Nov 17 19:31:39.171 INFO [stdout] test complex::complex::complex_test::prop_right_mul_negate_c32 ... ok
Nov 17 19:31:39.175 INFO [stdout] test field::field::field_test::axiom_left_invert_f32_T2 ... ok
Nov 17 19:31:39.191 INFO [stdout] test complex::complex::complex_test::prop_mul_negate_c64 ... ok
Nov 17 19:31:39.207 INFO [stdout] test field::field::field_test::axiom_left_invert_f64_T1 ... ok
Nov 17 19:31:39.214 INFO [stdout] test complex::complex::complex_test::prop_add_cancel_c32 ... ok
Nov 17 19:31:39.226 INFO [stdout] test complex::complex::complex_test::prop_mul_zero_c64 ... ok
Nov 17 19:31:39.247 INFO [stdout] test field::field::field_test::axiom_right_invert_f64 ... ok
Nov 17 19:31:39.267 INFO [stdout] test field::field::field_test::prop_mul_zero_f32 ... ok
Nov 17 19:31:39.289 INFO [stdout] test field::field::field_test::prop_mul_cancel_f64_T1 ... ok
Nov 17 19:31:39.334 INFO [stdout] test group::add_group::add_group_test::axiom_right_negate_f32 ... ok
Nov 17 19:31:39.339 INFO [stdout] test field::field::field_test::prop_add_cancel_f32_T2 ... ok
Nov 17 19:31:39.339 INFO [stdout] test group::add_group::add_group_test::axiom_left_negate_f64 ... ok
Nov 17 19:31:39.340 INFO [stdout] test group::add_group::add_group_test::axiom_left_negate_i16_T1 ... ok
Nov 17 19:31:39.347 INFO [stdout] test group::add_group::add_group_test::axiom_left_negate_i32 ... ok
Nov 17 19:31:39.358 INFO [stdout] test group::add_group::add_group_test::axiom_right_negate_i16 ... ok
Nov 17 19:31:39.403 INFO [stdout] test field::field::field_test::prop_add_cancel_f64 ... ok
Nov 17 19:31:39.403 INFO [stdout] test group::mul_group::mul_group_test::axiom_left_invert_f32 ... ok
Nov 17 19:31:39.414 INFO [stdout] test field::field::field_test::prop_mul_cancel_f32 ... ok
Nov 17 19:31:39.429 INFO [stdout] test group::add_group::add_group_test::axiom_right_negate_f64_T3 ... ok
Nov 17 19:31:39.451 INFO [stdout] test group::add_group::add_group_test::axiom_right_negate_isize_T2 ... ok
Nov 17 19:31:39.487 INFO [stdout] test group::mul_group::mul_group_test::axiom_left_invert_f64_T1 ... ok
Nov 17 19:31:39.490 INFO [stdout] test magma::add_magma::add_magma_test::axiom_add_closure_f64_T1 ... ok
Nov 17 19:31:39.498 INFO [stdout] test magma::add_magma::add_magma_test::axiom_add_closure_i64 ... ok
Nov 17 19:31:39.525 INFO [stdout] test group::mul_group::mul_group_test::axiom_right_invert_f64 ... ok
Nov 17 19:31:39.527 INFO [stdout] test magma::add_magma::add_magma_test::axiom_add_closure_u64_T1 ... ok
Nov 17 19:31:39.530 INFO [stdout] test magma::add_magma::add_magma_test::axiom_add_closure_isize_T3 ... ok
Nov 17 19:31:39.540 INFO [stdout] test magma::add_magma::add_magma_test::axiom_add_closure_f32 ... ok
Nov 17 19:31:39.542 INFO [stdout] test field::field::field_test::prop_mul_zero_f64_T3 ... ok
Nov 17 19:31:39.555 INFO [stdout] test magma::add_magma::add_magma_test::axiom_add_closure_f32_T2 ... ok
Nov 17 19:31:39.579 INFO [stdout] test group::mul_group::mul_group_test::axiom_right_invert_f32_T3 ... ok
Nov 17 19:31:39.590 INFO [stdout] test magma::add_magma::add_magma_test::axiom_add_closure_u16 ... ok
Nov 17 19:31:39.615 INFO [stdout] test magma::mul_magma::mul_magma_test::axiom_mul_closure_f64_T1 ... ok
Nov 17 19:31:39.635 INFO [stdout] test magma::mul_magma::mul_magma_test::axiom_mul_closure_u64_T1 ... ok
Nov 17 19:31:39.635 INFO [stdout] test magma::mul_magma::mul_magma_test::axiom_mul_closure_u32 ... ok
Nov 17 19:31:39.637 INFO [stdout] test magma::mul_magma::mul_magma_test::axiom_mul_closure_u8_T2 ... ok
Nov 17 19:31:39.643 INFO [stdout] test magma::mul_magma::mul_magma_test::axiom_mul_closure_f64 ... ok
Nov 17 19:31:39.643 INFO [stdout] test magma::add_magma::add_magma_test::axiom_add_closure_u8_T2 ... ok
Nov 17 19:31:39.643 INFO [stdout] test magma::mul_magma::mul_magma_test::axiom_mul_closure_i8 ... ok
Nov 17 19:31:39.659 INFO [stdout] test magma::mul_magma::mul_magma_test::axiom_mul_closure_f32_T2 ... ok
Nov 17 19:31:39.659 INFO [stdout] test magma::mul_magma::mul_magma_test::axiom_mul_closure_isize_T3 ... ok
Nov 17 19:31:39.663 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_left_add_identity_i32_T2 ... ok
Nov 17 19:31:39.679 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_left_add_identity_u8 ... ok
Nov 17 19:31:39.679 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_left_add_identity_i64 ... ok
Nov 17 19:31:39.693 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_left_add_identity_u16_T1 ... ok
Nov 17 19:31:39.703 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_right_add_identity_u32 ... ok
Nov 17 19:31:39.703 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_right_add_identity_i32_T3 ... ok
Nov 17 19:31:39.760 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_left_add_identity_f32 ... ok
Nov 17 19:31:39.760 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_right_add_identity_u8_T1 ... ok
Nov 17 19:31:39.760 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_right_add_identity_f64 ... ok
Nov 17 19:31:39.760 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_left_mul_identity_i32_T2 ... ok
Nov 17 19:31:39.760 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_right_add_identity_isize ... ok
Nov 17 19:31:39.760 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_left_mul_identity_u8 ... ok
Nov 17 19:31:39.775 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_left_mul_identity_i64 ... ok
Nov 17 19:31:39.775 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_left_mul_identity_u16_T1 ... ok
Nov 17 19:31:39.790 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_left_mul_identity_f32 ... ok
Nov 17 19:31:39.798 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_right_mul_identity_u32 ... ok
Nov 17 19:31:39.806 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_right_mul_identity_isize ... ok
Nov 17 19:31:39.886 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_right_mul_identity_f64 ... ok
Nov 17 19:31:39.887 INFO [stdout] test monoid::add_monoid::add_monoid_test::axiom_right_add_identity_f32_T3 ... ok
Nov 17 19:31:39.887 INFO [stdout] test rational::rational::rational_test::axiom_field_left_invert ... ok
Nov 17 19:31:39.887 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_right_mul_identity_u8_T1 ... ok
Nov 17 19:31:39.887 INFO [stdout] test rational::rational::rational_test::axiom_field_right_invert ... ok
Nov 17 19:31:39.887 INFO [stdout] test rational::rational::rational_test::axiom_left_add_identity ... ok
Nov 17 19:31:39.887 INFO [stdout] test monoid::mul_monoid::mul_monoid_test::axiom_right_mul_identity_f32_T3 ... ok
Nov 17 19:31:39.887 INFO [stdout] test rational::rational::rational_test::axiom_left_mul_identity ... ok
Nov 17 19:31:39.887 INFO [stdout] test rational::rational::rational_test::axiom_left_negate ... ok
Nov 17 19:31:39.887 INFO [stdout] test rational::rational::rational_test::axiom_add_closure ... ok
Nov 17 19:31:39.887 INFO [stdout] test rational::rational::rational_test::axiom_left_invert ... ok
Nov 17 19:31:39.904 INFO [stdout] test rational::rational::rational_test::axiom_mul_closure ... ok
Nov 17 19:31:39.951 INFO [stdout] test rational::rational::rational_test::axiom_right_add_identity ... ok
Nov 17 19:31:39.951 INFO [stdout] test rational::rational::rational_test::axiom_add_associativity ... ok
Nov 17 19:31:39.951 INFO [stdout] test rational::rational::rational_test::axiom_right_invert ... ok
Nov 17 19:31:39.956 INFO [stdout] test rational::rational::rational_test::axiom_right_negate ... ok
Nov 17 19:31:39.967 INFO [stdout] test rational::rational::rational_test::axiom_add_commutivity ... ok
Nov 17 19:31:39.998 INFO [stdout] test rational::rational::rational_test::axiom_right_mul_identity ... ok
Nov 17 19:31:39.998 INFO [stdout] test rational::rational::rational_test::axiom_mul_commutivity ... ok
Nov 17 19:31:40.030 INFO [stdout] test rational::rational::rational_test::prop_left_zero_absorb ... ok
Nov 17 19:31:40.031 INFO [stdout] test rational::rational::rational_test::prop_left_one_negate ... ok
Nov 17 19:31:40.031 INFO [stdout] test rational::rational::rational_test::axiom_ring_mul_commutivity ... ok
Nov 17 19:31:40.081 INFO [stdout] test rational::rational::rational_test::prop_left_mul_negate ... ok
Nov 17 19:31:40.081 INFO [stdout] test rational::rational::rational_test::axiom_mul_associativity ... ok
Nov 17 19:31:40.081 INFO [stdout] test rational::rational::rational_test::prop_add_cancel ... ok
Nov 17 19:31:40.081 INFO [stdout] test rational::rational::rational_test::prop_mul_zero ... ok
Nov 17 19:31:40.081 INFO [stdout] test rational::rational::rational_test::prop_right_zero_absorb ... ok
Nov 17 19:31:40.093 INFO [stdout] test rational::rational::rational_test::prop_right_one_negate ... ok
Nov 17 19:31:40.124 INFO [stdout] test ring::ring::ring_test::axiom_left_distributivity_i32 ... ok
Nov 17 19:31:40.125 INFO [stdout] test rational::rational::rational_test::axiom_left_distributivity ... ok
Nov 17 19:31:40.125 INFO [stdout] test ring::ring::ring_test::axiom_left_distributivity_i8_T1 ... ok
Nov 17 19:31:40.143 INFO [stdout] test rational::rational::rational_test::axiom_right_distributivity ... ok
Nov 17 19:31:40.147 INFO [stdout] test rational::rational::rational_test::prop_right_mul_negate ... ok
Nov 17 19:31:40.203 INFO [stdout] test ring::ring::ring_test::axiom_right_distributivity_i16 ... ok
Nov 17 19:31:40.203 INFO [stdout] test ring::ring::ring_test::axiom_right_distributivity_i64_T2 ... ok
Nov 17 19:31:40.203 INFO [stdout] test rational::rational::rational_test::prop_mul_negate ... ok
Nov 17 19:31:40.211 INFO [stdout] test ring::ring::ring_test::prop_left_mul_negate_i32_T2 ... ok
Nov 17 19:31:40.254 INFO [stdout] test ring::ring::ring_test::axiom_right_distributivity_f32 ... ok
Nov 17 19:31:40.254 INFO [stdout] test ring::ring::ring_test::prop_left_mul_negate_i16 ... ok
Nov 17 19:31:40.254 INFO [stdout] test rational::rational::rational_test::prop_mul_cancel ... ok
Nov 17 19:31:40.254 INFO [stdout] test ring::ring::ring_test::prop_left_mul_negate_f32 ... ok
Nov 17 19:31:40.254 INFO [stdout] test ring::ring::ring_test::prop_left_mul_negate_f64_T1 ... ok
Nov 17 19:31:40.254 INFO [stdout] test ring::ring::ring_test::prop_left_one_negate_f32 ... ok
Nov 17 19:31:40.271 INFO [stdout] test ring::ring::ring_test::prop_left_one_negate_isize ... ok
Nov 17 19:31:40.276 INFO [stdout] test ring::ring::ring_test::prop_left_zero_absorb_isize ... ok
Nov 17 19:31:40.286 INFO [stdout] test ring::ring::ring_test::prop_mul_negate_i32_T2 ... ok
Nov 17 19:31:40.355 INFO [stdout] test ring::ring::ring_test::axiom_left_distributivity_f64 ... ok
Nov 17 19:31:40.355 INFO [stdout] test ring::ring::ring_test::prop_left_zero_absorb_f32 ... ok
Nov 17 19:31:40.355 INFO [stdout] test ring::ring::ring_test::prop_right_mul_negate_i32 ... ok
Nov 17 19:31:40.355 INFO [stdout] test ring::ring::ring_test::prop_left_zero_absorb_f64_T3 ... ok
Nov 17 19:31:40.355 INFO [stdout] test ring::ring::ring_test::prop_right_mul_negate_i8_T3 ... ok
Nov 17 19:31:40.355 INFO [stdout] test ring::ring::ring_test::prop_left_one_negate_f64_T3 ... ok
Nov 17 19:31:40.355 INFO [stdout] test ring::ring::ring_test::prop_mul_negate_i64 ... ok
Nov 17 19:31:40.355 INFO [stdout] test ring::ring::ring_test::prop_right_one_negate_i32 ... ok
Nov 17 19:31:40.367 INFO [stdout] test ring::ring::ring_test::prop_right_one_negate_f64 ... ok
Nov 17 19:31:40.370 INFO [stdout] test ring::ring::ring_test::prop_mul_negate_f32 ... ok
Nov 17 19:31:40.386 INFO [stdout] test ring::ring::ring_test::prop_right_mul_negate_f64 ... ok
Nov 17 19:31:40.403 INFO [stdout] test ring::ring::ring_test::prop_right_zero_absorb_i16_T2 ... ok
Nov 17 19:31:40.419 INFO [stdout] test ring::ring::ring_test::prop_right_zero_absorb_i32 ... ok
Nov 17 19:31:40.431 INFO [stdout] test semigroup::add_semigroup::add_semigroup_test::axiom_add_associativity_T2 ... ok
Nov 17 19:31:40.435 INFO [stdout] test semigroup::add_semigroup::add_semigroup_test::axiom_add_associativity_i8 ... ok
Nov 17 19:31:40.435 INFO [stdout] test ring::ring::ring_test::prop_right_zero_absorb_f64 ... ok
Nov 17 19:31:40.435 INFO [stdout] test ring::ring::ring_test::prop_right_one_negate_i16_T2 ... ok
Nov 17 19:31:40.455 INFO [stdout] test semigroup::add_semigroup::add_semigroup_test::axiom_add_associativity_u32 ... ok
Nov 17 19:31:40.462 INFO [stdout] test semigroup::mul_semigroup::mul_semigroup_test::axiom_mul_associativity_isize ... ok
Nov 17 19:31:40.464 INFO [stdout] test semigroup::add_semigroup::add_semigroup_test::axiom_add_associativity_f64 ... ok
Nov 17 19:31:40.480 INFO [stdout] test semigroup::add_semigroup::add_semigroup_test::axiom_add_associativity_u64_T2 ... ok
Nov 17 19:31:40.492 INFO [stdout] test semigroup::mul_semigroup::mul_semigroup_test::axiom_mul_associativity_u16 ... ok
Nov 17 19:31:40.493 INFO [stdout] test semigroup::mul_semigroup::mul_semigroup_test::axiom_mul_associativity_u32_T2 ... ok
Nov 17 19:31:40.523 INFO [stdout] test semigroup::mul_semigroup::mul_semigroup_test::axiom_mul_associativity_i32_T2 ... ok
Nov 17 19:31:40.556 INFO [stdout] test semigroup::add_semigroup::add_semigroup_test::axiom_add_associativity_f32_T2 ... ok
Nov 17 19:31:40.560 INFO [stdout] test semigroup::mul_semigroup::mul_semigroup_test::axiom_mul_associativity_f32 ... ok
Nov 17 19:31:40.601 INFO [stdout] test semigroup::mul_semigroup::mul_semigroup_test::axiom_mul_associativity_f64_T2 ... ok
Nov 17 19:31:40.602 INFO [stdout] 
Nov 17 19:31:40.602 INFO [stdout] test result: ok. 166 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 17 19:31:40.602 INFO [stdout] 
Nov 17 19:31:40.602 INFO [stderr]    Doc-tests un_algebra
Nov 17 19:31:43.247 INFO [stdout] 
Nov 17 19:31:43.247 INFO [stdout] running 0 tests
Nov 17 19:31:43.247 INFO [stdout] 
Nov 17 19:31:43.247 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 17 19:31:43.247 INFO [stdout] 
Nov 17 19:31:43.255 INFO [stderr] su: No module specific data is present
Nov 17 19:31:44.206 INFO running `"docker" "inspect" "3cad90ddcfe8d5f91917604dd9d8b412532158f4c596b33cf84e3ebe90c124bf"`
Nov 17 19:31:44.498 INFO running `"docker" "rm" "-f" "3cad90ddcfe8d5f91917604dd9d8b412532158f4c596b33cf84e3ebe90c124bf"`
Nov 17 19:31:44.707 INFO [stdout] 3cad90ddcfe8d5f91917604dd9d8b412532158f4c596b33cf84e3ebe90c124bf