[INFO] fetching crate deed-interp 0.2.13...
[INFO] testing deed-interp-0.2.13 against 1.99.0-beta.8+cargoflags=--release for beta-release-1.100-2
[INFO] extracting crate deed-interp 0.2.13 into /workspace/builds/worker-5-tc1/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-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate deed-interp 0.2.13 on toolchain 1.99.0-beta.8
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.99.0-beta.8" "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.99.0-beta.8" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded deed-rt v0.2.13
[INFO] [stderr]   Downloaded deed-resolve v0.2.13
[INFO] [stderr]   Downloaded deed-ast v0.2.13
[INFO] [stderr]   Downloaded deed-diagnostics v0.2.13
[INFO] [stderr]   Downloaded deed-lexer v0.2.13
[INFO] [stderr]   Downloaded deed-parser v0.2.13
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/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] b15e44de9d4594bd07dffe06b0ae2fd6177459f4e3011f65f1d1e193e1aad08d
[INFO] running `Command { std: "docker" "start" "b15e44de9d4594bd07dffe06b0ae2fd6177459f4e3011f65f1d1e193e1aad08d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "b15e44de9d4594bd07dffe06b0ae2fd6177459f4e3011f65f1d1e193e1aad08d", 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" "b15e44de9d4594bd07dffe06b0ae2fd6177459f4e3011f65f1d1e193e1aad08d" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "b15e44de9d4594bd07dffe06b0ae2fd6177459f4e3011f65f1d1e193e1aad08d", 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" "b15e44de9d4594bd07dffe06b0ae2fd6177459f4e3011f65f1d1e193e1aad08d" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "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 9.24s
[INFO] running `Command { std: "docker" "inspect" "b15e44de9d4594bd07dffe06b0ae2fd6177459f4e3011f65f1d1e193e1aad08d", 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" "b15e44de9d4594bd07dffe06b0ae2fd6177459f4e3011f65f1d1e193e1aad08d" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "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.88s
[INFO] running `Command { std: "docker" "inspect" "b15e44de9d4594bd07dffe06b0ae2fd6177459f4e3011f65f1d1e193e1aad08d", 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" "b15e44de9d4594bd07dffe06b0ae2fd6177459f4e3011f65f1d1e193e1aad08d" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "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/deps/deed_interp-2bc7fda2facd03db)
[INFO] [stdout] 
[INFO] [stdout] running 16 tests
[INFO] [stdout] test interp::tests::a_row_entry_admits_its_own_effect_and_no_other ... ok
[INFO] [stdout] test interp::tests::a_function_called_many_times_is_planned_once ... ok
[INFO] [stdout] test interp::tests::a_function_nobody_calls_is_never_planned ... ok
[INFO] [stdout] test property::tests::the_generator_is_deterministic ... ok
[INFO] [stdout] test property::tests::a_list_gets_shorter_before_its_elements_get_smaller ... ok
[INFO] [stdout] test property::tests::shrinking_moves_integers_towards_zero ... ok
[INFO] [stdout] test property::tests::a_string_gets_shorter_and_then_plainer ... ok
[INFO] [stdout] test interp::tests::two_closures_written_are_two_kept ... ok
[INFO] [stdout] test interp::tests::a_closure_written_once_is_kept_once ... ok
[INFO] [stdout] test property::tests::things_with_no_smaller_form_do_not_shrink ... ok
[INFO] [stdout] test value::tests::a_variant_is_the_same_variant_however_it_was_reached ... ok
[INFO] [stdout] test property::tests::true_is_bigger_than_false ... ok
[INFO] [stdout] test property::tests::different_seeds_diverge ... ok
[INFO] [stdout] test value::tests::records_compare_by_content_not_by_insertion_order ... ok
[INFO] [stdout] test value::tests::display_is_readable ... ok
[INFO] [stdout] test value::tests::variants_of_different_shapes_differ ... 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] [stderr]      Running tests/messages.rs (/opt/rustwide/target/release/deps/messages-745cd88c6bbf2d15)
[INFO] [stdout] 
[INFO] [stdout] running 39 tests
[INFO] [stdout] test a_binary_operator_names_both_sides ... ok
[INFO] [stdout] test a_call_that_is_not_a_call_says_only_that ... ok
[INFO] [stdout] test a_closure_called_with_the_wrong_number_of_arguments_says_so ... ok
[INFO] [stdout] test a_condition_that_is_not_a_bool_says_so ... ok
[INFO] [stdout] test a_closure_reaching_into_another_handlers_state_says_whose_problem_it_is ... ok
[INFO] [stdout] test a_name_that_is_not_a_value_says_which_name ... ok
[INFO] [stdout] test a_name_the_resolver_could_not_find_is_refused ... ok
[INFO] [stdout] test a_match_that_ran_out_of_arms_says_what_it_was_given ... ok
[INFO] [stdout] test a_for_over_something_that_is_not_a_list_says_what_it_was ... ok
[INFO] [stdout] test a_question_mark_on_something_that_is_not_a_result_says_what_it_was ... ok
[INFO] [stdout] test a_literal_that_names_something_that_is_not_a_shape_is_refused ... ok
[INFO] [stdout] test a_save_with_nothing_to_save_is_refused ... ok
[INFO] [stdout] test a_run_that_went_too_deep_says_how_deep_it_was_willing_to_go ... 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 a_unary_operator_names_itself_and_the_value ... ok
[INFO] [stdout] test an_abandoned_computation_says_it_was_abandoned ... 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 a_handler_implementing_something_that_is_not_an_effect_is_refused ... ok
[INFO] [stdout] test arithmetic_with_no_answer_says_that_in_its_headline ... ok
[INFO] [stdout] test a_handler_that_leaves_an_operation_out_is_named_with_the_operation ... ok
[INFO] [stdout] test an_operation_given_something_that_is_not_text_says_what_it_was ... ok
[INFO] [stdout] test installing_something_that_is_not_a_handler_is_refused ... ok
[INFO] [stdout] test a_module_that_was_not_handed_over_blames_neither_the_language_nor_the_check ... ok
[INFO] [stdout] test a_closure_that_outlives_its_handler_operation_says_whose_problem_it_is ... ok
[INFO] [stdout] test an_assignment_to_a_name_the_resolver_could_not_find_is_refused ... ok
[INFO] [stdout] test an_io_operation_names_the_capability_it_was_handed ... ok
[INFO] [stdout] test an_effect_reference_that_is_not_an_effect_is_refused ... ok
[INFO] [stdout] test an_operator_two_strings_do_not_have_is_told_apart_from_the_rest ... ok
[INFO] [stdout] test code_that_did_not_parse_is_refused_rather_than_guessed_at ... ok
[INFO] [stdout] test a_field_on_something_with_no_fields_says_what_it_was ... ok
[INFO] [stdout] test an_io_operation_with_no_capability_at_all_is_refused ... ok
[INFO] [stdout] test old_outside_a_contract_is_refused ... ok
[INFO] [stdout] test a_for_condition_that_is_not_a_bool_says_what_it_was ... 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 the_two_arms_nothing_can_reach_are_still_there ... ok
[INFO] [stderr]      Running tests/properties.rs (/opt/rustwide/target/release/deps/properties-daede1cb107de4ef)
[INFO] [stdout] test an_operation_with_an_argument_missing_is_refused ... 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_parameter_the_generator_cannot_produce_stops_it ... ok
[INFO] [stdout] test a_list_gets_shorter_when_its_length_is_what_matters ... ok
[INFO] [stdout] test a_postcondition_that_does_not_hold_is_caught_by_generated_inputs ... ok
[INFO] [stdout] test a_list_counterexample_is_shrunk_too ... ok
[INFO] [stdout] test a_list_parameter_is_generated ... ok
[INFO] [stdout] test a_function_with_no_obligations_gets_nothing ... ok
[INFO] [stdout] test a_precondition_nothing_can_satisfy_is_reported_rather_than_passed ... ok
[INFO] [stdout] test a_different_seed_is_still_a_failure ... ok
[INFO] [stdout] test a_result_payload_is_shrunk_without_changing_the_outcome ... ok
[INFO] [stdout] test a_variant_that_has_no_simpler_sibling_keeps_its_own_name ... ok
[INFO] [stdout] test a_string_gets_shorter_when_its_length_is_what_matters ... ok
[INFO] [stdout] test direct_generation_counts_arguments_it_cannot_make ... ok
[INFO] [stdout] test a_variant_shrinks_to_one_of_its_siblings_that_carries_nothing ... ok
[INFO] [stdout] test direct_generation_uses_the_whole_rejection_budget ... ok
[INFO] [stdout] test a_pure_function_with_a_postcondition_gets_a_property ... ok
[INFO] [stdout] test results_are_generated_on_both_sides ... ok
[INFO] [stdout] test inputs_violating_a_precondition_are_discarded_not_reported ... ok
[INFO] [stdout] test a_negative_counterexample_is_shrunk_to_the_nearest_boundary ... ok
[INFO] [stdout] test an_effectful_function_gets_nothing ... ok
[INFO] [stdout] test it_finds_overflow_in_a_function_that_looks_obviously_correct ... ok
[INFO] [stdout] test the_counterexample_is_shrunk_to_something_readable ... ok
[INFO] [stdout] test the_counter_example_has_a_property_and_it_passes ... FAILED
[INFO] [stdout] test direct_shrinking_honours_the_predicate_and_finds_the_smallest_integer ... ok
[INFO] [stdout] test constraining_the_input_makes_the_same_function_pass ... ok
[INFO] [stdout] test a_string_counterexample_is_shrunk_too ... ok
[INFO] [stdout] test records_and_choices_are_generated ... ok
[INFO] [stdout] test refined_parameters_only_ever_get_values_that_satisfy_them ... ok
[INFO] [stdout] test running_twice_gives_the_same_counterexample ... ok
[INFO] [stderr] error: test failed, to rerun pass `--test properties`
[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' (478) 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:     0x587c48733591 - <<std[70759c8f55707aa4]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[df12db4294e9bfd3]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x587c48749a4a - core[df12db4294e9bfd3]::fmt::write
[INFO] [stdout]    2:     0x587c4873801c - <alloc[2182bb758b4b3781]::vec::Vec<u8> as core[df12db4294e9bfd3]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x587c4870d6a6 - std[70759c8f55707aa4]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x587c4872b099 - std[70759c8f55707aa4]::panicking::default_hook
[INFO] [stdout]    5:     0x587c486336b0 - test[9d35eded1c95d3be]::test_main_inner::<test[9d35eded1c95d3be]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]    6:     0x587c4872b252 - std[70759c8f55707aa4]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x587c4870d752 - std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x587c487060d9 - std[70759c8f55707aa4]::sys::backtrace::__rust_end_short_backtrace::<std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x587c4870e53d - __rustc[8fa7c3cbc660c2b3]::rust_begin_unwind
[INFO] [stdout]   10:     0x587c4874a1bc - core[df12db4294e9bfd3]::panicking::panic_fmt
[INFO] [stdout]   11:     0x587c48749f92 - core[df12db4294e9bfd3]::result::unwrap_failed
[INFO] [stdout]   12:     0x587c48619149 - <properties[91171abae63307fd]::the_counter_example_has_a_property_and_it_passes::{closure#0} as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   13:     0x587c4862699b - test[9d35eded1c95d3be]::__rust_begin_short_backtrace::<core[df12db4294e9bfd3]::result::Result<(), alloc[2182bb758b4b3781]::string::String>, fn() -> core[df12db4294e9bfd3]::result::Result<(), alloc[2182bb758b4b3781]::string::String>>
[INFO] [stdout]   14:     0x587c48634005 - test[9d35eded1c95d3be]::run_test::{closure#0}
[INFO] [stdout]   15:     0x587c4862d8c4 - std[70759c8f55707aa4]::sys::backtrace::__rust_begin_short_backtrace::<test[9d35eded1c95d3be]::run_test::{closure#1}, ()>
[INFO] [stdout]   16:     0x587c48637162 - <std[70759c8f55707aa4]::thread::lifecycle::spawn_unchecked<test[9d35eded1c95d3be]::run_test::{closure#1}, ()>::{closure#1} as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   17:     0x587c48732599 - <std[70759c8f55707aa4]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   18:     0x70f9bb09edfa - <unknown>
[INFO] [stdout]   19:     0x70f9bb1323d4 - 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.06s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "b15e44de9d4594bd07dffe06b0ae2fd6177459f4e3011f65f1d1e193e1aad08d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b15e44de9d4594bd07dffe06b0ae2fd6177459f4e3011f65f1d1e193e1aad08d", kill_on_drop: false }`
[INFO] [stdout] b15e44de9d4594bd07dffe06b0ae2fd6177459f4e3011f65f1d1e193e1aad08d
