[INFO] fetching crate assura-types 0.2.0...
[INFO] testing assura-types-0.2.0 against 1.97.0-beta.6 for beta-1.98-1
[INFO] extracting crate assura-types 0.2.0 into /workspace/builds/worker-2-tc1/source
[INFO] started tweaking crates.io crate assura-types 0.2.0
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate assura-types 0.2.0
[INFO] tweaked toml for crates.io crate assura-types 0.2.0 written to /workspace/builds/worker-2-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate assura-types 0.2.0 on toolchain 1.97.0-beta.6
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.97.0-beta.6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate assura-types 0.2.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.97.0-beta.6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded assura-stdlib v0.2.0
[INFO] [stderr]   Downloaded ariadne v0.6.0
[INFO] [stderr]   Downloaded assura-resolve v0.2.0
[INFO] [stderr]   Downloaded assura-parser v0.2.0
[INFO] [stderr]   Downloaded assura-config v0.2.0
[INFO] [stderr]   Downloaded assura-ast v0.2.0
[INFO] [stderr]   Downloaded assura-diagnostics v0.2.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:3d5ced03c013a94a2f102a4510f48a6e9184255caf5fd8244f58017bde7f5210" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 9c1b0b119029cc542744f1681636a595b57c068da1040e617fc663316f7e3f6a
[INFO] running `Command { std: "docker" "start" "9c1b0b119029cc542744f1681636a595b57c068da1040e617fc663316f7e3f6a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "9c1b0b119029cc542744f1681636a595b57c068da1040e617fc663316f7e3f6a", 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" "9c1b0b119029cc542744f1681636a595b57c068da1040e617fc663316f7e3f6a" "/opt/rustwide/cargo-home/bin/cargo" "+1.97.0-beta.6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "9c1b0b119029cc542744f1681636a595b57c068da1040e617fc663316f7e3f6a", 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" "9c1b0b119029cc542744f1681636a595b57c068da1040e617fc663316f7e3f6a" "/opt/rustwide/cargo-home/bin/cargo" "+1.97.0-beta.6" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling memchr v2.8.2
[INFO] [stderr]    Compiling yansi v1.0.1
[INFO] [stderr]    Compiling countme v3.0.1
[INFO] [stderr]    Compiling hashbrown v0.14.5
[INFO] [stderr]    Compiling text-size v1.1.1
[INFO] [stderr]    Compiling rustc-hash v1.1.0
[INFO] [stderr]    Compiling assura-ast v0.2.0
[INFO] [stderr]    Compiling syn v2.0.118
[INFO] [stderr]    Compiling ariadne v0.6.0
[INFO] [stderr]    Compiling rowan v0.16.1
[INFO] [stderr]    Compiling aho-corasick v1.1.4
[INFO] [stderr]    Compiling regex-automata v0.4.14
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling logos-codegen v0.16.1
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling assura-diagnostics v0.2.0
[INFO] [stderr]    Compiling assura-config v0.2.0
[INFO] [stderr]    Compiling logos-derive v0.16.1
[INFO] [stderr]    Compiling logos v0.16.1
[INFO] [stderr]    Compiling assura-parser v0.2.0
[INFO] [stderr]    Compiling assura-stdlib v0.2.0
[INFO] [stderr]    Compiling assura-resolve v0.2.0
[INFO] [stderr]    Compiling assura-types v0.2.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 25.20s
[INFO] running `Command { std: "docker" "inspect" "9c1b0b119029cc542744f1681636a595b57c068da1040e617fc663316f7e3f6a", 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" "9c1b0b119029cc542744f1681636a595b57c068da1040e617fc663316f7e3f6a" "/opt/rustwide/cargo-home/bin/cargo" "+1.97.0-beta.6" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling assura-types v0.2.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 12.52s
[INFO] running `Command { std: "docker" "inspect" "9c1b0b119029cc542744f1681636a595b57c068da1040e617fc663316f7e3f6a", 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" "9c1b0b119029cc542744f1681636a595b57c068da1040e617fc663316f7e3f6a" "/opt/rustwide/cargo-home/bin/cargo" "+1.97.0-beta.6" "test" "--frozen", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.05s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/assura_types-d74a14363d61214b)
[INFO] [stdout] 
[INFO] [stdout] running 1672 tests
[INFO] [stdout] test checkers::effects::tests::check_known_rejects_unknown_a07003 ... ok
[INFO] [stdout] test checkers::effects::tests::check_known_accepts_dotted_sub_effect ... ok
[INFO] [stdout] test checkers::effects::tests::check_known_accepts_builtin ... ok
[INFO] [stdout] test checkers::effects::tests::containment_declared_io_allows_console_read ... ok
[INFO] [stdout] test checkers::effects::tests::containment_pure_with_pure_ok ... ok
[INFO] [stdout] test checkers::effects::tests::containment_undeclared_effect_a07001 ... ok
[INFO] [stdout] test checkers::effects::tests::from_effect_names_filters_pure ... ok
[INFO] [stdout] test checkers::effects::tests::insert_and_contains ... ok
[INFO] [stdout] test checkers::effects::tests::expand_io_includes_sub_effects ... ok
[INFO] [stdout] test checkers::effects::tests::is_block_kind_keyword_filtered ... ok
[INFO] [stdout] test checkers::effects::tests::pure_effect_set_is_empty ... ok
[INFO] [stdout] test checkers::error_propagation::tests::a14002_frame_assertion_excluded ... ok
[INFO] [stdout] test checkers::error_propagation::tests::a14002_modification_detected ... ok
[INFO] [stdout] test checkers::error_propagation::tests::a14002_modified_var_no_error ... ok
[INFO] [stdout] test checkers::error_propagation::tests::a14002_old_eq_x_reversed ... ok
[INFO] [stdout] test checkers::error_propagation::tests::allowed_translation_ok ... ok
[INFO] [stdout] test checkers::error_propagation::tests::frame_checker_empty_has_no_modifies ... ok
[INFO] [stdout] test checkers::error_propagation::tests::frame_checker_is_modified_or_under ... ok
[INFO] [stdout] test checkers::error_propagation::tests::frame_checker_with_modifies ... ok
[INFO] [stdout] test checkers::error_propagation::tests::masked_translation_a12002 ... ok
[INFO] [stdout] test checkers::effects::tests::containment_pure_with_effects_a07002 ... ok
[INFO] [stdout] test checkers::error_propagation::tests::swallow_must_propagate_a12001 ... ok
[INFO] [stdout] test checkers::error_propagation::tests::propagate_must_propagate_ok ... ok
[INFO] [stdout] test checkers::error_propagation::tests::unchecked_call_a12003 ... ok
[INFO] [stdout] test checkers::error_propagation::tests::unchecked_call_no_policy_ok ... ok
[INFO] [stdout] test checkers::ffi::tests::check_file_aggregates_errors ... ok
[INFO] [stdout] test checkers::ffi::tests::extern_missing_boundary_a11001 ... ok
[INFO] [stdout] test checkers::ffi::tests::extern_with_boundary_and_contract_ok ... ok
[INFO] [stdout] test checkers::ffi::tests::ffi_call_contracted_skips_validation ... ok
[INFO] [stdout] test checkers::ffi::tests::ffi_call_unvalidated_result_a11003 ... ok
[INFO] [stdout] test checkers::ffi::tests::unsafe_inside_ffi_wrapper_ok ... ok
[INFO] [stdout] test checkers::fixed_width::tests::add_u8_can_overflow ... ok
[INFO] [stdout] test checkers::ffi::tests::unsafe_outside_ffi_wrapper_a11004 ... ok
[INFO] [stdout] test checkers::fixed_width::tests::add_u8_to_u32_no_overflow ... ok
[INFO] [stdout] test checkers::ffi::tests::untrusted_extern_without_contract_a11002 ... ok
[INFO] [stdout] test checkers::fixed_width::tests::cast_safety_narrowing_a10102 ... ok
[INFO] [stdout] test checkers::fixed_width::tests::cast_safety_widening_ok ... ok
[INFO] [stdout] test checkers::fixed_width::tests::check_binop_overflow_a10101 ... ok
[INFO] [stdout] test checkers::fixed_width::tests::division_by_literal_zero_a10104 ... ok
[INFO] [stdout] test checkers::fixed_width::tests::division_by_nonzero_ok ... ok
[INFO] [stdout] test checkers::fixed_width::tests::is_fixed_width_true_for_u32 ... ok
[INFO] [stdout] test checkers::fixed_width::tests::is_unsigned_and_signed ... ok
[INFO] [stdout] test checkers::fixed_width::tests::range_for_i16 ... ok
[INFO] [stdout] test checkers::fixed_width::tests::range_for_non_fixed_width_is_none ... ok
[INFO] [stdout] test checkers::fixed_width::tests::range_for_u8 ... ok
[INFO] [stdout] test checkers::fixed_width::tests::safe_cast_widening ... ok
[INFO] [stdout] test checkers::fixed_width::tests::signedness_mismatch_a10103 ... ok
[INFO] [stdout] test checkers::fixed_width::tests::signedness_same_ok ... ok
[INFO] [stdout] test checkers::fixed_width::tests::unsafe_cast_narrowing ... ok
[INFO] [stdout] test checkers::frame::tests::collect_frame_equality_nested_in_and ... ok
[INFO] [stdout] test checkers::frame::tests::collect_frame_equality_vars_gt_not_frame ... ok
[INFO] [stdout] test checkers::frame::tests::collect_frame_equality_vars_eq_old ... ok
[INFO] [stdout] test checkers::frame::tests::collect_frame_equality_vars_mismatched_names ... ok
[INFO] [stdout] test checkers::frame::tests::collect_frame_equality_vars_old_eq ... ok
[INFO] [stdout] test checkers::frame::tests::collect_ident_references_skips_builtins ... ok
[INFO] [stdout] test checkers::frame::tests::collect_old_references_ident ... ok
[INFO] [stdout] test checkers::frame::tests::collect_old_references_field ... ok
[INFO] [stdout] test checkers::frame::tests::extract_modifies_block_of_idents ... ok
[INFO] [stdout] test checkers::frame::tests::extract_modifies_single_ident ... ok
[INFO] [stdout] test checkers::info_flow::tests::dep_check_bool_index_rejects_arithmetic ... ok
[INFO] [stdout] test checkers::info_flow::tests::dep_check_dep_type_eq_index_count_mismatch ... ok
[INFO] [stdout] test checkers::frame::tests::extract_modifies_field_path ... ok
[INFO] [stdout] test checkers::info_flow::tests::dep_check_dep_type_eq_index_kind_mismatch ... ok
[INFO] [stdout] test checkers::info_flow::tests::dep_check_index_erasure_in_runtime ... ok
[INFO] [stdout] test checkers::info_flow::tests::dep_check_nat_index_expr_arithmetic ... ok
[INFO] [stdout] test checkers::info_flow::tests::dep_check_nat_index_expr_literal ... ok
[INFO] [stdout] test checkers::info_flow::tests::dep_check_dep_type_eq_base_mismatch ... ok
[INFO] [stdout] test checkers::info_flow::tests::dep_validate_bool_index ... ok
[INFO] [stdout] test checkers::info_flow::tests::dep_validate_unknown_index_type ... ok
[INFO] [stdout] test checkers::info_flow::tests::dep_validate_nat_index ... ok
[INFO] [stdout] test checkers::info_flow::tests::dep_validate_known_enum_index ... ok
[INFO] [stdout] test checkers::info_flow::tests::ifc_covert_channel_sleep ... ok
[INFO] [stdout] test checkers::info_flow::tests::ifc_assignment_downward_error ... ok
[INFO] [stdout] test checkers::info_flow::tests::dep_check_index_erasure_in_ghost_ok ... ok
[INFO] [stdout] test checkers::info_flow::tests::ifc_check_expr_covert_channel_in_if ... ok
[INFO] [stdout] test checkers::info_flow::tests::ifc_covert_channel_public_ok ... ok
[INFO] [stdout] test checkers::info_flow::tests::ifc_assignment_upward_ok ... ok
[INFO] [stdout] test checkers::info_flow::tests::ifc_declassify_with_annotation_ok ... ok
[INFO] [stdout] test checkers::info_flow::tests::ifc_declassify_without_annotation ... ok
[INFO] [stdout] test checkers::info_flow::tests::ifc_has_labels ... ok
[INFO] [stdout] test checkers::info_flow::tests::ifc_implicit_flow_error ... ok
[INFO] [stdout] test checkers::info_flow::tests::ifc_infer_label_binop_max ... ok
[INFO] [stdout] test checkers::info_flow::tests::ifc_infer_label_ident ... ok
[INFO] [stdout] test checkers::info_flow::tests::ifc_infer_label_literal_is_public ... ok
[INFO] [stdout] test checkers::info_flow::tests::ifc_purpose_label_match ... ok
[INFO] [stdout] test checkers::info_flow::tests::ifc_purpose_label_mismatch ... ok
[INFO] [stdout] test checkers::info_flow::tests::ifc_security_label_ordering ... ok
[INFO] [stdout] test checkers::interface::tests::impl_missing_method_a13001 ... ok
[INFO] [stdout] test checkers::interface::tests::impl_unknown_interface_a13001 ... ok
[INFO] [stdout] test checkers::interface::tests::impl_with_all_methods_ok ... ok
[INFO] [stdout] test checkers::interface::tests::method_signature_matches_ok ... ok
[INFO] [stdout] test checkers::interface::tests::method_signature_param_count_mismatch_a13002 ... ok
[INFO] [stdout] test checkers::interface::tests::method_signature_return_type_mismatch_a13002 ... ok
[INFO] [stdout] test checkers::interface::tests::reentrancy_violation_a13003 ... ok
[INFO] [stdout] test checkers::linear::tests::ctx_fork_merge_consistent ... ok
[INFO] [stdout] test checkers::linear::tests::ctx_fork_merge_inconsistent ... ok
[INFO] [stdout] test checkers::linear::tests::ctx_merge_arms_empty ... ok
[INFO] [stdout] test checkers::interface::tests::reentrancy_ok_when_not_reentrant ... ok
[INFO] [stdout] test checkers::linear::tests::ctx_merge_arms_inconsistent ... ok
[INFO] [stdout] test checkers::linear::tests::linearity_if_forks_context ... ok
[INFO] [stdout] test checkers::linear::tests::linearity_old_does_not_count ... ok
[INFO] [stdout] test checkers::linear::tests::linearity_if_one_branch_only ... ok
[INFO] [stdout] test checkers::linear::tests::linearity_quantifier_does_not_count ... ok
[INFO] [stdout] test checkers::linear::tests::linearity_ghost_does_not_count ... ok
[INFO] [stdout] test checkers::linear::tests::tracker_erased_used_at_runtime ... ok
[INFO] [stdout] test checkers::linear::tests::tracker_exact_wrong_count ... ok
[INFO] [stdout] test checkers::linear::tests::tracker_exact_correct_count ... ok
[INFO] [stdout] test checkers::linear::tests::tracker_linear_used_once_ok ... ok
[INFO] [stdout] test checkers::linear::tests::tracker_linear_used_twice ... ok
[INFO] [stdout] test checkers::linear::tests::linearity_ident_records_use ... ok
[INFO] [stdout] test checkers::linear::tests::ctx_merge_arms_consistent ... ok
[INFO] [stdout] test checkers::linear::tests::tracker_erased_not_used_ok ... ok
[INFO] [stdout] test checkers::linear::tests::tracker_get_count ... ok
[INFO] [stdout] test checkers::linear::tests::tracker_linear_never_used ... ok
[INFO] [stdout] test checkers::linear::tests::tracker_use_undeclared_is_noop ... ok
[INFO] [stdout] test checkers::linear::tests::tracker_unlimited_any_count_ok ... ok
[INFO] [stdout] test checkers::linear::tests::usage_grade_display ... ok
[INFO] [stdout] test checkers::memory::tests::bounds_check_missing_a08101 ... ok
[INFO] [stdout] test checkers::memory::tests::bounds_check_present_no_error ... ok
[INFO] [stdout] test checkers::memory::tests::expr_references_var_found ... ok
[INFO] [stdout] test checkers::memory::tests::expr_references_var_not_found ... ok
[INFO] [stdout] test checkers::memory::tests::region_containment_different_buffers_a08102 ... ok
[INFO] [stdout] test checkers::memory::tests::region_containment_same_buffer_ok ... ok
[INFO] [stdout] test checkers::memory::tests::region_references_nonexistent_buffer_a08103 ... ok
[INFO] [stdout] test checkers::memory::tests::register_buffer_and_query ... ok
[INFO] [stdout] test checkers::security::tests::crypto_correct_key_size ... ok
[INFO] [stdout] test checkers::security::tests::crypto_correct_nonce_size ... ok
[INFO] [stdout] test checkers::security::tests::crypto_custom_spec ... ok
[INFO] [stdout] test checkers::security::tests::crypto_nonce_not_unique ... ok
[INFO] [stdout] test checkers::security::tests::crypto_nonce_counter_ok ... ok
[INFO] [stdout] test checkers::security::tests::crypto_tag_not_verified ... ok
[INFO] [stdout] test checkers::security::tests::crypto_tag_verified_ok ... ok
[INFO] [stdout] test checkers::security::tests::crypto_unknown_algorithm_no_error ... ok
[INFO] [stdout] test checkers::security::tests::crypto_wrong_key_size ... ok
[INFO] [stdout] test checkers::security::tests::ct_branch_on_secret ... ok
[INFO] [stdout] test checkers::security::tests::ct_check_expr_if_with_secret_condition ... ok
[INFO] [stdout] test checkers::security::tests::crypto_wrong_nonce_size ... ok
[INFO] [stdout] test checkers::security::tests::ct_no_secret_no_error ... ok
[INFO] [stdout] test checkers::security::tests::ct_index_on_secret ... ok
[INFO] [stdout] test checkers::security::tests::ct_no_secret_reference ... ok
[INFO] [stdout] test checkers::security::tests::ct_references_secret_in_binop ... ok
[INFO] [stdout] test checkers::security::tests::det_custom_non_det_source ... ok
[INFO] [stdout] test checkers::security::tests::lock_acquire_in_order ... ok
[INFO] [stdout] test checkers::security::tests::lock_acquire_out_of_order ... ok
[INFO] [stdout] test checkers::security::tests::det_iteration_over_hashset ... ok
[INFO] [stdout] test checkers::security::tests::lock_release_correct_order ... ok
[INFO] [stdout] test checkers::security::tests::lock_release_out_of_order ... ok
[INFO] [stdout] test checkers::security::tests::lock_ordering_undefined ... ok
[INFO] [stdout] test checkers::security::tests::det_non_deterministic_sources ... ok
[INFO] [stdout] test checkers::security::tests::se_check_all_erased ... ok
[INFO] [stdout] test checkers::security::tests::det_fn_body_with_hash_map ... ok
[INFO] [stdout] test checkers::security::tests::det_unmarked_fn_no_error ... ok
[INFO] [stdout] test checkers::security::tests::se_copy_to_non_sensitive ... ok
[INFO] [stdout] test checkers::security::tests::se_copy_to_sensitive_ok ... ok
[INFO] [stdout] test checkers::security::tests::se_return_without_annotation ... ok
[INFO] [stdout] test checkers::security::tests::se_sensitive_names ... ok
[INFO] [stdout] test checkers::security::tests::se_sensitive_not_zeroized ... ok
[INFO] [stdout] test checkers::security::tests::se_sensitive_zeroized ... ok
[INFO] [stdout] test checkers::security::tests::si_invariant_on_non_recursive_type ... ok
[INFO] [stdout] test checkers::security::tests::si_operation_preserves_without_proof ... ok
[INFO] [stdout] test checkers::security::tests::si_readonly_operation_no_error ... ok
[INFO] [stdout] test checkers::security::tests::si_sort_invariant_needs_one_field ... ok
[INFO] [stdout] test checkers::security::tests::si_tree_invariant_needs_two_fields ... ok
[INFO] [stdout] test checkers::security::tests::si_tree_invariant_ok_with_two_fields ... ok
[INFO] [stdout] test checkers::security::tests::sm_data_race_exclusive_exclusive ... ok
[INFO] [stdout] test checkers::security::tests::sm_no_race_shared_read ... ok
[INFO] [stdout] test checkers::security::tests::sm_read_with_shared_read ... ok
[INFO] [stdout] test checkers::security::tests::sm_read_without_access ... ok
[INFO] [stdout] test checkers::security::tests::sm_write_with_exclusive ... ok
[INFO] [stdout] test checkers::security::tests::sm_write_without_exclusive ... ok
[INFO] [stdout] test checkers::taint::tests::extract_taint_long_form ... ok
[INFO] [stdout] test checkers::taint::tests::extract_taint_none ... ok
[INFO] [stdout] test checkers::taint::tests::extract_taint_short_form ... ok
[INFO] [stdout] test checkers::taint::tests::is_alloc_fn_known ... ok
[INFO] [stdout] test checkers::taint::tests::taint_label_display ... ok
[INFO] [stdout] test checkers::taint::tests::taint_label_ordering ... ok
[INFO] [stdout] test checkers::taint::tests::tc_check_trusted_sink_ok ... ok
[INFO] [stdout] test checkers::taint::tests::tc_check_trusted_sink_violation ... ok
[INFO] [stdout] test checkers::taint::tests::tc_check_untrusted_alloc_size ... ok
[INFO] [stdout] test checkers::taint::tests::tc_check_validated_array_index_ok ... ok
[INFO] [stdout] test checkers::taint::tests::tc_has_taint_info ... ok
[INFO] [stdout] test checkers::taint::tests::tc_check_untrusted_array_index ... ok
[INFO] [stdout] test checkers::taint::tests::tc_infer_binop_propagates_taint ... ok
[INFO] [stdout] test checkers::taint::tests::tc_infer_literal_trusted ... ok
[INFO] [stdout] test checkers::taint::tests::tc_infer_untrusted_ident ... ok
[INFO] [stdout] test checkers::taint::tests::tc_infer_validation_fn_produces_validated ... ok
[INFO] [stdout] test checkers::taint::tests::tc_register_custom_validator ... ok
[INFO] [stdout] test checkers::totality::tests::extract_lexicographic_measure ... ok
[INFO] [stdout] test checkers::totality::tests::extract_natural_measure ... ok
[INFO] [stdout] test checkers::totality::tests::extract_no_measure ... ok
[INFO] [stdout] test checkers::totality::tests::extract_well_founded_measure ... ok
[INFO] [stdout] test checkers::totality::tests::mutual_recursion_no_measure ... ok
[INFO] [stdout] test checkers::totality::tests::mutual_recursion_with_measure_ok ... ok
[INFO] [stdout] test checkers::totality::tests::non_partial_fn ... ok
[INFO] [stdout] test checkers::totality::tests::not_strictly_decreasing_different_var ... ok
[INFO] [stdout] test checkers::totality::tests::not_strictly_decreasing_same_var ... ok
[INFO] [stdout] test checkers::totality::tests::not_well_founded_unconstrained_int ... ok
[INFO] [stdout] test checkers::totality::tests::partial_fn_by_clause ... ok
[INFO] [stdout] test checkers::totality::tests::partial_fn_registered ... ok
[INFO] [stdout] test checkers::totality::tests::strictly_decreasing_n_minus_1 ... ok
[INFO] [stdout] test checkers::totality::tests::strictly_decreasing_structural_tail ... ok
[INFO] [stdout] test checkers::totality::tests::totality_non_recursive_trivially_total ... ok
[INFO] [stdout] test checkers::totality::tests::totality_partial_fn_skipped ... ok
[INFO] [stdout] test checkers::totality::tests::totality_recursive_with_valid_decreases ... ok
[INFO] [stdout] test checkers::totality::tests::totality_recursive_without_decreases ... ok
[INFO] [stdout] test checkers::totality::tests::well_founded_nat_param ... ok
[INFO] [stdout] test checkers::totality::tests::well_founded_requires_constraint ... ok
[INFO] [stdout] test checkers::totality::tests::well_founded_structural_type ... ok
[INFO] [stdout] test checkers::typestate::tests::branch_consistency_different_state_a06004 ... ok
[INFO] [stdout] test checkers::typestate::tests::branch_consistency_same_state_ok ... ok
[INFO] [stdout] test checkers::typestate::tests::invalid_transition_a06001 ... ok
[INFO] [stdout] test checkers::typestate::tests::undefined_operation_a06001 ... ok
[INFO] [stdout] test checkers::typestate::tests::valid_transition_sequence ... ok
[INFO] [stdout] test checkers::typestate::tests::validate_linear_false_a06002 ... ok
[INFO] [stdout] test checkers::typestate::tests::validate_transitions_all_declared_ok ... ok
[INFO] [stdout] test checkers::typestate::tests::validate_linear_true_ok ... ok
[INFO] [stdout] test checkers::typestate::tests::validate_transitions_undeclared_state_a06003 ... ok
[INFO] [stdout] test checks::clause_quality::tests::no_warning_for_extern_result_length ... ok
[INFO] [stdout] test checks::clause_quality::tests::warns_on_result_in_ensures ... ok
[INFO] [stdout] test checks::clause_quality::tests::no_warning_on_input_only_ensures ... ok
[INFO] [stdout] test checks::core::tests::no_prophecies_no_errors ... ok
[INFO] [stdout] test checks::core::tests::prophecy_declared_but_unused ... ok
[INFO] [stdout] test checks::core::tests::prophecy_referenced_and_resolved ... ok
[INFO] [stdout] test checks::concurrency::tests::callback_no_annotation_no_errors ... ok
[INFO] [stdout] test checks::core::tests::prophecy_referenced_but_unresolved ... ok
[INFO] [stdout] test checks::concurrency::tests::callback_reentrant_emits_a24001 ... ok
[INFO] [stdout] test checks::concurrency::tests::deadline_no_annotation_no_errors ... ok
[INFO] [stdout] test checks::concurrency::tests::deadline_unbounded_op_emits_a25003 ... ok
[INFO] [stdout] test checks::core::tests::liveness_block_missing_prove ... ok
[INFO] [stdout] test checks::core::tests::liveness_block_with_prove_ok ... ok
[INFO] [stdout] test checks::effects::tests::declared_effects_with_io_no_error ... ok
[INFO] [stdout] test checks::ffi_error::tests::error_propagation_no_annotations_no_errors ... ok
[INFO] [stdout] test checks::ffi_error::tests::ffi_no_externs_no_errors ... ok
[INFO] [stdout] test checks::ffi_error::tests::error_propagation_fn_without_result_return_no_errors ... ok
[INFO] [stdout] test checks::core::tests::multiple_prophecies_mixed ... ok
[INFO] [stdout] test checks::format::tests::bit_level_no_annotation_produces_no_errors ... ok
[INFO] [stdout] test checks::ffi_error::tests::error_propagation_must_not_mask_catch_translate_a12002 ... ok
[INFO] [stdout] test checks::ffi_error::tests::ffi_extern_without_boundary_no_errors ... ok
[INFO] [stdout] test checks::format::tests::binary_format_field_exceeds_buffer_length ... ok
[INFO] [stdout] test checks::format::tests::opaque_function_body_access_without_reveal ... ok
[INFO] [stdout] test checks::ffi_error::tests::ffi_extern_with_boundary_and_requires_no_a11005 ... ok
[INFO] [stdout] test checks::format::tests::binary_format_no_annotation_produces_no_errors ... ok
[INFO] [stdout] test checks::effects::tests::no_effects_clause_no_errors ... ok
[INFO] [stdout] test checks::effects::tests::test_effect_polymorphism_basic ... ok
[INFO] [stdout] test checks::format::tests::string_encoding_no_annotation_produces_no_errors ... ok
[INFO] [stdout] test checks::frame_totality::tests::totality_non_recursive_no_errors ... ok
[INFO] [stdout] test checks::format::tests::bit_level_width_mismatch ... ok
[INFO] [stdout] test checks::ffi_error::tests::ffi_extern_boundary_without_contract_emits_a11005 ... ok
[INFO] [stdout] test checks::format::tests::string_encoding_raw_bytes_as_string ... ok
[INFO] [stdout] test checks::format::tests::opaque_function_no_annotation_produces_no_errors ... ok
[INFO] [stdout] test checks::frame_totality::tests::totality_partial_function_no_errors ... ok
[INFO] [stdout] test checks::frame_totality::tests::frame_modifies_with_variable_no_errors ... ok
[INFO] [stdout] test checks::frame_totality::tests::frame_a14002_frame_assertion_no_error ... ok
[INFO] [stdout] test checks::linear_typestate::tests::typestate_no_annotation_no_errors ... ok
[INFO] [stdout] test checks::core::tests::prophecy_resolved_via_resolve_prophecy ... ok
[INFO] [stdout] test checks::frame_totality::tests::frame_a14002_modification_detected ... ok
[INFO] [stdout] test checks::frame_totality::tests::frame_no_modifies_no_errors ... ok
[INFO] [stdout] test checks::memory::tests::extract_capacity_fixed_buffer ... ok
[INFO] [stdout] test checks::info_flow::tests::info_flow_no_annotation_no_errors ... ok
[INFO] [stdout] test checks::info_flow::tests::taint_no_annotation_no_errors ... ok
[INFO] [stdout] test checks::memory::tests::allocator_bounded_via_source ... ok
[INFO] [stdout] test checks::frame_totality::tests::frame_a14002_modified_var_no_error ... ok
[INFO] [stdout] test checks::memory::tests::extract_capacity_buffer ... ok
[INFO] [stdout] test checks::memory::tests::extract_capacity_region ... ok
[INFO] [stdout] test checks::meta::tests::behavioral_equivalence_self_equiv_produces_a49002 ... ok
[INFO] [stdout] test checks::meta::tests::behavioral_equivalence_no_annotation_produces_no_errors ... ok
[INFO] [stdout] test checks::memory::tests::allocator_unbounded_via_source ... ok
[INFO] [stdout] test checks::linear_typestate::tests::linearity_no_annotation_no_errors ... ok
[INFO] [stdout] test checks::memory::tests::extract_capacity_empty_angle ... ok
[INFO] [stdout] test checks::meta::tests::complexity_no_annotation_produces_no_errors ... ok
[INFO] [stdout] test checks::meta::tests::complexity_verified_does_not_produce_a48002 ... ok
[INFO] [stdout] test checks::meta::tests::behavioral_equivalence_unverified_produces_a49001 ... ok
[INFO] [stdout] test checks::meta::tests::composition_extends_known_does_not_produce_a54001 ... ok
[INFO] [stdout] test checks::meta::tests::complexity_linear_unverified_produces_a48002 ... ok
[INFO] [stdout] test checks::meta::tests::composition_no_extends_produces_no_errors ... ok
[INFO] [stdout] test checks::meta::tests::composition_extends_unknown_produces_a54001 ... ok
[INFO] [stdout] test checks::numeric::tests::collect_table_smt_obligations_no_tables ... ok
[INFO] [stdout] test checks::meta::tests::scoped_invariant_restored_does_not_produce_a52001 ... ok
[INFO] [stdout] test checks::numeric::tests::collect_table_smt_obligations_with_bare_table ... ok
[INFO] [stdout] test checks::meta::tests::scoped_invariant_suspended_ref_in_ensures_produces_a52001 ... ok
[INFO] [stdout] test checks::numeric::tests::collection_sort_with_len_postcondition_no_error ... ok
[INFO] [stdout] test checks::numeric::tests::precomputed_table_domain_size_explicit_match ... ok
[INFO] [stdout] test checks::numeric::tests::precomputed_table_domain_size_explicit_mismatch ... ok
[INFO] [stdout] test checks::numeric::tests::precomputed_table_domain_size_nonstandard_flagged ... ok
[INFO] [stdout] test checks::numeric::tests::collection_sort_without_len_postcondition_detected ... ok
[INFO] [stdout] test checks::numeric::tests::precomputed_table_also_flags_coverage ... ok
[INFO] [stdout] test checks::meta::tests::scoped_invariant_no_annotation_produces_no_errors ... ok
[INFO] [stdout] test checks::numeric::tests::numerical_precision_cancellation_detected ... ok
[INFO] [stdout] test checks::numeric::tests::smt_obligations_empty_for_no_generator ... ok
[INFO] [stdout] test checks::numeric::tests::precomputed_table_no_annotation_produces_no_errors ... ok
[INFO] [stdout] test checks::numeric::tests::precomputed_table_no_generator_detected ... ok
[INFO] [stdout] test checks::numeric::tests::fixed_width_no_fw_params_produces_no_errors ... ok
[INFO] [stdout] test checks::numeric::tests::fixed_width_overflow_on_u8_addition ... ok
[INFO] [stdout] test checks::numeric::tests::numerical_precision_no_annotation_produces_no_errors ... ok
[INFO] [stdout] test checks::numeric::tests::smt_obligations_returns_obligation_with_generator ... ok
[INFO] [stdout] test checks::numeric::tests::smt_obligations_skips_zero_size_tables ... ok
[INFO] [stdout] test checks::memory::tests::extract_capacity_no_match ... ok
[INFO] [stdout] test checks::platform::tests::feature_flag_no_annotation_no_errors ... ok
[INFO] [stdout] test checks::platform::tests::feature_flag_unused_emits_a45001 ... ok
[INFO] [stdout] test checks::platform::tests::platform_missing_impl_emits_a44001 ... ok
[INFO] [stdout] test checks::platform::tests::resource_limit_no_annotation_no_errors ... ok
[INFO] [stdout] test checks::safety::tests::constant_time_no_annotation_no_errors ... ok
[INFO] [stdout] test checks::storage::tests::crash_recovery_no_annotation_no_errors ... ok
[INFO] [stdout] test checks::storage::tests::crash_recovery_wal_without_write_wal_emits_a33001 ... ok
[INFO] [stdout] test checks::platform::tests::platform_no_annotation_no_errors ... ok
[INFO] [stdout] test checks::numeric::tests::precomputed_table_checks_include_domain_size_error ... ok
[INFO] [stdout] test checks::safety::tests::secure_erasure_no_annotation_no_errors ... ok
[INFO] [stdout] test checks::storage::tests::monotonic_no_annotation_no_errors ... ok
[INFO] [stdout] test checks::storage::tests::monotonic_undeclared_access_emits_a37003 ... ok
[INFO] [stdout] test checks::safety::tests::unsafe_escape_fn_without_proof_emits_a47001 ... ok
[INFO] [stdout] test checks::safety::tests::unsafe_escape_no_annotation_no_errors ... ok
[INFO] [stdout] test checks::numeric::tests::precomputed_table_domain_size_standard_ok ... ok
[INFO] [stdout] test clauses::tests::bind_pattern_ident ... ok
[INFO] [stdout] test clauses::tests::bind_pattern_tuple ... ok
[INFO] [stdout] test clauses::tests::bind_pattern_wildcard_no_bind ... ok
[INFO] [stdout] test checks::storage::tests::storage_failure_no_annotation_no_errors ... ok
[INFO] [stdout] test clauses::tests::check_clause_body_input_not_checked_for_bool ... ok
[INFO] [stdout] test clauses::tests::collect_input_types_typed ... ok
[INFO] [stdout] test clauses::tests::env_with_result_adds_binding ... ok
[INFO] [stdout] test checks::storage::tests::storage_failure_unhandled_emits_a38001 ... ok
[INFO] [stdout] test clauses::tests::non_predicate_clause_not_bool ... ok
[INFO] [stdout] test clauses::tests::register_input_params_typed ... ok
[INFO] [stdout] test clauses::tests::check_clause_body_bool_ok ... ok
[INFO] [stdout] test clauses::tests::check_clause_body_non_bool_error ... ok
[INFO] [stdout] test convert::tests::parse_bool ... ok
[INFO] [stdout] test clauses::tests::clause_kind_labels ... ok
[INFO] [stdout] test convert::tests::parse_bytes ... ok
[INFO] [stdout] test convert::tests::parse_empty_tuple_is_unit ... ok
[INFO] [stdout] test convert::tests::parse_float ... ok
[INFO] [stdout] test clauses::tests::requires_clause_is_bool ... ok
[INFO] [stdout] test clauses::tests::bind_pattern_constructor_with_fn_env ... ok
[INFO] [stdout] test convert::tests::parse_brace_without_colon_returns_unknown ... ok
[INFO] [stdout] test convert::tests::parse_custom_named ... ok
[INFO] [stdout] test convert::tests::parse_fn_type ... ok
[INFO] [stdout] test convert::tests::parse_empty_tokens_returns_unit ... ok
[INFO] [stdout] test convert::tests::parse_generic_map ... ok
[INFO] [stdout] test convert::tests::parse_generic_result ... ok
[INFO] [stdout] test clauses::tests::register_input_params_untyped ... ok
[INFO] [stdout] test convert::tests::parse_fn_no_return_type ... ok
[INFO] [stdout] test convert::tests::parse_fn_multiple_params ... ok
[INFO] [stdout] test convert::tests::parse_generic_option ... ok
[INFO] [stdout] test convert::tests::parse_generic_list ... ok
[INFO] [stdout] test convert::tests::parse_generic_set ... ok
[INFO] [stdout] test convert::tests::parse_int ... ok
[INFO] [stdout] test convert::tests::parse_generic_vec_maps_to_list ... ok
[INFO] [stdout] test convert::tests::parse_mut_reference_stripped ... ok
[INFO] [stdout] test convert::tests::parse_refinement_type ... ok
[INFO] [stdout] test convert::tests::parse_string ... ok
[INFO] [stdout] test convert::tests::parse_nat ... ok
[INFO] [stdout] test convert::tests::parse_tuple ... ok
[INFO] [stdout] test convert::tests::parse_nested_generic ... ok
[INFO] [stdout] test convert::tests::parse_union_error_type ... ok
[INFO] [stdout] test convert::tests::parse_only_taint_returns_unit ... ok
[INFO] [stdout] test convert::tests::resolve_type_opt_none_returns_unit ... ok
[INFO] [stdout] test convert::tests::parse_reference_stripped ... ok
[INFO] [stdout] test convert::tests::parse_taint_annotation_stripped ... ok
[INFO] [stdout] test convert::tests::resolve_type_opt_some_returns_converted ... ok
[INFO] [stdout] test convert::tests::type_from_expr_fn_type ... ok
[INFO] [stdout] test convert::tests::type_from_expr_generic_list ... ok
[INFO] [stdout] test convert::tests::type_from_expr_generic_option ... ok
[INFO] [stdout] test convert::tests::type_from_expr_generic_result ... ok
[INFO] [stdout] test convert::tests::parse_generic_sequence ... ok
[INFO] [stdout] test convert::tests::type_from_expr_generic_set ... ok
[INFO] [stdout] test convert::tests::type_from_expr_generic_vec_maps_to_list ... ok
[INFO] [stdout] test convert::tests::type_from_expr_named_bool ... ok
[INFO] [stdout] test convert::tests::type_from_expr_named_custom ... ok
[INFO] [stdout] test convert::tests::type_from_expr_named_int ... ok
[INFO] [stdout] test convert::tests::type_from_expr_refined ... ok
[INFO] [stdout] test convert::tests::type_from_expr_tuple ... ok
[INFO] [stdout] test convert::tests::type_from_expr_unit ... ok
[INFO] [stdout] test domain::tests::alloc_arena_skips_unpaired ... ok
[INFO] [stdout] test domain::tests::alloc_arena_no_error_before_drop ... ok
[INFO] [stdout] test convert::tests::type_from_expr_generic_sequence ... ok
[INFO] [stdout] test convert::tests::type_from_expr_generic_unknown_name ... ok
[INFO] [stdout] test domain::tests::alloc_arena_use_after_drop ... ok
[INFO] [stdout] test domain::tests::alloc_bounded_ok ... ok
[INFO] [stdout] test domain::tests::alloc_double_free ... ok
[INFO] [stdout] test domain::tests::alloc_paired_ok ... ok
[INFO] [stdout] test domain::tests::alloc_unbounded_detected ... ok
[INFO] [stdout] test convert::tests::type_from_expr_generic_map ... ok
[INFO] [stdout] test checks::numeric::tests::collection_no_known_operation_produces_no_errors ... ok
[INFO] [stdout] test domain::tests::alloc_unpaired_detected ... ok
[INFO] [stdout] test domain::tests::circ_buf_basic ... ok
[INFO] [stdout] test domain::tests::circ_buf_empty_read ... ok
[INFO] [stdout] test domain::tests::circ_buf_index_exceeds_capacity ... ok
[INFO] [stdout] test domain::tests::composition_circular ... ok
[INFO] [stdout] test convert::tests::parse_bare_ref_returns_unknown ... ok
[INFO] [stdout] test domain::tests::composition_extends_ok ... ok
[INFO] [stdout] test domain::tests::composition_extends_unknown ... ok
[INFO] [stdout] test domain::tests::feature_flag_conflicts ... ok
[INFO] [stdout] test domain::tests::feature_flag_no_conflict_when_disabled ... ok
[INFO] [stdout] test domain::tests::feature_flag_undeclared ... ok
[INFO] [stdout] test domain::tests::feature_flag_unused ... ok
[INFO] [stdout] test domain::tests::feature_flag_used_ok ... ok
[INFO] [stdout] test domain::tests::library_duplicates ... ok
[INFO] [stdout] test domain::tests::library_empty_exports ... ok
[INFO] [stdout] test domain::tests::library_self_dependency ... ok
[INFO] [stdout] test domain::tests::library_with_export_ok ... ok
[INFO] [stdout] test domain::tests::platform_full_coverage_ok ... ok
[INFO] [stdout] test domain::tests::platform_missing_coverage ... ok
[INFO] [stdout] test domain::tests::platform_unknown_reference ... ok
[INFO] [stdout] test domain::tests::platform_direct_use_warned ... ok
[INFO] [stdout] test domain::tests::resource_limit_exceeded ... ok
[INFO] [stdout] test domain::tests::resource_limit_ok ... ok
[INFO] [stdout] test domain::tests::resource_near_limit_warned ... ok
[INFO] [stdout] test domain::tests::resource_release_reduces_usage ... ok
[INFO] [stdout] test domain::tests::resource_unbounded_usage ... ok
[INFO] [stdout] test domain::tests::storage_handled_ok ... ok
[INFO] [stdout] test domain::tests::storage_spurious_handler ... ok
[INFO] [stdout] test domain::tests::storage_unhandled_failure ... ok
[INFO] [stdout] test domain::tests::unsafe_no_proof_detected ... ok
[INFO] [stdout] test domain::tests::unsafe_partial_discharge ... ok
[INFO] [stdout] test domain::tests::unsafe_with_proof_ok ... ok
[INFO] [stdout] test env::tests::bind_params_enriched ... ok
[INFO] [stdout] test env::tests::contract_input_params_registered ... ok
[INFO] [stdout] test env::tests::empty_source_has_stdlib_types ... ok
[INFO] [stdout] test env::tests::enumdef_variant_constructors ... ok
[INFO] [stdout] test env::tests::extern_params_enriched ... ok
[INFO] [stdout] test env::tests::fndef_no_return_type_defaults_unit ... ok
[INFO] [stdout] test env::tests::fndef_params_enriched ... ok
[INFO] [stdout] test env::tests::prophecy_no_type_stays_unknown ... ok
[INFO] [stdout] test env::tests::multiple_decls_all_registered ... ok
[INFO] [stdout] test env::tests::prophecy_type_registered ... ok
[INFO] [stdout] test generics::tests::builtin_generic_arity_single_param_types ... ok
[INFO] [stdout] test generics::tests::builtin_generic_arity_non_generic_returns_none ... ok
[INFO] [stdout] test generics::tests::builtin_generic_arity_two_param_types ... ok
[INFO] [stdout] test generics::tests::check_generic_correct_arity_ok ... ok
[INFO] [stdout] test generics::tests::check_generic_unknown_type_lenient ... ok
[INFO] [stdout] test generics::tests::instantiate_list_with_nested_generic ... ok
[INFO] [stdout] test env::tests::typedef_struct_fields_registered ... ok
[INFO] [stdout] test generics::tests::check_generic_wrong_arity_a03002 ... ok
[INFO] [stdout] test generics::tests::instantiate_result_with_concrete_types ... ok
[INFO] [stdout] test generics::tests::instantiate_returns_none_for_non_builtin ... ok
[INFO] [stdout] test generics::tests::substitute_empty_bindings_identity ... ok
[INFO] [stdout] test generics::tests::substitute_multiple_params ... ok
[INFO] [stdout] test generics::tests::substitute_tuple_type ... ok
[INFO] [stdout] test ghost_effects::tests::ghost_fn_io_effects_a54001 ... ok
[INFO] [stdout] test ghost_effects::tests::ghost_fn_mixed_pure_and_non_pure ... ok
[INFO] [stdout] test ghost_effects::tests::ghost_fn_multiple_non_pure_effects ... ok
[INFO] [stdout] test ghost_effects::tests::ghost_fn_no_effects_clause_ok ... ok
[INFO] [stdout] test ghost_effects::tests::ghost_fn_pure_effects_ok ... ok
[INFO] [stdout] test ghost_effects::tests::ghost_fn_raw_token_effects ... ok
[INFO] [stdout] test ghost_effects::tests::lemma_fn_database_effect_a55001 ... ok
[INFO] [stdout] test ghost_effects::tests::lemma_fn_no_effects_clause_ok ... ok
[INFO] [stdout] test ghost_effects::tests::lemma_fn_pure_effects_ok ... ok
[INFO] [stdout] test ghost_effects::tests::lemma_fn_span_propagated ... ok
[INFO] [stdout] test ghost_effects::tests::non_effects_clause_ignored ... ok
[INFO] [stdout] test ghost_effects::tests::raw_tokens_whitespace_and_commas_filtered ... ok
[INFO] [stdout] test inference::tests::binop_add_float ... ok
[INFO] [stdout] test inference::tests::binop_add_int ... ok
[INFO] [stdout] test inference::tests::binop_and_returns_bool ... ok
[INFO] [stdout] test inference::tests::binop_equality_returns_bool ... ok
[INFO] [stdout] test inference::tests::binop_comparison_returns_bool ... ok
[INFO] [stdout] test inference::tests::binop_or_returns_bool ... ok
[INFO] [stdout] test inference::tests::element_type_of_int_range ... ok
[INFO] [stdout] test inference::tests::element_type_of_list ... ok
[INFO] [stdout] test inference::tests::binop_type_mismatch_a03001 ... ok
[INFO] [stdout] test inference::tests::element_type_of_map_returns_key ... ok
[INFO] [stdout] test inference::tests::element_type_of_set ... ok
[INFO] [stdout] test inference::tests::element_type_of_unknown ... ok
[INFO] [stdout] test inference::tests::ident_false_is_bool ... ok
[INFO] [stdout] test inference::tests::ident_known ... ok
[INFO] [stdout] test inference::tests::ident_true_is_bool ... ok
[INFO] [stdout] test inference::tests::ident_unknown_returns_unknown ... ok
[INFO] [stdout] test inference::tests::if_then_else_matching_branches ... ok
[INFO] [stdout] test inference::tests::int_literal_type ... ok
[INFO] [stdout] test inference::tests::is_literal_zero_float_zero ... ok
[INFO] [stdout] test inference::tests::is_literal_zero_int_nonzero ... ok
[INFO] [stdout] test inference::tests::is_literal_zero_int_zero ... ok
[INFO] [stdout] test inference::tests::is_numeric_basic_types ... ok
[INFO] [stdout] test inference::tests::is_numeric_non_numeric ... ok
[INFO] [stdout] test inference::tests::is_numeric_refined_base ... ok
[INFO] [stdout] test inference::tests::literal_bool ... ok
[INFO] [stdout] test inference::tests::literal_float ... ok
[INFO] [stdout] test inference::tests::literal_int ... ok
[INFO] [stdout] test inference::tests::literal_string ... ok
[INFO] [stdout] test inference::tests::method_call_contains_on_list ... ok
[INFO] [stdout] test inference::tests::method_call_entries_on_map ... ok
[INFO] [stdout] test inference::tests::method_call_enumerate_on_list ... ok
[INFO] [stdout] test inference::tests::method_call_find_on_list ... ok
[INFO] [stdout] test inference::tests::method_call_fold_on_list ... ok
[INFO] [stdout] test inference::tests::method_call_on_unknown_returns_unknown ... ok
[INFO] [stdout] test inference::tests::method_call_position_on_list ... ok
[INFO] [stdout] test inference::tests::method_call_to_list_on_set ... ok
[INFO] [stdout] test inference::tests::unary_neg_string_error ... ok
[INFO] [stdout] test inference::tests::method_call_pop_on_list ... ok
[INFO] [stdout] test inference::tests::unary_not_bool ... ok
[INFO] [stdout] test inference::tests::unary_neg_int ... ok
[INFO] [stdout] test inference::tests::unary_not_int_error ... ok
[INFO] [stdout] test pipeline::tests::checker_entries_have_non_empty_names ... ok
[INFO] [stdout] test pipeline::tests::checker_entries_have_unique_names ... ok
[INFO] [stdout] test pipeline::tests::checker_pipeline_covers_all_categories ... ok
[INFO] [stdout] test pipeline::tests::checker_pipeline_has_expected_breadth ... ok
[INFO] [stdout] test inference::tests::method_call_len_on_list ... ok
[INFO] [stdout] test pipeline::tests::pipeline_valid_contract_succeeds ... ok
[INFO] [stdout] test pipeline::tests::pipeline_with_strict_effects_config ... ok
[INFO] [stdout] test tests::basics::contract_in_env ... ok
[INFO] [stdout] test tests::basics::builtin_types_in_env ... ok
[INFO] [stdout] test tests::basics::expr_span ... ok
[INFO] [stdout] test tests::basics::empty_file_type_checks ... ok
[INFO] [stdout] test tests::basics::extern_params_parsed_from_ast ... ok
[INFO] [stdout] test tests::basics::parse_type_base_int ... ok
[INFO] [stdout] test tests::basics::parse_type_base_nat ... ok
[INFO] [stdout] test tests::basics::fn_params_parsed_from_ast ... ok
[INFO] [stdout] test tests::basics::parse_type_empty ... ok
[INFO] [stdout] test tests::basics::parse_type_generic_map ... ok
[INFO] [stdout] test tests::basics::fn_def_in_env ... ok
[INFO] [stdout] test tests::basics::parse_type_named ... ok
[INFO] [stdout] test tests::basics::parse_type_generic_list ... ok
[INFO] [stdout] test tests::basics::parse_type_reference_stripped ... ok
[INFO] [stdout] test pipeline::tests::pipeline_produces_errors_from_effect_checker ... ok
[INFO] [stdout] test tests::basics::parse_type_refined ... ok
[INFO] [stdout] test tests::basics::parse_type_sequence ... ok
[INFO] [stdout] test tests::basics::parse_type_taint_stripped ... ok
[INFO] [stdout] test tests::basics::parse_type_union_error ... ok
[INFO] [stdout] test tests::basics::type_env_len ... ok
[INFO] [stdout] test tests::basics::type_param_in_env ... ok
[INFO] [stdout] test tests::basics::typed_file_preserves_resolved ... ok
[INFO] [stdout] test tests::domain_checkers::allocator::allocator_arena_ok ... ok
[INFO] [stdout] test tests::basics::user_defined_types_in_env ... ok
[INFO] [stdout] test tests::domain_checkers::allocator::allocator_arena_use_after_drop ... ok
[INFO] [stdout] test tests::domain_checkers::allocator::allocator_bounded_no_error ... ok
[INFO] [stdout] test tests::domain_checkers::allocator::allocator_default ... ok
[INFO] [stdout] test tests::domain_checkers::allocator::allocator_arena_use_before_drop_ok ... ok
[INFO] [stdout] test tests::domain_checkers::allocator::allocator_double_free ... ok
[INFO] [stdout] test tests::domain_checkers::allocator::allocator_paired_ok ... ok
[INFO] [stdout] test tests::domain_checkers::allocator::allocator_unbounded_detected ... ok
[INFO] [stdout] test tests::domain_checkers::allocator::allocator_unpaired_alloc ... ok
[INFO] [stdout] test tests::domain_checkers::circular_buffer::circ_buf_default ... ok
[INFO] [stdout] test tests::domain_checkers::circular_buffer::circ_buf_index_ok ... ok
[INFO] [stdout] test tests::domain_checkers::circular_buffer::circ_buf_index_out_of_bounds ... ok
[INFO] [stdout] test tests::domain_checkers::circular_buffer::circ_buf_push_pop ... ok
[INFO] [stdout] test tests::domain_checkers::circular_buffer::circ_buf_read_empty ... ok
[INFO] [stdout] test tests::domain_checkers::circular_buffer::circ_buf_read_nonempty ... ok
[INFO] [stdout] test tests::domain_checkers::circular_buffer::circ_buf_zero_capacity ... ok
[INFO] [stdout] test tests::domain_checkers::concurrency::callback_default ... ok
[INFO] [stdout] test tests::domain_checkers::concurrency::callback_depth_tracking ... ok
[INFO] [stdout] test tests::domain_checkers::concurrency::callback_max_depth ... ok
[INFO] [stdout] test tests::domain_checkers::concurrency::callback_exit_resets ... ok
[INFO] [stdout] test tests::domain_checkers::concurrency::callback_reentrant_allowed ... ok
[INFO] [stdout] test tests::domain_checkers::concurrency::callback_reentrant_call ... ok
[INFO] [stdout] test tests::domain_checkers::concurrency::callback_register_in_context ... ok
[INFO] [stdout] test tests::domain_checkers::concurrency::deadline_current ... ok
[INFO] [stdout] test tests::domain_checkers::concurrency::deadline_default ... ok
[INFO] [stdout] test tests::domain_checkers::concurrency::deadline_nested_ok ... ok
[INFO] [stdout] test tests::domain_checkers::concurrency::deadline_nested_violation ... ok
[INFO] [stdout] test tests::domain_checkers::concurrency::deadline_no_context_ok ... ok
[INFO] [stdout] test tests::domain_checkers::concurrency::deadline_operation_exceeds ... ok
[INFO] [stdout] test tests::domain_checkers::concurrency::deadline_operation_ok ... ok
[INFO] [stdout] test tests::domain_checkers::concurrency::deadline_unbounded_operation ... ok
[INFO] [stdout] test tests::domain_checkers::fixed_width::fixed_width_cast_i32_to_u32 ... ok
[INFO] [stdout] test tests::domain_checkers::fixed_width::fixed_width_cast_non_fixed_width ... ok
[INFO] [stdout] test tests::domain_checkers::fixed_width::fixed_width_check_binop_combined ... ok
[INFO] [stdout] test tests::domain_checkers::fixed_width::fixed_width_declare_and_lookup ... ok
[INFO] [stdout] test tests::domain_checkers::fixed_width::fixed_width_default_trait ... ok
[INFO] [stdout] test tests::domain_checkers::fixed_width::fixed_width_division_by_zero ... ok
[INFO] [stdout] test tests::domain_checkers::fixed_width::fixed_width_division_nonzero_ok ... ok
[INFO] [stdout] test tests::domain_checkers::fixed_width::fixed_width_i8_overflow_add ... ok
[INFO] [stdout] test tests::domain_checkers::fixed_width::fixed_width_is_signed ... ok
[INFO] [stdout] test tests::domain_checkers::fixed_width::fixed_width_is_unsigned ... ok
[INFO] [stdout] test tests::domain_checkers::fixed_width::fixed_width_modulo_by_zero ... ok
[INFO] [stdout] test tests::domain_checkers::fixed_width::fixed_width_mul_overflow ... ok
[INFO] [stdout] test tests::domain_checkers::fixed_width::fixed_width_narrowing_cast_u32_to_u16 ... ok
[INFO] [stdout] test tests::domain_checkers::fixed_width::fixed_width_range_i16 ... ok
[INFO] [stdout] test tests::domain_checkers::fixed_width::fixed_width_range_i32 ... ok
[INFO] [stdout] test tests::domain_checkers::fixed_width::fixed_width_range_i64 ... ok
[INFO] [stdout] test tests::domain_checkers::fixed_width::fixed_width_range_i8 ... ok
[INFO] [stdout] test tests::domain_checkers::fixed_width::fixed_width_range_non_fixed ... ok
[INFO] [stdout] test tests::domain_checkers::fixed_width::fixed_width_range_u16 ... ok
[INFO] [stdout] test tests::domain_checkers::fixed_width::fixed_width_range_u32 ... ok
[INFO] [stdout] test tests::domain_checkers::fixed_width::fixed_width_range_u64 ... ok
[INFO] [stdout] test tests::domain_checkers::fixed_width::fixed_width_range_u8 ... ok
[INFO] [stdout] test tests::domain_checkers::fixed_width::fixed_width_safe_arithmetic_no_error ... ok
[INFO] [stdout] test tests::domain_checkers::fixed_width::fixed_width_safe_cast_same_type ... ok
[INFO] [stdout] test tests::domain_checkers::fixed_width::fixed_width_same_signedness_ok ... ok
[INFO] [stdout] test tests::domain_checkers::fixed_width::fixed_width_signed_unsigned_comparison ... ok
[INFO] [stdout] test tests::domain_checkers::fixed_width::fixed_width_sub_overflow_unsigned ... ok
[INFO] [stdout] test tests::domain_checkers::fixed_width::fixed_width_suggest_checked_add ... ok
[INFO] [stdout] test tests::domain_checkers::fixed_width::fixed_width_suggest_checked_mul ... ok
[INFO] [stdout] test tests::domain_checkers::fixed_width::fixed_width_suggest_checked_sub ... ok
[INFO] [stdout] test tests::domain_checkers::fixed_width::fixed_width_u8_overflow_add ... ok
[INFO] [stdout] test tests::domain_checkers::fixed_width::fixed_width_widening_cast_u16_to_u32 ... ok
[INFO] [stdout] test tests::domain_checkers::format::binary_fmt_bounds_ok ... ok
[INFO] [stdout] test tests::domain_checkers::format::binary_fmt_bounds_overflow ... ok
[INFO] [stdout] test tests::domain_checkers::format::binary_fmt_check_all ... ok
[INFO] [stdout] test tests::domain_checkers::format::binary_fmt_default ... ok
[INFO] [stdout] test tests::domain_checkers::format::binary_fmt_no_endianness ... ok
[INFO] [stdout] test tests::domain_checkers::format::binary_fmt_overlap ... ok
[INFO] [stdout] test tests::domain_checkers::format::binary_fmt_no_overlap ... ok
[INFO] [stdout] test tests::domain_checkers::format::binary_fmt_single_byte_no_endianness_ok ... ok
[INFO] [stdout] test tests::domain_checkers::format::bit_level_bounds_ok ... ok
[INFO] [stdout] test tests::domain_checkers::format::bit_level_bounds_overflow ... ok
[INFO] [stdout] test tests::domain_checkers::format::bit_level_byte_crossing_allowed ... ok
[INFO] [stdout] test tests::domain_checkers::format::bit_level_byte_crossing ... ok
[INFO] [stdout] test tests::domain_checkers::format::bit_level_check_all ... ok
[INFO] [stdout] test tests::domain_checkers::format::bit_level_total_width_match ... ok
[INFO] [stdout] test tests::domain_checkers::format::bit_level_total_width_mismatch ... ok
[INFO] [stdout] test tests::domain_checkers::format::checksum_algorithm_match_ok ... ok
[INFO] [stdout] test tests::domain_checkers::format::checksum_algorithm_mismatch ... ok
[INFO] [stdout] test tests::domain_checkers::format::checksum_default ... ok
[INFO] [stdout] test tests::domain_checkers::format::checksum_range_coverage ... ok
[INFO] [stdout] test tests::domain_checkers::format::checksum_range_covered_ok ... ok
[INFO] [stdout] test tests::domain_checkers::format::checksum_use_after_verify_ok ... ok
[INFO] [stdout] test tests::domain_checkers::format::checksum_use_before_verify ... ok
[INFO] [stdout] test tests::domain_checkers::format::protocol_invalid_send ... ok
[INFO] [stdout] test tests::domain_checkers::format::protocol_invalid_transition ... ok
[INFO] [stdout] test tests::domain_checkers::format::protocol_multi_state ... ok
[INFO] [stdout] test tests::domain_checkers::format::protocol_required_fields ... ok
[INFO] [stdout] test tests::domain_checkers::format::protocol_required_fields_ok ... ok
[INFO] [stdout] test tests::domain_checkers::format::protocol_valid_transition ... ok
[INFO] [stdout] test tests::domain_checkers::format::string_encoding_ascii_compat ... ok
[INFO] [stdout] test tests::domain_checkers::format::string_encoding_default ... ok
[INFO] [stdout] test tests::domain_checkers::format::string_encoding_mismatch ... ok
[INFO] [stdout] test tests::domain_checkers::format::string_encoding_raw_bytes_error ... ok
[INFO] [stdout] test tests::domain_checkers::format::string_encoding_truncation_ok ... ok
[INFO] [stdout] test tests::domain_checkers::format::string_encoding_truncation_utf16 ... ok
[INFO] [stdout] test tests::domain_checkers::format::string_encoding_unknown_var ... ok
[INFO] [stdout] test tests::domain_checkers::format::string_encoding_utf8_ok ... ok
[INFO] [stdout] test tests::domain_checkers::meta::axiom_circular ... ok
[INFO] [stdout] test tests::domain_checkers::meta::axiom_default ... ok
[INFO] [stdout] test tests::domain_checkers::meta::axiom_known_reference_ok ... ok
[INFO] [stdout] test tests::domain_checkers::meta::axiom_undefined_reference ... ok
[INFO] [stdout] test tests::domain_checkers::meta::axiom_unused ... ok
[INFO] [stdout] test tests::domain_checkers::meta::opaque_body_access_without_reveal ... ok
[INFO] [stdout] test tests::domain_checkers::meta::opaque_call_without_contract ... ok
[INFO] [stdout] test tests::domain_checkers::meta::opaque_is_opaque ... ok
[INFO] [stdout] test tests::domain_checkers::meta::opaque_reveal_in_proof_ok ... ok
[INFO] [stdout] test tests::domain_checkers::meta::opaque_call_with_contract_ok ... ok
[INFO] [stdout] test tests::domain_checkers::meta::axiom_used_ok ... ok
[INFO] [stdout] test tests::domain_checkers::meta::opaque_default ... ok
[INFO] [stdout] test tests::domain_checkers::meta::opaque_non_opaque_call_ok ... ok
[INFO] [stdout] test tests::domain_checkers::meta::test_gen_boundary_values ... ok
[INFO] [stdout] test tests::domain_checkers::meta::opaque_reveal_outside_proof ... ok
[INFO] [stdout] test tests::domain_checkers::meta::test_gen_default ... ok
[INFO] [stdout] test tests::domain_checkers::meta::test_gen_generate_all ... ok
[INFO] [stdout] test tests::domain_checkers::meta::test_gen_no_requires ... ok
[INFO] [stdout] test tests::domain_checkers::meta::test_gen_property_test ... ok
[INFO] [stdout] test tests::domain_checkers::meta::test_gen_smoke_test ... ok
[INFO] [stdout] test tests::domain_checkers::numeric::num_cancellation ... ok
[INFO] [stdout] test tests::domain_checkers::numeric::num_precision_default ... ok
[INFO] [stdout] test tests::domain_checkers::numeric::num_precision_loss ... ok
[INFO] [stdout] test tests::domain_checkers::numeric::num_precision_ok ... ok
[INFO] [stdout] test tests::domain_checkers::numeric::num_ulp_violation ... ok
[INFO] [stdout] test tests::domain_checkers::numeric::table_default ... ok
[INFO] [stdout] test tests::domain_checkers::numeric::table_full_coverage_ok ... ok
[INFO] [stdout] test tests::domain_checkers::numeric::table_no_generator ... ok
[INFO] [stdout] test tests::domain_checkers::numeric::table_incomplete_coverage ... ok
[INFO] [stdout] test tests::domain_checkers::platform::feature_flag_conflict ... ok
[INFO] [stdout] test tests::domain_checkers::platform::feature_flag_default ... ok
[INFO] [stdout] test tests::domain_checkers::platform::feature_flag_undeclared ... ok
[INFO] [stdout] test tests::domain_checkers::platform::feature_flag_unused ... ok
[INFO] [stdout] test tests::domain_checkers::platform::feature_flag_used_ok ... ok
[INFO] [stdout] test tests::domain_checkers::platform::platform_default ... ok
[INFO] [stdout] test tests::domain_checkers::numeric::table_zero_size ... ok
[INFO] [stdout] test tests::domain_checkers::platform::platform_direct_use ... ok
[INFO] [stdout] test tests::domain_checkers::platform::platform_full_coverage_ok ... ok
[INFO] [stdout] test tests::domain_checkers::platform::platform_missing_impl ... ok
[INFO] [stdout] test tests::domain_checkers::platform::platform_unknown ... ok
[INFO] [stdout] test tests::domain_checkers::platform::resource_default ... ok
[INFO] [stdout] test tests::domain_checkers::platform::resource_limit_exceeded ... ok
[INFO] [stdout] test tests::domain_checkers::platform::resource_limit_ok ... ok
[INFO] [stdout] test tests::domain_checkers::platform::resource_near_limit ... ok
[INFO] [stdout] test tests::domain_checkers::platform::resource_release ... ok
[INFO] [stdout] test tests::domain_checkers::platform::resource_unbounded ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::collection_default ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::collection_filter_does_not_preserve_length ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::collection_has_standard_ops ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::collection_sort_preserves_length ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::complexity_bound_ok ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::complexity_bound_violated ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::complexity_default ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::complexity_exponential_warning ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::complexity_unverified ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::composition_circular ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::composition_default ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::composition_diamond ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::composition_unknown_extends ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::composition_valid_extends ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::crash_recovery_dc_commit_with_fsync_ok ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::crash_recovery_dc_multiple_txns ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::crash_recovery_dc_no_txns_check_all_ok ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::crash_recovery_dc_ordering_correct ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::crash_recovery_dc_wal_then_data_then_fsync_ok ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::crud_auth_missing_policy ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::crud_auth_with_policy_ok ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::crud_default ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::crud_delete_without_auth ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::ct_dc_check_expr_index_with_secret ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::crypto_dc_wrong_key_size_a17001 ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::ct_dc_check_expr_nested_if ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::ct_dc_no_secrets_no_errors ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::ct_dc_references_secret_through_call ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::ct_dc_references_secret_through_index ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::determinism_dc_custom_source ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::determinism_dc_hashset_iteration_a20002 ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::determinism_dc_is_non_deterministic ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::determinism_dc_multiple_violations ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::determinism_dc_non_det_fn_skips_check ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::effect_checker_block_keyword_skipped ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::effect_checker_capitalized_name_skipped ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::effect_checker_sub_effect_of_known_io ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::effect_expand_fs_includes_filesystem_subeffects ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::effect_expand_net_includes_network_subeffects ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::equiv_default ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::equiv_no_contract ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::equiv_self_equivalence ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::equiv_unverified ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::equiv_verified_ok ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::error_propagation_dc_swallow_a12001 ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::ffi_dc_audited_no_contract_ok ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::ffi_dc_call_contracted_untrusted_ok ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::ffi_dc_call_unknown_extern_ok ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::ffi_dc_default_empty ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::ffi_dc_no_contract_a11001 ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::ffi_dc_unsafe_no_unsafe_ok ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::frame_dc_collect_ident_references ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::frame_dc_collect_ident_references_skips_keywords ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::frame_dc_collect_old_references_basic ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::frame_dc_collect_old_references_field ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::frame_dc_collect_old_references_nested_expr ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::frame_dc_extract_modifies_block_multiple ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::frame_dc_extract_modifies_field ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::frame_dc_extract_modifies_ident ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::frame_dc_extract_modifies_list ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::frame_dc_extract_modifies_single ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::incremental_default ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::incremental_ok ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::incremental_strengthens_precondition ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::incremental_version_gap ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::incremental_weakens_postcondition ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::info_flow_dc_covert_channel_a08005 ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::info_flow_dc_covert_channel_public_ok ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::info_flow_dc_declassify_annotated_ok ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::info_flow_dc_declassify_not_annotated_a08002 ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::info_flow_dc_downward_a08001 ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::info_flow_dc_has_labels ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::info_flow_dc_implicit_flow_a08004 ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::info_flow_dc_purpose_mismatch_a08003 ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::info_flow_dc_same_level_assignment_ok ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::info_flow_dc_upward_ok ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::interface_dc_missing_method_a13001 ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::invariant_double_suspend ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::invariant_restore_not_suspended ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::invariant_still_suspended_at_exit ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::invariant_suspend_restore_ok ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::invariant_default ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::invariant_suspend_undeclared ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::library_default ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::library_duplicate ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::library_empty_exports ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::library_self_dependency ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::library_with_exports_ok ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::lock_order_dc_defined_ok ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::lock_order_dc_release_reverse_ok ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::lock_order_dc_release_wrong_order_a21002 ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::lock_order_dc_same_priority_violation ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::lock_order_dc_single_lock_ok ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::lock_order_dc_undefined_a21003 ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::memory_checker_dc_buffer_names ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::memory_checker_dc_multiple_regions ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::memory_checker_dc_non_buffer_check_returns_none ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::memory_checker_dc_region_containment_undefined_parent ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::memory_checker_dc_region_incomplete_bounds ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::protocol_current_state ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::protocol_cycle_back_to_initial ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::protocol_no_required_fields_defined ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::protocol_required_fields_all_present ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::protocol_required_fields_multiple_missing ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::protocol_send_after_transition ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::protocol_send_valid_no_error ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::protocol_transition_updates_state ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::refinement_chain_gap ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::refinement_complete_ok ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::refinement_default ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::refinement_incomplete ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::refinement_zero_obligations ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::secure_erasure_dc_check_all_erased_all_zeroized ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::secure_erasure_dc_copy_non_sensitive_source_ok ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::secure_erasure_dc_default_empty ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::secure_erasure_dc_not_zeroized_a16001 ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::secure_erasure_dc_return_sensitive_ok ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::secure_erasure_dc_sensitive_names ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::shared_mem_dc_data_race_both_exclusive_a18003 ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::shared_mem_dc_no_race_both_none ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::shared_mem_dc_read_unregistered_a18001 ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::shared_mem_dc_set_mode_overwrite ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::shared_mem_dc_write_none_a18002 ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::stdlib_has_core_types ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::taint_checker_alloc_validated_ok ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::taint_checker_get_label ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::stdlib_default ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::taint_checker_has_taint_info ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::taint_checker_register_validator ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::taint_checker_sanitize_is_builtin_validator ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::taint_infer_field_propagates ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::taint_infer_if_expression_propagates ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::taint_infer_list_propagates ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::taint_infer_method_call_validation ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::totality_decreases_with_nat_param ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::totality_is_partial_from_clause ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::totality_new_default ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::totality_non_recursive_is_total ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::totality_partial_fn_skipped ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::typestate_branch_consistency_same_state ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::totality_recursive_no_decreases_a09001 ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::typestate_empty_transitions_no_errors ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::typestate_self_loop_transition ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::typestate_validate_linear_true ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::typestate_validate_multiple_undeclared_states ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::unsafe_default ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::unsafe_empty_obligations ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::unsafe_no_proof ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::unsafe_undischarged_obligation ... ok
[INFO] [stdout] test tests::domain_checkers::remaining::unsafe_with_proof_ok ... ok
[INFO] [stdout] test tests::domain_checkers::storage::crash_recovery_commit_without_fsync ... ok
[INFO] [stdout] test tests::domain_checkers::storage::crash_recovery_default ... ok
[INFO] [stdout] test tests::domain_checkers::storage::crash_recovery_fsync_before_data ... ok
[INFO] [stdout] test tests::domain_checkers::storage::crash_recovery_full_sequence_ok ... ok
[INFO] [stdout] test tests::domain_checkers::storage::crash_recovery_write_ahead_ok ... ok
[INFO] [stdout] test tests::domain_checkers::storage::crash_recovery_write_ahead_violation ... ok
[INFO] [stdout] test tests::domain_checkers::storage::monotonic_current_value ... ok
[INFO] [stdout] test tests::domain_checkers::storage::monotonic_default ... ok
[INFO] [stdout] test tests::domain_checkers::storage::monotonic_increasing_ok ... ok
[INFO] [stdout] test tests::domain_checkers::storage::monotonic_increasing_violation ... ok
[INFO] [stdout] test tests::domain_checkers::storage::monotonic_reset_blocked ... ok
[INFO] [stdout] test tests::domain_checkers::storage::monotonic_reset_declared ... ok
[INFO] [stdout] test tests::domain_checkers::storage::monotonic_strictly_increasing ... ok
[INFO] [stdout] test tests::domain_checkers::storage::monotonic_undeclared_access ... ok
[INFO] [stdout] test tests::domain_checkers::storage::mvcc_default ... ok
[INFO] [stdout] test tests::domain_checkers::storage::mvcc_no_conflict_after_commit ... ok
[INFO] [stdout] test tests::domain_checkers::storage::mvcc_phantom_read ... ok
[INFO] [stdout] test tests::domain_checkers::storage::mvcc_snapshot_violation ... ok
[INFO] [stdout] test tests::domain_checkers::storage::page_cache_capacity_exceeded ... ok
[INFO] [stdout] test tests::domain_checkers::storage::page_cache_default ... ok
[INFO] [stdout] test tests::domain_checkers::storage::page_cache_evict_clean_ok ... ok
[INFO] [stdout] test tests::domain_checkers::storage::page_cache_evict_dirty ... ok
[INFO] [stdout] test tests::domain_checkers::storage::page_cache_evict_pinned ... ok
[INFO] [stdout] test tests::domain_checkers::storage::page_cache_flush_then_evict ... ok
[INFO] [stdout] test tests::domain_checkers::storage::page_cache_unpin_then_evict ... ok
[INFO] [stdout] test tests::domain_checkers::storage::rollback_default ... ok
[INFO] [stdout] test tests::domain_checkers::storage::mvcc_write_conflict ... ok
[INFO] [stdout] test tests::domain_checkers::storage::rollback_duplicate_savepoint ... ok
[INFO] [stdout] test tests::domain_checkers::storage::rollback_resource_leak ... ok
[INFO] [stdout] test tests::domain_checkers::storage::rollback_resource_released_ok ... ok
[INFO] [stdout] test tests::domain_checkers::storage::rollback_unknown_savepoint ... ok
[INFO] [stdout] test tests::domain_checkers::storage::storage_failure_critical_coverage ... ok
[INFO] [stdout] test tests::domain_checkers::storage::storage_failure_default ... ok
[INFO] [stdout] test tests::domain_checkers::storage::storage_failure_handled_ok ... ok
[INFO] [stdout] test tests::domain_checkers::storage::storage_failure_spurious_handler ... ok
[INFO] [stdout] test tests::domain_checkers::storage::storage_failure_unhandled ... ok
[INFO] [stdout] test tests::field_call::bytes_len_returns_nat ... ok
[INFO] [stdout] test tests::field_call::infer_call_bool_not_callable_a03005 ... ok
[INFO] [stdout] test tests::field_call::field_resolution_from_ast ... ok
[INFO] [stdout] test tests::field_call::field_resolution_with_commas ... ok
[INFO] [stdout] test tests::field_call::infer_call_fn_empty_params_skips_count_check ... ok
[INFO] [stdout] test tests::field_call::infer_field_unknown_field_on_known_struct ... ok
[INFO] [stdout] test tests::field_call::infer_call_fn_type_returns_ret ... ok
[INFO] [stdout] test tests::field_call::infer_call_named_type_returns_named ... ok
[INFO] [stdout] test tests::field_call::infer_index_bool_emits_error ... ok
[INFO] [stdout] test tests::field_call::infer_call_not_callable_a03005 ... ok
[INFO] [stdout] test tests::field_call::infer_call_unknown_callee_is_lenient ... ok
[INFO] [stdout] test tests::field_call::infer_call_surfaces_arg_error ... ok
[INFO] [stdout] test tests::field_call::infer_index_bytes_returns_u8 ... ok
[INFO] [stdout] test tests::field_call::infer_index_list_returns_element_type ... ok
[INFO] [stdout] test tests::field_call::infer_field_collection_len ... ok
[INFO] [stdout] test tests::field_call::infer_call_wrong_arg_count_a03002 ... ok
[INFO] [stdout] test tests::field_call::infer_field_on_named_type_is_unknown ... ok
[INFO] [stdout] test tests::field_call::infer_index_map_returns_value_type ... ok
[INFO] [stdout] test tests::field_call::infer_field_resolves_struct_field ... ok
[INFO] [stdout] test tests::field_call::infer_index_named_type_is_unknown ... ok
[INFO] [stdout] test tests::field_call::infer_field_surfaces_receiver_error ... ok
[INFO] [stdout] test tests::field_call::infer_index_sequence_returns_element_type ... ok
[INFO] [stdout] test tests::field_call::infer_index_surfaces_index_error ... ok
[INFO] [stdout] test tests::field_call::infer_index_tuple_literal ... ok
[INFO] [stdout] test tests::field_call::infer_index_unknown_base_is_unknown ... ok
[INFO] [stdout] test tests::field_call::infer_method_call_is_unknown ... ok
[INFO] [stdout] test tests::field_call::infer_method_collection_contains ... ok
[INFO] [stdout] test tests::field_call::infer_method_call_surfaces_receiver_error ... ok
[INFO] [stdout] test tests::field_call::infer_method_list_get ... ok
[INFO] [stdout] test tests::field_call::map_keys_returns_set ... ok
[INFO] [stdout] test tests::field_call::map_values_returns_list ... ok
[INFO] [stdout] test tests::field_call::parse_type_tokens_empty_tuple_is_unit ... ok
[INFO] [stdout] test tests::field_call::parse_type_tokens_fn_no_params ... ok
[INFO] [stdout] test tests::field_call::parse_type_tokens_fn_no_return ... ok
[INFO] [stdout] test tests::field_call::parse_type_tokens_fn_with_return ... ok
[INFO] [stdout] test tests::field_call::parse_type_tokens_nested_tuple ... ok
[INFO] [stdout] test tests::field_call::parse_type_tokens_refinement_complex_predicate ... ok
[INFO] [stdout] test tests::field_call::parse_type_tokens_refinement_no_predicate ... ok
[INFO] [stdout] test tests::field_call::parse_type_tokens_refinement_preserves_predicate ... ok
[INFO] [stdout] test tests::field_call::parse_type_tokens_tuple ... ok
[INFO] [stdout] test tests::field_call::refinement_predicate_roundtrip_through_clause_params ... ok
[INFO] [stdout] test tests::field_call::refinement_predicate_with_less_than_in_multi_param ... ok
[INFO] [stdout] test tests::field_call::set_union_returns_set ... ok
[INFO] [stdout] test tests::field_call::string_split_returns_list ... ok
[INFO] [stdout] test tests::field_call::type_display_basic ... ok
[INFO] [stdout] test tests::field_call::unknown_field_on_list_emits_a03005 ... ok
[INFO] [stdout] test tests::field_call::unknown_field_on_named_without_struct_fields_is_unknown ... ok
[INFO] [stdout] test tests::field_call::unknown_field_on_option_emits_a03005 ... ok
[INFO] [stdout] test tests::field_call::unknown_method_on_bytes_emits_a03005 ... ok
[INFO] [stdout] test tests::field_call::unknown_method_on_list_emits_a03005 ... ok
[INFO] [stdout] test tests::generics::generic_list_one_arg_ok ... ok
[INFO] [stdout] test tests::generics::generic_list_two_args_a03002 ... ok
[INFO] [stdout] test tests::generics::generic_list_zero_args_a03002 ... ok
[INFO] [stdout] test tests::generics::generic_map_one_arg_a03002 ... ok
[INFO] [stdout] test tests::generics::generic_map_two_args_ok ... ok
[INFO] [stdout] test tests::generics::generic_option_one_arg_ok ... ok
[INFO] [stdout] test tests::generics::generic_result_three_args_a03002 ... ok
[INFO] [stdout] test tests::generics::generic_result_two_args_ok ... ok
[INFO] [stdout] test tests::generics::generic_sequence_one_arg_ok ... ok
[INFO] [stdout] test tests::generics::generic_set_one_arg_ok ... ok
[INFO] [stdout] test tests::generics::generic_unknown_type_is_lenient ... ok
[INFO] [stdout] test tests::generics::generic_user_defined_contract_correct_arity ... ok
[INFO] [stdout] test tests::generics::generic_user_defined_enum_correct_arity ... ok
[INFO] [stdout] test tests::generics::generic_user_defined_enum_wrong_arity ... ok
[INFO] [stdout] test tests::generics::generic_user_defined_non_generic_type_with_args_a03002 ... ok
[INFO] [stdout] test tests::generics::generic_user_defined_non_generic_type_zero_args_ok ... ok
[INFO] [stdout] test tests::generics::generic_user_defined_type_correct_arity ... ok
[INFO] [stdout] test tests::generics::generic_user_defined_type_wrong_arity ... ok
[INFO] [stdout] test tests::generics::instantiate_list ... ok
[INFO] [stdout] test tests::generics::instantiate_map ... ok
[INFO] [stdout] test tests::generics::instantiate_non_generic_builtin_returns_none ... ok
[INFO] [stdout] test tests::generics::instantiate_option ... ok
[INFO] [stdout] test tests::generics::instantiate_result ... ok
[INFO] [stdout] test tests::generics::instantiate_sequence ... ok
[INFO] [stdout] test tests::generics::instantiate_set ... ok
[INFO] [stdout] test tests::generics::instantiate_unknown_name_returns_none ... ok
[INFO] [stdout] test tests::generics::substitute_in_fn_type ... ok
[INFO] [stdout] test tests::generics::substitute_in_list ... ok
[INFO] [stdout] test tests::generics::substitute_in_map ... ok
[INFO] [stdout] test tests::generics::substitute_in_option ... ok
[INFO] [stdout] test tests::generics::substitute_in_refined_type ... ok
[INFO] [stdout] test tests::generics::substitute_in_result ... ok
[INFO] [stdout] test tests::generics::substitute_in_sequence ... ok
[INFO] [stdout] test tests::generics::substitute_in_set ... ok
[INFO] [stdout] test tests::generics::substitute_leaves_concrete_types_unchanged ... ok
[INFO] [stdout] test tests::generics::substitute_nested_generics ... ok
[INFO] [stdout] test tests::generics::substitute_partial_bindings ... ok
[INFO] [stdout] test tests::generics::substitute_type_param ... ok
[INFO] [stdout] test tests::generics::substitute_unbound_type_param_unchanged ... ok
[INFO] [stdout] test tests::inference::element_type_of_returns_correct_types ... ok
[INFO] [stdout] test tests::inference::exists_binds_variable_from_set_domain ... ok
[INFO] [stdout] test tests::inference::forall_binds_variable_from_map_domain ... ok
[INFO] [stdout] test tests::inference::forall_binds_variable_from_list_domain ... ok
[INFO] [stdout] test tests::inference::infer_arithmetic_add ... ok
[INFO] [stdout] test tests::inference::infer_arithmetic_float_mul ... ok
[INFO] [stdout] test tests::inference::infer_arithmetic_non_numeric ... ok
[INFO] [stdout] test tests::inference::infer_arithmetic_numeric_types_compatible ... ok
[INFO] [stdout] test tests::inference::infer_binop_propagates_known_type_past_unknown ... ok
[INFO] [stdout] test tests::inference::infer_bool_literal ... ok
[INFO] [stdout] test tests::inference::infer_call_is_unknown ... ok
[INFO] [stdout] test tests::inference::infer_comparison_mismatch ... ok
[INFO] [stdout] test tests::inference::infer_comparison_same_type ... ok
[INFO] [stdout] test tests::inference::infer_exists_is_bool ... ok
[INFO] [stdout] test tests::inference::infer_field_is_unknown ... ok
[INFO] [stdout] test tests::inference::infer_float_literal ... ok
[INFO] [stdout] test tests::inference::infer_float_literal_type ... ok
[INFO] [stdout] test tests::inference::infer_forall_is_bool ... ok
[INFO] [stdout] test tests::inference::infer_ident_known ... ok
[INFO] [stdout] test tests::inference::infer_ident_unknown ... ok
[INFO] [stdout] test tests::inference::infer_if_branch_mismatch ... ok
[INFO] [stdout] test tests::inference::infer_if_nat_int_branches_compatible ... ok
[INFO] [stdout] test tests::inference::infer_if_non_bool_cond ... ok
[INFO] [stdout] test tests::inference::infer_if_then_else ... ok
[INFO] [stdout] test tests::inference::infer_implies ... ok
[INFO] [stdout] test tests::inference::infer_in_op ... ok
[INFO] [stdout] test tests::inference::infer_int_literal ... ok
[INFO] [stdout] test tests::inference::infer_list_empty ... ok
[INFO] [stdout] test tests::inference::infer_list_type_mismatch ... ok
[INFO] [stdout] test tests::inference::infer_list_uniform ... ok
[INFO] [stdout] test tests::inference::infer_logical_and ... ok
[INFO] [stdout] test tests::inference::infer_logical_non_bool ... ok
[INFO] [stdout] test tests::inference::infer_old_preserves_type ... ok
[INFO] [stdout] test tests::inference::infer_range_op ... ok
[INFO] [stdout] test tests::inference::infer_raw_is_error ... ok
[INFO] [stdout] test tests::inference::infer_string_literal ... ok
[INFO] [stdout] test tests::inference::infer_unary_neg ... ok
[INFO] [stdout] test tests::inference::infer_unary_neg_non_numeric ... ok
[INFO] [stdout] test tests::inference::infer_unary_not ... ok
[INFO] [stdout] test tests::inference::infer_unary_not_non_bool ... ok
[INFO] [stdout] test tests::integration::domain::axiomatic_references_extracted_from_body ... ok
[INFO] [stdout] test tests::integration::domain::axiomatic_circular_reference_detected ... ok
[INFO] [stdout] test tests::integration::domain::behavioral_equivalence_missing_contract_ref_a49003 ... ok
[INFO] [stdout] test tests::integration::domain::behavioral_equivalence_self_equiv_detected ... ok
[INFO] [stdout] test tests::integration::domain::behavioral_equivalence_verified_no_a49001 ... ok
[INFO] [stdout] test tests::inference::test_clause_body_rejects_cross_type_comparison ... ok
[INFO] [stdout] test tests::integration::domain::cancellation_detected ... ok
[INFO] [stdout] test tests::integration::domain::circular_buffer_capacity_extraction_call_syntax ... ok
[INFO] [stdout] test tests::integration::domain::behavioral_equivalence_with_contract_ref_no_a49003 ... ok
[INFO] [stdout] test tests::integration::domain::circular_buffer_check_index_wired ... ok
[INFO] [stdout] test tests::integration::domain::behavioral_equivalence_unverified_pipeline_a49001 ... ok
[INFO] [stdout] test tests::integration::domain::complexity_bound_verified_no_error ... ok
[INFO] [stdout] test tests::integration::domain::complexity_bound_violation_detected ... ok
[INFO] [stdout] test tests::integration::domain::complexity_exponential_warning ... ok
[INFO] [stdout] test tests::integration::domain::collection_sort_with_length_postcondition_no_a03007 ... ok
[INFO] [stdout] test tests::integration::domain::collection_sort_without_length_postcondition_a03007 ... ok
[INFO] [stdout] test tests::integration::domain::extract_ident_works ... ok
[INFO] [stdout] test tests::integration::domain::cross_file_without_modules_still_works ... ok
[INFO] [stdout] test tests::integration::domain::extract_int_literal_negative ... ok
[INFO] [stdout] test tests::integration::domain::extract_call_works ... ok
[INFO] [stdout] test tests::integration::domain::cross_file_import_resolves_contract_type ... ok
[INFO] [stdout] test tests::integration::domain::extract_int_literal_positive ... ok
[INFO] [stdout] test tests::integration::domain::cross_type_comparison_string_vs_int_rejected ... ok
[INFO] [stdout] test tests::integration::domain::cross_type_arithmetic_string_plus_int_rejected ... ok
[INFO] [stdout] test tests::integration::domain::extract_kv_pair_from_eq ... ok
[INFO] [stdout] test tests::integration::domain::feature_flag_with_dependencies ... ok
[INFO] [stdout] test tests::integration::domain::cross_file_unresolved_import_is_ignored ... ok
[INFO] [stdout] test tests::integration::domain::feature_flag_with_enabled_default ... ok
[INFO] [stdout] test tests::integration::domain::incremental_contract_precondition_weakening ... ok
[INFO] [stdout] test tests::integration::domain::cross_file_import_resolves_type_def ... ok
[INFO] [stdout] test tests::integration::domain::incremental_contract_version_continuity ... ok
[INFO] [stdout] test tests::integration::domain::multi_pass_discharge_clears_obligations ... ok
[INFO] [stdout] test tests::integration::domain::multi_pass_partial_discharge_flags_incomplete ... ok
[INFO] [stdout] test tests::integration::domain::multi_pass_refinement_broken_chain ... ok
[INFO] [stdout] test tests::integration::domain::multi_pass_refinement_chain ... ok
[INFO] [stdout] test tests::integration::domain::match_all_variants_covered_no_a10001 ... ok
[INFO] [stdout] test tests::integration::domain::match_unknown_scrutinee_no_wildcard_a10002 ... ok
[INFO] [stdout] test tests::integration::domain::match_non_exhaustive_missing_variant_a10001 ... ok
[INFO] [stdout] test tests::integration::domain::mvcc_checker_snapshot_violation ... ok
[INFO] [stdout] test tests::integration::domain::mvcc_checker_write_conflict ... ok
[INFO] [stdout] test tests::integration::domain::mvcc_no_phantom_when_txn_committed_before ... ok
[INFO] [stdout] test tests::integration::domain::mvcc_phantom_read_detected ... ok
[INFO] [stdout] test tests::integration::domain::multi_pass_chain_gap_detected ... ok
[INFO] [stdout] test tests::integration::domain::mvcc_checker_no_conflict_after_commit ... ok
[INFO] [stdout] test tests::integration::domain::page_cache_checker_dirty_evict ... ok
[INFO] [stdout] test tests::integration::domain::page_cache_checker_pinned_evict ... ok
[INFO] [stdout] test tests::integration::domain::platform_abstraction_unknown_platform_detected ... ok
[INFO] [stdout] test tests::integration::domain::page_cache_checker_within_capacity ... ok
[INFO] [stdout] test tests::integration::domain::precision_loss_detected_for_narrowing_cast ... ok
[INFO] [stdout] test tests::integration::domain::precision_loss_not_flagged_for_same_width ... ok
[INFO] [stdout] test tests::integration::domain::platform_abstraction_with_supported_platforms ... ok
[INFO] [stdout] test tests::integration::domain::precomputed_table_fully_verified ... ok
[INFO] [stdout] test tests::integration::domain::precomputed_table_missing_generator_flagged ... ok
[INFO] [stdout] test tests::integration::domain::resource_limit_near_limit_detected ... ok
[INFO] [stdout] test tests::integration::domain::resource_limit_unbounded_detected ... ok
[INFO] [stdout] test tests::integration::domain::resource_limit_under_threshold_no_warning ... ok
[INFO] [stdout] test tests::integration::domain::rollback_checker_duplicate_savepoint ... ok
[INFO] [stdout] test tests::integration::domain::rollback_checker_no_leak_when_released ... ok
[INFO] [stdout] test tests::integration::domain::rollback_checker_resource_leak ... ok
[INFO] [stdout] test tests::integration::domain::type_name_to_bits_mapping ... ok
[INFO] [stdout] test tests::integration::domain::unsafe_escape_with_obligations ... ok
[INFO] [stdout] test tests::integration::domain::precomputed_table_partial_coverage_flagged ... ok
[INFO] [stdout] test tests::integration::wiring::block_empty_returns_unit ... ok
[INFO] [stdout] test tests::integration::wiring::block_returns_last_expr_type ... ok
[INFO] [stdout] test tests::integration::domain::quantifier_trigger_no_strict_does_not_fire ... ok
[INFO] [stdout] test tests::integration::test_gen::test_generator_empty_for_no_constraints ... ok
[INFO] [stdout] test tests::integration::domain::same_type_comparison_passes ... ok
[INFO] [stdout] test tests::integration::test_gen::test_generator_populates_typed_file ... ok
[INFO] [stdout] test tests::integration::wiring::codec_registry_no_overlap_ok ... ok
[INFO] [stdout] test tests::integration::domain::unsafe_escape_discharge_obligation ... ok
[INFO] [stdout] test tests::integration::domain::rollback_checker_unknown_savepoint ... ok
[INFO] [stdout] test tests::integration::wiring::domain_allocator_checker_direct_api ... ok
[INFO] [stdout] test tests::integration::domain::ulp_bound_violation_detected ... ok
[INFO] [stdout] test tests::integration::wiring::domain_behavioral_equivalence_direct_api ... ok
[INFO] [stdout] test tests::integration::wiring::domain_binary_format_direct_api ... ok
[INFO] [stdout] test tests::integration::wiring::codec_registry_empty_decoder_a52002 ... ok
[INFO] [stdout] test tests::integration::wiring::codec_registry_overlapping_magic_a52001 ... ok
[INFO] [stdout] test tests::integration::wiring::domain_behavioral_equivalence_pipeline_rejects_unverified ... ok
[INFO] [stdout] test tests::integration::wiring::domain_binary_format_no_annotation_passes ... ok
[INFO] [stdout] test tests::integration::wiring::domain_bit_level_no_annotation_passes ... ok
[INFO] [stdout] test tests::integration::wiring::domain_allocator_checker_no_annotation_passes ... ok
[INFO] [stdout] test tests::integration::wiring::domain_bit_level_pipeline_rejects_width_mismatch ... ok
[INFO] [stdout] test tests::integration::domain::quantifier_trigger_strict_fires_a_core_050 ... ok
[INFO] [stdout] test tests::integration::wiring::domain_behavioral_equivalence_no_annotation_passes ... ok
[INFO] [stdout] test tests::integration::domain::page_cache_checker_capacity_from_ast ... ok
[INFO] [stdout] test tests::integration::wiring::domain_callback_reentrancy_direct_api ... ok
[INFO] [stdout] test tests::integration::wiring::domain_allocator_checker_pipeline_rejects_unpaired_alloc ... ok
[INFO] [stdout] test tests::integration::wiring::domain_binary_format_pipeline_rejects_field_overflow ... ok
[INFO] [stdout] test tests::integration::wiring::domain_callback_reentrancy_no_annotation_passes ... ok
[INFO] [stdout] test tests::integration::wiring::domain_checksum_direct_api ... ok
[INFO] [stdout] test tests::integration::wiring::domain_circular_buffer_checker_direct_api ... ok
[INFO] [stdout] test tests::integration::wiring::domain_complexity_bound_direct_api ... ok
[INFO] [stdout] test tests::integration::wiring::domain_checksum_pipeline_rejects_use_before_verify ... ok
[INFO] [stdout] test tests::integration::wiring::domain_circular_buffer_checker_no_annotation_passes ... ok
[INFO] [stdout] test tests::integration::wiring::domain_circular_buffer_pipeline_rejects_empty_read ... ok
[INFO] [stdout] test tests::integration::wiring::domain_callback_reentrancy_pipeline_rejects_reentrant_call ... ok
[INFO] [stdout] test tests::integration::wiring::domain_contract_composition_direct_api ... ok
[INFO] [stdout] test tests::integration::wiring::domain_complexity_bound_no_annotation_passes ... ok
[INFO] [stdout] test tests::integration::wiring::domain_checksum_no_annotation_passes ... ok
[INFO] [stdout] test tests::integration::wiring::domain_contract_composition_no_extends_passes ... ok
[INFO] [stdout] test tests::integration::wiring::domain_contract_library_direct_api ... ok
[INFO] [stdout] test tests::integration::wiring::domain_complexity_bound_pipeline_rejects_unverified ... ok
[INFO] [stdout] test tests::integration::wiring::domain_contract_library_no_library_passes ... ok
[INFO] [stdout] test tests::integration::wiring::domain_contract_composition_pipeline_rejects_unknown_extends ... ok
[INFO] [stdout] test tests::integration::wiring::domain_crash_recovery_direct_api ... ok
[INFO] [stdout] test tests::integration::wiring::domain_feature_flag_direct_api ... ok
[INFO] [stdout] test tests::integration::wiring::domain_incremental_contract_direct_api ... ok
[INFO] [stdout] test tests::integration::wiring::domain_contract_library_pipeline_rejects_empty_exports ... ok
[INFO] [stdout] test tests::integration::wiring::domain_multi_pass_refinement_direct_api ... ok
[INFO] [stdout] test tests::integration::wiring::domain_numerical_precision_direct_api ... ok
[INFO] [stdout] test tests::integration::wiring::domain_feature_flag_pipeline_rejects_unused ... ok
[INFO] [stdout] test tests::integration::wiring::domain_incremental_contract_no_annotation_passes ... ok
[INFO] [stdout] test tests::integration::wiring::domain_mvcc_direct_api ... ok
[INFO] [stdout] test tests::integration::wiring::domain_multi_pass_refinement_no_annotation_passes ... ok
[INFO] [stdout] test tests::integration::wiring::domain_multi_pass_refinement_pipeline_rejects_incomplete ... ok
[INFO] [stdout] test tests::integration::wiring::domain_monotonic_state_direct_api ... ok
[INFO] [stdout] test tests::integration::wiring::domain_feature_flag_no_annotation_passes ... ok
[INFO] [stdout] test tests::integration::wiring::domain_numerical_precision_no_annotation_passes ... ok
[INFO] [stdout] test tests::integration::wiring::domain_mvcc_no_annotation_passes ... ok
[INFO] [stdout] test tests::integration::wiring::domain_monotonic_state_no_annotation_passes ... ok
[INFO] [stdout] test tests::integration::wiring::domain_crash_recovery_no_annotation_passes ... ok
[INFO] [stdout] test tests::integration::wiring::domain_crash_recovery_pipeline_rejects_no_wal ... ok
[INFO] [stdout] test tests::integration::wiring::domain_page_cache_direct_api ... ok
[INFO] [stdout] test tests::integration::wiring::domain_page_cache_no_annotation_passes ... ok
[INFO] [stdout] test tests::integration::wiring::domain_page_cache_pipeline_wired_in ... ok
[INFO] [stdout] test tests::integration::wiring::domain_numerical_precision_pipeline_rejects_cancellation ... ok
[INFO] [stdout] test tests::integration::wiring::domain_opaque_function_direct_api ... ok
[INFO] [stdout] test tests::integration::wiring::domain_monotonic_state_pipeline_rejects_undeclared_access ... ok
[INFO] [stdout] test tests::integration::wiring::domain_platform_abstraction_direct_api ... ok
[INFO] [stdout] test tests::integration::wiring::domain_opaque_function_no_annotation_passes ... ok
[INFO] [stdout] test tests::integration::wiring::domain_incremental_contract_pipeline_rejects_version_gap ... ok
[INFO] [stdout] test tests::integration::wiring::domain_precomputed_table_direct_api ... ok
[INFO] [stdout] test tests::integration::wiring::domain_opaque_function_pipeline_rejects_body_access ... ok
[INFO] [stdout] test tests::integration::wiring::domain_mvcc_pipeline_wired_in ... ok
[INFO] [stdout] test tests::integration::wiring::domain_platform_abstraction_no_annotation_passes ... ok
[INFO] [stdout] test tests::integration::wiring::domain_rollback_direct_api ... ok
[INFO] [stdout] test tests::integration::wiring::domain_scoped_invariant_direct_api ... ok
[INFO] [stdout] test tests::integration::wiring::domain_storage_failure_direct_api ... ok
[INFO] [stdout] test tests::integration::wiring::domain_precomputed_table_no_annotation_passes ... ok
[INFO] [stdout] test tests::integration::wiring::domain_platform_abstraction_pipeline_rejects_missing_impl ... ok
[INFO] [stdout] test tests::integration::wiring::domain_resource_limit_no_annotation_passes ... ok
[INFO] [stdout] test tests::integration::wiring::domain_resource_limit_pipeline_rejects_unbounded ... ok
[INFO] [stdout] test tests::integration::wiring::domain_resource_limit_direct_api ... ok
[INFO] [stdout] test tests::integration::wiring::domain_scoped_invariant_pipeline_rejects_suspended_use ... ok
[INFO] [stdout] test tests::integration::wiring::domain_protocol_grammar_no_annotation_passes ... ok
[INFO] [stdout] test tests::integration::wiring::domain_rollback_pipeline_rejects_duplicate_savepoint ... ok
[INFO] [stdout] test tests::integration::wiring::domain_string_encoding_direct_api ... ok
[INFO] [stdout] test tests::integration::wiring::domain_precomputed_table_pipeline_rejects_no_generator ... ok
[INFO] [stdout] test tests::integration::wiring::domain_storage_failure_no_annotation_passes ... ok
[INFO] [stdout] test tests::integration::wiring::domain_storage_failure_pipeline_rejects_unhandled ... ok
[INFO] [stdout] test tests::integration::wiring::domain_protocol_grammar_pipeline_rejects_invalid_send ... ok
[INFO] [stdout] test tests::integration::wiring::domain_temporal_deadline_direct_api ... ok
[INFO] [stdout] test tests::integration::wiring::domain_unsafe_escape_direct_api ... ok
[INFO] [stdout] test tests::integration::wiring::domain_string_encoding_no_annotation_passes ... ok
[INFO] [stdout] test tests::integration::wiring::error_type_suppresses_field_access ... ok
[INFO] [stdout] test tests::integration::wiring::domain_scoped_invariant_no_annotation_passes ... ok
[INFO] [stdout] test tests::integration::wiring::domain_temporal_deadline_no_annotation_passes ... ok
[INFO] [stdout] test tests::integration::wiring::domain_string_encoding_pipeline_rejects_raw_bytes_as_string ... ok
[INFO] [stdout] test tests::integration::wiring::domain_rollback_no_annotation_passes ... ok
[INFO] [stdout] test tests::integration::wiring::error_type_suppresses_index ... ok
[INFO] [stdout] test tests::integration::wiring::domain_unsafe_escape_pipeline_rejects_no_proof ... ok
[INFO] [stdout] test tests::integration::wiring::domain_temporal_deadline_pipeline_rejects_unbounded_op ... ok
[INFO] [stdout] test tests::integration::wiring::domain_unsafe_escape_no_annotation_passes ... ok
[INFO] [stdout] test tests::integration::wiring::error_compatible_with_any_type ... ok
[INFO] [stdout] test tests::integration::wiring::error_type_suppresses_call ... ok
[INFO] [stdout] test tests::integration::wiring::is_indeterminate_works ... ok
[INFO] [stdout] test tests::integration::wiring::option_filter_preserves_type ... ok
[INFO] [stdout] test tests::integration::wiring::option_map_with_known_function ... ok
[INFO] [stdout] test tests::integration::wiring::liveness_block_with_prove_is_valid ... ok
[INFO] [stdout] test tests::integration::wiring::result_map_with_known_function ... ok
[INFO] [stdout] test tests::integration::wiring::liveness_leads_to_with_assume_fair_ok ... ok
[INFO] [stdout] test tests::integration::wiring::ordering_relaxed_with_ensures_emits_a_conc_016 ... ok
[INFO] [stdout] test tests::integration::wiring::ordering_relaxed_without_ensures_no_a23016 ... ok
[INFO] [stdout] test tests::integration::wiring::ordering_seq_cst_with_ensures_no_a23016 ... ok
[INFO] [stdout] test tests::integration::wiring::liveness_block_missing_prove_emits_a_core_030 ... ok
[INFO] [stdout] test tests::integration::wiring::liveness_leads_to_without_fair_emits_a_core_031 ... ok
[INFO] [stdout] test tests::integration::wiring::result_map_err_with_known_function ... ok
[INFO] [stdout] test tests::integration::wiring::error_type_suppresses_method_call ... ok
[INFO] [stdout] test tests::integration::wiring::ordering_acquire_with_ensures_no_a23016 ... ok
[INFO] [stdout] test tests::interactions::apply_expr_type_is_bool ... ok
[INFO] [stdout] test tests::interactions::apply_not_counted_as_linear_use ... ok
[INFO] [stdout] test tests::interactions::collect_old_refs_in_binop ... ok
[INFO] [stdout] test tests::interactions::collect_old_refs_none ... ok
[INFO] [stdout] test tests::interactions::collect_old_refs_simple ... ok
[INFO] [stdout] test tests::interactions::extract_modifies_block_of_idents ... ok
[INFO] [stdout] test tests::interactions::extract_modifies_field_access ... ok
[INFO] [stdout] test tests::interactions::extract_modifies_list ... ok
[INFO] [stdout] test tests::interactions::extract_modifies_nested_field ... ok
[INFO] [stdout] test tests::integration::wiring::option_or_else_preserves_type ... ok
[INFO] [stdout] test tests::interactions::extract_modifies_single_ident ... ok
[INFO] [stdout] test tests::integration::wiring::type_param_call_returns_type_param ... ok
[INFO] [stdout] test tests::interactions::extract_modifies_raw_tokens ... ok
[INFO] [stdout] test tests::interactions::frame_checker_empty_no_axioms ... ok
[INFO] [stdout] test tests::interactions::frame_checker_candidates_frame_unmodified_param ... ok
[INFO] [stdout] test tests::interactions::fn_is_not_lemma ... ok
[INFO] [stdout] test tests::interactions::frame_checker_frame_axiom_vars ... ok
[INFO] [stdout] test tests::interactions::frame_checker_has_modifies ... ok
[INFO] [stdout] test tests::interactions::collect_old_refs_field ... ok
[INFO] [stdout] test tests::interactions::frame_checker_is_modified ... ok
[INFO] [stdout] test tests::interactions::frame_checker_mixed_scope_check ... ok
[INFO] [stdout] test tests::interactions::frame_checker_modified_var_no_axiom ... ok
[INFO] [stdout] test tests::interactions::frame_checker_unknown_var_a14001 ... ok
[INFO] [stdout] test tests::interactions::frame_checker_valid_modifies_clause ... ok
[INFO] [stdout] test tests::interactions::ghost_block_propagates_inner_error ... ok
[INFO] [stdout] test tests::interactions::ghost_block_type_checks_inner ... ok
[INFO] [stdout] test tests::interactions::ghost_fn_non_pure_effects_a54001 ... ok
[INFO] [stdout] test tests::interactions::ghost_fn_pure_effects_passes ... ok
[INFO] [stdout] test tests::interactions::ghost_fn_no_effects_clause_passes ... ok
[INFO] [stdout] test tests::interactions::ghost_var_not_counted_as_linear_use ... ok
[INFO] [stdout] test tests::interactions::interaction_effect_containment_database_covers_subeffects ... ok
[INFO] [stdout] test tests::interactions::interaction_effect_containment_io_calls_database_a07001 ... ok
[INFO] [stdout] test tests::interactions::interaction_effect_containment_pure_calls_io_a07002 ... ok
[INFO] [stdout] test tests::interactions::interaction_effect_hierarchy_separation ... ok
[INFO] [stdout] test tests::interactions::interaction_effect_multiple_groups_combined ... ok
[INFO] [stdout] test tests::interactions::interaction_effect_typestate_correct_state_wrong_effects ... ok
[INFO] [stdout] test tests::interactions::interaction_effect_typestate_transition_with_effects ... ok
[INFO] [stdout] test tests::interactions::interaction_full_pipeline_all_three_fail ... ok
[INFO] [stdout] test tests::interactions::interaction_full_pipeline_linear_typestate_effect_pass ... ok
[INFO] [stdout] test tests::interactions::interaction_linear_effect_undeclared_effect_on_resource ... ok
[INFO] [stdout] test tests::interactions::interaction_linear_infoflow_orthogonal_grade_and_type ... ok
[INFO] [stdout] test tests::interactions::interaction_linear_context_fork_merge_swap_in_branches ... ok
[INFO] [stdout] test tests::interactions::interaction_linear_typestate_double_use_violates_both ... ok
[INFO] [stdout] test tests::interactions::interaction_linear_infoflow_unlimited_with_label ... ok
[INFO] [stdout] test tests::interactions::interaction_linear_context_fork_merge_two_vars ... ok
[INFO] [stdout] test tests::interactions::interaction_linear_effect_consume_with_correct_effects ... ok
[INFO] [stdout] test tests::interactions::interaction_linear_effect_pure_function_with_linear_resource ... ok
[INFO] [stdout] test tests::interactions::interaction_linear_typestate_must_be_linear ... ok
[INFO] [stdout] test tests::interactions::interaction_refinement_linear_erased_runtime_use_a05002 ... ok
[INFO] [stdout] test tests::interactions::interaction_effect_typestate_wrong_state_with_correct_effects ... ok
[INFO] [stdout] test tests::interactions::interaction_refinement_linear_ghost_use_does_not_consume ... ok
[INFO] [stdout] test tests::interactions::interaction_refinement_linear_two_computational_uses_a05001 ... ok
[INFO] [stdout] test tests::interactions::interaction_linear_effect_resource_not_consumed_a05002 ... ok
[INFO] [stdout] test tests::interactions::interaction_typestate_branch_divergence_same_state_ok ... ok
[INFO] [stdout] test tests::interactions::interaction_refinement_linear_ghost_grade_erased_no_runtime ... ok
[INFO] [stdout] test tests::interactions::interaction_refinement_linear_refined_type_with_linear_base ... ok
[INFO] [stdout] test tests::interactions::interaction_linear_typestate_linear_ok ... ok
[INFO] [stdout] test tests::interactions::interaction_typestate_branch_divergence_with_linear_context ... ok
[INFO] [stdout] test tests::interactions::interaction_typestate_branch_one_transitions_other_stays ... ok
[INFO] [stdout] test tests::interactions::interaction_typestate_branch_divergence_a06004 ... ok
[INFO] [stdout] test tests::interactions::interaction_three_way_typestate_passes_effect_fails ... ok
[INFO] [stdout] test tests::interactions::interaction_three_way_effect_passes_typestate_fails ... ok
[INFO] [stdout] test tests::interactions::test_error_propagation_multiple_policies ... ok
[INFO] [stdout] test tests::interactions::lemma_fn_no_effects_clause_passes ... ok
[INFO] [stdout] test tests::interactions::lemma_fn_pure_effects_passes ... ok
[INFO] [stdout] test tests::interactions::lemma_fn_non_pure_effects_a55001 ... ok
[INFO] [stdout] test tests::interactions::lemma_is_lemma_flag_set ... ok
[INFO] [stdout] test tests::interactions::test_error_propagation_must_check ... ok
[INFO] [stdout] test tests::interactions::test_error_propagation_must_not_mask ... ok
[INFO] [stdout] test tests::interactions::interaction_three_way_typestate_effect_refinement_all_pass ... ok
[INFO] [stdout] test tests::interactions::test_error_propagation_empty_policy ... ok
[INFO] [stdout] test tests::linear::expr_usages_binop_counts_both_sides ... ok
[INFO] [stdout] test tests::linear::expr_usages_block_counts_all ... ok
[INFO] [stdout] test tests::linear::expr_usages_call_counts_func_and_args ... ok
[INFO] [stdout] test tests::linear::expr_usages_cast_counts_inner ... ok
[INFO] [stdout] test tests::linear::expr_usages_field_access_counts_receiver ... ok
[INFO] [stdout] test tests::linear::expr_usages_ident_counts ... ok
[INFO] [stdout] test tests::linear::expr_usages_linear_used_in_binop_a05001 ... ok
[INFO] [stdout] test tests::linear::expr_usages_list_counts_elements ... ok
[INFO] [stdout] test tests::linear::expr_usages_literal_no_count ... ok
[INFO] [stdout] test tests::linear::expr_usages_method_call_counts_receiver_and_args ... ok
[INFO] [stdout] test tests::linear::expr_usages_nested_if ... ok
[INFO] [stdout] test tests::linear::expr_usages_old_counts_inner ... ok
[INFO] [stdout] test tests::linear::expr_usages_quantifier_counts_domain_and_body ... ok
[INFO] [stdout] test tests::interactions::test_error_propagation_must_propagate_swallow_rejected ... ok
[INFO] [stdout] test tests::linear::expr_usages_counts_ident ... ok
[INFO] [stdout] test tests::linear::expr_usages_index_counts_base_and_index ... ok
[INFO] [stdout] test tests::linear::linear_branch_consistency_with_single_use_passes ... ok
[INFO] [stdout] test tests::linear::linear_context_a05005_scope_escape ... ok
[INFO] [stdout] test tests::linear::linear_context_condition_uses_before_fork ... ok
[INFO] [stdout] test tests::linear::linear_context_double_use_in_one_branch ... ok
[INFO] [stdout] test tests::linear::linear_context_exact_grade_consistency_check ... ok
[INFO] [stdout] test tests::linear::linear_context_exact_grade_consistent_ok ... ok
[INFO] [stdout] test tests::linear::linear_context_fork_produces_independent_copies ... ok
[INFO] [stdout] test tests::linear::linear_context_merge_takes_max_usage ... ok
[INFO] [stdout] test tests::linear::expr_usages_raw_no_count ... ok
[INFO] [stdout] test tests::linear::linear_context_both_branches_use_var_ok ... ok
[INFO] [stdout] test tests::linear::linear_context_erased_var_unaffected_by_branches ... ok
[INFO] [stdout] test tests::linear::linear_two_vars_one_double_used_one_unused ... ok
[INFO] [stdout] test tests::linear::linear_context_neither_branch_uses_var ... ok
[INFO] [stdout] test tests::linear::linear_context_nested_if_branches ... ok
[INFO] [stdout] test tests::linear::linear_context_nested_if_inner_inconsistent ... ok
[INFO] [stdout] test tests::linear::linear_context_no_else_branch_a05004 ... ok
[INFO] [stdout] test tests::linear::linear_context_one_branch_only_a05004 ... ok
[INFO] [stdout] test tests::linear::linear_context_unlimited_var_no_consistency_error ... ok
[INFO] [stdout] test tests::linear::expr_usages_unary_counts_inner ... ok
[INFO] [stdout] test tests::linear::linear_context_var_used_in_condition_and_branches ... ok
[INFO] [stdout] test tests::linear::linear_correctly_used_once_passes ... ok
[INFO] [stdout] test tests::linear::linear_double_use_a05001 ... ok
[INFO] [stdout] test tests::linear::linear_refinement_predicate_not_a_use ... ok
[INFO] [stdout] test tests::linear::linear_refinement_predicate_plus_real_use_no_double_count ... ok
[INFO] [stdout] test tests::linear::linear_context_multiple_vars_mixed ... ok
[INFO] [stdout] test tests::linear::linear_used_in_call_arg_exactly_once_passes ... ok
[INFO] [stdout] test tests::linear::usage_erased_not_used_ok ... ok
[INFO] [stdout] test tests::linear::usage_exact_correct_count_ok ... ok
[INFO] [stdout] test tests::linear::usage_exact_too_few_a05003 ... ok
[INFO] [stdout] test tests::linear::usage_exact_too_many_a05003 ... ok
[INFO] [stdout] test tests::linear::usage_grade_display ... ok
[INFO] [stdout] test tests::linear::usage_linear_exactly_once_ok ... ok
[INFO] [stdout] test tests::linear::linear_triple_use_a05001 ... ok
[INFO] [stdout] test tests::linear::usage_erased_used_a05002 ... ok
[INFO] [stdout] test tests::linear::usage_multiple_variables_mixed ... ok
[INFO] [stdout] test tests::linear::linear_unused_a05002 ... ok
[INFO] [stdout] test tests::linear::usage_linear_used_many_times_a05001 ... ok
[INFO] [stdout] test tests::linear::usage_linear_used_twice_a05001 ... ok
[INFO] [stdout] test tests::linear::usage_untracked_var_ignored ... ok
[INFO] [stdout] test tests::patterns_clauses::clause_comparison_in_requires_ok ... ok
[INFO] [stdout] test tests::patterns_clauses::clause_ensures_bool_body_ok ... ok
[INFO] [stdout] test tests::patterns_clauses::clause_ensures_string_body_error ... ok
[INFO] [stdout] test tests::linear::usage_linear_never_used_a05002 ... ok
[INFO] [stdout] test tests::linear::usage_exact_zero_a05003 ... ok
[INFO] [stdout] test tests::patterns_clauses::clause_invariant_bool_body_ok ... ok
[INFO] [stdout] test tests::linear::usage_tracker_redeclare_resets ... ok
[INFO] [stdout] test tests::patterns_clauses::clause_invariant_float_body_error ... ok
[INFO] [stdout] test tests::linear::usage_unlimited_any_count_ok ... ok
[INFO] [stdout] test tests::patterns_clauses::clause_modifies_any_body_ok ... ok
[INFO] [stdout] test tests::patterns_clauses::clause_requires_bool_body_ok ... ok
[INFO] [stdout] test tests::patterns_clauses::clause_requires_int_body_error ... ok
[INFO] [stdout] test tests::patterns_clauses::clause_requires_bool_integration ... ok
[INFO] [stdout] test tests::patterns_clauses::clause_requires_int_body_integration ... ok
[INFO] [stdout] test tests::patterns_clauses::clause_rule_bool_body_ok ... ok
[INFO] [stdout] test tests::patterns_clauses::clause_unknown_body_no_error ... ok
[INFO] [stdout] test tests::patterns_clauses::clause_rule_int_body_error ... ok
[INFO] [stdout] test tests::patterns_clauses::exhaustive_all_variants_covered ... ok
[INFO] [stdout] test tests::patterns_clauses::exhaustive_empty_enum ... ok
[INFO] [stdout] test tests::patterns_clauses::exhaustive_duplicate_patterns_ignored ... ok
[INFO] [stdout] test tests::patterns_clauses::exhaustive_single_variant_enum ... ok
[INFO] [stdout] test tests::patterns_clauses::exhaustive_wildcard_covers_all ... ok
[INFO] [stdout] test tests::patterns_clauses::exhaustive_wildcard_with_explicit ... ok
[INFO] [stdout] test tests::patterns_clauses::non_exhaustive_empty_patterns ... ok
[INFO] [stdout] test tests::patterns_clauses::non_exhaustive_literal_does_not_cover_variant ... ok
[INFO] [stdout] test tests::patterns_clauses::non_exhaustive_missing_multiple ... ok
[INFO] [stdout] test tests::patterns_clauses::non_exhaustive_missing_one ... ok
[INFO] [stdout] test tests::patterns_clauses::non_exhaustive_preserves_declaration_order ... ok
[INFO] [stdout] test tests::security::constant_time::ct_branch_on_secret_a14001 ... ok
[INFO] [stdout] test tests::security::constant_time::ct_check_expr_if_with_secret ... ok
[INFO] [stdout] test tests::security::constant_time::ct_branch_on_public_ok ... ok
[INFO] [stdout] test tests::security::constant_time::ct_nested_secret_in_condition ... ok
[INFO] [stdout] test tests::security::constant_time::ct_index_on_public_ok ... ok
[INFO] [stdout] test tests::security::constant_time::ct_references_secret_field ... ok
[INFO] [stdout] test tests::security::crypto::crypto_correct_key_size_ok ... ok
[INFO] [stdout] test tests::security::crypto::crypto_correct_nonce_size_ok ... ok
[INFO] [stdout] test tests::security::crypto::crypto_chacha20_key_size ... ok
[INFO] [stdout] test tests::security::crypto::crypto_tag_not_verified_a17004 ... ok
[INFO] [stdout] test tests::security::crypto::crypto_counter_nonce_ok ... ok
[INFO] [stdout] test tests::security::crypto::crypto_wrong_key_size_a17001 ... ok
[INFO] [stdout] test tests::security::crypto::crypto_custom_spec ... ok
[INFO] [stdout] test tests::security::crypto::crypto_nonce_not_unique_a17003 ... ok
[INFO] [stdout] test tests::security::dependent_types::dep_type_bool_arithmetic_rejected ... ok
[INFO] [stdout] test tests::security::crypto::crypto_tag_verified_ok ... ok
[INFO] [stdout] test tests::security::dependent_types::dep_type_display ... ok
[INFO] [stdout] test tests::security::crypto::crypto_wrong_nonce_size_a17002 ... ok
[INFO] [stdout] test tests::security::constant_time::ct_index_on_secret_a14002 ... ok
[INFO] [stdout] test tests::security::dependent_types::dep_type_enum_index_valid ... ok
[INFO] [stdout] test tests::security::dependent_types::dep_type_equality_base_mismatch ... ok
[INFO] [stdout] test tests::security::dependent_types::dep_type_equality_matching ... ok
[INFO] [stdout] test tests::security::dependent_types::dep_type_equality_index_count_mismatch ... ok
[INFO] [stdout] test tests::security::dependent_types::dep_type_bool_index_valid ... ok
[INFO] [stdout] test tests::security::dependent_types::dep_type_index_erasure_ghost_ok ... ok
[INFO] [stdout] test tests::security::dependent_types::dep_type_index_erasure_runtime_error ... ok
[INFO] [stdout] test tests::security::dependent_types::dep_type_index_kind_mismatch ... ok
[INFO] [stdout] test tests::security::dependent_types::dep_type_nat_arithmetic_valid ... ok
[INFO] [stdout] test tests::security::determinism::determinism_hashmap_a20001 ... ok
[INFO] [stdout] test tests::security::dependent_types::dep_type_nat_index_valid ... ok
[INFO] [stdout] test tests::security::determinism::determinism_iteration_a20002 ... ok
[INFO] [stdout] test tests::security::determinism::determinism_non_det_fn_ok ... ok
[INFO] [stdout] test tests::security::ffi::ffi_boundary_display ... ok
[INFO] [stdout] test tests::security::ffi::ffi_call_trusted_unvalidated_ok ... ok
[INFO] [stdout] test tests::security::ffi::ffi_call_untrusted_unvalidated_a11003 ... ok
[INFO] [stdout] test tests::security::determinism::determinism_random_a20001 ... ok
[INFO] [stdout] test tests::security::ffi::ffi_file_check_multiple_externs ... ok
[INFO] [stdout] test tests::security::ffi::ffi_unsafe_inside_wrapper_ok ... ok
[INFO] [stdout] test tests::security::ffi::ffi_trusted_no_contract_ok ... ok
[INFO] [stdout] test tests::security::ffi::ffi_call_untrusted_validated_ok ... ok
[INFO] [stdout] test tests::security::ffi::ffi_extern_with_boundary_ok ... ok
[INFO] [stdout] test tests::security::ffi::ffi_unsafe_outside_wrapper_a11004 ... ok
[INFO] [stdout] test tests::security::ffi::ffi_extern_without_boundary_a11001 ... ok
[INFO] [stdout] test tests::security::ffi::ffi_untrusted_with_contract_ok ... ok
[INFO] [stdout] test tests::security::ffi::ffi_untrusted_without_contract_a11002 ... ok
[INFO] [stdout] test tests::patterns_clauses::clause_effects_any_body_ok ... ok
[INFO] [stdout] test tests::security::dependent_types::dep_type_unknown_type_a03006 ... ok
[INFO] [stdout] test tests::security::determinism::determinism_btree_iteration_ok ... ok
[INFO] [stdout] test tests::security::dependent_types::dep_type_enum_variant_valid ... ok
[INFO] [stdout] test tests::security::info_flow::info_flow_check_expr_if_covert_channel ... ok
[INFO] [stdout] test tests::security::info_flow::info_flow_infer_unknown_var_public ... ok
[INFO] [stdout] test tests::security::determinism::determinism_btreemap_ok ... ok
[INFO] [stdout] test tests::security::info_flow::info_flow_covert_channel_non_sensitive_fn_ok ... ok
[INFO] [stdout] test tests::security::info_flow::info_flow_label_propagation_binary ... ok
[INFO] [stdout] test tests::security::info_flow::info_flow_invalid_downward_a08001 ... ok
[INFO] [stdout] test tests::security::info_flow::info_flow_label_field_access ... ok
[INFO] [stdout] test tests::security::info_flow::info_flow_covert_channel_a08005 ... ok
[INFO] [stdout] test tests::security::info_flow::info_flow_label_propagation_both_restricted ... ok
[INFO] [stdout] test tests::security::info_flow::info_flow_checker_default ... ok
[INFO] [stdout] test tests::security::info_flow::info_flow_declassify_upward_no_error ... ok
[INFO] [stdout] test tests::security::info_flow::info_flow_covert_channel_public_ok ... ok
[INFO] [stdout] test tests::security::info_flow::info_flow_declassify_with_annotation_ok ... ok
[INFO] [stdout] test tests::security::info_flow::info_flow_display_labels ... ok
[INFO] [stdout] test tests::security::info_flow::info_flow_implicit_flow_a08004 ... ok
[INFO] [stdout] test tests::security::info_flow::info_flow_implicit_flow_same_level_ok ... ok
[INFO] [stdout] test tests::security::info_flow::info_flow_declassify_without_annotation_a08002 ... ok
[INFO] [stdout] test tests::security::info_flow::info_flow_infer_literal_public ... ok
[INFO] [stdout] test tests::security::info_flow::info_flow_label_propagation_nested ... ok
[INFO] [stdout] test tests::security::info_flow::info_flow_multiple_variables_mixed_levels ... ok
[INFO] [stdout] test tests::security::info_flow::info_flow_purpose_label_match_ok ... ok
[INFO] [stdout] test tests::security::info_flow::info_flow_purpose_label_mismatch_a08003 ... ok
[INFO] [stdout] test tests::security::info_flow::info_flow_purpose_label_untracked_ok ... ok
[INFO] [stdout] test tests::security::interface::interface_signature_return_type_mismatch_a13002 ... ok
[INFO] [stdout] test tests::security::interface::interface_super_interface_inheritance ... ok
[INFO] [stdout] test tests::security::lock_ordering::lock_order_correct_ok ... ok
[INFO] [stdout] test tests::security::interface::interface_unknown_interface_a13001 ... ok
[INFO] [stdout] test tests::security::lock_ordering::lock_order_defined_ok ... ok
[INFO] [stdout] test tests::security::lock_ordering::lock_order_release_wrong_a21002 ... ok
[INFO] [stdout] test tests::security::lock_ordering::lock_order_violation_a21001 ... ok
[INFO] [stdout] test tests::security::info_flow::info_flow_restricted_to_internal_a08001 ... ok
[INFO] [stdout] test tests::security::info_flow::info_flow_security_label_ordering ... ok
[INFO] [stdout] test tests::security::info_flow::info_flow_valid_same_level_assignment ... ok
[INFO] [stdout] test tests::security::memory::memory_checker_bounds_check_in_conjunction ... ok
[INFO] [stdout] test tests::security::info_flow::info_flow_valid_upward_assignment ... ok
[INFO] [stdout] test tests::security::interface::interface_all_methods_implemented_ok ... ok
[INFO] [stdout] test tests::security::memory::memory_checker_bounds_check_missing ... ok
[INFO] [stdout] test tests::security::memory::memory_checker_bounds_check_present ... ok
[INFO] [stdout] test tests::security::memory::memory_checker_bounds_check_with_capacity ... ok
[INFO] [stdout] test tests::security::memory::memory_checker_default ... ok
[INFO] [stdout] test tests::security::interface::interface_missing_method_a13001 ... ok
[INFO] [stdout] test tests::security::interface::interface_reentrancy_no_flag_ok ... ok
[INFO] [stdout] test tests::security::interface::interface_reentrancy_violation_a13003 ... ok
[INFO] [stdout] test tests::security::memory::expr_references_var_in_binop ... ok
[INFO] [stdout] test tests::security::memory::memory_checker_gte_bounds_check ... ok
[INFO] [stdout] test tests::security::memory::memory_checker_region_buffer_exists ... ok
[INFO] [stdout] test tests::security::memory::memory_checker_region_buffer_missing ... ok
[INFO] [stdout] test tests::security::memory::memory_checker_region_containment_different_buffers ... ok
[INFO] [stdout] test tests::security::memory::memory_checker_region_containment_undefined_sub ... ok
[INFO] [stdout] test tests::security::memory::memory_checker_region_containment_same_buffer ... ok
[INFO] [stdout] test tests::security::interface::interface_signature_param_count_mismatch_a13002 ... ok
[INFO] [stdout] test tests::security::secure_erasure::secure_erasure_check_all_erased ... ok
[INFO] [stdout] test tests::security::memory::memory_checker_register_buffer ... ok
[INFO] [stdout] test tests::security::secure_erasure::secure_erasure_copy_to_non_sensitive_a16002 ... ok
[INFO] [stdout] test tests::security::secure_erasure::secure_erasure_copy_to_sensitive_ok ... ok
[INFO] [stdout] test tests::security::secure_erasure::secure_erasure_non_sensitive_ok ... ok
[INFO] [stdout] test tests::security::secure_erasure::secure_erasure_not_zeroized_a16001 ... ok
[INFO] [stdout] test tests::security::secure_erasure::secure_erasure_zeroized_ok ... ok
[INFO] [stdout] test tests::security::shared_memory::shared_mem_data_race_a18003 ... ok
[INFO] [stdout] test tests::security::shared_memory::shared_mem_read_none_a18001 ... ok
[INFO] [stdout] test tests::security::shared_memory::shared_mem_access_mode_display ... ok
[INFO] [stdout] test tests::security::secure_erasure::secure_erasure_return_not_sensitive_a16003 ... ok
[INFO] [stdout] test tests::security::shared_memory::shared_mem_write_exclusive_ok ... ok
[INFO] [stdout] test tests::security::shared_memory::shared_mem_write_shared_a18002 ... ok
[INFO] [stdout] test tests::security::structural_invariant::struct_inv_get_invariants ... ok
[INFO] [stdout] test tests::security::shared_memory::shared_mem_read_shared_ok ... ok
[INFO] [stdout] test tests::security::structural_invariant::struct_inv_acyclic_valid_for_any_recursive ... ok
[INFO] [stdout] test tests::security::shared_memory::shared_mem_two_readers_ok ... ok
[INFO] [stdout] test tests::security::shared_memory::shared_mem_read_exclusive_ok ... ok
[INFO] [stdout] test tests::security::memory::memory_checker_register_region ... ok
[INFO] [stdout] test tests::security::structural_invariant::struct_inv_on_non_recursive_a15001 ... ok
[INFO] [stdout] test tests::security::structural_invariant::struct_inv_operation_with_proof_ok ... ok
[INFO] [stdout] test tests::security::structural_invariant::struct_inv_sort_on_tree_a15003 ... ok
[INFO] [stdout] test tests::security::structural_invariant::struct_inv_tree_balance_valid ... ok
[INFO] [stdout] test tests::security::structural_invariant::struct_inv_tree_on_list_a15002 ... ok
[INFO] [stdout] test tests::security::taint::extract_taint_from_tokens ... ok
[INFO] [stdout] test tests::security::structural_invariant::struct_inv_operation_no_proof_a15004 ... ok
[INFO] [stdout] test tests::security::structural_invariant::struct_inv_kind_display ... ok
[INFO] [stdout] test tests::security::structural_invariant::struct_inv_readonly_trivially_preserves ... ok
[INFO] [stdout] test tests::security::taint::taint_checker_nested_index_propagation ... ok
[INFO] [stdout] test tests::security::taint::taint_checker_untrusted_index_a09101 ... ok
[INFO] [stdout] test tests::security::taint::taint_checker_alloc_a09102 ... ok
[INFO] [stdout] test tests::security::taint::taint_checker_validated_at_sink_passes ... ok
[INFO] [stdout] test tests::security::taint::taint_infer_literal_trusted ... ok
[INFO] [stdout] test tests::security::taint::taint_checker_display ... ok
[INFO] [stdout] test tests::security::taint::taint_checker_trusted_index_passes ... ok
[INFO] [stdout] test tests::security::taint::taint_checker_trusted_sink_a09103 ... ok
[INFO] [stdout] test tests::security::taint::extract_taint_short_form ... ok
[INFO] [stdout] test tests::security::taint::taint_checker_validated_index_passes ... ok
[INFO] [stdout] test tests::security::taint::taint_infer_unknown_var_trusted ... ok
[INFO] [stdout] test tests::security::taint::taint_label_ordering ... ok
[INFO] [stdout] test tests::security::taint::taint_propagation_both_untrusted ... ok
[INFO] [stdout] test tests::security::taint::taint_propagation_through_arithmetic ... ok
[INFO] [stdout] test tests::security::taint::taint_validation_removes_taint ... ok
[INFO] [stdout] test tests::security::totality::totality_checker_debug ... ok
[INFO] [stdout] test tests::security::totality::totality_checker_default ... ok
[INFO] [stdout] test tests::security::totality::totality_extract_lexicographic_decreases ... ok
[INFO] [stdout] test tests::security::totality::totality_extract_single_decreases ... ok
[INFO] [stdout] test tests::security::totality::totality_extract_no_decreases ... ok
[INFO] [stdout] test tests::security::totality::totality_lexicographic_measures ... ok
[INFO] [stdout] test tests::security::totality::totality_measure_not_well_founded_a09003 ... ok
[INFO] [stdout] test tests::security::totality::totality_mutual_recursion_with_decreases_passes ... ok
[INFO] [stdout] test tests::security::totality::totality_partial_escape_hatch ... ok
[INFO] [stdout] test tests::security::totality::totality_partial_via_register ... ok
[INFO] [stdout] test tests::security::totality::totality_non_decreasing_measure_deferred_to_smt ... ok
[INFO] [stdout] test tests::security::totality::totality_recursive_with_valid_decreases ... ok
[INFO] [stdout] test tests::security::totality::totality_structural_recursion_on_list ... ok
[INFO] [stdout] test tests::security::totality::totality_recursive_without_decreases_a09001 ... ok
[INFO] [stdout] test tests::typestate_effects::effect_check_known_all_valid ... ok
[INFO] [stdout] test tests::typestate_effects::effect_check_known_multiple_unknown_a07003 ... ok
[INFO] [stdout] test tests::typestate_effects::effect_check_known_unknown_a07003 ... ok
[INFO] [stdout] test tests::typestate_effects::effect_checker_default_trait ... ok
[INFO] [stdout] test tests::typestate_effects::effect_checker_unknown_effect ... ok
[INFO] [stdout] test tests::security::totality::totality_mutual_recursion_no_decreases_a09004 ... ok
[INFO] [stdout] test tests::security::totality::totality_non_recursive_trivially_total ... ok
[INFO] [stdout] test tests::security::totality::totality_structural_recursion_on_tree ... ok
[INFO] [stdout] test tests::security::totality::totality_well_founded_with_requires_clause ... ok
[INFO] [stdout] test tests::typestate_effects::effect_checker_knows_builtins ... ok
[INFO] [stdout] test tests::typestate_effects::effect_containment_database_without_io_a07001 ... ok
[INFO] [stdout] test tests::typestate_effects::effect_containment_call_chain ... ok
[INFO] [stdout] test tests::typestate_effects::effect_containment_declared_superset_ok ... ok
[INFO] [stdout] test tests::typestate_effects::effect_containment_hierarchy_io_covers_console_ok ... ok
[INFO] [stdout] test tests::typestate_effects::effect_containment_hierarchy_database_covers_read_ok ... ok
[INFO] [stdout] test tests::typestate_effects::effect_containment_exact_match_ok ... ok
[INFO] [stdout] test tests::typestate_effects::effect_containment_declared_io_actual_empty_ok ... ok
[INFO] [stdout] test tests::typestate_effects::effect_containment_hierarchy_io_covers_network_ok ... ok
[INFO] [stdout] test tests::typestate_effects::effect_containment_leaf_without_parent_a07001 ... ok
[INFO] [stdout] test tests::typestate_effects::effect_containment_multiple_undeclared_a07001 ... ok
[INFO] [stdout] test tests::typestate_effects::effect_containment_call_chain_pure_callee_ok ... ok
[INFO] [stdout] test tests::typestate_effects::effect_containment_pure_performs_io_a07002 ... ok
[INFO] [stdout] test tests::typestate_effects::effect_containment_pure_performs_mem_a07002 ... ok
[INFO] [stdout] test tests::typestate_effects::effect_containment_undeclared_effect_a07001 ... ok
[INFO] [stdout] test tests::typestate_effects::effect_containment_hierarchy_logging_covers_all_levels_ok ... ok
[INFO] [stdout] test tests::typestate_effects::effect_containment_pure_calling_pure_ok ... ok
[INFO] [stdout] test tests::typestate_effects::effect_containment_span_preserved ... ok
[INFO] [stdout] test tests::typestate_effects::effect_expand_database_includes_subeffects ... ok
[INFO] [stdout] test tests::security::lock_ordering::lock_order_release_correct ... ok
[INFO] [stdout] test tests::security::lock_ordering::lock_order_undefined_a21003 ... ok
[INFO] [stdout] test tests::typestate_effects::effect_containment_pure_performs_multiple_a07002 ... ok
[INFO] [stdout] test tests::security::memory::expr_references_var_basic ... ok
[INFO] [stdout] test tests::typestate_effects::effect_expand_io_includes_subeffects ... ok
[INFO] [stdout] test tests::typestate_effects::effect_expand_leaf_effect_no_change ... ok
[INFO] [stdout] test tests::typestate_effects::effect_expand_logging_includes_subeffects ... ok
[INFO] [stdout] test tests::typestate_effects::effect_expand_multiple_groups ... ok
[INFO] [stdout] test tests::typestate_effects::effect_expand_pure_stays_empty ... ok
[INFO] [stdout] test tests::typestate_effects::effect_set_display_sorted ... ok
[INFO] [stdout] test tests::typestate_effects::effect_set_from_iter_pure_ignored ... ok
[INFO] [stdout] test tests::typestate_effects::effect_set_from_iter_basic ... ok
[INFO] [stdout] test tests::typestate_effects::effect_set_insert ... ok
[INFO] [stdout] test tests::typestate_effects::effect_set_iter ... ok
[INFO] [stdout] test tests::typestate_effects::effect_set_pure_is_empty ... ok
[INFO] [stdout] test tests::typestate_effects::typestate_consistent_branches_same_state_ok ... ok
[INFO] [stdout] test tests::typestate_effects::typestate_ambiguous_after_branches_a06004 ... ok
[INFO] [stdout] test tests::typestate_effects::effect_set_from_iter_pure_mixed ... ok
[INFO] [stdout] test tests::typestate_effects::typestate_initial_state ... ok
[INFO] [stdout] test tests::typestate_effects::typestate_not_linear_a06002 ... ok
[INFO] [stdout] test tests::typestate_effects::typestate_undeclared_state_a06003 ... ok
[INFO] [stdout] test tests::typestate_effects::typestate_valid_sequence_passes ... ok
[INFO] [stdout] test tests::typestate_effects::typestate_wrong_state_a06001 ... ok
[INFO] [stdout] test tests::typestate_effects::typestate_valid_transitions_no_errors ... ok
[INFO] [stdout] test tests::typestate_effects::effect_set_insert_pure_noop ... ok
[INFO] [stdout] test tests::wiring::collect_input_types_raw_bare_idents ... ok
[INFO] [stdout] test tests::typestate_effects::typestate_not_linear_ok_when_linear ... ok
[INFO] [stdout] test tests::typestate_effects::typestate_operation_not_found_a06001 ... ok
[INFO] [stdout] test tests::typestate_effects::typestate_undeclared_source_state_a06003 ... ok
[INFO] [stdout] test tests::wiring::effect_callgraph_missing_subset ... ok
[INFO] [stdout] test tests::typestate_effects::effect_set_dedup ... ok
[INFO] [stdout] test tests::typestate_effects::typestate_multiple_transitions_sequence ... ok
[INFO] [stdout] test tests::wiring::effect_callgraph_pure_callee_ok ... ok
[INFO] [stdout] test tests::wiring::collect_input_types_single_cast ... ok
[INFO] [stdout] test tests::wiring::extract_output_type_from_cast ... ok
[INFO] [stdout] test tests::wiring::collect_input_types_single_ident ... ok
[INFO] [stdout] test tests::wiring::division_by_nonzero_ok ... ok
[INFO] [stdout] test tests::wiring::division_by_zero_literal_emits_error ... ok
[INFO] [stdout] test tests::wiring::collect_input_types_raw_as ... ok
[INFO] [stdout] test tests::wiring::effect_callgraph_caller_has_callee_effects_ok ... ok
[INFO] [stdout] test tests::wiring::effect_callgraph_build_effect_map ... ok
[INFO] [stdout] test tests::wiring::effect_callgraph_unit_check_containment ... ok
[INFO] [stdout] test tests::wiring::extract_output_type_from_raw_generic ... ok
[INFO] [stdout] test tests::wiring::extract_output_type_from_raw_tokens ... ok
[INFO] [stdout] test tests::wiring::field_map_keys_values ... ok
[INFO] [stdout] test tests::wiring::field_option_is_some ... ok
[INFO] [stdout] test tests::wiring::field_result_err_type ... ok
[INFO] [stdout] test tests::wiring::field_option_value ... ok
[INFO] [stdout] test tests::wiring::field_result_is_ok ... ok
[INFO] [stdout] test tests::wiring::in_operator_accepts_set ... ok
[INFO] [stdout] test tests::wiring::infer_builtin_len_returns_nat ... ok
[INFO] [stdout] test tests::wiring::infer_cast_returns_target_type ... ok
[INFO] [stdout] test tests::wiring::infer_builtin_contains_returns_bool ... ok
[INFO] [stdout] test tests::wiring::field_collection_is_empty ... ok
[INFO] [stdout] test tests::wiring::field_result_ok_type ... ok
[INFO] [stdout] test tests::wiring::in_operator_accepts_list ... ok
[INFO] [stdout] test tests::wiring::in_operator_rejects_non_collection_rhs ... ok
[INFO] [stdout] test tests::wiring::infer_cast_to_named_type ... ok
[INFO] [stdout] test tests::wiring::infer_cast_to_u8 ... ok
[INFO] [stdout] test tests::wiring::infer_let_binding_propagates_type ... ok
[INFO] [stdout] test tests::wiring::infer_match_empty_arms_returns_unknown ... ok
[INFO] [stdout] test tests::wiring::input_clause_paren_wraps_call ... ok
[INFO] [stdout] test tests::wiring::input_clause_raw_bare_idents ... ok
[INFO] [stdout] test tests::wiring::input_clause_single_cast ... ok
[INFO] [stdout] test tests::wiring::input_clause_raw_with_as ... ok
[INFO] [stdout] test tests::wiring::input_clause_single_ident ... ok
[INFO] [stdout] test tests::wiring::linear_from_cast_direct ... ok
[INFO] [stdout] test tests::wiring::linear_from_raw_with_as ... ok
[INFO] [stdout] test tests::wiring::list_field_head_returns_option ... ok
[INFO] [stdout] test tests::wiring::linear_from_call_args ... ok
[INFO] [stdout] test tests::wiring::linear_from_cast ... ok
[INFO] [stdout] test tests::wiring::match_constructor_pattern_binds_field_types ... ok
[INFO] [stdout] test tests::wiring::match_constructor_pattern_multi_field ... ok
[INFO] [stdout] test tests::wiring::linear_from_raw_with_colon ... ok
[INFO] [stdout] test tests::wiring::list_field_tail_returns_list ... ok
[INFO] [stdout] test tests::wiring::infer_match_checks_all_arms ... ok
[INFO] [stdout] test tests::wiring::match_compatible_arms_ok ... ok
[INFO] [stdout] test tests::wiring::match_binds_ident_pattern_to_scrutinee_type ... ok
[INFO] [stdout] test tests::wiring::match_empty_arms_infers_unknown ... ok
[INFO] [stdout] test tests::wiring::match_wildcard_does_not_bind ... ok
[INFO] [stdout] test tests::wiring::method_option_is_some ... ok
[INFO] [stdout] test tests::wiring::match_infer_type_from_first_arm ... ok
[INFO] [stdout] test tests::wiring::match_literal_pattern_does_not_bind ... ok
[INFO] [stdout] test tests::wiring::match_incompatible_arms_emits_error ... ok
[INFO] [stdout] test tests::wiring::match_expr_references_var ... ok
[INFO] [stdout] test tests::wiring::method_string_contains ... ok
[INFO] [stdout] test tests::wiring::method_string_to_uppercase ... ok
[INFO] [stdout] test tests::wiring::match_tuple_pattern_binds_element_types ... ok
[INFO] [stdout] test tests::wiring::method_option_unwrap ... ok
[INFO] [stdout] test tests::wiring::option_flatten_reduces_nesting ... ok
[INFO] [stdout] test tests::wiring::result_bound_in_ensures_env ... ok
[INFO] [stdout] test tests::wiring::range_returns_list_int ... ok
[INFO] [stdout] test tests::wiring::result_err_returns_option ... ok
[INFO] [stdout] test tests::wiring::method_result_is_ok ... ok
[INFO] [stdout] test tests::wiring::method_result_unwrap ... ok
[INFO] [stdout] test tests::wiring::method_set_insert ... ok
[INFO] [stdout] test tests::wiring::option_ok_or_returns_result ... ok
[INFO] [stdout] test tests::wiring::result_map_err_preserves_ok_type ... ok
[INFO] [stdout] test tests::wiring::range_rejects_non_numeric ... ok
[INFO] [stdout] test tests::wiring::result_unknown_without_binding ... ok
[INFO] [stdout] test tests::wiring::modulo_by_zero_literal_emits_error ... ok
[INFO] [stdout] test tests::wiring::result_ok_returns_option ... ok
[INFO] [stdout] test tests::wiring::result_type_threaded_through_ensures ... ok
[INFO] [stdout] test tests::wiring::result_unwrap_err_returns_error_type ... ok
[INFO] [stdout] test tests::wiring::s003_info_flow_same_level_ok ... ok
[INFO] [stdout] test tests::wiring::s003_info_flow_secret_to_result_a08001 ... ok
[INFO] [stdout] test tests::wiring::s003_info_flow_upward_flow_ok ... ok
[INFO] [stdout] test tests::wiring::s004_forall_body_is_ghost_use ... ok
[INFO] [stdout] test tests::wiring::s004_exists_body_is_ghost_use ... ok
[INFO] [stdout] test tests::wiring::s004_match_inconsistent_usage_a05004 ... ok
[INFO] [stdout] test tests::wiring::s004_match_scrutinee_uses_linear_var ... ok
[INFO] [stdout] test tests::wiring::s004_old_expr_is_ghost_use ... ok
[INFO] [stdout] test tests::wiring::s003_info_flow_label_inference_through_binop ... ok
[INFO] [stdout] test tests::wiring::s004_merge_arms_unit_test ... ok
[INFO] [stdout] test tests::wiring::s003_info_flow_implicit_flow_a08004 ... ok
[INFO] [stdout] test tests::wiring::s003_info_flow_contract_with_secret_input ... ok
[INFO] [stdout] test tests::wiring::self_in_service_context_resolves_to_named_type ... ok
[INFO] [stdout] test tests::wiring::self_field_access_in_service ... ok
[INFO] [stdout] test tests::wiring::s004_match_three_arms_one_differs_a05004 ... ok
[INFO] [stdout] test tests::wiring::s004_match_consistent_usage_ok ... ok
[INFO] [stdout] test tests::wiring::self_without_binding_returns_unknown ... ok
[INFO] [stdout] test tests::wiring::tuple_compatibility ... ok
[INFO] [stdout] test tests::wiring::service_invariant_only_no_crash ... ok
[INFO] [stdout] test tests::wiring::service_operation_raw_token_params ... ok
[INFO] [stdout] test tests::wiring::service_operation_registered_as_fn_type ... ok
[INFO] [stdout] test tests::wiring::service_query_output_binds_result_type ... ok
[INFO] [stdout] test tests::wiring::s003_info_flow_no_labels_no_errors ... ok
[INFO] [stdout] test tests::wiring::s004_ghost_block_is_not_a_use ... ok
[INFO] [stdout] test tests::wiring::tuple_display ... ok
[INFO] [stdout] test tests::wiring::tuple_empty ... ok
[INFO] [stdout] test tests::wiring::tuple_field_access_numeric ... ok
[INFO] [stdout] test tests::wiring::tuple_infers_element_types ... ok
[INFO] [stdout] test tests::wiring::tuple_single_element ... ok
[INFO] [stdout] test types::tests::builtin_type_generic_containers_bare ... ok
[INFO] [stdout] test types::tests::display_base_types ... ok
[INFO] [stdout] test types::tests::display_fixed_width_integers ... ok
[INFO] [stdout] test types::tests::display_fn_no_params ... ok
[INFO] [stdout] test types::tests::builtin_type_base_types ... ok
[INFO] [stdout] test types::tests::builtin_type_fixed_width ... ok
[INFO] [stdout] test types::tests::builtin_type_unknown_name ... ok
[INFO] [stdout] test types::tests::display_fn_type ... ok
[INFO] [stdout] test types::tests::display_generic_containers ... ok
[INFO] [stdout] test types::tests::display_nested_generics ... ok
[INFO] [stdout] test tests::wiring::service_operation_no_input_output_clauses ... ok
[INFO] [stdout] test types::tests::display_refined_with_predicate ... ok
[INFO] [stdout] test types::tests::display_unknown_and_error ... ok
[INFO] [stdout] test types::tests::is_indeterminate_concrete_types_return_false ... ok
[INFO] [stdout] test types::tests::is_indeterminate_error ... ok
[INFO] [stdout] test types::tests::is_indeterminate_unknown ... ok
[INFO] [stdout] test types::tests::display_named_and_type_param ... ok
[INFO] [stdout] test types::tests::display_refined_empty_predicate ... ok
[INFO] [stdout] test types::tests::refined_predicate_str_returns_text ... ok
[INFO] [stdout] test types::tests::type_env_insert_and_lookup ... ok
[INFO] [stdout] test types::tests::type_env_insert_overwrites ... ok
[INFO] [stdout] test types::tests::type_env_lookup_missing ... ok
[INFO] [stdout] test types::tests::display_tuple ... ok
[INFO] [stdout] test types::tests::type_env_lookup_field ... ok
[INFO] [stdout] test types::tests::refined_display_uses_bound_var ... ok
[INFO] [stdout] test types::tests::refined_from_str_creates_expr_raw ... ok
[INFO] [stdout] test types::tests::refined_non_refined_type_predicate_str_is_none ... ok
[INFO] [stdout] test types::tests::refined_predicate_str_empty_returns_none ... ok
[INFO] [stdout] test types::tests::type_error_to_diagnostic_with_explicit_suggestion ... ok
[INFO] [stdout] test types::tests::typeenv_inner_binding_does_not_leak ... ok
[INFO] [stdout] test types::tests::typeenv_global_scope_lookup ... ok
[INFO] [stdout] test types::tests::type_error_with_context ... ok
[INFO] [stdout] test types::tests::typeenv_is_empty_across_scopes ... ok
[INFO] [stdout] test types::tests::type_error_to_diagnostic_no_suggestion_for_unknown_code ... ok
[INFO] [stdout] test types::tests::typeenv_len_counts_all_scopes ... ok
[INFO] [stdout] test types::tests::refined_with_structural_expr ... ok
[INFO] [stdout] test types::tests::typeenv_push_pop_scope ... ok
[INFO] [stdout] test types::tests::typeenv_nested_scopes ... ok
[INFO] [stdout] test types::tests::typeenv_struct_fields_not_scope_dependent ... ok
[INFO] [stdout] test types::tests::type_error_to_diagnostic_falls_back_to_catalog ... ok
[INFO] [stdout] test tests::patterns_clauses::demo_files_type_check ... FAILED
[INFO] [stderr] error: test failed, to rerun pass `--lib`
[INFO] [stdout] test types::tests::typeenv_pop_global_panics - should panic ... ok
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- tests::patterns_clauses::demo_files_type_check stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'tests::patterns_clauses::demo_files_type_check' (1836) panicked at src/tests/patterns_clauses.rs:301:65:
[INFO] [stdout] cannot read demos/libwebp-huffman.assura: No such file or directory (os error 2)
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x5e9cb8f96fe8 - std[10d71ac2c42b111e]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x5e9cb8f96fe8 - std[10d71ac2c42b111e]::backtrace_rs::backtrace::trace_unsynchronized::<std[10d71ac2c42b111e]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x5e9cb8f96fe8 - std[10d71ac2c42b111e]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x5e9cb8f96fe8 - <<std[10d71ac2c42b111e]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[8fb95b77d25ab6c8]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x5e9cb8faceca - <core[8fb95b77d25ab6c8]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x5e9cb8faceca - core[8fb95b77d25ab6c8]::fmt::write
[INFO] [stdout]    6:     0x5e9cb8f9b802 - std[10d71ac2c42b111e]::io::default_write_fmt::<alloc[a7ee25936407c584]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/io/mod.rs:622:11
[INFO] [stdout]    7:     0x5e9cb8f9b802 - <alloc[a7ee25936407c584]::vec::Vec<u8> as std[10d71ac2c42b111e]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/io/mod.rs:1977:13
[INFO] [stdout]    8:     0x5e9cb8f75c36 - <std[10d71ac2c42b111e]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x5e9cb8f75c36 - std[10d71ac2c42b111e]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x5e9cb8f8f1d9 - std[10d71ac2c42b111e]::panicking::default_hook
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x5e9cb8d53d9c - <alloc[a7ee25936407c584]::boxed::Box<dyn for<'a, 'b> core[8fb95b77d25ab6c8]::ops::function::Fn<(&'a std[10d71ac2c42b111e]::panic::PanicHookInfo<'b>,), Output = ()> + core[8fb95b77d25ab6c8]::marker::Sync + core[8fb95b77d25ab6c8]::marker::Send> as core[8fb95b77d25ab6c8]::ops::function::Fn<(&std[10d71ac2c42b111e]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/alloc/src/boxed.rs:2289:9
[INFO] [stdout]   12:     0x5e9cb8d53d9c - test[213991da798b1c03]::test_main_inner::<test[213991da798b1c03]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/test/src/lib.rs:155:21
[INFO] [stdout]   13:     0x5e9cb8f8f392 - <alloc[a7ee25936407c584]::boxed::Box<dyn for<'a, 'b> core[8fb95b77d25ab6c8]::ops::function::Fn<(&'a std[10d71ac2c42b111e]::panic::PanicHookInfo<'b>,), Output = ()> + core[8fb95b77d25ab6c8]::marker::Sync + core[8fb95b77d25ab6c8]::marker::Send> as core[8fb95b77d25ab6c8]::ops::function::Fn<(&std[10d71ac2c42b111e]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/alloc/src/boxed.rs:2289:9
[INFO] [stdout]   14:     0x5e9cb8f8f392 - std[10d71ac2c42b111e]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x5e9cb8f75cf2 - std[10d71ac2c42b111e]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:698:13
[INFO] [stdout]   16:     0x5e9cb8f6ada9 - std[10d71ac2c42b111e]::sys::backtrace::__rust_end_short_backtrace::<std[10d71ac2c42b111e]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x5e9cb8f76a0d - __rustc[3be9ba60078d4c86]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x5e9cb8fad68c - core[8fb95b77d25ab6c8]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x5e9cb8d0cfc3 - assura_types[d780d54cc4e73732]::tests::patterns_clauses::demo_files_type_check::{closure#1}
[INFO] [stdout]                                at /opt/rustwide/workdir/src/tests/patterns_clauses.rs:301:65
[INFO] [stdout]   20:     0x5e9cb8d0ba51 - <core[8fb95b77d25ab6c8]::result::Result<alloc[a7ee25936407c584]::string::String, std[10d71ac2c42b111e]::io::error::Error>>::unwrap_or_else::<assura_types[d780d54cc4e73732]::tests::patterns_clauses::demo_files_type_check::{closure#1}>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/result.rs:1622:23
[INFO] [stdout]   21:     0x5e9cb8d22904 - assura_types[d780d54cc4e73732]::tests::patterns_clauses::demo_files_type_check
[INFO] [stdout]                                at /opt/rustwide/workdir/src/tests/patterns_clauses.rs:301:46
[INFO] [stdout]   22:     0x5e9cb8d0c837 - assura_types[d780d54cc4e73732]::tests::patterns_clauses::demo_files_type_check::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/src/tests/patterns_clauses.rs:276:27
[INFO] [stdout]   23:     0x5e9cb8ad54e6 - <assura_types[d780d54cc4e73732]::tests::patterns_clauses::demo_files_type_check::{closure#0} as core[8fb95b77d25ab6c8]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x5e9cb8d46e7b - <fn() -> core[8fb95b77d25ab6c8]::result::Result<(), alloc[a7ee25936407c584]::string::String> as core[8fb95b77d25ab6c8]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x5e9cb8d46e7b - test[213991da798b1c03]::__rust_begin_short_backtrace::<core[8fb95b77d25ab6c8]::result::Result<(), alloc[a7ee25936407c584]::string::String>, fn() -> core[8fb95b77d25ab6c8]::result::Result<(), alloc[a7ee25936407c584]::string::String>>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/test/src/lib.rs:724:18
[INFO] [stdout]   26:     0x5e9cb8d546f5 - test[213991da798b1c03]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/test/src/lib.rs:747:74
[INFO] [stdout]   27:     0x5e9cb8d546f5 - <core[8fb95b77d25ab6c8]::panic::unwind_safe::AssertUnwindSafe<test[213991da798b1c03]::run_test_in_process::{closure#0}> as core[8fb95b77d25ab6c8]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   28:     0x5e9cb8d546f5 - std[10d71ac2c42b111e]::panicking::catch_unwind::do_call::<core[8fb95b77d25ab6c8]::panic::unwind_safe::AssertUnwindSafe<test[213991da798b1c03]::run_test_in_process::{closure#0}>, core[8fb95b77d25ab6c8]::result::Result<(), alloc[a7ee25936407c584]::string::String>>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:581:40
[INFO] [stdout]   29:     0x5e9cb8d546f5 - std[10d71ac2c42b111e]::panicking::catch_unwind::<core[8fb95b77d25ab6c8]::result::Result<(), alloc[a7ee25936407c584]::string::String>, core[8fb95b77d25ab6c8]::panic::unwind_safe::AssertUnwindSafe<test[213991da798b1c03]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:544:19
[INFO] [stdout]   30:     0x5e9cb8d546f5 - std[10d71ac2c42b111e]::panic::catch_unwind::<core[8fb95b77d25ab6c8]::panic::unwind_safe::AssertUnwindSafe<test[213991da798b1c03]::run_test_in_process::{closure#0}>, core[8fb95b77d25ab6c8]::result::Result<(), alloc[a7ee25936407c584]::string::String>>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panic.rs:359:14
[INFO] [stdout]   31:     0x5e9cb8d546f5 - test[213991da798b1c03]::run_test_in_process
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/test/src/lib.rs:747:27
[INFO] [stdout]   32:     0x5e9cb8d546f5 - test[213991da798b1c03]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/test/src/lib.rs:668:43
[INFO] [stdout]   33:     0x5e9cb8d4e004 - test[213991da798b1c03]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/test/src/lib.rs:698:41
[INFO] [stdout]   34:     0x5e9cb8d4e004 - std[10d71ac2c42b111e]::sys::backtrace::__rust_begin_short_backtrace::<test[213991da798b1c03]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   35:     0x5e9cb8d57772 - std[10d71ac2c42b111e]::thread::lifecycle::spawn_unchecked::<test[213991da798b1c03]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/thread/lifecycle.rs:70:13
[INFO] [stdout]   36:     0x5e9cb8d57772 - <core[8fb95b77d25ab6c8]::panic::unwind_safe::AssertUnwindSafe<std[10d71ac2c42b111e]::thread::lifecycle::spawn_unchecked<test[213991da798b1c03]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[8fb95b77d25ab6c8]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   37:     0x5e9cb8d57772 - std[10d71ac2c42b111e]::panicking::catch_unwind::do_call::<core[8fb95b77d25ab6c8]::panic::unwind_safe::AssertUnwindSafe<std[10d71ac2c42b111e]::thread::lifecycle::spawn_unchecked<test[213991da798b1c03]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:581:40
[INFO] [stdout]   38:     0x5e9cb8d57772 - std[10d71ac2c42b111e]::panicking::catch_unwind::<(), core[8fb95b77d25ab6c8]::panic::unwind_safe::AssertUnwindSafe<std[10d71ac2c42b111e]::thread::lifecycle::spawn_unchecked<test[213991da798b1c03]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:544:19
[INFO] [stdout]   39:     0x5e9cb8d57772 - std[10d71ac2c42b111e]::panic::catch_unwind::<core[8fb95b77d25ab6c8]::panic::unwind_safe::AssertUnwindSafe<std[10d71ac2c42b111e]::thread::lifecycle::spawn_unchecked<test[213991da798b1c03]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panic.rs:359:14
[INFO] [stdout]   40:     0x5e9cb8d57772 - std[10d71ac2c42b111e]::thread::lifecycle::spawn_unchecked::<test[213991da798b1c03]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/thread/lifecycle.rs:68:26
[INFO] [stdout]   41:     0x5e9cb8d57772 - <std[10d71ac2c42b111e]::thread::lifecycle::spawn_unchecked<test[213991da798b1c03]::run_test::{closure#1}, ()>::{closure#1} as core[8fb95b77d25ab6c8]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   42:     0x5e9cb8f9660f - <alloc[a7ee25936407c584]::boxed::Box<dyn core[8fb95b77d25ab6c8]::ops::function::FnOnce<(), Output = ()> + core[8fb95b77d25ab6c8]::marker::Send> as core[8fb95b77d25ab6c8]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/alloc/src/boxed.rs:2275:9
[INFO] [stdout]   43:     0x5e9cb8f9660f - <std[10d71ac2c42b111e]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/sys/thread/unix.rs:118:17
[INFO] [stdout]   44:     0x76fb2e89aaa4 - <unknown>
[INFO] [stdout]   45:     0x76fb2e927a64 - clone
[INFO] [stdout]   46:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     tests::patterns_clauses::demo_files_type_check
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 1671 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.34s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "9c1b0b119029cc542744f1681636a595b57c068da1040e617fc663316f7e3f6a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "9c1b0b119029cc542744f1681636a595b57c068da1040e617fc663316f7e3f6a", kill_on_drop: false }`
[INFO] [stdout] 9c1b0b119029cc542744f1681636a595b57c068da1040e617fc663316f7e3f6a
