[INFO] fetching crate deed-interp 0.2.13...
[INFO] testing deed-interp-0.2.13 against 1.100.0-beta.1+cargoflags=--release for beta-release-1.100-2
[INFO] extracting crate deed-interp 0.2.13 into /workspace/builds/worker-5-tc2/source
[INFO] started tweaking crates.io crate deed-interp 0.2.13
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate deed-interp 0.2.13
[INFO] tweaked toml for crates.io crate deed-interp 0.2.13 written to /workspace/builds/worker-5-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate deed-interp 0.2.13 on toolchain 1.100.0-beta.1
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.100.0-beta.1" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate deed-interp 0.2.13 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.100.0-beta.1" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:77db811e55d90add9212f6832c23229e3de5f1c1f9905e8cb07319ea15df73ac" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 1fef1e6e53638df35d2d9ca8f2af58a0e10bd0332ef89ff7dac61974b27fd330
[INFO] running `Command { std: "docker" "start" "1fef1e6e53638df35d2d9ca8f2af58a0e10bd0332ef89ff7dac61974b27fd330", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "1fef1e6e53638df35d2d9ca8f2af58a0e10bd0332ef89ff7dac61974b27fd330", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "1fef1e6e53638df35d2d9ca8f2af58a0e10bd0332ef89ff7dac61974b27fd330" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "1fef1e6e53638df35d2d9ca8f2af58a0e10bd0332ef89ff7dac61974b27fd330", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "1fef1e6e53638df35d2d9ca8f2af58a0e10bd0332ef89ff7dac61974b27fd330" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "build" "--frozen" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr]    Compiling deed-diagnostics v0.2.13
[INFO] [stderr]    Compiling deed-rt v0.2.13
[INFO] [stderr]    Compiling deed-ast v0.2.13
[INFO] [stderr]    Compiling deed-resolve v0.2.13
[INFO] [stderr]    Compiling deed-interp v0.2.13 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 8.80s
[INFO] running `Command { std: "docker" "inspect" "1fef1e6e53638df35d2d9ca8f2af58a0e10bd0332ef89ff7dac61974b27fd330", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "1fef1e6e53638df35d2d9ca8f2af58a0e10bd0332ef89ff7dac61974b27fd330" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "test" "--frozen" "--no-run" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr]    Compiling deed-lexer v0.2.13
[INFO] [stderr]    Compiling deed-parser v0.2.13
[INFO] [stderr]    Compiling deed-interp v0.2.13 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 10.38s
[INFO] running `Command { std: "docker" "inspect" "1fef1e6e53638df35d2d9ca8f2af58a0e10bd0332ef89ff7dac61974b27fd330", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "1fef1e6e53638df35d2d9ca8f2af58a0e10bd0332ef89ff7dac61974b27fd330" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "test" "--frozen" "--release", kill_on_drop: false }`
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 0.03s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/release/build/deed-interp/2bc7fda2facd03db/out/deed_interp-2bc7fda2facd03db)
[INFO] [stdout] 
[INFO] [stdout] running 16 tests
[INFO] [stdout] test property::tests::a_list_gets_shorter_before_its_elements_get_smaller ... ok
[INFO] [stdout] test interp::tests::two_closures_written_are_two_kept ... ok
[INFO] [stdout] test property::tests::different_seeds_diverge ... ok
[INFO] [stdout] test value::tests::display_is_readable ... ok
[INFO] [stdout] test value::tests::records_compare_by_content_not_by_insertion_order ... ok
[INFO] [stdout] test property::tests::a_string_gets_shorter_and_then_plainer ... ok
[INFO] [stdout] test interp::tests::a_function_called_many_times_is_planned_once ... ok
[INFO] [stdout] test interp::tests::a_closure_written_once_is_kept_once ... ok
[INFO] [stdout] test value::tests::variants_of_different_shapes_differ ... ok
[INFO] [stdout] test interp::tests::a_row_entry_admits_its_own_effect_and_no_other ... ok
[INFO] [stdout] test property::tests::true_is_bigger_than_false ... ok
[INFO] [stdout] test value::tests::a_variant_is_the_same_variant_however_it_was_reached ... ok
[INFO] [stdout] test interp::tests::a_function_nobody_calls_is_never_planned ... ok
[INFO] [stdout] test property::tests::things_with_no_smaller_form_do_not_shrink ... ok
[INFO] [stdout] test property::tests::shrinking_moves_integers_towards_zero ... ok
[INFO] [stderr]      Running tests/messages.rs (/opt/rustwide/target/release/build/deed-interp/745cd88c6bbf2d15/out/messages-745cd88c6bbf2d15)
[INFO] [stdout] test property::tests::the_generator_is_deterministic ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 16 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 39 tests
[INFO] [stdout] test a_closure_called_with_the_wrong_number_of_arguments_says_so ... ok
[INFO] [stdout] test a_field_on_something_with_no_fields_says_what_it_was ... ok
[INFO] [stdout] test a_closure_reaching_into_another_handlers_state_says_whose_problem_it_is ... ok
[INFO] [stdout] test a_call_that_is_not_a_call_says_only_that ... ok
[INFO] [stdout] test a_for_over_something_that_is_not_a_list_says_what_it_was ... ok
[INFO] [stdout] test a_closure_that_outlives_its_handler_operation_says_whose_problem_it_is ... ok
[INFO] [stdout] test a_condition_that_is_not_a_bool_says_so ... ok
[INFO] [stdout] test a_module_that_was_not_handed_over_blames_neither_the_language_nor_the_check ... ok
[INFO] [stdout] test a_name_the_resolver_could_not_find_is_refused ... ok
[INFO] [stdout] test a_question_mark_on_something_that_is_not_a_result_says_what_it_was ... ok
[INFO] [stdout] test a_name_that_is_not_a_value_says_which_name ... ok
[INFO] [stdout] test a_handler_implementing_something_that_is_not_an_effect_is_refused ... ok
[INFO] [stdout] test a_handler_that_leaves_an_operation_out_is_named_with_the_operation ... ok
[INFO] [stdout] test a_run_that_went_too_deep_says_how_deep_it_was_willing_to_go ... ok
[INFO] [stdout] test a_for_condition_that_is_not_a_bool_says_what_it_was ... ok
[INFO] [stdout] test a_field_a_value_does_not_have_says_which_field ... ok
[INFO] [stdout] test an_assignment_outside_a_handler_is_refused ... ok
[INFO] [stdout] test an_assertion_that_is_not_true_says_so ... ok
[INFO] [stdout] test a_system_capability_has_no_field_but_its_three ... ok
[INFO] [stdout] test an_io_operation_with_no_capability_at_all_is_refused ... ok
[INFO] [stdout] test an_abandoned_computation_says_it_was_abandoned ... ok
[INFO] [stdout] test an_assignment_to_a_name_the_resolver_could_not_find_is_refused ... ok
[INFO] [stdout] test an_operation_given_something_that_is_not_text_says_what_it_was ... ok
[INFO] [stdout] test a_save_with_nothing_to_save_is_refused ... ok
[INFO] [stdout] test an_io_operation_names_the_capability_it_was_handed ... ok
[INFO] [stdout] test a_unary_operator_names_itself_and_the_value ... ok
[INFO] [stdout] test an_effect_reference_that_is_not_an_effect_is_refused ... ok
[INFO] [stdout] test installing_something_that_is_not_a_handler_is_refused ... ok
[INFO] [stdout] test a_literal_that_names_something_that_is_not_a_shape_is_refused ... ok
[INFO] [stdout] test old_outside_a_contract_is_refused ... ok
[INFO] [stdout] test a_match_that_ran_out_of_arms_says_what_it_was_given ... ok
[INFO] [stdout] test contents_that_are_not_a_string_say_what_they_were ... ok
[INFO] [stdout] test the_shared_note_points_at_the_check_rather_than_at_the_interpreter ... ok
[INFO] [stdout] test arithmetic_with_no_answer_says_that_in_its_headline ... ok
[INFO] [stderr]      Running tests/properties.rs (/opt/rustwide/target/release/build/deed-interp/daede1cb107de4ef/out/properties-daede1cb107de4ef)
[INFO] [stdout] test an_operation_with_an_argument_missing_is_refused ... ok
[INFO] [stdout] test code_that_did_not_parse_is_refused_rather_than_guessed_at ... ok
[INFO] [stdout] test an_operator_two_strings_do_not_have_is_told_apart_from_the_rest ... ok
[INFO] [stdout] test the_two_arms_nothing_can_reach_are_still_there ... ok
[INFO] [stdout] test a_binary_operator_names_both_sides ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 39 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 29 tests
[INFO] [stdout] test a_function_with_no_obligations_gets_nothing ... ok
[INFO] [stdout] test a_postcondition_that_does_not_hold_is_caught_by_generated_inputs ... ok
[INFO] [stdout] test a_list_parameter_is_generated ... ok
[INFO] [stdout] test a_different_seed_is_still_a_failure ... ok
[INFO] [stdout] test a_variant_that_has_no_simpler_sibling_keeps_its_own_name ... ok
[INFO] [stdout] test direct_generation_counts_arguments_it_cannot_make ... ok
[INFO] [stdout] test an_effectful_function_gets_nothing ... ok
[INFO] [stdout] test a_string_counterexample_is_shrunk_too ... ok
[INFO] [stdout] test direct_shrinking_honours_the_predicate_and_finds_the_smallest_integer ... ok
[INFO] [stdout] test a_negative_counterexample_is_shrunk_to_the_nearest_boundary ... ok
[INFO] [stdout] test a_variant_shrinks_to_one_of_its_siblings_that_carries_nothing ... ok
[INFO] [stdout] test a_parameter_the_generator_cannot_produce_stops_it ... ok
[INFO] [stdout] test it_finds_overflow_in_a_function_that_looks_obviously_correct ... ok
[INFO] [stdout] test inputs_violating_a_precondition_are_discarded_not_reported ... ok
[INFO] [stdout] test a_result_payload_is_shrunk_without_changing_the_outcome ... ok
[INFO] [stdout] test a_pure_function_with_a_postcondition_gets_a_property ... ok
[INFO] [stdout] test a_list_gets_shorter_when_its_length_is_what_matters ... ok
[INFO] [stdout] test results_are_generated_on_both_sides ... ok
[INFO] [stdout] test a_list_counterexample_is_shrunk_too ... ok
[INFO] [stdout] test records_and_choices_are_generated ... ok
[INFO] [stdout] test constraining_the_input_makes_the_same_function_pass ... ok
[INFO] [stdout] test direct_generation_uses_the_whole_rejection_budget ... ok
[INFO] [stdout] test the_counter_example_has_a_property_and_it_passes ... FAILED
[INFO] [stdout] test refined_parameters_only_ever_get_values_that_satisfy_them ... ok
[INFO] [stdout] test a_precondition_nothing_can_satisfy_is_reported_rather_than_passed ... ok
[INFO] [stdout] test the_counterexample_is_shrunk_to_something_readable ... ok
[INFO] [stdout] test a_string_gets_shorter_when_its_length_is_what_matters ... ok
[INFO] [stdout] test running_twice_gives_the_same_counterexample ... ok
[INFO] [stdout] test a_refinement_the_generator_cannot_satisfy_is_not_a_false_failure ... ok
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- the_counter_example_has_a_property_and_it_passes stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'the_counter_example_has_a_property_and_it_passes' (481) panicked at tests/properties.rs:641:48:
[INFO] [stdout] examples/counter.deed should exist: Os { code: 2, kind: NotFound, message: "No such file or directory" }
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x57dffc16a2e1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x57dffc1804ba - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x57dffc16eaec - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x57dffc144366 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x57dffc161d39 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x57dffc06c170 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x57dffc161ef2 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x57dffc144412 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x57dffc13cd29 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stderr] error: test failed, to rerun pass `--test properties`
[INFO] [stdout]    9:     0x57dffc14520d - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x57dffc180c2c - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x57dffc180a02 - core[a373ad73a504971]::result::unwrap_failed
[INFO] [stdout]   12:     0x57dffc051d69 - <properties[a415325baca0e6bc]::the_counter_example_has_a_property_and_it_passes::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   13:     0x57dffc05f5bb - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   14:     0x57dffc06c795 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   15:     0x57dffc066084 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   16:     0x57dffc06f822 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   17:     0x57dffc16928f - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   18:     0x7863af7bcdfa - <unknown>
[INFO] [stdout]   19:     0x7863af8503d4 - clone
[INFO] [stdout]   20:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     the_counter_example_has_a_property_and_it_passes
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 28 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.09s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "1fef1e6e53638df35d2d9ca8f2af58a0e10bd0332ef89ff7dac61974b27fd330", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1fef1e6e53638df35d2d9ca8f2af58a0e10bd0332ef89ff7dac61974b27fd330", kill_on_drop: false }`
[INFO] [stdout] 1fef1e6e53638df35d2d9ca8f2af58a0e10bd0332ef89ff7dac61974b27fd330
