Dec 02 15:03:35.629 INFO testing suppositions-0.1.4 against 1.30.1 for beta-1.31-5
Dec 02 15:03:35.629 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-7/1.30.1:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-7/beta-1.31-5/1.30.1:/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 +1.30.1 build --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 02 15:03:35.865 INFO [stdout] 79285204d67dcf23ae5397825f835ad759343043ac53e3fff7b29aa2b22625d6
Dec 02 15:03:35.868 INFO running `"docker" "start" "-a" "79285204d67dcf23ae5397825f835ad759343043ac53e3fff7b29aa2b22625d6"`
Dec 02 15:03:36.474 INFO [stderr] usermod: no changes
Dec 02 15:03:36.527 INFO [stderr]    Compiling suppositions v0.1.4 (/source)
Dec 02 15:03:38.198 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 1.70s
Dec 02 15:03:38.202 INFO [stderr] su: No module specific data is present
Dec 02 15:03:39.087 INFO running `"docker" "inspect" "79285204d67dcf23ae5397825f835ad759343043ac53e3fff7b29aa2b22625d6"`
Dec 02 15:03:39.379 INFO running `"docker" "rm" "-f" "79285204d67dcf23ae5397825f835ad759343043ac53e3fff7b29aa2b22625d6"`
Dec 02 15:03:39.578 INFO [stdout] 79285204d67dcf23ae5397825f835ad759343043ac53e3fff7b29aa2b22625d6
Dec 02 15:03:39.581 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-7/1.30.1:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-7/beta-1.31-5/1.30.1:/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 +1.30.1 test --frozen --no-run" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 02 15:03:39.956 INFO [stdout] 734ea790f727f6603ca1d401023f118023fe26ba075759331265bd67275c5788
Dec 02 15:03:39.958 INFO running `"docker" "start" "-a" "734ea790f727f6603ca1d401023f118023fe26ba075759331265bd67275c5788"`
Dec 02 15:03:40.790 INFO [stderr] usermod: no changes
Dec 02 15:03:40.879 INFO [stderr]    Compiling suppositions v0.1.4 (/source)
Dec 02 15:03:45.527 INFO [stderr] warning: unnecessary parentheses around function argument
Dec 02 15:03:45.527 INFO [stderr]   --> tests/smoketest.rs:57:14
Dec 02 15:03:45.527 INFO [stderr]    |
Dec 02 15:03:45.527 INFO [stderr] 57 |     property((booleans())).check(|_| false)
Dec 02 15:03:45.527 INFO [stderr]    |              ^^^^^^^^^^^^ help: remove these parentheses
Dec 02 15:03:45.527 INFO [stderr]    |
Dec 02 15:03:45.527 INFO [stderr]    = note: #[warn(unused_parens)] on by default
Dec 02 15:03:45.527 INFO [stderr] 
Dec 02 15:03:45.527 INFO [stderr] warning: unnecessary parentheses around function argument
Dec 02 15:03:45.527 INFO [stderr]   --> tests/smoketest.rs:62:14
Dec 02 15:03:45.527 INFO [stderr]    |
Dec 02 15:03:45.527 INFO [stderr] 62 |     property((booleans())).check(|_| true)
Dec 02 15:03:45.527 INFO [stderr]    |              ^^^^^^^^^^^^ help: remove these parentheses
Dec 02 15:03:45.527 INFO [stderr] 
Dec 02 15:03:45.527 INFO [stderr] warning: unnecessary parentheses around function argument
Dec 02 15:03:45.527 INFO [stderr]   --> tests/smoketest.rs:77:14
Dec 02 15:03:45.527 INFO [stderr]    |
Dec 02 15:03:45.527 INFO [stderr] 77 |     property((booleans())).check(|_| -> Result<(), ()> { Err(()) })
Dec 02 15:03:45.527 INFO [stderr]    |              ^^^^^^^^^^^^ help: remove these parentheses
Dec 02 15:03:45.527 INFO [stderr] 
Dec 02 15:03:45.527 INFO [stderr] warning: unnecessary parentheses around function argument
Dec 02 15:03:45.527 INFO [stderr]   --> tests/smoketest.rs:83:14
Dec 02 15:03:45.527 INFO [stderr]    |
Dec 02 15:03:45.527 INFO [stderr] 83 |     property((booleans())).check(|_| -> Result<(), &'static str> { Err("horrible failure") })
Dec 02 15:03:45.527 INFO [stderr]    |              ^^^^^^^^^^^^ help: remove these parentheses
Dec 02 15:03:45.527 INFO [stderr] 
Dec 02 15:03:45.527 INFO [stderr] warning: unnecessary parentheses around function argument
Dec 02 15:03:45.527 INFO [stderr]   --> tests/smoketest.rs:89:14
Dec 02 15:03:45.527 INFO [stderr]    |
Dec 02 15:03:45.527 INFO [stderr] 89 |     property((booleans())).check(|_| -> Result<(), ()> { Ok(()) })
Dec 02 15:03:45.527 INFO [stderr]    |              ^^^^^^^^^^^^ help: remove these parentheses
Dec 02 15:03:45.527 INFO [stderr] 
Dec 02 15:03:45.527 INFO [stderr] warning: unnecessary parentheses around function argument
Dec 02 15:03:45.527 INFO [stderr]   --> tests/smoketest.rs:95:14
Dec 02 15:03:45.527 INFO [stderr]    |
Dec 02 15:03:45.527 INFO [stderr] 95 |     property((booleans())).check(|_| -> () { panic!("Big bad boom") })
Dec 02 15:03:45.527 INFO [stderr]    |              ^^^^^^^^^^^^ help: remove these parentheses
Dec 02 15:03:45.527 INFO [stderr] 
Dec 02 15:03:45.527 INFO [stderr] warning: unnecessary parentheses around function argument
Dec 02 15:03:45.527 INFO [stderr]    --> tests/smoketest.rs:101:14
Dec 02 15:03:45.527 INFO [stderr]     |
Dec 02 15:03:45.527 INFO [stderr] 101 |     property((booleans())).check(|_| -> () { panic!("Big bad boom") })
Dec 02 15:03:45.527 INFO [stderr]     |              ^^^^^^^^^^^^ help: remove these parentheses
Dec 02 15:03:45.527 INFO [stderr] 
Dec 02 15:03:53.016 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 12.20s
Dec 02 15:03:53.035 INFO [stderr] su: No module specific data is present
Dec 02 15:03:53.662 INFO running `"docker" "inspect" "734ea790f727f6603ca1d401023f118023fe26ba075759331265bd67275c5788"`
Dec 02 15:03:53.891 INFO running `"docker" "rm" "-f" "734ea790f727f6603ca1d401023f118023fe26ba075759331265bd67275c5788"`
Dec 02 15:03:54.085 INFO [stdout] 734ea790f727f6603ca1d401023f118023fe26ba075759331265bd67275c5788
Dec 02 15:03:54.089 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-7/1.30.1:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-7/beta-1.31-5/1.30.1:/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 +1.30.1 test --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 02 15:03:54.435 INFO [stdout] 330a939eb6fe9613dc70e5a332ee77fe39b02c24fa4ded17ae05008b41b86f48
Dec 02 15:03:54.441 INFO running `"docker" "start" "-a" "330a939eb6fe9613dc70e5a332ee77fe39b02c24fa4ded17ae05008b41b86f48"`
Dec 02 15:03:55.831 INFO [stderr] usermod: no changes
Dec 02 15:03:55.903 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.05s
Dec 02 15:03:55.919 INFO [stderr]      Running /target/debug/deps/suppositions-9768816cd668975e
Dec 02 15:03:55.920 INFO [stdout] 
Dec 02 15:03:55.920 INFO [stdout] running 61 tests
Dec 02 15:03:55.923 INFO [stdout] test data::tests::minimiser_should_minimise_to_minimum_given_size ... ok
Dec 02 15:03:55.923 INFO [stdout] test data::tests::replay_can_act_as_iterator ... ok
Dec 02 15:03:55.923 INFO [stdout] test data::tests::should_allow_borrowing_buffer ... ok
Dec 02 15:03:55.923 INFO [stdout] test data::tests::minimiser_should_minimise_to_empty ... ok
Dec 02 15:03:55.923 INFO [stdout] test data::tests::minimiser_should_minimise_scalar_values_accounting_for_overflow ... ok
Dec 02 15:03:55.923 INFO [stdout] test data::tests::minimiser_should_minimise_scalar_values ... ok
Dec 02 15:03:55.923 INFO [stdout] test data::tests::tap_can_act_as_iterator ... ok
Dec 02 15:03:55.923 INFO [stdout] test generators::tests::biased_coin ... ok
Dec 02 15:03:55.923 INFO [stdout] test generators::tests::bools_minimize_to_false ... ok
Dec 02 15:03:55.923 INFO [stdout] test generators::tests::bools_should_generate_false_booleans_from_zeros ... ok
Dec 02 15:03:55.923 INFO [stdout] test data::tests::should_take_each_item_in_pool ... ok
Dec 02 15:03:55.945 INFO [stdout] test generators::tests::bools_should_generate_same_output_given_same_input ... ok
Dec 02 15:03:55.951 INFO [stdout] test data::tests::minimiser_should_minimise_scalar_values_to_empty ... ok
Dec 02 15:03:55.951 INFO [stdout] test generators::tests::bools_should_generate_true_booleans_from_saturated_values ... ok
Dec 02 15:03:55.987 INFO [stdout] test data::tests::minimiser_should_minimise_scalar_values_by_search ... ok
Dec 02 15:03:55.995 INFO [stdout] test data::tests::should_generate_random_data ... ok
Dec 02 15:03:55.995 INFO [stdout] test data::tests::should_allow_restarting_read ... ok
Dec 02 15:03:56.035 INFO [stdout] test generators::tests::collections_u64s_minimize_to_empty ... ok
Dec 02 15:03:56.051 INFO [stdout] test generators::tests::consts_should_generate_same_values ... ok
Dec 02 15:03:56.055 INFO [stdout] test generators::tests::filter_map_should_pass_through_when_ok ... ok
Dec 02 15:03:56.059 INFO [stdout] test generators::tests::filter_map_should_skip_when_err ... ok
Dec 02 15:03:56.059 INFO [stdout] test generators::tests::filter_should_pass_through_when_true ... ok
Dec 02 15:03:56.059 INFO [stdout] test generators::tests::filter_should_skip_when_false ... ok
Dec 02 15:03:56.059 INFO [stdout] test generators::tests::i64s_minimize_to_zero ... ok
Dec 02 15:03:56.179 INFO [stdout] test generators::tests::i64s_should_generate_same_output_given_same_input ... ok
Dec 02 15:03:56.179 INFO [stdout] test generators::tests::bools_usually_generates_different_output_for_different_inputs ... ok
Dec 02 15:03:56.235 INFO [stdout] test generators::tests::collection_lengths::mean_length_can_be_set_as_5 ... ok
Dec 02 15:03:56.259 INFO [stdout] test generators::tests::collection_lengths::mean_length_can_be_set_as_10 ... ok
Dec 02 15:03:56.275 INFO [stdout] test generators::tests::collection_lengths::mean_length_can_be_set_as_7 ... ok
Dec 02 15:03:56.277 INFO [stdout] test generators::tests::collection_lengths::mean_length_can_be_set_as_3 ... ok
Dec 02 15:03:56.289 INFO [stdout] test generators::tests::info_pools_minimize_to_empty ... ok
Dec 02 15:03:56.307 INFO [stdout] test generators::tests::optional_u64s_minimize_to_none ... ok
Dec 02 15:03:56.315 INFO [stdout] test generators::tests::info_pools_should_generate_same_output_given_same_input ... ok
Dec 02 15:03:56.319 INFO [stdout] test generators::tests::tuple_u8s_u8s_minimize_to_zero ... ok
Dec 02 15:03:56.319 INFO [stdout] test generators::tests::result_u8_u64s_minimize_to_ok ... ok
Dec 02 15:03:56.319 INFO [stdout] test generators::tests::bools_should_partially_order_same_as_source ... ok
Dec 02 15:03:56.322 INFO [stdout] test generators::tests::collection_lengths::mean_length_can_be_set_as_23 ... ok
Dec 02 15:03:56.347 INFO [stdout] test generators::tests::info_pools_usually_generates_different_output_for_different_inputs ... ok
Dec 02 15:03:56.348 INFO [stdout] test generators::tests::u64s_minimize_to_zero ... ok
Dec 02 15:03:56.368 INFO [stdout] test generators::tests::tuple_u8s_u8s_should_generate_same_output_given_same_input ... ok
Dec 02 15:03:56.384 INFO [stdout] test generators::tests::i64s_usually_generates_different_output_for_different_inputs ... ok
Dec 02 15:03:56.399 INFO [stdout] test generators::tests::u8s_minimize_to_zero ... ok
Dec 02 15:03:56.402 INFO [stdout] test generators::tests::i64s_should_partially_order_same_as_source ... ok
Dec 02 15:03:56.405 INFO [stdout] test generators::tests::u64s_usually_generates_different_output_for_different_inputs ... ok
Dec 02 15:03:56.437 INFO [stdout] test generators::tests::u64s_should_generate_same_output_given_same_input ... ok
Dec 02 15:03:56.455 INFO [stdout] test generators::tests::tuple_u8s_u8s_usually_generates_different_output_for_different_inputs ... ok
Dec 02 15:03:56.456 INFO [stdout] test generators::tests::u8s_should_generate_same_output_given_same_input ... ok
Dec 02 15:03:56.471 INFO [stdout] test generators::tests::vec_bools_minimize_to_empty ... ok
Dec 02 15:03:56.474 INFO [stdout] test generators::tests::vec_bools_can_minimise_with_predicate ... ok
Dec 02 15:03:56.526 INFO [stdout] test generators::tests::u8s_usually_generates_different_output_for_different_inputs ... ok
Dec 02 15:03:56.539 INFO [stdout] test generators::tests::one_of_should_pick_choices_relativey_evenly ... ok
Dec 02 15:03:56.575 INFO [stdout] test generators::tests::tuple_u8s_u8s_should_partially_order_same_as_source ... ok
Dec 02 15:03:56.575 INFO [stdout] test generators::tests::vecs_usually_generates_different_output_for_different_inputs ... ok
Dec 02 15:03:56.607 INFO [stdout] test generators::tests::vecs_should_generate_same_output_given_same_input ... ok
Dec 02 15:03:56.609 INFO [stdout] test generators::tests::vector_lengths::mean_length_can_be_set_as_3 ... ok
Dec 02 15:03:56.642 INFO [stdout] test generators::tests::u8s_should_partially_order_same_as_source ... ok
Dec 02 15:03:56.699 INFO [stdout] test generators::tests::u64s_should_partially_order_same_as_source ... ok
Dec 02 15:03:56.711 INFO [stdout] test generators::tests::vector_lengths::mean_length_can_be_set_as_5 ... ok
Dec 02 15:03:56.735 INFO [stdout] test generators::tests::vector_lengths::mean_length_can_be_set_as_7 ... ok
Dec 02 15:03:56.751 INFO [stdout] test generators::tests::vector_lengths::mean_length_can_be_set_as_10 ... ok
Dec 02 15:03:56.772 INFO [stdout] test generators::tests::vector_lengths::mean_length_can_be_set_as_23 ... ok
Dec 02 15:03:56.772 INFO [stdout] 
Dec 02 15:03:56.772 INFO [stdout] test result: ok. 61 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 02 15:03:56.772 INFO [stdout] 
Dec 02 15:03:56.773 INFO [stderr]      Running /target/debug/deps/generators-68cd9c1f208923da
Dec 02 15:03:56.775 INFO [stdout] 
Dec 02 15:03:56.775 INFO [stdout] running 16 tests
Dec 02 15:03:56.777 INFO [stdout] test generator_map_should_trivially_preserve_invariants ... ok
Dec 02 15:03:56.779 INFO [stdout] test boxed_generator_yields_same_as_inner_value ... ok
Dec 02 15:03:56.779 INFO [stdout] test generator_of_3_tuple ... ok
Dec 02 15:03:56.782 INFO [stdout] test f64s_should_partially_order_same_as_source ... ok
Dec 02 15:03:56.782 INFO [stdout] test generator_of_2_tuple ... ok
Dec 02 15:03:56.785 INFO [stdout] test one_of_should_partially_order_same_as_source ... ok
Dec 02 15:03:56.786 INFO [stdout] test uniform_f64s_should_generate_same_output_given_same_input ... ok
Dec 02 15:03:56.786 INFO [stdout] test one_of_should_pick_a_single_sample ... ok
Dec 02 15:03:56.788 INFO [stdout] test uniform_f64s_should_generate_values_between_0_and_1 ... ok
Dec 02 15:03:56.797 INFO [stdout] test weighted_coin_should_partially_order_same_as_source ... ok
Dec 02 15:03:56.797 INFO [stdout] test lazy_generator_yields_same_as_inner_value ... ok
Dec 02 15:03:56.797 INFO [stdout] test weighted_coin_should_generate_same_output_given_same_input ... ok
Dec 02 15:03:56.797 INFO [stdout] test f64s_should_generate_same_output_given_same_input ... ok
Dec 02 15:03:56.800 INFO [stdout] test uniform_f64s_should_partially_order_same_as_source ... ok
Dec 02 15:03:56.803 INFO [stdout] test i64s_should_generate_same_output_given_same_input ... ok
Dec 02 15:03:56.804 INFO [stdout] test i64s_should_partially_order_same_as_source ... ok
Dec 02 15:03:56.804 INFO [stdout] 
Dec 02 15:03:56.804 INFO [stdout] test result: ok. 16 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 02 15:03:56.805 INFO [stdout] 
Dec 02 15:03:56.805 INFO [stderr]      Running /target/debug/deps/recursive-43b39f61d15560e6
Dec 02 15:03:56.807 INFO [stdout] 
Dec 02 15:03:56.807 INFO [stdout] running 1 test
Dec 02 15:03:56.812 INFO [stdout] test add_adds ... ok
Dec 02 15:03:56.812 INFO [stdout] 
Dec 02 15:03:56.812 INFO [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 02 15:03:56.812 INFO [stdout] 
Dec 02 15:03:56.812 INFO [stderr]      Running /target/debug/deps/smoketest-d51818c1a25cf714
Dec 02 15:03:56.814 INFO [stdout] 
Dec 02 15:03:56.814 INFO [stdout] running 11 tests
Dec 02 15:03:56.825 INFO [stdout] test trivial_pass ... ok
Dec 02 15:03:56.833 INFO [stdout] test some_approximation_of_usage ... ok
Dec 02 15:03:56.835 INFO [stdout] test trivial_result_pass ... ok
Dec 02 15:03:56.840 INFO [stdout] test some_approximation_of_failing_example ... ok
Dec 02 15:03:56.842 INFO [stdout] test trivial_failure ... ok
Dec 02 15:03:56.843 INFO [stdout] test mersenne_conjecture ... ok
Dec 02 15:03:56.843 INFO [stdout] test trivial_result_includes_failing_result ... ok
Dec 02 15:03:56.843 INFO [stdout] test value_dependent ... ok
Dec 02 15:03:56.843 INFO [stdout] test trivial_result_failure ... ok
Dec 02 15:03:56.844 INFO [stdout] test trivial_panic_failure ... ok
Dec 02 15:03:56.844 INFO [stdout] test panic_includes_failure_message ... ok
Dec 02 15:03:56.844 INFO [stdout] 
Dec 02 15:03:56.844 INFO [stdout] test result: ok. 11 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 02 15:03:56.844 INFO [stdout] 
Dec 02 15:03:56.845 INFO [stderr]    Doc-tests suppositions
Dec 02 15:03:58.195 INFO [stdout] 
Dec 02 15:03:58.195 INFO [stdout] running 3 tests
Dec 02 15:04:00.141 INFO [stdout] test src/lib.rs -  (line 25) ... ok
Dec 02 15:04:01.108 INFO [stdout] test src/generators.rs - generators::one_of (line 618) ... ok
Dec 02 15:04:01.271 INFO [stdout] test src/generators.rs - generators::collections (line 246) ... ok
Dec 02 15:04:01.271 INFO [stdout] 
Dec 02 15:04:01.271 INFO [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 02 15:04:01.271 INFO [stdout] 
Dec 02 15:04:01.279 INFO [stderr] su: No module specific data is present
Dec 02 15:04:01.652 INFO running `"docker" "inspect" "330a939eb6fe9613dc70e5a332ee77fe39b02c24fa4ded17ae05008b41b86f48"`
Dec 02 15:04:01.748 INFO running `"docker" "rm" "-f" "330a939eb6fe9613dc70e5a332ee77fe39b02c24fa4ded17ae05008b41b86f48"`
Dec 02 15:04:01.853 INFO [stdout] 330a939eb6fe9613dc70e5a332ee77fe39b02c24fa4ded17ae05008b41b86f48
