[INFO] fetching crate legalis-verifier 0.1.3...
[INFO] testing legalis-verifier-0.1.3 against 1.93.0 for beta-1.94-1
[INFO] extracting crate legalis-verifier 0.1.3 into /workspace/builds/worker-5-tc1/source
[INFO] started tweaking crates.io crate legalis-verifier 0.1.3
[INFO] finished tweaking crates.io crate legalis-verifier 0.1.3
[INFO] tweaked toml for crates.io crate legalis-verifier 0.1.3 written to /workspace/builds/worker-5-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate legalis-verifier 0.1.3 on toolchain 1.93.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.93.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate legalis-verifier 0.1.3 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.93.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded rhai_codegen v3.1.0
[INFO] [stderr]   Downloaded symbolic_expressions v5.0.3
[INFO] [stderr]   Downloaded oxiz-solver v0.1.1
[INFO] [stderr]   Downloaded symbol_table v0.4.0
[INFO] [stderr]   Downloaded egg v0.11.0
[INFO] [stderr]   Downloaded lasso v0.7.3
[INFO] [stderr]   Downloaded oxiz-sat v0.1.1
[INFO] [stderr]   Downloaded oxiz-theories v0.1.1
[INFO] [stderr]   Downloaded oxiz-core v0.1.1
[INFO] [stderr]   Downloaded rhai v1.24.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,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" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:98afbf2d16093dec2546ff8915fddc74e65664aa03fc460b3712b1c2c54a33e4" "/opt/rustwide/cargo-home/bin/cargo" "+1.93.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] e5face926653583380f0b794719cbdd0aafe4fb80def2a179f4d10aaac0acd22
[INFO] running `Command { std: "docker" "start" "-a" "e5face926653583380f0b794719cbdd0aafe4fb80def2a179f4d10aaac0acd22", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "e5face926653583380f0b794719cbdd0aafe4fb80def2a179f4d10aaac0acd22", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e5face926653583380f0b794719cbdd0aafe4fb80def2a179f4d10aaac0acd22", kill_on_drop: false }`
[INFO] [stdout] e5face926653583380f0b794719cbdd0aafe4fb80def2a179f4d10aaac0acd22
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,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" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-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" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:98afbf2d16093dec2546ff8915fddc74e65664aa03fc460b3712b1c2c54a33e4" "/opt/rustwide/cargo-home/bin/cargo" "+1.93.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] ad6c37e5425ed0a2ea4534690ad7663390006cbfeb23b6004666b713079b3cb1
[INFO] running `Command { std: "docker" "start" "-a" "ad6c37e5425ed0a2ea4534690ad7663390006cbfeb23b6004666b713079b3cb1", kill_on_drop: false }`
[INFO] [stderr]    Compiling generic-array v0.14.7
[INFO] [stderr]    Compiling syn v2.0.114
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling thiserror v2.0.18
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling md5 v0.8.0
[INFO] [stderr]    Compiling rand_core v0.9.5
[INFO] [stderr]    Compiling uuid v1.19.0
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling rand v0.9.2
[INFO] [stderr]    Compiling crypto-common v0.1.7
[INFO] [stderr]    Compiling block-buffer v0.10.4
[INFO] [stderr]    Compiling digest v0.10.7
[INFO] [stderr]    Compiling sha2 v0.10.9
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling chrono v0.4.43
[INFO] [stderr]    Compiling legalis-core v0.1.3
[INFO] [stderr]    Compiling legalis-verifier v0.1.3 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 42.76s
[INFO] running `Command { std: "docker" "inspect" "ad6c37e5425ed0a2ea4534690ad7663390006cbfeb23b6004666b713079b3cb1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ad6c37e5425ed0a2ea4534690ad7663390006cbfeb23b6004666b713079b3cb1", kill_on_drop: false }`
[INFO] [stdout] ad6c37e5425ed0a2ea4534690ad7663390006cbfeb23b6004666b713079b3cb1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,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" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-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" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:98afbf2d16093dec2546ff8915fddc74e65664aa03fc460b3712b1c2c54a33e4" "/opt/rustwide/cargo-home/bin/cargo" "+1.93.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] dc1fc0cef717b7f71a1c07a39ed8ad43adac61ba0d0b60b64a10be8307513a9b
[INFO] running `Command { std: "docker" "start" "-a" "dc1fc0cef717b7f71a1c07a39ed8ad43adac61ba0d0b60b64a10be8307513a9b", kill_on_drop: false }`
[INFO] [stderr]    Compiling zerocopy-derive v0.8.33
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling cc v1.2.53
[INFO] [stderr]    Compiling rand_core v0.9.5
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling clap_lex v0.7.7
[INFO] [stderr]    Compiling uuid v1.19.0
[INFO] [stderr]    Compiling clap_builder v4.5.54
[INFO] [stderr]    Compiling plotters v0.3.7
[INFO] [stderr]    Compiling page_size v0.6.0
[INFO] [stderr]    Compiling alloca v0.4.0
[INFO] [stderr]    Compiling thiserror v2.0.18
[INFO] [stderr]    Compiling zerocopy v0.8.33
[INFO] [stderr]    Compiling clap v4.5.54
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling chrono v0.4.43
[INFO] [stderr]    Compiling tinytemplate v1.2.1
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling half v2.7.1
[INFO] [stderr]    Compiling ciborium-ll v0.2.2
[INFO] [stderr]    Compiling ciborium v0.2.2
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling rand v0.9.2
[INFO] [stderr]    Compiling criterion v0.8.1
[INFO] [stderr]    Compiling legalis-core v0.1.3
[INFO] [stderr]    Compiling legalis-verifier v0.1.3 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 1m 11s
[INFO] running `Command { std: "docker" "inspect" "dc1fc0cef717b7f71a1c07a39ed8ad43adac61ba0d0b60b64a10be8307513a9b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "dc1fc0cef717b7f71a1c07a39ed8ad43adac61ba0d0b60b64a10be8307513a9b", kill_on_drop: false }`
[INFO] [stdout] dc1fc0cef717b7f71a1c07a39ed8ad43adac61ba0d0b60b64a10be8307513a9b
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,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" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-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" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:98afbf2d16093dec2546ff8915fddc74e65664aa03fc460b3712b1c2c54a33e4" "/opt/rustwide/cargo-home/bin/cargo" "+1.93.0" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 49efe8809a5b188c259eb3d725a14001a8531f7c7c1111de6b24d59144751009
[INFO] running `Command { std: "docker" "start" "-a" "49efe8809a5b188c259eb3d725a14001a8531f7c7c1111de6b24d59144751009", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.22s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/legalis_verifier-0a86c91806ab73f9)
[INFO] [stdout] 
[INFO] [stdout] running 433 tests
[INFO] [stdout] test autonomous_agents::tests::test_abstraction_level_creation ... ok
[INFO] [stdout] test autonomous_agents::tests::test_abstraction_refinement ... ok
[INFO] [stdout] test autonomous_agents::tests::test_agent_generate_report ... ok
[INFO] [stdout] test autonomous_agents::tests::test_cegar_add_counterexample ... ok
[INFO] [stdout] test autonomous_agents::tests::test_autonomous_agent_creation ... ok
[INFO] [stdout] test autonomous_agents::tests::test_agent_learning_over_time ... ok
[INFO] [stdout] test autonomous_agents::tests::test_agent_select_strategy ... ok
[INFO] [stdout] test autonomous_agents::tests::test_agent_verify_with_learning ... ok
[INFO] [stdout] test autonomous_agents::tests::test_cegar_max_iterations ... ok
[INFO] [stdout] test autonomous_agents::tests::test_cegar_state_creation ... ok
[INFO] [stdout] test autonomous_agents::tests::test_goal_decomposition ... ok
[INFO] [stdout] test autonomous_agents::tests::test_goal_no_decomposition_for_simple ... ok
[INFO] [stdout] test autonomous_agents::tests::test_goal_total_complexity ... ok
[INFO] [stdout] test autonomous_agents::tests::test_meta_verification_health_score ... ok
[INFO] [stdout] test autonomous_agents::tests::test_proof_heuristic_prediction ... ok
[INFO] [stdout] test autonomous_agents::tests::test_proof_heuristic_training ... ok
[INFO] [stdout] test autonomous_agents::tests::test_strategy_expected_utility ... ok
[INFO] [stdout] test autonomous_agents::tests::test_verification_goal_creation ... ok
[INFO] [stdout] test autonomous_agents::tests::test_verification_history ... ok
[INFO] [stdout] test autonomous_agents::tests::test_proof_heuristic_creation ... ok
[INFO] [stdout] test autonomous_agents::tests::test_meta_verification_result ... ok
[INFO] [stdout] test autonomous_agents::tests::test_verification_strategy_creation ... ok
[INFO] [stdout] test certification_framework::tests::test_certification_config_default ... ok
[INFO] [stdout] test certification_framework::tests::test_compliance_violation_structure ... ok
[INFO] [stdout] test certification_framework::tests::test_generate_attestation_compliant ... ok
[INFO] [stdout] test certification_framework::tests::test_gdpr_principle_display ... ok
[INFO] [stdout] test certification_framework::tests::test_certification_report_generation ... ok
[INFO] [stdout] test certification_framework::tests::test_generate_attestation_non_compliant ... ok
[INFO] [stdout] test certification_framework::tests::test_gdpr_verification ... ok
[INFO] [stdout] test autonomous_agents::tests::test_strategy_update_metrics ... ok
[INFO] [stdout] test certification_framework::tests::test_soc2_verification ... ok
[INFO] [stdout] test distributed_verification::tests::test_distributed_config_default ... ok
[INFO] [stdout] test certification_framework::tests::test_iso27001_access_control_violation ... ok
[INFO] [stdout] test distributed_verification::tests::test_distributed_coordinator_creation ... ok
[INFO] [stdout] test distributed_verification::tests::test_distributed_verification_basic ... ok
[INFO] [stdout] test distributed_verification::tests::test_distributed_verification_report ... ok
[INFO] [stdout] test certification_framework::tests::test_gdpr_personal_data_detection ... ok
[INFO] [stdout] test distributed_verification::tests::test_reset_workers ... ok
[INFO] [stdout] test certification_framework::tests::test_iso27001_control_display ... ok
[INFO] [stdout] test distributed_verification::tests::test_worker_load_calculation ... ok
[INFO] [stdout] test distributed_verification::tests::test_round_robin_load_balancing ... ok
[INFO] [stdout] test distributed_verification::tests::test_worker_node_creation ... ok
[INFO] [stdout] test distributed_verification::tests::test_worker_stats_collection ... ok
[INFO] [stdout] test certification_framework::tests::test_iso27001_verification_compliant ... ok
[INFO] [stdout] test distributed_verification::tests::test_task_status_display ... ok
[INFO] [stdout] test distributed_verification::tests::test_worker_status_display ... ok
[INFO] [stdout] test formal_methods::tests::test_isabelle_proof_generation ... ok
[INFO] [stdout] test certification_framework::tests::test_soc2_criteria_display ... ok
[INFO] [stdout] test formal_methods::tests::test_acl2_model_generation ... ok
[INFO] [stdout] test formal_methods::tests::test_coq_proof_generation ... ok
[INFO] [stdout] test formal_methods::tests::test_proof_system_serialization ... ok
[INFO] [stdout] test formal_methods::tests::test_proof_validation_coq ... ok
[INFO] [stdout] test formal_methods::tests::test_proof_complexity ... ok
[INFO] [stdout] test distributed_verification::tests::test_worker_success_rate ... ok
[INFO] [stdout] test formal_methods::tests::test_lean4_proof_generation ... ok
[INFO] [stdout] test ml_verification::tests::test_adversarial_robustness ... ok
[INFO] [stdout] test formal_methods::tests::test_proof_validation_lean4 ... ok
[INFO] [stdout] test ml_verification::tests::test_config_defaults ... ok
[INFO] [stdout] test formal_methods::tests::test_pvs_specification_generation ... ok
[INFO] [stdout] test ml_verification::tests::test_drift_detection ... ok
[INFO] [stdout] test formal_methods::tests::test_sanitize_id ... ok
[INFO] [stdout] test ml_verification::tests::test_drift_type_covariate_shift ... ok
[INFO] [stdout] test ml_verification::tests::test_explainability_verification ... ok
[INFO] [stdout] test ml_verification::tests::test_explanation_generation ... ok
[INFO] [stdout] test ml_verification::tests::test_fairness_metric_demographic_parity ... ok
[INFO] [stdout] test ml_verification::tests::test_ml_verifier_integration ... ok
[INFO] [stdout] test ml_verification::tests::test_neural_network_verification ... ok
[INFO] [stdout] test quantum_verification::tests::test_hybrid_verification ... ok
[INFO] [stdout] test quantum_verification::tests::test_post_quantum_algorithms ... ok
[INFO] [stdout] test ml_verification::tests::test_fairness_verification ... ok
[INFO] [stdout] test ml_verification::tests::test_network_statistics ... ok
[INFO] [stdout] test quantum_verification::tests::test_quantum_advantage_types ... ok
[INFO] [stdout] test quantum_verification::tests::test_quantum_circuit_gate_counts ... ok
[INFO] [stdout] test quantum_verification::tests::test_quantum_annealing ... ok
[INFO] [stdout] test quantum_verification::tests::test_quantum_attack_complexity ... ok
[INFO] [stdout] test quantum_verification::tests::test_quantum_resistant_proof_creation ... ok
[INFO] [stdout] test quantum_verification::tests::test_quantum_resistant_proof_verification ... ok
[INFO] [stdout] test quantum_verification::tests::test_quantum_circuit_depth ... ok
[INFO] [stdout] test quantum_verification::tests::test_quantum_verifier_report ... ok
[INFO] [stdout] test quantum_verification::tests::test_quantum_verifier_with_circuits ... ok
[INFO] [stdout] test quantum_verification::tests::test_quantum_verifier_with_proofs ... ok
[INFO] [stdout] test quantum_verification::tests::test_quantum_verifier_basic ... ok
[INFO] [stdout] test quantum_verification::tests::test_qubo_evaluation ... ok
[INFO] [stdout] test quantum_verification::tests::test_quantum_supremacy_benchmark ... ok
[INFO] [stdout] test formal_methods::tests::test_formal_methods_verifier ... ok
[INFO] [stdout] test quantum_verification::tests::test_quantum_circuit_creation ... ok
[INFO] [stdout] test quantum_verification::tests::test_rotation_axis_serialization ... ok
[INFO] [stdout] test tests::test_accessibility_check ... ok
[INFO] [stdout] test tests::test_ambiguity_report_generation ... ok
[INFO] [stdout] test quantum_verification::tests::test_qubo_problem_creation ... ok
[INFO] [stdout] test tests::test_ambiguity_severity_sorting ... ok
[INFO] [stdout] test tests::test_analyze_change_impact_no_dependents ... ok
[INFO] [stdout] test tests::test_ambiguous_term_builder ... ok
[INFO] [stdout] test tests::test_analyze_change_impact_with_dependents ... ok
[INFO] [stdout] test tests::test_analyze_coalitions_stable ... ok
[INFO] [stdout] test tests::test_analyze_statute_risk_simple ... ok
[INFO] [stdout] test tests::test_analyze_statute_risk_with_errors ... ok
[INFO] [stdout] test tests::test_assess_multiple_impacts ... ok
[INFO] [stdout] test tests::test_analyze_stakeholder_conflicts_conflicting_interests ... ok
[INFO] [stdout] test tests::test_batch_ambiguity_report ... ok
[INFO] [stdout] test tests::test_analyze_coalitions ... ok
[INFO] [stdout] test tests::test_analyze_stakeholder_conflicts_grant ... ok
[INFO] [stdout] test tests::test_batch_verification_add_result ... ok
[INFO] [stdout] test tests::test_batch_verification_all_pass ... ok
[INFO] [stdout] test tests::test_batch_verification_result_new ... ok
[INFO] [stdout] test tests::test_build_condition_path_age ... ok
[INFO] [stdout] test tests::test_batch_verification_default ... ok
[INFO] [stdout] test tests::test_batch_verification_report ... ok
[INFO] [stdout] test tests::test_build_condition_path_complex ... ok
[INFO] [stdout] test tests::test_build_verification_path_simple ... ok
[INFO] [stdout] test tests::test_analyze_stakeholder_conflicts_prohibition ... ok
[INFO] [stdout] test tests::test_build_verification_path_with_errors ... ok
[INFO] [stdout] test tests::test_build_verification_path_with_preconditions ... ok
[INFO] [stdout] test tests::test_check_formula_on_trace ... ok
[INFO] [stdout] test tests::test_cached_proof_creation ... ok
[INFO] [stdout] test tests::test_batch_verification_basic ... ok
[INFO] [stdout] test tests::test_cached_proof_invalid_after_change ... ok
[INFO] [stdout] test tests::test_cached_proof_is_valid ... ok
[INFO] [stdout] test tests::test_change_impact_report_generation ... ok
[INFO] [stdout] test tests::test_ci_config_builder ... ok
[INFO] [stdout] test tests::test_ci_config_github_actions ... ok
[INFO] [stdout] test tests::test_ci_config_creation ... ok
[INFO] [stdout] test tests::test_ci_config_gitlab_ci ... ok
[INFO] [stdout] test tests::test_ci_config_circleci ... ok
[INFO] [stdout] test tests::test_ci_config_jenkins ... ok
[INFO] [stdout] test tests::test_ci_platform_display ... ok
[INFO] [stdout] test tests::test_circular_reference_detection ... ok
[INFO] [stdout] test tests::test_clarity_index_high ... ok
[INFO] [stdout] test tests::test_clock_constraint_equal ... ok
[INFO] [stdout] test tests::test_clarity_index_low ... ok
[INFO] [stdout] test tests::test_clock_constraint_and ... ok
[INFO] [stdout] test tests::test_clock_constraint_satisfied ... ok
[INFO] [stdout] test tests::test_ci_config_travis ... ok
[INFO] [stdout] test tests::test_coalition_analysis_report_empty ... ok
[INFO] [stdout] test tests::test_coalition_creation ... ok
[INFO] [stdout] test tests::test_clock_creation ... ok
[INFO] [stdout] test tests::test_coalition_strength_clamping ... ok
[INFO] [stdout] test tests::test_coalition_analysis_report ... ok
[INFO] [stdout] test tests::test_compare_statutes_effect_changed ... ok
[INFO] [stdout] test tests::test_compare_statutes_no_changes ... ok
[INFO] [stdout] test tests::test_coalition_sorting_by_strength ... ok
[INFO] [stdout] test tests::test_compare_statutes_preconditions_changed ... ok
[INFO] [stdout] test tests::test_compare_statutes_title_changed ... ok
[INFO] [stdout] test tests::test_complexity_nested ... ok
[INFO] [stdout] test tests::test_complexity_report ... ok
[INFO] [stdout] test tests::test_complexity_simple ... ok
[INFO] [stdout] test tests::test_complexity_with_and ... ok
[INFO] [stdout] test tests::test_complexity_with_calculation ... ok
[INFO] [stdout] test tests::test_composite_principle_creation ... ok
[INFO] [stdout] test tests::test_complexity_with_mixed_calculation ... ok
[INFO] [stdout] test tests::test_comprehensive_quality_metrics ... ok
[INFO] [stdout] test tests::test_conditions_overlap ... ok
[INFO] [stdout] test tests::test_compliance_certification_report ... ok
[INFO] [stdout] test tests::test_compliance_checklist_report ... ok
[INFO] [stdout] test tests::test_compliance_report_template ... ok
[INFO] [stdout] test tests::test_conflict_explanation_creation ... ok
[INFO] [stdout] test tests::test_conflict_explanation_format ... ok
[INFO] [stdout] test tests::test_conflict_report_generation ... ok
[INFO] [stdout] test tests::test_coverage_gap_severity_levels ... ok
[INFO] [stdout] test tests::test_consolidated_compliance_checklist ... ok
[INFO] [stdout] test tests::test_coverage_info_new ... ok
[INFO] [stdout] test tests::test_coverage_analysis ... ok
[INFO] [stdout] test tests::test_coverage_gap_detection ... ok
[INFO] [stdout] test tests::test_coverage_compute_percentage ... ok
[INFO] [stdout] test tests::test_coverage_report ... ok
[INFO] [stdout] test tests::test_cross_reference_error_display ... ok
[INFO] [stdout] test tests::test_conflict_with_suggestions ... ok
[INFO] [stdout] test tests::test_ctl_display ... ok
[INFO] [stdout] test tests::test_ctl_exists_next ... ok
[INFO] [stdout] test tests::test_ctl_star_all_paths ... ok
[INFO] [stdout] test tests::test_ctl_star_always_path_formula ... ok
[INFO] [stdout] test tests::test_ctl_star_basic_formula ... ok
[INFO] [stdout] test tests::test_ctl_star_display ... ok
[INFO] [stdout] test tests::test_ctl_star_path_formula_display ... ok
[INFO] [stdout] test tests::test_custom_report_section ... ok
[INFO] [stdout] test tests::test_custom_report_with_all_sections ... ok
[INFO] [stdout] test tests::test_deadline_verification_fail ... ok
[INFO] [stdout] test tests::test_deadline_verification_pass ... ok
[INFO] [stdout] test tests::test_dependency_graph_transitive_dependencies ... ok
[INFO] [stdout] test tests::test_dependency_node_add_dependency ... ok
[INFO] [stdout] test tests::test_dependency_node_add_dependent ... ok
[INFO] [stdout] test tests::test_dependency_node_creation ... ok
[INFO] [stdout] test tests::test_dependency_node_mark_verified ... ok
[INFO] [stdout] test tests::test_detect_duplicates_no_similarity ... ok
[INFO] [stdout] test tests::test_detect_duplicates_similar ... ok
[INFO] [stdout] test tests::test_detect_implicit_assumption_custom_condition ... ok
[INFO] [stdout] test tests::test_detect_missing_discretion ... ok
[INFO] [stdout] test tests::test_detect_nash_equilibria ... ok
[INFO] [stdout] test tests::test_detect_quantifier_ambiguity ... ok
[INFO] [stdout] test tests::test_detect_temporal_ambiguity_missing_effective_date ... ok
[INFO] [stdout] test tests::test_detect_temporal_ambiguity_no_dates ... ok
[INFO] [stdout] test tests::test_detect_unclear_effect_empty ... ok
[INFO] [stdout] test tests::test_detect_unclear_effect_too_brief ... ok
[INFO] [stdout] test tests::test_detect_vague_terms_in_description ... ok
[INFO] [stdout] test tests::test_cross_reference_report ... ok
[INFO] [stdout] test tests::test_dependency_graph_affected_statutes ... ok
[INFO] [stdout] test tests::test_detect_vague_terms_in_title ... ok
[INFO] [stdout] test tests::test_ctl_star_complex_formula ... ok
[INFO] [stdout] test tests::test_dependency_graph_from_statutes ... ok
[INFO] [stdout] test tests::test_ctl_all_next ... ok
[INFO] [stdout] test tests::test_differential_private_analysis_empty ... ok
[INFO] [stdout] test tests::test_drafting_quality_score_high ... ok
[INFO] [stdout] test tests::test_drafting_quality_score_low ... ok
[INFO] [stdout] test tests::test_due_process_check ... ok
[INFO] [stdout] test tests::test_duplicate_detection_report ... ok
[INFO] [stdout] test tests::test_effect_conflict_detection ... ok
[INFO] [stdout] test tests::test_effects_contradict ... ok
[INFO] [stdout] test tests::test_encrypted_statute_homomorphic_verify ... ok
[INFO] [stdout] test distributed_verification::tests::test_load_balancing_strategy_display ... ok
[INFO] [stdout] test tests::test_executive_summary_report ... ok
[INFO] [stdout] test tests::test_explain_conflict_jurisdictional_overlap ... ok
[INFO] [stdout] test tests::test_encrypted_statute_creation ... ok
[INFO] [stdout] test tests::test_explain_error_ambiguity ... ok
[INFO] [stdout] test tests::test_explain_error_circular_reference ... ok
[INFO] [stdout] test tests::test_explain_error_dead_statute ... ok
[INFO] [stdout] test tests::test_explain_error_constitutional_conflict ... ok
[INFO] [stdout] test tests::test_encrypted_verification_result_report ... ok
[INFO] [stdout] test tests::test_export_dependency_graph ... ok
[INFO] [stdout] test tests::test_find_ambiguous_terms ... ok
[INFO] [stdout] test tests::test_equality_check ... ok
[INFO] [stdout] test tests::test_executive_summary_with_errors ... ok
[INFO] [stdout] test tests::test_explain_conflict_effect_conflict ... ok
[INFO] [stdout] test tests::test_export_dependency_graph_no_references ... ok
[INFO] [stdout] test tests::test_export_dependency_graph_with_conflicts ... ok
[INFO] [stdout] test tests::test_find_similar_statutes ... ok
[INFO] [stdout] test tests::test_game_theoretic_model_creation ... ok
[INFO] [stdout] test tests::test_generate_compliance_certification ... ok
[INFO] [stdout] test tests::test_game_theoretic_report ... ok
[INFO] [stdout] test tests::test_generate_compliance_checklist ... ok
[INFO] [stdout] test tests::test_generate_custom_report ... ok
[INFO] [stdout] test tests::test_generate_executive_summary ... ok
[INFO] [stdout] test tests::test_generate_regulatory_filing ... ok
[INFO] [stdout] test tests::test_id_collision_detection ... ok
[INFO] [stdout] test tests::test_impact_assessment ... ok
[INFO] [stdout] test tests::test_incremental_state ... ok
[INFO] [stdout] test tests::test_impact_assessment_report ... ok
[INFO] [stdout] test tests::test_lazy_verification_config_changed_only ... ok
[INFO] [stdout] test tests::test_json_roundtrip ... ok
[INFO] [stdout] test tests::test_impact_levels ... ok
[INFO] [stdout] test tests::test_jurisdictional_rule_set ... ok
[INFO] [stdout] test tests::test_json_export ... ok
[INFO] [stdout] test tests::test_lazy_verification_config_new ... ok
[INFO] [stdout] test tests::test_html_report_generation ... ok
[INFO] [stdout] test tests::test_lazy_verification_config_with_depth ... ok
[INFO] [stdout] test tests::test_jurisdiction_gap_detection ... ok
[INFO] [stdout] test tests::test_lazy_verify_single_change ... ok
[INFO] [stdout] test tests::test_ltl_atom ... ok
[INFO] [stdout] test tests::test_ltl_display ... ok
[INFO] [stdout] test tests::test_ltl_always ... ok
[INFO] [stdout] test tests::test_ltl_eventually ... ok
[INFO] [stdout] test tests::test_ltl_next ... ok
[INFO] [stdout] test tests::test_maintainability_score_high ... ok
[INFO] [stdout] test tests::test_markov_chain_complex_reachability ... ok
[INFO] [stdout] test tests::test_lazy_verify_empty ... ok
[INFO] [stdout] test tests::test_markov_chain_reachability_probability ... ok
[INFO] [stdout] test tests::test_maintainability_score_low ... ok
[INFO] [stdout] test tests::test_markov_chain_steady_state ... ok
[INFO] [stdout] test tests::test_markov_chain_validation_valid ... ok
[INFO] [stdout] test tests::test_markov_chain_validation_invalid ... ok
[INFO] [stdout] test tests::test_markov_transition_creation ... ok
[INFO] [stdout] test tests::test_mechanism_analysis_add_issue ... ok
[INFO] [stdout] test tests::test_mechanism_analysis_creation ... ok
[INFO] [stdout] test tests::test_mechanism_analysis_satisfy_property ... ok
[INFO] [stdout] test tests::test_markov_state_creation ... ok
[INFO] [stdout] test tests::test_mechanism_design_budget_balance_no_transfers ... ok
[INFO] [stdout] test tests::test_mechanism_design_incentive_compatibility_violation ... ok
[INFO] [stdout] test tests::test_mechanism_design_individual_rationality_satisfied ... ok
[INFO] [stdout] test tests::test_mechanism_design_individual_rationality_violation ... ok
[INFO] [stdout] test tests::test_mechanism_design_non_dictatorship_satisfied ... ok
[INFO] [stdout] test tests::test_mechanism_design_strategy_proofness_custom_condition ... ok
[INFO] [stdout] test tests::test_mechanism_design_non_dictatorship_violation ... ok
[INFO] [stdout] test tests::test_mechanism_design_strategy_proofness_grant_no_conditions ... ok
[INFO] [stdout] test tests::test_mechanism_design_report_no_issues ... ok
[INFO] [stdout] test tests::test_mechanism_design_report_with_issues ... ok
[INFO] [stdout] test tests::test_mechanism_property_display ... ok
[INFO] [stdout] test tests::test_mechanism_quality_score_calculation ... ok
[INFO] [stdout] test tests::test_multiparty_verification_creation ... ok
[INFO] [stdout] test tests::test_multiparty_verification_report ... ok
[INFO] [stdout] test tests::test_multiparty_verification_with_multiple_parties ... ok
[INFO] [stdout] test tests::test_natural_language_explanation_creation ... ok
[INFO] [stdout] test tests::test_natural_language_explanation_format ... ok
[INFO] [stdout] test tests::test_no_ambiguities_well_defined_statute ... ok
[INFO] [stdout] test tests::test_no_circular_reference ... ok
[INFO] [stdout] test tests::test_mechanism_design_budget_balance_with_transfers ... ok
[INFO] [stdout] test tests::test_monte_carlo_verification_probabilistic ... ok
[INFO] [stdout] test tests::test_monte_carlo_verification_simple ... ok
[INFO] [stdout] test tests::test_mechanism_design_incentive_compatibility_satisfied ... ok
[INFO] [stdout] test tests::test_no_coverage_gaps_simple ... ok
[INFO] [stdout] test tests::test_no_conflicts_when_different_jurisdictions ... ok
[INFO] [stdout] test tests::test_notification_config_creation ... ok
[INFO] [stdout] test tests::test_notification_config_default ... ok
[INFO] [stdout] test tests::test_notification_config_details ... ok
[INFO] [stdout] test tests::test_notification_config_email ... ok
[INFO] [stdout] test tests::test_notification_config_trigger ... ok
[INFO] [stdout] test tests::test_notification_config_webhooks ... ok
[INFO] [stdout] test tests::test_notification_message_creation ... ok
[INFO] [stdout] test tests::test_notification_message_to_json ... ok
[INFO] [stdout] test tests::test_notification_message_with_results ... ok
[INFO] [stdout] test tests::test_optimization_report_generation ... ok
[INFO] [stdout] test tests::test_precommit_hook_builder ... ok
[INFO] [stdout] test tests::test_precommit_hook_creation ... ok
[INFO] [stdout] test tests::test_precommit_hook_generation ... ok
[INFO] [stdout] test tests::test_principle_check_result ... ok
[INFO] [stdout] test tests::test_principle_registry ... ok
[INFO] [stdout] test tests::test_privacy_budget_presets ... ok
[INFO] [stdout] test tests::test_privacy_impact_check ... ok
[INFO] [stdout] test tests::test_private_aggregation_report ... ok
[INFO] [stdout] test tests::test_proof_cache_add_proof ... ok
[INFO] [stdout] test tests::test_proof_cache_creation ... ok
[INFO] [stdout] test tests::test_proof_cache_get_proof ... ok
[INFO] [stdout] test tests::test_proof_cache_invalidate ... ok
[INFO] [stdout] test tests::test_precommit_hook_default ... ok
[INFO] [stdout] test tests::test_proof_cache_stats ... ok
[INFO] [stdout] test tests::test_proportionality_check ... ok
[INFO] [stdout] test tests::test_predict_game_outcomes_two_players ... ok
[INFO] [stdout] test tests::test_principle_definition_creation ... ok
[INFO] [stdout] test tests::test_privacy_budget_creation ... ok
[INFO] [stdout] test tests::test_quality_metrics_low_complexity_strength ... ok
[INFO] [stdout] test tests::test_quality_metrics_with_issues ... ok
[INFO] [stdout] test tests::test_quality_metrics_basic ... ok
[INFO] [stdout] test tests::test_quality_report_template ... ok
[INFO] [stdout] test tests::test_quality_metrics_grade ... ok
[INFO] [stdout] test tests::test_regulatory_impact_basic ... ok
[INFO] [stdout] test tests::test_quality_report_generation ... ok
[INFO] [stdout] test tests::test_regulatory_filing_report ... ok
[INFO] [stdout] test tests::test_regulatory_impact_high ... ok
[INFO] [stdout] test tests::test_retroactivity_check_application_before_effective ... ok
[INFO] [stdout] test tests::test_regulatory_impact_report ... ok
[INFO] [stdout] test tests::test_report_template_creation ... ok
[INFO] [stdout] test tests::test_retroactivity_check_grant_allowed ... ok
[INFO] [stdout] test tests::test_retroactivity_check_effective_before_enactment ... ok
[INFO] [stdout] test tests::test_retroactivity_check_monetary_penalty ... ok
[INFO] [stdout] test tests::test_retroactivity_check_retroactive_parameter ... ok
[INFO] [stdout] test tests::test_risk_factor_score_clamping ... ok
[INFO] [stdout] test tests::test_risk_level_from_score ... ok
[INFO] [stdout] test tests::test_risk_quantification_creation ... ok
[INFO] [stdout] test tests::test_risk_quantification_critical_level ... ok
[INFO] [stdout] test tests::test_risk_quantification_minimal_level ... ok
[INFO] [stdout] test tests::test_risk_quantification_report ... ok
[INFO] [stdout] test tests::test_risk_quantification_with_mitigations ... ok
[INFO] [stdout] test tests::test_semantic_similarity_different ... ok
[INFO] [stdout] test tests::test_sarif_report_generation ... ok
[INFO] [stdout] test tests::test_send_notification_no_channels ... ok
[INFO] [stdout] test tests::test_send_notification_no_trigger ... ok
[INFO] [stdout] test tests::test_send_notification_with_trigger ... ok
[INFO] [stdout] test tests::test_retroactivity_check_no_effective_date ... ok
[INFO] [stdout] test tests::test_retroactivity_check_pass ... ok
[INFO] [stdout] test tests::test_retroactivity_check_retroactive_language ... ok
[INFO] [stdout] test tests::test_sequence_verification_fail ... ok
[INFO] [stdout] test tests::test_risk_factor_creation ... ok
[INFO] [stdout] test tests::test_risk_level_display ... ok
[INFO] [stdout] test tests::test_similarity_score ... ok
[INFO] [stdout] test tests::test_stakeholder_conflict_report ... ok
[INFO] [stdout] test tests::test_standard_report_template ... ok
[INFO] [stdout] test tests::test_semantic_similarity_identical ... ok
[INFO] [stdout] test tests::test_statistical_check_result_from_samples ... ok
[INFO] [stdout] test tests::test_stakeholder_creation ... ok
[INFO] [stdout] test tests::test_stakeholder_conflict_report_empty ... ok
[INFO] [stdout] test tests::test_statistical_check_result_hypothesis_rejected ... ok
[INFO] [stdout] test tests::test_statistical_model_checking_report ... ok
[INFO] [stdout] test tests::test_statute_statistics_empty ... ok
[INFO] [stdout] test tests::test_statute_statistics_basic ... ok
[INFO] [stdout] test tests::test_strategy_creation ... ok
[INFO] [stdout] test tests::test_synthesize_ctl_all_always ... ok
[INFO] [stdout] test tests::test_string_similarity ... ok
[INFO] [stdout] test tests::test_statistical_result_confidence_interval ... ok
[INFO] [stdout] test tests::test_sequence_verification_pass ... ok
[INFO] [stdout] test tests::test_statistics_report ... ok
[INFO] [stdout] test tests::test_statute_change_display ... ok
[INFO] [stdout] test tests::test_synthesize_ctl_empty_properties ... ok
[INFO] [stdout] test tests::test_synthesize_ctl_exists_eventually ... ok
[INFO] [stdout] test tests::test_synthesize_ltl_eventually ... ok
[INFO] [stdout] test tests::test_tee_config_attestation_verification ... ok
[INFO] [stdout] test tests::test_synthesize_ltl_no_separation ... ok
[INFO] [stdout] test tests::test_tee_config_creation ... ok
[INFO] [stdout] test tests::test_tee_verification_report ... ok
[INFO] [stdout] test tests::test_temporal_conflict_detection ... ok
[INFO] [stdout] test tests::test_temporal_validity_overlap ... ok
[INFO] [stdout] test tests::test_terminology_consistency_report ... ok
[INFO] [stdout] test tests::test_term_disambiguation_report ... ok
[INFO] [stdout] test tests::test_temporal_state_creation ... ok
[INFO] [stdout] test tests::test_synthesize_ltl_always ... ok
[INFO] [stdout] test tests::test_synthesize_ltl_empty_traces ... ok
[INFO] [stdout] test tests::test_tee_verification ... ok
[INFO] [stdout] test tests::test_terminology_consistency ... ok
[INFO] [stdout] test tests::test_testability_score_high ... ok
[INFO] [stdout] test tests::test_timed_location_with_invariant ... ok
[INFO] [stdout] test tests::test_timed_location_creation ... ok
[INFO] [stdout] test tests::test_timed_reachability_unreachable ... ok
[INFO] [stderr] error: test failed, to rerun pass `--lib`
[INFO] [stdout] test tests::test_timed_reachability_simple ... ok
[INFO] [stdout] test tests::test_timed_reachability_with_reset ... ok
[INFO] [stdout] test tests::test_timed_automaton_creation ... ok
[INFO] [stdout] test tests::test_timed_transition_creation ... ok
[INFO] [stdout] test tests::test_terminology_inconsistency_builder ... ok
[INFO] [stdout] test tests::test_timed_transition_with_guard_and_reset ... ok
[INFO] [stdout] test tests::test_title_similarity ... ok
[INFO] [stdout] test tests::test_transition_system_creation ... ok
[INFO] [stdout] test tests::test_validate_cross_references_valid ... ok
[INFO] [stdout] test tests::test_validate_cross_references_invalid ... ok
[INFO] [stdout] test tests::test_verification_budget ... ok
[INFO] [stdout] test tests::test_verification_diff_errors_added ... ok
[INFO] [stdout] test tests::test_verification_diff_errors_removed ... ok
[INFO] [stdout] test tests::test_verification_diff_no_changes ... ok
[INFO] [stdout] test tests::test_verification_diff_report ... ok
[INFO] [stdout] test tests::test_testability_score_low ... ok
[INFO] [stdout] test tests::test_verification_diff_warnings_added ... ok
[INFO] [stdout] test tests::test_verification_path_failed_status ... ok
[INFO] [stdout] test tests::test_verification_path_node_with_children ... ok
[INFO] [stdout] test tests::test_verification_request_builder ... ok
[INFO] [stdout] test tests::test_verification_path_to_dot ... ok
[INFO] [stdout] test tests::test_verification_path_node_creation ... ok
[INFO] [stdout] test tests::test_verification_diff_status_change ... ok
[INFO] [stdout] test tests::test_verification_response_with_errors ... ok
[INFO] [stdout] test tests::test_verification_request_creation ... ok
[INFO] [stdout] test tests::test_verification_response_creation ... ok
[INFO] [stdout] test tests::test_verification_response_processing_time ... ok
[INFO] [stdout] test tests::test_verifier_discretion_warning ... ok
[INFO] [stdout] test tests::test_verifier_pass ... ok
[INFO] [stdout] test tests::test_verify_for_jurisdiction ... ok
[INFO] [stdout] test tests::test_verify_integrity ... ok
[INFO] [stdout] test tests::test_verify_incremental ... ok
[INFO] [stdout] test tests::test_verify_with_budget ... ok
[INFO] [stdout] test tests::test_what_if_scenario_creation ... ok
[INFO] [stdout] test tests::test_what_if_scenario_detect_effect_change ... ok
[INFO] [stdout] test tests::test_what_if_scenario_report ... ok
[INFO] [stdout] test tests::test_what_if_breaking_change ... ok
[INFO] [stdout] test tests::test_what_if_analysis ... ok
[INFO] [stdout] test tests::test_zero_knowledge_proof_creation ... ok
[INFO] [stdout] test tests::test_zero_knowledge_proof_different_statutes_different_commitments ... ok
[INFO] [stdout] test tests::test_differential_private_analysis ... FAILED
[INFO] [stdout] test tests::test_zero_knowledge_proof_report ... ok
[INFO] [stdout] test tests::test_zero_knowledge_proof_verification ... ok
[INFO] [stdout] test tests::test_zero_knowledge_proof_with_metadata ... ok
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- tests::test_differential_private_analysis stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'tests::test_differential_private_analysis' (218) panicked at src/lib.rs:23970:9:
[INFO] [stdout] assertion failed: result.count > 0.0
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x628857fae4c2 - std::backtrace_rs::backtrace::libunwind::trace::h90e89fac33585832
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x628857fae4c2 - std::backtrace_rs::backtrace::trace_unsynchronized::heebcf2380a8e7359
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x628857fae4c2 - std::sys::backtrace::_print_fmt::hdf3e2a22d2f810db
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/sys/backtrace.rs:68:9
[INFO] [stdout]    3:     0x628857fae4c2 - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::hac1d885928ba8582
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/sys/backtrace.rs:38:26
[INFO] [stdout]    4:     0x628857fc0637 - core::fmt::rt::Argument::fmt::h6901eb7c19abebe8
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x628857fc0637 - core::fmt::write::h83ebb4d32483be9e
[INFO] [stdout]    6:     0x628857f7cdf6 - std::io::default_write_fmt::h751a79cdae495f10
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x628857f7cdf6 - std::io::Write::write_fmt::h9ef514f8700ff7b2
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/io/mod.rs:1994:13
[INFO] [stdout]    8:     0x628857f8d789 - std::sys::backtrace::BacktraceLock::print::hcc2e1a3ac996c911
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/sys/backtrace.rs:41:9
[INFO] [stdout]    9:     0x628857f8d789 - std::panicking::default_hook::{{closure}}::h8e9c4d1276f0925f
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x628857f8d621 - std::panicking::default_hook::h2b2078d38b534dfb
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x628857e64c9e - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h39d051e7dedac6a7
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   12:     0x628857e64c9e - test::test_main_with_exit_callback::{{closure}}::h4b005fe75814c302
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x628857f8da02 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::hd426070722c13cbf
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   14:     0x628857f8da02 - std::panicking::panic_with_hook::h39b739724e701bfd
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x628857f8d87a - std::panicking::panic_handler::{{closure}}::he540c4833054e458
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:691:13
[INFO] [stdout]   16:     0x628857f88c89 - std::sys::backtrace::__rust_end_short_backtrace::hfa179d89deec8aed
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/sys/backtrace.rs:176:18
[INFO] [stdout]   17:     0x628857f710dd - __rustc[d131491b17107b07]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x628857fc89ec - core::panicking::panic_fmt::ha564519d657d9c46
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x628857fc89b2 - core::panicking::panic::h40aea00c5b72b770
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/core/src/panicking.rs:150:5
[INFO] [stdout]   20:     0x628857d473df - legalis_verifier::tests::test_differential_private_analysis::hd30f63ed982eea07
[INFO] [stdout]                                at /opt/rustwide/workdir/src/lib.rs:23970:9
[INFO] [stdout]   21:     0x628857d47527 - legalis_verifier::tests::test_differential_private_analysis::{{closure}}::hf253a213db7853d5
[INFO] [stdout]                                at /opt/rustwide/workdir/src/lib.rs:23959:44
[INFO] [stdout]   22:     0x628857de82c6 - core::ops::function::FnOnce::call_once::he00fa0ea5d0e6e6f
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   23:     0x628857e64acb - core::ops::function::FnOnce::call_once::h0217b30cfdee2e67
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x628857e64acb - test::__rust_begin_short_backtrace::h6d98714a1e28f556
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/test/src/lib.rs:663:18
[INFO] [stdout]   25:     0x628857e7845a - test::run_test_in_process::{{closure}}::he2c70d2634d3a3cc
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/test/src/lib.rs:686:74
[INFO] [stdout]   26:     0x628857e7845a - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h40a0a825bcf17fdd
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   27:     0x628857e7845a - std::panicking::catch_unwind::do_call::h6c8eb5dd6e7b5975
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:581:40
[INFO] [stdout]   28:     0x628857e7845a - std::panicking::catch_unwind::h55455eac2972ad1e
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:544:19
[INFO] [stdout]   29:     0x628857e7845a - std::panic::catch_unwind::h0025465150a5e558
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panic.rs:359:14
[INFO] [stdout]   30:     0x628857e7845a - test::run_test_in_process::hb61e682f9b630fbc
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/test/src/lib.rs:686:27
[INFO] [stdout]   31:     0x628857e7845a - test::run_test::{{closure}}::hc2c2a7a38ab176e2
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/test/src/lib.rs:607:43
[INFO] [stdout]   32:     0x628857e526f4 - test::run_test::{{closure}}::ha91867b85cd2a911
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/test/src/lib.rs:637:41
[INFO] [stdout]   33:     0x628857e526f4 - std::sys::backtrace::__rust_begin_short_backtrace::ha00a9fe02049c339
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/sys/backtrace.rs:160:18
[INFO] [stdout]   34:     0x628857e56022 - std::thread::lifecycle::spawn_unchecked::{{closure}}::{{closure}}::hd629fba9153dfb55
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/thread/lifecycle.rs:92:13
[INFO] [stdout]   35:     0x628857e56022 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h4189018816a5c5d9
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   36:     0x628857e56022 - std::panicking::catch_unwind::do_call::hf9fcdbca3c2e9877
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:581:40
[INFO] [stdout]   37:     0x628857e56022 - std::panicking::catch_unwind::h97b92d88631c7c64
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:544:19
[INFO] [stdout]   38:     0x628857e56022 - std::panic::catch_unwind::ha77cdbb68e725e5e
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panic.rs:359:14
[INFO] [stdout]   39:     0x628857e56022 - std::thread::lifecycle::spawn_unchecked::{{closure}}::h511f05bc1a132253
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/thread/lifecycle.rs:90:26
[INFO] [stdout]   40:     0x628857e56022 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h6b68b31e9b685cb8
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   41:     0x628857f8431f - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h22a27d165e4e871d
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/alloc/src/boxed.rs:2206:9
[INFO] [stdout]   42:     0x628857f8431f - std::sys::thread::unix::Thread::new::thread_start::h45cc87bb053add0f
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/sys/thread/unix.rs:118:17
[INFO] [stdout]   43:     0x7af838b49aa4 - <unknown>
[INFO] [stdout]   44:     0x7af838bd6a64 - clone
[INFO] [stdout]   45:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     tests::test_differential_private_analysis
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 432 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.07s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "49efe8809a5b188c259eb3d725a14001a8531f7c7c1111de6b24d59144751009", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "49efe8809a5b188c259eb3d725a14001a8531f7c7c1111de6b24d59144751009", kill_on_drop: false }`
[INFO] [stdout] 49efe8809a5b188c259eb3d725a14001a8531f7c7c1111de6b24d59144751009
