[INFO] fetching crate pvmsafe 0.1.0...
[INFO] testing pvmsafe-0.1.0 against 1.99.0-beta.8 for beta-1.100-2
[INFO] extracting crate pvmsafe 0.1.0 into /workspace/builds/worker-7-tc1/source
[INFO] started tweaking crates.io crate pvmsafe 0.1.0
[INFO] finished tweaking crates.io crate pvmsafe 0.1.0
[INFO] tweaked toml for crates.io crate pvmsafe 0.1.0 written to /workspace/builds/worker-7-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate pvmsafe 0.1.0 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 pvmsafe 0.1.0 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] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:3111399a4047eeb3a02b7a90e478d715f38a8c6669b5c4b49d30a17385265909" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 4e2875883a356fcfcef53c6862b2c219e9b5e31e8721b60bf7521b32489f6a93
[INFO] running `Command { std: "docker" "start" "4e2875883a356fcfcef53c6862b2c219e9b5e31e8721b60bf7521b32489f6a93", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "4e2875883a356fcfcef53c6862b2c219e9b5e31e8721b60bf7521b32489f6a93", 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" "4e2875883a356fcfcef53c6862b2c219e9b5e31e8721b60bf7521b32489f6a93" "/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" "4e2875883a356fcfcef53c6862b2c219e9b5e31e8721b60bf7521b32489f6a93", 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" "4e2875883a356fcfcef53c6862b2c219e9b5e31e8721b60bf7521b32489f6a93" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling unicode-ident v1.0.24
[INFO] [stderr]    Compiling quote v1.0.45
[INFO] [stderr]    Compiling proc-macro2 v1.0.106
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]    Compiling pvmsafe v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: methods `is_empty` and `is_subset_of` are never used
[INFO] [stdout]   --> src/effects/atoms.rs:55:12
[INFO] [stdout]    |
[INFO] [stdout] 42 | impl EffectSet {
[INFO] [stdout]    | -------------- methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 55 |     pub fn is_empty(&self) -> bool {
[INFO] [stdout]    |            ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 67 |     pub fn is_subset_of(&self, other: &EffectSet) -> bool {
[INFO] [stdout]    |            ^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 7.59s
[INFO] running `Command { std: "docker" "inspect" "4e2875883a356fcfcef53c6862b2c219e9b5e31e8721b60bf7521b32489f6a93", 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" "4e2875883a356fcfcef53c6862b2c219e9b5e31e8721b60bf7521b32489f6a93" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling pvmsafe v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: methods `is_empty` and `is_subset_of` are never used
[INFO] [stdout]   --> src/effects/atoms.rs:55:12
[INFO] [stdout]    |
[INFO] [stdout] 42 | impl EffectSet {
[INFO] [stdout]    | -------------- methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 55 |     pub fn is_empty(&self) -> bool {
[INFO] [stdout]    |            ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 67 |     pub fn is_subset_of(&self, other: &EffectSet) -> bool {
[INFO] [stdout]    |            ^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 2.86s
[INFO] running `Command { std: "docker" "inspect" "4e2875883a356fcfcef53c6862b2c219e9b5e31e8721b60bf7521b32489f6a93", 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" "4e2875883a356fcfcef53c6862b2c219e9b5e31e8721b60bf7521b32489f6a93" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "test" "--frozen", kill_on_drop: false }`
[INFO] [stderr] warning: methods `is_empty` and `is_subset_of` are never used
[INFO] [stderr]   --> src/effects/atoms.rs:55:12
[INFO] [stderr]    |
[INFO] [stderr] 42 | impl EffectSet {
[INFO] [stderr]    | -------------- methods in this implementation
[INFO] [stderr] ...
[INFO] [stderr] 55 |     pub fn is_empty(&self) -> bool {
[INFO] [stderr]    |            ^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 67 |     pub fn is_subset_of(&self, other: &EffectSet) -> bool {
[INFO] [stderr]    |            ^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: `pvmsafe` (lib) generated 1 warning
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.03s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/pvmsafe-04445c89efc7101c)
[INFO] [stdout] 
[INFO] [stdout] running 184 tests
[INFO] [stdout] test effects::atoms::tests::allow_write_after_call_is_parsed ... ok
[INFO] [stdout] test effects::atoms::tests::allow_emit_after_call_is_parsed ... ok
[INFO] [stdout] test effects::atoms::tests::duplicate_effect_attribute_is_rejected ... ok
[INFO] [stdout] test effects::atoms::tests::effect_set_difference ... ok
[INFO] [stdout] test effects::atoms::tests::effect_set_union_and_subset ... ok
[INFO] [stdout] test effects::atoms::tests::missing_attribute_returns_none ... ok
[INFO] [stdout] test effects::atoms::tests::unknown_allow_kind_is_rejected ... ok
[INFO] [stdout] test effects::atoms::tests::empty_parens_are_the_empty_set ... ok
[INFO] [stdout] test effects::atoms::tests::pure_is_the_empty_set ... ok
[INFO] [stdout] test effects::atoms::tests::multiple_allow_kinds_are_parsed ... ok
[INFO] [stdout] test effects::atoms::tests::pure_combined_with_other_atoms_is_rejected ... ok
[INFO] [stdout] test effects::atoms::tests::unknown_atom_is_rejected ... ok
[INFO] [stdout] test effects::check::tests::assertion_diff_ignores_underclaimed_is_rejected ... ok
[INFO] [stdout] test effects::check::tests::clean_linear_call_then_write_is_rejected ... ok
[INFO] [stdout] test effects::check::tests::effect_allow_emit_after_call_suppresses_error ... ok
[INFO] [stdout] test effects::check::tests::assertion_diff_ok_when_subset ... ok
[INFO] [stdout] test effects::check::tests::pure_declaration_with_side_effect_body_is_rejected ... ok
[INFO] [stdout] test effects::check::tests::effect_allow_write_after_call_suppresses_error ... ok
[INFO] [stdout] test effects::atoms::tests::multiple_effects_are_parsed ... ok
[INFO] [stdout] test effects::check::tests::method_call_participates_in_cei ... ok
[INFO] [stdout] test effects::check::tests::match_arms_merge_seen_call_state ... ok
[INFO] [stdout] test effects::check::tests::effect_allow_write_does_not_suppress_emit_violation ... ok
[INFO] [stdout] test effects::check::tests::pure_declaration_and_pure_body_passes ... ok
[INFO] [stdout] test effects::check::tests::write_after_call_across_if_branches_is_flagged ... ok
[INFO] [stdout] test effects::check::tests::emit_after_call_is_rejected ... ok
[INFO] [stdout] test effects::atoms::tests::single_effect_is_parsed ... ok
[INFO] [stdout] test effects::check::tests::loop_treats_write_after_body_call_as_cross_iteration ... ok
[INFO] [stdout] test effects::check::tests::no_call_no_violation ... ok
[INFO] [stdout] test effects::check::tests::transitive_call_effect_triggers_cei_check ... ok
[INFO] [stdout] test effects::check::tests::assertion_diff_flags_undeclared_effect ... ok
[INFO] [stdout] test effects::check::tests::write_inside_one_branch_only_is_flagged ... ok
[INFO] [stdout] test effects::check::tests::unknown_external_leaf_contributes_nothing_to_cei ... ok
[INFO] [stdout] test effects::check::tests::write_then_call_is_ok ... ok
[INFO] [stdout] test effects::infer::tests::body_inferred_reflects_unwrapped_callees_for_self ... ok
[INFO] [stdout] test effects::infer::tests::declared_at_callee_hides_body_from_caller ... ok
[INFO] [stdout] test effects::infer::tests::empty_module_yields_empty_analysis ... ok
[INFO] [stdout] test effects::infer::tests::method_call_is_captured_as_callee ... ok
[INFO] [stdout] test effects::infer::tests::mutual_recursion_converges ... ok
[INFO] [stdout] test effects::infer::tests::declared_effects_are_recorded ... ok
[INFO] [stdout] test effects::infer::tests::pure_is_recorded_as_empty_declared_set ... ok
[INFO] [stdout] test effects::infer::tests::caller_inherits_effect_from_declared_callee ... ok
[INFO] [stdout] test effects::infer::tests::effective_of_prefers_declared_over_inferred ... ok
[INFO] [stdout] test effects::infer::tests::unknown_external_callee_contributes_nothing ... ok
[INFO] [stdout] test effects::infer::tests::leaf_fn_without_declaration_has_empty_effects ... ok
[INFO] [stdout] test effects::infer::tests::transitive_propagation_through_chain ... ok
[INFO] [stdout] test effects::infer::tests::nested_control_flow_still_collects_callees ... ok
[INFO] [stdout] test pipeline::tests::pipeline_emits_division_error ... ok
[INFO] [stdout] test pipeline::tests::pipeline_clean_code_produces_no_errors ... ok
[INFO] [stdout] test pipeline::tests::pipeline_emits_ensures_error ... ok
[INFO] [stdout] test pipeline::tests::pipeline_emits_addition_error ... ok
[INFO] [stdout] test pipeline::tests::pipeline_emits_entrypoint_error ... ok
[INFO] [stdout] test pipeline::tests::pipeline_emits_cei_error ... ok
[INFO] [stdout] test pipeline::tests::pipeline_emits_let_refine_error ... ok
[INFO] [stdout] test pipeline::tests::pipeline_emits_conservation_error ... ok
[INFO] [stdout] test effects::infer::tests::multiple_effects_propagate_together ... ok
[INFO] [stdout] test pipeline::tests::pipeline_emits_subtraction_error ... ok
[INFO] [stdout] test pipeline::tests::pipeline_emits_refinement_error ... ok
[INFO] [stdout] test refine::check::tests::accepts_literal_argument_satisfying_refinement ... ok
[INFO] [stdout] test refine::check::tests::addition_between_literals_is_accepted ... ok
[INFO] [stdout] test pipeline::tests::pipeline_strips_all_pvmsafe_attrs ... ok
[INFO] [stdout] test refine::check::tests::addition_on_non_integer_is_skipped ... ok
[INFO] [stdout] test refine::check::tests::accepts_call_where_refinement_is_proved ... ok
[INFO] [stdout] test refine::check::tests::addition_suppressed_by_given ... ok
[INFO] [stdout] test refine::check::tests::addition_between_variables_is_flagged ... ok
[INFO] [stdout] test pipeline::tests::pipeline_strips_invariant_and_delta_attrs ... ok
[INFO] [stdout] test refine::check::tests::addition_variable_plus_literal_is_flagged ... ok
[INFO] [stdout] test refine::check::tests::conjunctive_condition_both_facts_available ... ok
[INFO] [stdout] test refine::check::tests::assumption_does_not_leak_past_if ... ok
[INFO] [stdout] test refine::check::tests::conservation_bare_delta_rejected_when_named_groups ... ok
[INFO] [stdout] test refine::check::tests::conservation_balanced_deltas_accepted ... ok
[INFO] [stdout] test refine::check::tests::conservation_branch_scoped_deltas ... ok
[INFO] [stdout] test refine::check::tests::conservation_literal_deltas_accepted ... ok
[INFO] [stdout] test refine::check::tests::conservation_explicit_return_checks ... ok
[INFO] [stdout] test refine::check::tests::conservation_non_entrypoint_not_checked ... ok
[INFO] [stdout] test refine::check::tests::conservation_early_return_before_deltas_ok ... ok
[INFO] [stdout] test refine::check::tests::conservation_named_group_balanced_accepted ... ok
[INFO] [stdout] test refine::check::tests::conservation_mint_with_supply_accepted ... ok
[INFO] [stdout] test refine::check::tests::conservation_no_invariant_no_check ... ok
[INFO] [stdout] test refine::check::tests::conservation_multiple_named_groups_independent ... ok
[INFO] [stdout] test refine::check::tests::conservation_unbalanced_literal_rejected ... ok
[INFO] [stdout] test refine::check::tests::conservation_multiple_writes_sum_to_zero ... ok
[INFO] [stdout] test refine::check::tests::division_by_proven_nonzero_is_accepted ... ok
[INFO] [stdout] test refine::check::tests::constructor_with_no_params_is_ok ... ok
[INFO] [stdout] test refine::check::tests::conservation_unbalanced_rejected ... ok
[INFO] [stdout] test refine::check::tests::conservation_one_group_unbalanced_rejected ... ok
[INFO] [stdout] test refine::check::tests::division_guarded_by_if_is_accepted ... ok
[INFO] [stdout] test refine::check::tests::conservation_unknown_group_rejected ... ok
[INFO] [stdout] test refine::check::tests::division_by_zero_literal_is_flagged ... ok
[INFO] [stdout] test refine::check::tests::each_bare_param_produces_its_own_error ... ok
[INFO] [stdout] test refine::check::tests::division_by_variable_without_proof_is_flagged ... ok
[INFO] [stdout] test refine::check::tests::disjunctive_condition_not_negated_in_else ... ok
[INFO] [stdout] test refine::check::tests::early_return_discharges_subtraction ... ok
[INFO] [stdout] test refine::check::tests::division_suppressed_by_given ... ok
[INFO] [stdout] test refine::check::tests::else_branch_uses_negated_condition ... ok
[INFO] [stdout] test refine::check::tests::division_by_positive_literal_is_accepted ... ok
[INFO] [stdout] test refine::check::tests::ensures_injects_assumption_at_call_site ... ok
[INFO] [stdout] test refine::check::tests::early_return_with_expr_body_diverges ... ok
[INFO] [stdout] test refine::check::tests::ensures_body_satisfying_predicate_is_accepted ... ok
[INFO] [stdout] test refine::check::tests::ensures_through_try_discharges_subtraction ... ok
[INFO] [stdout] test refine::check::tests::ensures_works_through_try_operator ... ok
[INFO] [stdout] test refine::check::tests::ensures_invalidated_by_shadowing ... ok
[INFO] [stdout] test refine::check::tests::ensures_body_that_violates_predicate_is_rejected ... ok
[INFO] [stdout] test refine::check::tests::ensures_uses_param_refinements_as_assumptions ... ok
[INFO] [stdout] test refine::check::tests::early_return_guard_adds_negation ... ok
[INFO] [stdout] test refine::check::tests::ensures_explicit_return_is_checked ... ok
[INFO] [stdout] test refine::check::tests::entrypoint_with_bare_int_param_errors_with_param_name ... ok
[INFO] [stdout] test refine::check::tests::early_return_negation_scoped_to_block ... ok
[INFO] [stdout] test refine::check::tests::ensures_scoped_to_binding_name ... ok
[INFO] [stdout] test refine::check::tests::entrypoint_with_refined_int_and_unchecked_address_is_ok ... ok
[INFO] [stdout] test refine::check::tests::ignores_calls_to_unrefined_methods ... ok
[INFO] [stdout] test refine::check::tests::given_composes_with_walker_inferred_facts ... ok
[INFO] [stdout] test refine::check::tests::let_refine_accepted_when_provable ... ok
[INFO] [stdout] test refine::check::tests::let_refine_discharges_subtraction ... ok
[INFO] [stdout] test refine::check::tests::ensures_without_let_binding_does_not_inject ... ok
[INFO] [stdout] test refine::check::tests::let_refine_literal_zero_rejected ... ok
[INFO] [stdout] test refine::check::tests::let_refine_rejected_when_unprovable ... ok
[INFO] [stdout] test refine::check::tests::given_with_conjunction_exposes_both_facts ... ok
[INFO] [stdout] test refine::check::tests::if_condition_discharges_refinement_in_then_branch ... ok
[INFO] [stdout] test refine::check::tests::let_refine_invalidated_by_shadowing ... ok
[INFO] [stdout] test refine::check::tests::ensures_discharges_subtraction_safety ... ok
[INFO] [stdout] test refine::check::tests::inner_if_scope_does_not_leak_to_sibling ... ok
[INFO] [stdout] test refine::check::tests::fallback_with_no_params_is_ok ... ok
[INFO] [stdout] test refine::check::tests::let_refine_with_literal ... ok
[INFO] [stdout] test refine::check::tests::multiplication_suppressed_by_given ... ok
[INFO] [stdout] test refine::check::tests::multiplication_between_variables_is_flagged ... ok
[INFO] [stdout] test refine::check::tests::let_shadowing_invalidates_prior_refinement ... ok
[INFO] [stdout] test refine::check::tests::mutation_inside_then_branch_does_not_leak_to_sibling ... ok
[INFO] [stdout] test refine::check::tests::entrypoint_with_unchecked_everywhere_is_ok ... ok
[INFO] [stdout] test refine::check::tests::medium_prefix_method_is_recognized_as_entrypoint ... ok
[INFO] [stdout] test refine::check::tests::let_refine_injects_assumption_for_subsequent_code ... ok
[INFO] [stdout] test refine::check::tests::given_attribute_adds_assumption_for_single_call ... ok
[INFO] [stdout] test refine::check::tests::ensures_substitutes_params_at_call_site ... ok
[INFO] [stdout] test refine::check::tests::modulo_by_proven_nonzero_is_accepted ... ok
[INFO] [stdout] test refine::check::tests::given_does_not_leak_to_next_statement ... ok
[INFO] [stdout] test refine::check::tests::rejects_call_without_caller_assumption ... ok
[INFO] [stdout] test refine::check::tests::nested_ifs_accumulate_assumptions ... ok
[INFO] [stdout] test refine::check::tests::short_prefix_fallback_is_recognized_as_entrypoint ... ok
[INFO] [stdout] test refine::check::tests::rejects_literal_argument_violating_refinement ... ok
[INFO] [stdout] test refine::check::tests::non_entrypoint_helper_with_bare_params_is_ok ... ok
[INFO] [stdout] test refine::check::tests::non_diverging_then_branch_not_treated_as_guard ... ok
[INFO] [stdout] test refine::check::tests::path_sensitivity_chains_through_transitivity ... ok
[INFO] [stdout] test refine::check::tests::non_integer_subtraction_is_silently_skipped ... ok
[INFO] [stdout] test refine::check::tests::proves_weaker_from_stronger_at_call_site ... ok
[INFO] [stdout] test refine::check::tests::reassignment_does_not_affect_other_vars ... ok
[INFO] [stdout] test refine::check::tests::partial_coverage_only_errors_on_missing_param ... ok
[INFO] [stdout] test refine::check::tests::short_prefix_constructor_is_recognized_as_entrypoint ... ok
[INFO] [stdout] test refine::check::tests::modulo_by_variable_without_proof_is_flagged ... ok
[INFO] [stdout] test refine::check::tests::subtraction_guarded_by_if_is_accepted ... ok
[INFO] [stdout] test refine::check::tests::multiple_guards_accumulate ... ok
[INFO] [stdout] test refine::check::tests::subtraction_with_literal_is_rejected_when_unprovable ... ok
[INFO] [stdout] test refine::check::tests::multiplication_between_literals_is_accepted ... ok
[INFO] [stdout] test refine::check::tests::subtraction_rejected_without_refinements ... ok
[INFO] [stdout] test refine::check::tests::untranslatable_condition_is_ignored_soundly ... ok
[INFO] [stdout] test refine::check::tests::subtraction_discharged_by_given_attribute ... ok
[INFO] [stdout] test refine::check::tests::short_prefix_method_is_recognized_as_entrypoint ... ok
[INFO] [stdout] test refine::fm::tests::proves_ge_1_from_gt_0_over_integers ... ok
[INFO] [stdout] test refine::fm::tests::proves_same_predicate ... ok
[INFO] [stdout] test refine::check::tests::subtraction_with_literal_accepted_when_lower_bound_known ... ok
[INFO] [stdout] test refine::lir::tests::overflow_detected_on_add ... ok
[INFO] [stdout] test refine::fm::tests::refuses_stronger_from_weaker ... ok
[INFO] [stdout] test refine::fm::tests::proves_via_transitivity ... ok
[INFO] [stdout] test refine::check::tests::short_prefix_with_refine_is_ok ... ok
[INFO] [stdout] test refine::fm::tests::proves_weaker_from_stronger ... ok
[INFO] [stdout] test refine::translate::tests::accepts_literal_coefficient ... ok
[INFO] [stdout] test refine::lir::tests::overflow_detected_on_scale ... ok
[INFO] [stdout] test refine::check::tests::reassignment_invalidates_assumption ... ok
[INFO] [stdout] test refine::lir::tests::scale_multiplies ... ok
[INFO] [stdout] test refine::translate::tests::rejects_division ... ok
[INFO] [stdout] test refine::check::tests::subtraction_proven_safe_from_refinements ... ok
[INFO] [stdout] test refine::translate::tests::rejects_nonlinear_two_unknowns ... ok
[INFO] [stdout] test refine::translate::tests::splits_conjunction ... ok
[INFO] [stdout] test refine::translate::tests::translates_eq_as_two_constraints ... ok
[INFO] [stdout] test refine::check::tests::vault_contract_withdraw_without_guard_fails ... ok
[INFO] [stdout] test refine::check::tests::vault_contract_withdraw_is_safe ... ok
[INFO] [stdout] test refine::fm::tests::proves_sum_positive ... ok
[INFO] [stdout] test refine::lir::tests::sub_negates ... ok
[INFO] [stdout] test refine::translate::tests::translates_gt_to_tightened ... ok
[INFO] [stdout] test refine::translate::tests::handles_parenthesized ... ok
[INFO] [stdout] test refine::translate::tests::handles_unary_negation ... ok
[INFO] [stdout] test refine::lir::tests::add_combines_coefficients ... ok
[INFO] [stdout] test refine::lir::tests::add_drops_zeroed_terms ... ok
[INFO] [stdout] test refine::lir::tests::scale_by_zero_clears ... ok
[INFO] [stdout] test refine::fm::tests::refuses_unrelated_vars ... ok
[INFO] [stdout] test refine::translate::tests::translates_ge_without_tightening ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 184 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.08s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests pvmsafe
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "4e2875883a356fcfcef53c6862b2c219e9b5e31e8721b60bf7521b32489f6a93", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "4e2875883a356fcfcef53c6862b2c219e9b5e31e8721b60bf7521b32489f6a93", kill_on_drop: false }`
[INFO] [stdout] 4e2875883a356fcfcef53c6862b2c219e9b5e31e8721b60bf7521b32489f6a93
