[INFO] cloning repository https://github.com/lacker/click
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/lacker/click" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Flacker%2Fclick", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Flacker%2Fclick'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] e9ecc3a451f2f38a90b27d9e0c9447c084121d46
[INFO] testing lacker/click against 1.98.0-beta.1 for beta-1.98-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Flacker%2Fclick" "/workspace/builds/worker-2-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/lacker/click
[INFO] finished tweaking git repo https://github.com/lacker/click
[INFO] tweaked toml for git repo https://github.com/lacker/click written to /workspace/builds/worker-2-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/lacker/click on toolchain 1.98.0-beta.1
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.98.0-beta.1" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/lacker/click 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.98.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-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:3d5ced03c013a94a2f102a4510f48a6e9184255caf5fd8244f58017bde7f5210" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 43438d547f8b2df96bf7766e250eacd6a9f3bdaebddd5c73e67f0a75f7a01e06
[INFO] running `Command { std: "docker" "start" "43438d547f8b2df96bf7766e250eacd6a9f3bdaebddd5c73e67f0a75f7a01e06", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "43438d547f8b2df96bf7766e250eacd6a9f3bdaebddd5c73e67f0a75f7a01e06", 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" "43438d547f8b2df96bf7766e250eacd6a9f3bdaebddd5c73e67f0a75f7a01e06" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.1" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "43438d547f8b2df96bf7766e250eacd6a9f3bdaebddd5c73e67f0a75f7a01e06", 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" "43438d547f8b2df96bf7766e250eacd6a9f3bdaebddd5c73e67f0a75f7a01e06" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.1" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling click v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 19.38s
[INFO] running `Command { std: "docker" "inspect" "43438d547f8b2df96bf7766e250eacd6a9f3bdaebddd5c73e67f0a75f7a01e06", 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" "43438d547f8b2df96bf7766e250eacd6a9f3bdaebddd5c73e67f0a75f7a01e06" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.1" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling click v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 23.05s
[INFO] running `Command { std: "docker" "inspect" "43438d547f8b2df96bf7766e250eacd6a9f3bdaebddd5c73e67f0a75f7a01e06", 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" "43438d547f8b2df96bf7766e250eacd6a9f3bdaebddd5c73e67f0a75f7a01e06" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.1" "test" "--frozen", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.02s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/click-439bb10150f2c98a)
[INFO] [stdout] 
[INFO] [stdout] running 220 tests
[INFO] [stdout] test kernel::tests::additive_equality_cancellation_feeds_range_contradictions ... ok
[INFO] [stdout] test kernel::tests::additive_upper_bound_covers_incremented_pointer_access ... ok
[INFO] [stdout] test kernel::tests::assumptions_do_not_prove_implication_by_treating_unknown_antecedent_as_false ... ok
[INFO] [stdout] test kernel::tests::assumptions_prove_finite_forall_int32_by_instantiation ... ok
[INFO] [stdout] test kernel::tests::assumptions_prove_forall_int32_array_range_body ... ok
[INFO] [stdout] test kernel::tests::assumptions_split_small_finite_context_variable ... ok
[INFO] [stdout] test kernel::tests::assumptions_prove_wrapped_materialized_load_branch_obligation ... ok
[INFO] [stdout] test kernel::tests::assumptions_use_finite_forall_fact_to_prove_condition ... ok
[INFO] [stdout] test kernel::tests::assumptions_resolve_materialized_symbolic_memory_load_aliases ... ok
[INFO] [stdout] test kernel::tests::block_backed_store_then_load_needs_no_memory_obligation ... ok
[INFO] [stdout] test kernel::tests::block_backed_missing_load_returns_symbolic_value_without_obligation ... ok
[INFO] [stdout] test kernel::tests::builtin_obligation_solver_discharges_concrete_invariant ... ok
[INFO] [stdout] test kernel::tests::assumptions_prove_copied_prefix_new_cell_obligation ... ok
[INFO] [stdout] test kernel::tests::assignment_and_sequence_update_native_state ... ok
[INFO] [stdout] test kernel::tests::adjacent_disjoint_fact_ranges_cover_larger_disjoint_goal ... ok
[INFO] [stdout] test kernel::tests::builtin_obligation_solver_proves_trivial_props ... ok
[INFO] [stdout] test kernel::tests::assumptions_prove_by_bounded_disjunction_cases ... ok
[INFO] [stdout] test kernel::tests::call_assign_uses_function_environment ... ok
[INFO] [stdout] test kernel::tests::checked_resource_composition_rejects_invalid_state_before_normalizing ... ok
[INFO] [stdout] test kernel::tests::concrete_function_specification_is_native_theorem ... ok
[INFO] [stdout] test kernel::tests::concrete_max_executes_without_list_encoding ... ok
[INFO] [stdout] test kernel::tests::covering_disjoint_fact_handles_shifted_mutable_range ... ok
[INFO] [stdout] test kernel::tests::countdown_loop_body_preserves_nonnegative_invariant_symbolically ... ok
[INFO] [stdout] test kernel::tests::equality_to_constant_feeds_signed_order_decisions ... ok
[INFO] [stdout] test kernel::tests::equivalent_memory_load_order_facts_can_be_inconsistent ... ok
[INFO] [stdout] test kernel::tests::equivalent_condition_facts_with_different_truth_values_are_inconsistent ... ok
[INFO] [stdout] test kernel::tests::concrete_max_function_call_preserves_caller_locals ... ok
[INFO] [stdout] test kernel::tests::count_shaped_range_fold_split_is_proven_equal ... ok
[INFO] [stdout] test kernel::tests::equality_facts_are_transitive ... ok
[INFO] [stdout] test kernel::tests::disjoint_range_proves_mutable_frame_cell_distinct ... ok
[INFO] [stdout] test kernel::tests::excluded_small_integer_range_is_inconsistent ... ok
[INFO] [stdout] test kernel::tests::executor_budgets_cap_steps_calls_and_paths ... ok
[INFO] [stdout] test kernel::tests::finite_forall_order_fact_participates_in_transitive_order_path ... ok
[INFO] [stdout] test kernel::tests::if_uses_c_int32_truthiness ... ok
[INFO] [stdout] test kernel::tests::function_call_does_not_inherit_undeclared_resources ... ok
[INFO] [stdout] test kernel::tests::int32_subtraction_is_native ... ok
[INFO] [stdout] test kernel::tests::interval_arithmetic_uses_lower_bound_for_incremented_values ... ok
[INFO] [stdout] test kernel::tests::incomplete_symbolic_function_specification_does_not_prove ... ok
[INFO] [stdout] test kernel::tests::interval_arithmetic_proves_increment_bounds_and_no_overflow ... ok
[INFO] [stdout] test kernel::tests::int32_comparisons_return_c_int32_zero_or_one ... ok
[INFO] [stdout] test kernel::tests::known_memory_block_bounds_prove_symbolic_element_access ... ok
[INFO] [stdout] test kernel::tests::fixed_bound_store_loop_touches_only_valid_pointer_range ... ok
[INFO] [stdout] test kernel::tests::function_call_threads_memory_but_discards_callee_locals ... ok
[INFO] [stdout] test kernel::tests::memory_resource_fact_core_is_read_permission ... ok
[INFO] [stdout] test kernel::tests::missing_memory_load_is_native_undefined_behavior ... ok
[INFO] [stdout] test kernel::tests::local_declaration_allocates_stack_object_for_address_of ... ok
[INFO] [stdout] test kernel::tests::mutable_frame_proves_unwritten_load_equal_across_stack_locals ... ok
[INFO] [stdout] test kernel::tests::negative_equality_fact_decides_equality_false ... ok
[INFO] [stdout] test kernel::tests::logical_and_or_short_circuit_right_operand ... ok
[INFO] [stdout] test kernel::tests::memory_load_store_are_native_theorems ... ok
[INFO] [stdout] test kernel::tests::order_solver_uses_negated_less_than_transitively ... ok
[INFO] [stdout] test kernel::tests::pointer_equality_accepts_int32_zero_as_null_pointer_constant ... ok
[INFO] [stdout] test kernel::tests::not_equal_and_not_return_c_int32_zero_or_one ... ok
[INFO] [stdout] test kernel::tests::pointer_equality_returns_c_int32_zero_or_one ... ok
[INFO] [stdout] test kernel::tests::pointer_addition_scales_int32_offsets_for_loads ... ok
[INFO] [stdout] test kernel::tests::pointer_store_through_local_address_updates_named_lvalue ... ok
[INFO] [stdout] test kernel::tests::range_fold_simplifies_empty_and_one_step_ranges ... ok
[INFO] [stdout] test kernel::tests::read_element_permits_pointer_addition_load_beyond_memory_block ... ok
[INFO] [stdout] test kernel::tests::signed_add_overflow_is_native_undefined_behavior ... ok
[INFO] [stdout] test kernel::tests::same_symbolic_base_constant_offsets_are_distinct ... ok
[INFO] [stdout] test kernel::tests::resource_context_observes_write_disjointness ... ok
[INFO] [stdout] test kernel::tests::same_block_frame_uses_symbolic_offset_inequality ... ok
[INFO] [stdout] test kernel::tests::signed_subtract_overflow_is_native_undefined_behavior ... ok
[INFO] [stdout] test kernel::tests::signed_order_solver_knows_int32_universal_bounds ... ok
[INFO] [stdout] test kernel::tests::read_element_permits_symbolic_external_load_from_incomplete_memory ... ok
[INFO] [stdout] test kernel::tests::store_preserves_distinct_memory_cell_frame ... ok
[INFO] [stdout] test kernel::tests::store_then_load_threads_native_memory ... ok
[INFO] [stdout] test kernel::tests::symbolic_disjoint_fact_proves_itself ... ok
[INFO] [stdout] test kernel::tests::symbolic_execution_uses_no_overflow_fact ... ok
[INFO] [stdout] test kernel::tests::symbolic_execution_reports_branch_facts ... ok
[INFO] [stdout] test kernel::tests::symbolic_function_specification_uses_requirements_as_execution_pure_facts ... ok
[INFO] [stdout] test kernel::tests::symbolic_execution_reports_overflow_facts ... ok
[INFO] [stdout] test kernel::tests::symbolic_increment_uses_int_max_bound_to_rule_out_overflow ... ok
[INFO] [stdout] test kernel::tests::symbolic_max_function_call_reports_branch_facts ... ok
[INFO] [stdout] test kernel::tests::symbolic_max_branch_specifications_include_bounds ... ok
[INFO] [stdout] test kernel::tests::symbolic_max_lt_branch_is_native_theorem ... ok
[INFO] [stdout] test kernel::tests::symbolic_pointer_equality_reports_branch_facts ... ok
[INFO] [stdout] test kernel::tests::symbolic_max_not_lt_branch_is_native_theorem ... ok
[INFO] [stdout] test kernel::tests::symbolic_store_invalidates_only_possible_aliasing_cells ... ok
[INFO] [stdout] test kernel::tests::unknown_call_assign_is_runtime_error ... ok
[INFO] [stdout] test kernel::tests::symbolic_valid_range_discharges_pointer_access_obligation ... ok
[INFO] [stdout] test kernel::tests::singleton_integer_range_forces_equality ... ok
[INFO] [stdout] test kernel::tests::unrelated_external_cell_store_preserves_memory_load_with_stack_temporary ... ok
[INFO] [stdout] test kernel::tests::while_invariant_is_proof_obligation ... ok
[INFO] [stdout] test kernel::tests::symbolic_clamp_branch_specifications_include_bounds_under_ordered_limits ... ok
[INFO] [stdout] test lang::c::tests::c0_array_parameter_syntax_lowers_to_pointer_parameter ... ok
[INFO] [stdout] test kernel::tests::symbolic_execution_stops_without_needed_overflow_fact ... ok
[INFO] [stdout] test lang::c::tests::c0_if_condition_uses_c_int32_truthiness ... ok
[INFO] [stdout] test lang::c::tests::c0_syntax_rejects_assignment_to_local_array_object ... ok
[INFO] [stdout] test kernel::tests::while_invariant_rule_proves_symbolic_loop_exit_fact ... ok
[INFO] [stdout] test kernel::tests::while_loop_executes_concrete_countdown ... ok
[INFO] [stdout] test lang::c::tests::c0_syntax_targets_kernel_array_index_store ... ok
[INFO] [stdout] test lang::c::tests::c0_syntax_targets_kernel_assignment_and_sequence ... ok
[INFO] [stdout] test lang::c::tests::c0_syntax_targets_kernel_assignment_function_call ... ok
[INFO] [stdout] test lang::c::tests::c0_clamp_demo_proves_symbolic_branch_specifications ... ok
[INFO] [stdout] test lang::c::tests::c0_syntax_targets_kernel_local_address_of ... ok
[INFO] [stdout] test lang::c::tests::c0_syntax_targets_kernel_known_function_call_assignment ... ok
[INFO] [stdout] test lang::c::tests::c0_syntax_targets_kernel_int32_subtraction_and_comparisons ... ok
[INFO] [stdout] test lang::c::tests::c0_syntax_targets_kernel_max_body ... ok
[INFO] [stdout] test lang::c::tests::c0_syntax_targets_kernel_max_function_call ... ok
[INFO] [stdout] test lang::c::tests::c0_syntax_targets_kernel_address_of_array_index ... ok
[INFO] [stdout] test lang::c::tests::c0_syntax_targets_kernel_local_array_storage ... ok
[INFO] [stdout] test lang::c::tests::c0_syntax_targets_kernel_pointer_null_equality ... ok
[INFO] [stdout] test lang::c::tests::c0_syntax_targets_kernel_logical_short_circuiting ... ok
[INFO] [stdout] test lang::c::tests::c0_syntax_targets_kernel_array_index_load ... ok
[INFO] [stdout] test lang::c::tests::c0_syntax_local_array_decays_to_pointer_argument ... ok
[INFO] [stdout] test lang::c::tests::c0_syntax_targets_kernel_multifield_struct_offset_load ... ok
[INFO] [stdout] test lang::c::tests::c0_syntax_targets_kernel_store_and_load ... ok
[INFO] [stdout] test lang::c::tests::c0_syntax_targets_kernel_pointer_addition_load ... ok
[INFO] [stdout] test lang::c::tests::c0_syntax_targets_kernel_store_and_load_function_call ... ok
[INFO] [stdout] test lang::c::tests::c0_memory_safety_demo_fill_three_ints ... ok
[INFO] [stdout] test lang::c::tests::c0_syntax_targets_kernel_struct_field_load ... ok
[INFO] [stdout] test lang::c::tests::c0_syntax_targets_kernel_struct_pointer_field_roundtrip ... ok
[INFO] [stdout] test lang::c::tests::c0_syntax_targets_kernel_unary_not ... ok
[INFO] [stdout] test lang::c::tests::c0_syntax_targets_kernel_struct_field_store ... ok
[INFO] [stdout] test lang::c::tests::c0_syntax_targets_kernel_while_countdown ... ok
[INFO] [stdout] test kernel::tests::loop_budget_exhaustion_is_executor_failure_not_c_runtime_error ... ok
[INFO] [stdout] test lang::click::tests::false_loop_invariant_fails ... ok
[INFO] [stdout] test lang::click::tests::bare_frame_step_rejects_ensure_claim ... ok
[INFO] [stdout] test lang::click::tests::disjoint_requirement_proves_symbolic_unwritten_read ... ok
[INFO] [stdout] test lang::click::tests::false_loop_invariant_initialization_fails ... ok
[INFO] [stdout] test lang::click::tests::frame_rejects_ensure_clause ... ok
[INFO] [stdout] test lang::click::tests::failed_memory_postcondition_reports_loaded_value ... ok
[INFO] [stdout] test lang::click::tests::failed_ensure_reports_actual_return ... ok
[INFO] [stdout] test lang::click::tests::function_mutable_rejects_loop_effect_outside_function_bound ... ok
[INFO] [stdout] test lang::click::tests::function_immutable_rejects_writing_loop_effect_summary ... ok
[INFO] [stdout] test lang::click::tests::function_immutable_allows_nonwriting_loop_with_mutable_bound ... ok
[INFO] [stdout] test lang::click::tests::loop_level_immutable_allows_stack_local_update ... ok
[INFO] [stdout] test lang::click::tests::immutable_rejects_external_memory_write ... ok
[INFO] [stdout] test lang::click::tests::immutable_allows_stack_local_writes ... ok
[INFO] [stdout] test lang::click::tests::loop_whole_mutable_rejects_loop_modified_local_in_segment ... ok
[INFO] [stdout] test lang::click::tests::loop_level_mutable_segment_rejects_write_outside_segment ... ok
[INFO] [stdout] test lang::click::tests::loop_level_immutable_rejects_external_memory_write ... ok
[INFO] [stdout] test lang::click::tests::function_mutable_uses_loop_effect_summary ... ok
[INFO] [stdout] test lang::click::tests::mutable_segment_rejects_write_outside_segment ... ok
[INFO] [stdout] test lang::click::tests::omitted_ensure_proof_uses_default_prover ... ok
[INFO] [stdout] test lang::click::tests::omitted_effect_proof_uses_default_prover ... ok
[INFO] [stdout] test lang::click::tests::omitted_structural_proofs_use_default_prover ... ok
[INFO] [stdout] test lang::click::tests::auto_certificate_replays_for_bounded_execution ... ok
[INFO] [stdout] test lang::click::tests::function_mutable_accepts_shifted_loop_effect_subset ... ok
[INFO] [stdout] test lang::click::tests::parses_apply_theorem_proof_step ... ok
[INFO] [stdout] test lang::click::tests::parses_composite_resource_definition ... ok
[INFO] [stdout] test lang::click::tests::old_memory_postcondition_fails_for_overwritten_cell ... ok
[INFO] [stdout] test lang::click::tests::parses_array_parameter_signature_as_pointer ... ok
[INFO] [stdout] test lang::click::tests::parses_checked_signature_and_contract_clauses ... ok
[INFO] [stdout] test lang::click::tests::parses_block_by_clause ... ok
[INFO] [stdout] test lang::click::tests::parses_contract_level_let_bindings ... ok
[INFO] [stdout] test lang::click::tests::parses_click_proposition_syntax ... ok
[INFO] [stdout] test lang::click::tests::parses_bounded_execute_proof_step ... ok
[INFO] [stdout] test lang::click::tests::parses_contract_level_let_where_bindings ... ok
[INFO] [stdout] test lang::click::tests::parses_execute_rest_proof_step ... ok
[INFO] [stdout] test lang::click::tests::parses_disjoint_requirement ... ok
[INFO] [stdout] test lang::click::tests::parses_execute_until_proof_step ... ok
[INFO] [stdout] test lang::click::tests::parses_execute_step_proof_step ... ok
[INFO] [stdout] test lang::click::tests::parses_existential_proof_steps ... ok
[INFO] [stdout] test lang::click::tests::parses_loadable_segment_proposition ... ok
[INFO] [stdout] test lang::click::tests::parses_frame_tactic ... ok
[INFO] [stdout] test lang::click::tests::parses_labeled_requirement ... ok
[INFO] [stdout] test lang::click::tests::parses_loop_invariants_and_statement_asserts ... ok
[INFO] [stdout] test lang::click::tests::parses_pilot_struct_pointer_signature_and_field_load ... ok
[INFO] [stdout] test lang::click::tests::parses_old_memory_postcondition ... ok
[INFO] [stdout] test lang::click::tests::parses_pilot_struct_field_mutable_effect ... ok
[INFO] [stdout] test lang::click::tests::parses_memory_postcondition ... ok
[INFO] [stdout] test lang::click::tests::parses_proposition_let_where_bindings ... ok
[INFO] [stdout] test lang::click::tests::parses_resource_verb_function_clauses ... ok
[INFO] [stdout] test lang::click::tests::parses_proof_step_script ... ok
[INFO] [stdout] test lang::click::tests::parses_pure_theorem_definition ... ok
[INFO] [stdout] test lang::click::tests::parses_resource_observe_unfold_and_fold_steps ... ok
[INFO] [stdout] test lang::click::tests::parses_simp_tactic ... ok
[INFO] [stdout] test lang::click::tests::parses_unnamed_ensure_clause ... ok
[INFO] [stdout] test lang::click::tests::rejects_contract_let_parameter_name_conflict ... ok
[INFO] [stdout] test lang::click::tests::parses_unfold_proof_step ... ok
[INFO] [stdout] test lang::click::tests::parses_valid_range_pointer_base_segment ... ok
[INFO] [stdout] test lang::click::tests::parses_valid_range_segment_syntax ... ok
[INFO] [stdout] test lang::click::tests::rejects_legacy_proof_step_region_syntax ... ok
[INFO] [stdout] test lang::click::tests::rejects_legacy_structural_region_syntax ... ok
[INFO] [stdout] test lang::click::tests::parses_symbolic_valid_range_bytes ... ok
[INFO] [stdout] test lang::click::tests::rejects_predicate_call_with_wrong_arity ... ok
[INFO] [stdout] test lang::click::tests::rejects_unknown_predicate_call ... ok
[INFO] [stdout] test lang::click::tests::simp_rejects_loop_backed_claims ... ok
[INFO] [stdout] test lang::click::tests::struct_name_signature_mismatch_reports_direct_error ... ok
[INFO] [stdout] test lang::click::tests::parses_rust_style_let_annotations ... ok
[INFO] [stdout] test lang::click::tests::signature_mismatch_reports_direct_error ... ok
[INFO] [stdout] test lang::click::tests::simp_rejects_effect_clauses ... ok
[INFO] [stdout] test lang::click::tests::rejects_reversed_constant_valid_range_segment ... ok
[INFO] [stdout] test lang::click::tests::quantified_old_memory_rejects_overwritten_cell ... ok
[INFO] [stdout] test lang::click::tests::symbolic_increment_without_numeric_requirement_fails ... ok
[INFO] [stdout] test lang::click::tests::structural_invariant_rejects_frame_tactic ... ok
[INFO] [stdout] test lang::click::tests::auto_certificate_replays_for_loop_frame_claim ... ok
[INFO] [stdout] test lang::click::tests::unfolds_predicate_requirement_to_prove_consequence ... ok
[INFO] [stdout] test lang::click::tests::unfolds_general_sorted_predicate ... ok
[INFO] [stdout] test lang::click::tests::verifies_loadable_segment_proposition_for_indexed_read ... ok
[INFO] [stdout] test lang::click::tests::verifies_click_proposition_logic ... ok
[INFO] [stdout] test lang::click::tests::unfolds_predicate_goal_to_prove_compare_swap_sorted ... ok
[INFO] [stdout] test lang::click::tests::verifies_fill3_c0_source_with_sidecar_specification ... ok
[INFO] [stdout] test lang::click::tests::verifies_loop_level_iteration_relative_mutable_segment ... ok
[INFO] [stdout] test lang::click::tests::verifies_loop_invariants_and_statement_assert ... ok
[INFO] [stdout] test lang::click::tests::verifies_loop_level_growing_prefix_mutable_segment ... ok
[INFO] [stdout] test lang::click::tests::verifies_mutable_effect_with_bounded_frame_steps ... ok
[INFO] [stdout] test lang::click::tests::verifies_loop_level_mutable_segment ... ok
[INFO] [stdout] test lang::click::tests::verifies_mutable_segment_effect ... ok
[INFO] [stdout] test lang::click::tests::verifies_loop_level_shifted_suffix_mutable_segment ... ok
[INFO] [stdout] test lang::click::tests::verifies_memory_postcondition ... ok
[INFO] [stdout] test lang::click::tests::verifies_loop_level_multi_segment_mutable_footprint ... ok
[INFO] [stdout] test lang::click::tests::structural_invariant_allows_unfold_only_steps ... ok
[INFO] [stdout] test lang::click::tests::verifies_old_memory_postcondition_for_unmodified_cell ... ok
[INFO] [stdout] test lang::click::tests::verifies_omitted_proof_with_default_prover ... ok
[INFO] [stdout] test lang::click::tests::verifies_quantified_old_memory_postcondition ... ok
[INFO] [stdout] test lang::click::tests::verifies_old_memory_loop_invariant ... ok
[INFO] [stdout] test lang::click::tests::verifies_pure_theorem_definition ... ok
[INFO] [stdout] test lang::click::tests::verifies_shifted_valid_range_and_mutable_segment ... ok
[INFO] [stdout] test lang::click::tests::verifies_opaque_predicate_from_requirement ... ok
[INFO] [stdout] test lang::click::tests::verifies_old_memory_loop_invariant_with_segment_bounds ... ok
[INFO] [stdout] test lang::click::tests::verifies_simp_normalizes_simple_postconditions ... ok
[INFO] [stdout] test lang::click::tests::verifies_simple_postcondition_with_proof_steps ... ok
[INFO] [stdout] test lang::click::tests::verifies_symbolic_increment_with_numeric_requirement ... ok
[INFO] [stdout] test lang::click::tests::verifies_symbolic_result_expression ... ok
[INFO] [stdout] test lang::click::tests::verifies_symbolic_segment_valid_range ... ok
[INFO] [stdout] test lang::click::tests::verifies_symbolic_loop_mutable_segment ... ok
[INFO] [stdout] test lang::click::tests::verifies_symbolic_copy_segment_invariant ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 220 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.98s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/examples.rs (/opt/rustwide/target/debug/deps/examples-9041f9cfe3dd8099)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test example_projects ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.08s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/mdtests.rs (/opt/rustwide/target/debug/deps/mdtests-1b3fc6719c6d5af6)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test mdtests has been running for over 60 seconds
[ERROR] error running command: no output for 300 seconds
[INFO] running `Command { std: "docker" "inspect" "43438d547f8b2df96bf7766e250eacd6a9f3bdaebddd5c73e67f0a75f7a01e06", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "43438d547f8b2df96bf7766e250eacd6a9f3bdaebddd5c73e67f0a75f7a01e06", kill_on_drop: false }`
[INFO] [stdout] 43438d547f8b2df96bf7766e250eacd6a9f3bdaebddd5c73e67f0a75f7a01e06
