[INFO] cloning repository https://github.com/emberian/mediateor
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/emberian/mediateor" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Femberian%2Fmediateor", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Femberian%2Fmediateor'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 5d95997805e63fe030ddb640d53515915f6c0d1c
[INFO] testing emberian/mediateor against 1.97.0-beta.6 for beta-1.98-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Femberian%2Fmediateor" "/workspace/builds/worker-7-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/emberian/mediateor
[INFO] finished tweaking git repo https://github.com/emberian/mediateor
[INFO] tweaked toml for git repo https://github.com/emberian/mediateor written to /workspace/builds/worker-7-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/emberian/mediateor 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 git repo https://github.com/emberian/mediateor 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 signal-hook-mio v0.2.5
[INFO] [stderr]   Downloaded compact_str v0.8.2
[INFO] [stderr]   Downloaded instability v0.3.12
[INFO] [stderr]   Downloaded open-hypergraphs v0.3.1
[INFO] [stderr]   Downloaded ratatui v0.28.1
[INFO] [stderr]   Downloaded aws-sdk-bedrockruntime v1.133.0
[INFO] [stderr]   Downloaded maud v0.26.0
[INFO] [stderr]   Downloaded maud_macros v0.26.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:3d5ced03c013a94a2f102a4510f48a6e9184255caf5fd8244f58017bde7f5210" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 4565c533fa3e4374c8887e2973bc813aa6c15cd2bf93bc6864deed6e0c08009f
[INFO] running `Command { std: "docker" "start" "4565c533fa3e4374c8887e2973bc813aa6c15cd2bf93bc6864deed6e0c08009f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "4565c533fa3e4374c8887e2973bc813aa6c15cd2bf93bc6864deed6e0c08009f", 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" "4565c533fa3e4374c8887e2973bc813aa6c15cd2bf93bc6864deed6e0c08009f" "/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" "4565c533fa3e4374c8887e2973bc813aa6c15cd2bf93bc6864deed6e0c08009f", 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" "4565c533fa3e4374c8887e2973bc813aa6c15cd2bf93bc6864deed6e0c08009f" "/opt/rustwide/cargo-home/bin/cargo" "+1.97.0-beta.6" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling log v0.4.32
[INFO] [stderr]    Compiling typenum v1.20.1
[INFO] [stderr]    Compiling http v1.4.1
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling tracing-core v0.1.36
[INFO] [stderr]    Compiling futures-task v0.3.32
[INFO] [stderr]    Compiling ryu v1.0.23
[INFO] [stderr]    Compiling http v0.2.12
[INFO] [stderr]    Compiling cc v1.2.63
[INFO] [stderr]    Compiling deranged v0.5.8
[INFO] [stderr]    Compiling outref v0.5.2
[INFO] [stderr]    Compiling time-core v0.1.8
[INFO] [stderr]    Compiling vsimd v0.8.0
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]    Compiling num-conv v0.2.2
[INFO] [stderr]    Compiling bytes-utils v0.1.4
[INFO] [stderr]    Compiling futures-util v0.3.32
[INFO] [stderr]    Compiling semver v1.0.28
[INFO] [stderr]    Compiling mio v1.2.1
[INFO] [stderr]    Compiling rustversion v1.0.22
[INFO] [stderr]    Compiling serde_json v1.0.150
[INFO] [stderr]    Compiling rustls-pki-types v1.14.1
[INFO] [stderr]    Compiling rustc_version v0.4.1
[INFO] [stderr]    Compiling futures-channel v0.3.32
[INFO] [stderr]    Compiling indexmap v2.14.0
[INFO] [stderr]    Compiling base64-simd v0.8.0
[INFO] [stderr]    Compiling rustls v0.21.12
[INFO] [stderr]    Compiling cmov v0.5.4
[INFO] [stderr]    Compiling socket2 v0.5.10
[INFO] [stderr]    Compiling ctutils v0.4.2
[INFO] [stderr]    Compiling const-oid v0.10.2
[INFO] [stderr]    Compiling http-body v1.0.1
[INFO] [stderr]    Compiling http-body-util v0.1.3
[INFO] [stderr]    Compiling http-body v0.4.6
[INFO] [stderr]    Compiling writeable v0.6.3
[INFO] [stderr]    Compiling litemap v0.8.2
[INFO] [stderr]    Compiling rustls-native-certs v0.8.4
[INFO] [stderr]    Compiling generic-array v0.14.7
[INFO] [stderr]    Compiling hybrid-array v0.4.12
[INFO] [stderr]    Compiling aws-types v1.3.16
[INFO] [stderr]    Compiling num-integer v0.1.46
[INFO] [stderr]    Compiling icu_properties_data v2.2.0
[INFO] [stderr]    Compiling icu_normalizer_data v2.2.0
[INFO] [stderr]    Compiling uuid v1.23.2
[INFO] [stderr]    Compiling arc-swap v1.9.1
[INFO] [stderr]    Compiling regex-lite v0.1.9
[INFO] [stderr]    Compiling zerocopy v0.8.50
[INFO] [stderr]    Compiling open-hypergraphs v0.3.1
[INFO] [stderr]    Compiling simd-adler32 v0.3.9
[INFO] [stderr]    Compiling rustls v0.23.40
[INFO] [stderr]    Compiling xmlparser v0.13.6
[INFO] [stderr]    Compiling urlencoding v2.1.3
[INFO] [stderr]    Compiling curve25519-dalek v4.1.3
[INFO] [stderr]    Compiling miniz_oxide v0.8.9
[INFO] [stderr]    Compiling time v0.3.47
[INFO] [stderr]    Compiling crypto-common v0.1.7
[INFO] [stderr]    Compiling block-buffer v0.10.4
[INFO] [stderr]    Compiling webpki-roots v1.0.7
[INFO] [stderr]    Compiling digest v0.10.7
[INFO] [stderr]    Compiling aws-smithy-xml v0.60.15
[INFO] [stderr]    Compiling webpki-roots v0.26.11
[INFO] [stderr]    Compiling signature v2.2.0
[INFO] [stderr]    Compiling bitflags v2.13.0
[INFO] [stderr]    Compiling ed25519 v2.2.3
[INFO] [stderr]    Compiling sha2 v0.10.9
[INFO] [stderr]    Compiling sha1 v0.10.6
[INFO] [stderr]    Compiling proc-macro-error-attr v1.0.4
[INFO] [stderr]    Compiling proc-macro-error v1.0.4
[INFO] [stderr]    Compiling rustix v0.38.44
[INFO] [stderr]    Compiling unicase v2.9.0
[INFO] [stderr]    Compiling crypto-common v0.2.2
[INFO] [stderr]    Compiling block-buffer v0.12.0
[INFO] [stderr]    Compiling ring v0.17.14
[INFO] [stderr]    Compiling mime_guess v2.0.5
[INFO] [stderr]    Compiling flate2 v1.1.9
[INFO] [stderr]    Compiling signal-hook v0.3.18
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling instability v0.3.12
[INFO] [stderr]    Compiling hashbrown v0.15.5
[INFO] [stderr]    Compiling castaway v0.2.4
[INFO] [stderr]    Compiling itertools v0.13.0
[INFO] [stderr]    Compiling signal-hook-mio v0.2.5
[INFO] [stderr]    Compiling indoc v2.0.7
[INFO] [stderr]    Compiling unicode-segmentation v1.13.3
[INFO] [stderr]    Compiling parking_lot v0.12.5
[INFO] [stderr]    Compiling compact_str v0.8.2
[INFO] [stderr]    Compiling serde_path_to_error v0.1.20
[INFO] [stderr]    Compiling http-range-header v0.4.2
[INFO] [stderr]    Compiling cassowary v0.3.0
[INFO] [stderr]    Compiling crossterm v0.28.1
[INFO] [stderr]    Compiling digest v0.11.3
[INFO] [stderr]    Compiling lru v0.12.5
[INFO] [stderr]    Compiling unicode-truncate v1.1.0
[INFO] [stderr]    Compiling synstructure v0.13.2
[INFO] [stderr]    Compiling darling_core v0.23.0
[INFO] [stderr]    Compiling hmac v0.13.0
[INFO] [stderr]    Compiling sha2 v0.11.0
[INFO] [stderr]    Compiling tokio-macros v2.7.0
[INFO] [stderr]    Compiling tracing-attributes v0.1.31
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling aws-smithy-runtime-api-macros v1.0.0
[INFO] [stderr]    Compiling zerovec-derive v0.11.3
[INFO] [stderr]    Compiling displaydoc v0.2.6
[INFO] [stderr]    Compiling curve25519-dalek-derive v0.1.1
[INFO] [stderr]    Compiling async-trait v0.1.89
[INFO] [stderr]    Compiling strum_macros v0.26.4
[INFO] [stderr]    Compiling maud_macros v0.26.0
[INFO] [stderr]    Compiling zerofrom-derive v0.1.7
[INFO] [stderr]    Compiling yoke-derive v0.8.2
[INFO] [stderr]    Compiling tokio v1.52.3
[INFO] [stderr]    Compiling tracing v0.1.44
[INFO] [stderr]    Compiling zerofrom v0.1.8
[INFO] [stderr]    Compiling ed25519-dalek v2.2.0
[INFO] [stderr]    Compiling yoke v0.8.3
[INFO] [stderr]    Compiling axum-core v0.4.5
[INFO] [stderr]    Compiling strum v0.26.3
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling zerovec v0.11.6
[INFO] [stderr]    Compiling zerotrie v0.2.4
[INFO] [stderr]    Compiling darling_macro v0.23.0
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling darling v0.23.0
[INFO] [stderr]    Compiling rustls-webpki v0.101.7
[INFO] [stderr]    Compiling sct v0.7.1
[INFO] [stderr]    Compiling rustls-webpki v0.103.13
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling tinystr v0.8.3
[INFO] [stderr]    Compiling potential_utf v0.1.5
[INFO] [stderr]    Compiling rand v0.8.6
[INFO] [stderr]    Compiling icu_collections v2.2.0
[INFO] [stderr]    Compiling icu_locale_core v2.2.0
[INFO] [stderr]    Compiling ratatui v0.28.1
[INFO] [stderr]    Compiling mediator-types v0.1.0 (/opt/rustwide/workdir/crates/mediator-types)
[INFO] [stderr]    Compiling serde_urlencoded v0.7.1
[INFO] [stderr]    Compiling maud v0.26.0
[INFO] [stderr]    Compiling mediator-ontology v0.1.0 (/opt/rustwide/workdir/crates/mediator-ontology)
[INFO] [stderr]    Compiling mediator-prover v0.1.0 (/opt/rustwide/workdir/crates/mediator-prover)
[INFO] [stderr]    Compiling mediator-audit v0.1.0 (/opt/rustwide/workdir/crates/mediator-audit)
[INFO] [stderr]    Compiling mediator-fairdiv v0.1.0 (/opt/rustwide/workdir/crates/mediator-fairdiv)
[INFO] [stderr]    Compiling icu_provider v2.2.0
[INFO] [stderr]    Compiling mediator-pact v0.1.0 (/opt/rustwide/workdir/crates/mediator-pact)
[INFO] [stderr]    Compiling mediator-core v0.1.0 (/opt/rustwide/workdir/crates/mediator-core)
[INFO] [stderr]    Compiling icu_properties v2.2.0
[INFO] [stderr]    Compiling icu_normalizer v2.2.0
[INFO] [stderr]    Compiling mediator-pact-commons v0.1.0 (/opt/rustwide/workdir/crates/mediator-pact-commons)
[INFO] [stderr]    Compiling tokio-util v0.7.18
[INFO] [stderr]    Compiling aws-smithy-async v1.2.14
[INFO] [stderr]    Compiling tokio-rustls v0.24.1
[INFO] [stderr]    Compiling hyper v1.10.1
[INFO] [stderr]    Compiling tower v0.5.3
[INFO] [stderr]    Compiling mediator-tui v0.1.0 (/opt/rustwide/workdir/crates/mediator-tui)
[INFO] [stderr]    Compiling idna_adapter v1.2.2
[INFO] [stderr]    Compiling idna v1.1.0
[INFO] [stderr]    Compiling aws-smithy-types v1.4.9
[INFO] [stderr]    Compiling h2 v0.3.27
[INFO] [stderr]    Compiling h2 v0.4.14
[INFO] [stderr]    Compiling tower-http v0.5.2
[INFO] [stderr]    Compiling url v2.5.8
[INFO] [stderr]    Compiling hyper-util v0.1.20
[INFO] [stderr]    Compiling mediator-demo v0.1.0 (/opt/rustwide/workdir/crates/mediator-demo)
[INFO] [stderr]    Compiling axum v0.7.9
[INFO] [stderr]    Compiling ureq v2.12.1
[INFO] [stderr]    Compiling aws-smithy-runtime-api v1.12.3
[INFO] [stderr]    Compiling aws-smithy-eventstream v0.60.20
[INFO] [stderr]    Compiling aws-smithy-query v0.60.15
[INFO] [stderr]    Compiling aws-smithy-schema v0.1.0
[INFO] [stderr]    Compiling aws-smithy-http v0.63.6
[INFO] [stderr]    Compiling aws-credential-types v1.2.14
[INFO] [stderr]    Compiling aws-smithy-observability v0.2.6
[INFO] [stderr]    Compiling aws-sigv4 v1.4.5
[INFO] [stderr]    Compiling aws-smithy-json v0.62.7
[INFO] [stderr]    Compiling hyper v0.14.32
[INFO] [stderr]    Compiling hyper-rustls v0.24.2
[INFO] [stderr]    Compiling aws-smithy-http-client v1.1.13
[INFO] [stderr]    Compiling aws-smithy-runtime v1.11.3
[INFO] [stderr]    Compiling aws-runtime v1.7.4
[INFO] [stderr]    Compiling aws-sdk-sso v1.101.0
[INFO] [stderr]    Compiling aws-sdk-sts v1.106.0
[INFO] [stderr]    Compiling aws-sdk-ssooidc v1.103.0
[INFO] [stderr]    Compiling aws-sdk-bedrockruntime v1.133.0
[INFO] [stderr]    Compiling aws-config v1.8.18
[INFO] [stderr]    Compiling mediator-llm v0.1.0 (/opt/rustwide/workdir/crates/mediator-llm)
[INFO] [stderr]    Compiling mediator-session v0.1.0 (/opt/rustwide/workdir/crates/mediator-session)
[INFO] [stderr]    Compiling mediator-web v0.1.0 (/opt/rustwide/workdir/crates/mediator-web)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 2m 21s
[INFO] running `Command { std: "docker" "inspect" "4565c533fa3e4374c8887e2973bc813aa6c15cd2bf93bc6864deed6e0c08009f", 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" "4565c533fa3e4374c8887e2973bc813aa6c15cd2bf93bc6864deed6e0c08009f" "/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 mediator-llm v0.1.0 (/opt/rustwide/workdir/crates/mediator-llm)
[INFO] [stderr]    Compiling mediator-pact v0.1.0 (/opt/rustwide/workdir/crates/mediator-pact)
[INFO] [stderr]    Compiling mediator-pact-commons v0.1.0 (/opt/rustwide/workdir/crates/mediator-pact-commons)
[INFO] [stderr]    Compiling mediator-session v0.1.0 (/opt/rustwide/workdir/crates/mediator-session)
[INFO] [stderr]    Compiling mediator-tui v0.1.0 (/opt/rustwide/workdir/crates/mediator-tui)
[INFO] [stderr]    Compiling mediator-web v0.1.0 (/opt/rustwide/workdir/crates/mediator-web)
[INFO] [stderr]    Compiling mediator-demo v0.1.0 (/opt/rustwide/workdir/crates/mediator-demo)
[INFO] [stderr]    Compiling mediator-audit v0.1.0 (/opt/rustwide/workdir/crates/mediator-audit)
[INFO] [stderr]    Compiling mediator-core v0.1.0 (/opt/rustwide/workdir/crates/mediator-core)
[INFO] [stderr]    Compiling mediator-ontology v0.1.0 (/opt/rustwide/workdir/crates/mediator-ontology)
[INFO] [stderr]    Compiling mediator-fairdiv v0.1.0 (/opt/rustwide/workdir/crates/mediator-fairdiv)
[INFO] [stderr]    Compiling mediator-prover v0.1.0 (/opt/rustwide/workdir/crates/mediator-prover)
[INFO] [stderr]    Compiling mediator-types v0.1.0 (/opt/rustwide/workdir/crates/mediator-types)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 15.16s
[INFO] running `Command { std: "docker" "inspect" "4565c533fa3e4374c8887e2973bc813aa6c15cd2bf93bc6864deed6e0c08009f", 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" "4565c533fa3e4374c8887e2973bc813aa6c15cd2bf93bc6864deed6e0c08009f" "/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.42s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/mediator_audit-8ca93ad9281642a3)
[INFO] [stdout] 
[INFO] [stdout] running 16 tests
[INFO] [stdout] test tests::tamper_stored_hash_causes_chain_break ... ok
[INFO] [stdout] test tests::verdict_is_included_in_hash ... ok
[INFO] [stdout] test tests::identical_inputs_produce_identical_hashes ... ok
[INFO] [stdout] test tests::tamper_middle_entry_detected_at_correct_seq ... ok
[INFO] [stdout] test tests::tamper_entry_0_detail_detected ... ok
[INFO] [stdout] test tests::receipts_before_events_in_chain ... ok
[INFO] [stdout] test tests::seq_numbers_are_contiguous ... ok
[INFO] [stdout] test tests::summary_empty_record ... ok
[INFO] [stdout] test tests::summary_contains_entry_count_and_kinds ... ok
[INFO] [stdout] test tests::canonical_json_is_key_sorted ... ok
[INFO] [stdout] test tests::receipts_only_verifies ... ok
[INFO] [stdout] test tests::wrong_public_key_detected ... ok
[INFO] [stdout] test tests::round_trip_verifies ... ok
[INFO] [stdout] test tests::corrupted_signature_detected ... ok
[INFO] [stdout] test tests::empty_record_verifies ... ok
[INFO] [stdout] test tests::json_round_trip ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 16 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.05s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/mediator_core-c7db0578be70b808)
[INFO] [stdout] running 22 tests
[INFO] [stdout] test receipts::tests::genesis_links_to_zeros ... ok
[INFO] [stdout] test receipts::tests::hash_is_deterministic ... ok
[INFO] [stdout] test codegen::tests::preamble_has_axioms_and_ledger ... ok
[INFO] [stdout] test codegen::tests::obligations_compute_right_amounts ... ok
[INFO] [stdout] test receipts::tests::chain_links_and_verifies ... ok
[INFO] [stdout] test receipts::tests::tampering_breaks_the_chain ... ok
[INFO] [stdout] test render::tests::english_render_is_deterministic_and_kind ... ok
[INFO] [stdout] test render::tests::money_formats_cents ... ok
[INFO] [stdout] test render::tests::renders_eq_with_intlit ... ok
[INFO] [stdout] test render::tests::renders_iff_isabelle ... ok
[INFO] [stdout] test render::tests::renders_not_and_le_lt ... ok
[INFO] [stdout] test render::tests::renders_quantifiers ... ok
[INFO] [stdout] test tests::codegen_emits_obligations_for_every_crux ... ok
[INFO] [stdout] test tests::decided_crux_is_not_reported_as_open ... ok
[INFO] [stdout] test tests::analyze_assembles_expected_analysis ... ok
[INFO] [stdout] test tests::one_settled_crux_does_not_hide_the_other_open_one ... ok
[INFO] [stdout] test tests::synonym_clash_is_dissolved_not_a_genuine_conflict ... ok
[INFO] [stdout] test tests::same_predicate_clash_stays_genuine_not_dissolved ... ok
[INFO] [stdout] test tests::unknown_ledger_is_not_overclaimed ... ok
[INFO] [stdout] test tests::legacy_caches_and_scenarios_still_parse ... ok
[INFO] [stdout] test tests::two_cruxes_both_certified_and_handed_back ... ok
[INFO] [stdout] test render::tests::renders_deontic_provisional ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 22 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_integration.rs (/opt/rustwide/target/debug/deps/isabelle_integration-d00b5db723485edf)
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test roommate_reduction_checks_against_real_isabelle ... ok
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/mediator-ce415db3bfadc366)
[INFO] [stdout] test twocrux_reduction_checks_against_real_isabelle ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/mediator_fairdiv-0d5ab423f22678f9)
[INFO] [stdout] 
[INFO] [stdout] running 13 tests
[INFO] [stdout] test tests::mixed_aw_equitable_with_indivisible_items ... ok
[INFO] [stdout] test tests::roommate_aw_proportional ... ok
[INFO] [stdout] test tests::roommate_all_settlements_returns_three ... ok
[INFO] [stdout] test tests::roommate_aw_envy_free_and_equitable ... ok
[INFO] [stdout] test tests::roommate_maxmin_maximises_minimum ... ok
[INFO] [stdout] test tests::symmetric_two_items_no_split_needed ... ok
[INFO] [stdout] test tests::three_item_tie_break_and_split ... ok
[INFO] [stdout] test tests::roommate_determinism ... ok
[INFO] [stdout] test tests::roommate_proportionality_checked_for_all_options ... ok
[INFO] [stdout] test tests::mixed_proportionality ... ok
[INFO] [stdout] test tests::fair_divider_trait_all_settlements ... ok
[INFO] [stdout] test tests::mixed_determinism ... ok
[INFO] [stdout] test tests::mixed_maxmin_maximises_minimum ... ok
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/mediator_llm-a6d6496134a01fc9)
[INFO] [stdout] test result: ok. 13 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 61 tests
[INFO] [stdout] test live::tests::default_config_is_the_open_panel ... ok
[INFO] [stdout] test live::tests::default_panel_is_not_fully_open ... ok
[INFO] [stdout] test live::tests::extract_ignores_braces_inside_strings ... ok
[INFO] [stdout] test live::tests::extract_parses_bare_json ... ok
[INFO] [stdout] test live::tests::extract_parses_fenced_json_block ... ok
[INFO] [stdout] test live::tests::extract_parses_json_buried_in_prose ... ok
[INFO] [stdout] test live::tests::high_volume_config_is_one_cheap_model ... ok
[INFO] [stdout] test live::tests::neutrality_model_is_independent_of_the_qwen_mediator ... ok
[INFO] [stdout] test live::tests::extract_rejects_nonjson ... ok
[INFO] [stdout] test live::tests::normalize_is_order_insensitive_for_and ... ok
[INFO] [stdout] test live::tests::normalize_distinguishes_different_formulas ... ok
[INFO] [stdout] test live::tests::open_panel_has_no_proprietary_power_enthroned ... ok
[INFO] [stdout] test live::tests::open_model_constants_infer_open_providers ... ok
[INFO] [stdout] test live::tests::open_panel_is_three_open_models_voiced_by_qwen ... ok
[INFO] [stdout] test live::tests::provider_inference_from_bedrock_ids ... ok
[INFO] [stdout] test live::tests::reading_marks_invalid_for_undeclared ... ok
[INFO] [stdout] test live::tests::tally_invalid_voters_excluded ... ok
[INFO] [stdout] test live::tests::tally_all_invalid ... ok
[INFO] [stdout] test live::tests::tally_unanimous ... ok
[INFO] [stdout] test live::tests::tally_unanimous_across_providers_is_noted ... ok
[INFO] [stdout] test live::tests::tally_disagreement_yields_no_agreed ... ok
[INFO] [stdout] test live::tests::validate_flags_arity_mismatch ... ok
[INFO] [stdout] test live::tests::env_selects_open_council_for_default ... ok
[INFO] [stdout] test live::tests::validate_flags_undeclared_symbol ... ok
[INFO] [stdout] test neutrality::tests::prompt_empty_facts ... ok
[INFO] [stdout] test live::tests::validate_accepts_declared_symbols ... ok
[INFO] [stdout] test live::tests::prompts_mention_claim_and_symbols ... ok
[INFO] [stdout] test neutrality::tests::prompt_contains_crux_and_facts ... ok
[INFO] [stdout] test live::tests::tally_majority_over_three ... ok
[INFO] [stdout] test live::tests::tally_provider_breadth_breaks_tie ... ok
[INFO] [stdout] test live::tests::truthy_env_values_recognized ... ok
[INFO] [stdout] test live::tests::validate_intlit_and_var_carry_no_obligation ... ok
[INFO] [stdout] test neutrality::tests::verdict_parse_buried_in_prose ... ok
[INFO] [stdout] test neutrality::tests::system_prompt_mentions_normalized_form ... ok
[INFO] [stdout] test neutrality::tests::verdict_parse_extra_fields_ok ... ok
[INFO] [stdout] test neutrality::tests::verdict_parse_fenced_block ... ok
[INFO] [stdout] test neutrality::tests::verdict_parse_rejects_nonjson ... ok
[INFO] [stdout] test neutrality::tests::verdict_parse_neutral_clean ... ok
[INFO] [stdout] test neutrality::tests::verdict_roundtrip_serde ... ok
[INFO] [stdout] test tests::council_formalize_nl_basic ... ok
[INFO] [stdout] test tests::council_formalize_nl_with_dissent ... ok
[INFO] [stdout] test tests::council_majority_wins ... ok
[INFO] [stdout] test tests::council_two_scripted_agree ... ok
[INFO] [stdout] test tests::formalize_nl_basic ... ok
[INFO] [stdout] test tests::render_atom ... ok
[INFO] [stdout] test tests::council_all_fail_returns_err ... ok
[INFO] [stdout] test neutrality::tests::verdict_parse_non_neutral ... ok
[INFO] [stdout] test tests::render_and_or_empty ... ok
[INFO] [stdout] test tests::render_forall_exists ... ok
[INFO] [stdout] test tests::render_not_atom ... ok
[INFO] [stdout] test tests::scripted_r1_robin_wear_tear ... ok
[INFO] [stdout] test tests::render_eq_cents ... ok
[INFO] [stdout] test tests::scripted_s2_sam_five_hundred ... ok
[INFO] [stdout] test tests::scripted_s1_sam_damage ... ok
[INFO] [stdout] test tests::render_iff ... ok
[INFO] [stdout] test tests::render_implies ... ok
[INFO] [stdout] test tests::scripted_unknown_returns_err ... ok
[INFO] [stdout] test tests::render_obligation_and_permission ... ok
[INFO] [stdout] test live::tests::flagship_is_open_qwen3_vl ... ok
[INFO] [stdout] test live::tests::open_panel_spans_three_uncorrelated_open_providers ... ok
[INFO] [stdout] test tests::render_le_lt ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 61 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/formalize.rs (/opt/rustwide/target/debug/deps/formalize-c7547a4302e597a7)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/live_formalize.rs (/opt/rustwide/target/debug/deps/live_formalize-371657f599565c1b)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/mediator_ontology-ce9f2cccb6b4b0db)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 25 tests
[INFO] [stdout] test tests::amalgamation_clean_is_not_a_consistency_proof_but_collects_facts ... ok
[INFO] [stdout] test tests::amalgamation_witnesses_distinct_int_literals ... ok
[INFO] [stdout] test tests::classify_same_predicate_is_genuine ... ok
[INFO] [stdout] test tests::canonical_synonyms_are_flagged ... ok
[INFO] [stdout] test tests::classify_distinct_concepts_is_genuine ... ok
[INFO] [stdout] test tests::amalgamation_dissolves_synonym_clash_into_one_fact ... ok
[INFO] [stdout] test tests::classify_unknown_predicate_is_indeterminate ... ok
[INFO] [stdout] test tests::disjoint_vocab_note_is_emitted ... ok
[INFO] [stdout] test tests::classify_synonyms_is_vocabulary_mismatch ... ok
[INFO] [stdout] test tests::incompatible_types_block_alias_even_with_same_name ... ok
[INFO] [stdout] test tests::amalgamation_report_serde_roundtrips ... ok
[INFO] [stdout] test tests::type_compatibility_respects_uninterp_sorts ... ok
[INFO] [stdout] test tests::amalgamation_witnesses_p_and_not_p_after_alignment ... ok
[INFO] [stdout] test tests::oracle_can_veto_a_candidate ... ok
[INFO] [stdout] test tests::unrelated_glosses_are_neither ... ok
[INFO] [stdout] test tests::gloss_similarity_is_symmetric_and_bounded ... ok
[INFO] [stdout] test tests::verdict_unknown_predicate_is_indeterminate_zero_confidence ... ok
[INFO] [stdout] test tests::identical_symbols_are_shared ... ok
[INFO] [stdout] test tests::serde_roundtrips_the_analysis ... ok
[INFO] [stdout] test tests::rename_formula_applies_sentence_translation ... ok
[INFO] [stdout] test tests::verdict_distinct_concepts_is_genuine_high_confidence ... ok
[INFO] [stdout] test tests::verdict_oracle_veto_turns_vocabulary_into_genuine ... ok
[INFO] [stdout] test tests::pushout_merges_via_connected_components ... ok
[INFO] [stdout] test tests::verdict_synonym_clash_is_vocabulary_with_alignment ... ok
[INFO] [stdout] test tests::verdict_same_predicate_is_genuine_structural ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 25 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/mediator_pact-2c581c4d0dc9f57e)
[INFO] [stdout] 
[INFO] [stdout] running 26 tests
[INFO] [stdout] test codegen::codegen_tests::consistency_pairs_have_exact_shape ... ok
[INFO] [stdout] test codegen::codegen_tests::coverage_goal_quantifies_over_free_preds ... ok
[INFO] [stdout] test tests::broken_pact_drops_short_clauses_in_codegen ... ok
[INFO] [stdout] test codegen::codegen_tests::preamble_has_free_consts_and_defs_no_end ... ok
[INFO] [stdout] test tests::codegen_matches_pact_thy_fragment ... ok
[INFO] [stdout] test tests::obligations_are_coverage_then_pairs ... ok
[INFO] [stdout] test codegen::codegen_tests::full_codegen_is_self_contained ... ok
[INFO] [stdout] test tests::pact_json_round_trips ... ok
[INFO] [stdout] test validate::tests::constants_only_guard_is_rejected ... ok
[INFO] [stdout] test validate::tests::empty_pact_is_rejected ... ok
[INFO] [stdout] test validate::tests::guard_branching_on_crux_passes ... ok
[INFO] [stdout] test validate::tests::undeclared_symbol_is_flagged ... ok
[INFO] [stdout] test witness::tests::finds_concrete_clash ... ok
[INFO] [stdout] test validate::tests::pure_dial_guard_is_rejected_as_value_call ... ok
[INFO] [stdout] test witness::tests::no_clash_for_exclusive_guards ... ok
[INFO] [stdout] test tests::consistency_failure_without_findable_witness_falls_back_to_refused ... ok
[INFO] [stdout] test validate::tests::no_crux_declared_is_rejected ... ok
[INFO] [stdout] test witness::tests::boundary_overlap_is_found ... ok
[INFO] [stdout] test tests::prover_error_surfaces_honestly_as_gap ... ok
[INFO] [stdout] test witness::tests::same_award_is_not_a_clash ... ok
[INFO] [stdout] test tests::coverage_takes_priority_over_consistency_in_gap ... ok
[INFO] [stdout] test tests::inconsistent_pact_exhibits_concrete_witness ... ok
[INFO] [stdout] test tests::decidable_guard_is_rejected_at_authoring_before_gate ... ok
[INFO] [stdout] test tests::coverage_failure_refuses_with_named_gap ... ok
[INFO] [stdout] test tests::record_round_trips_through_json ... ok
[INFO] [stdout] test tests::all_proved_certifies_and_signs ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 26 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.05s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/pact.rs (/opt/rustwide/target/debug/deps/pact-7f05086d4bf10650)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/cert_cache.rs (/opt/rustwide/target/debug/deps/cert_cache-7c122b0814a20ab6)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test refused_cache_names_the_gap ... ok
[INFO] [stdout] test certified_cache_has_no_findable_clash ... ok
[INFO] [stdout] test certified_caches_are_green ... ok
[INFO] [stdout] test inconsistent_cache_witness_rechecks_offline ... ok
[INFO] [stdout] test every_cached_record_reverifies_offline ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.10s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_integration.rs (/opt/rustwide/target/debug/deps/isabelle_integration-bea3fa920ac7c801)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test complete_pact_certifies_through_real_isabelle ... ok
[INFO] [stdout] test broken_pact_is_refused_through_real_isabelle ... ok
[INFO] [stdout] test inconsistent_pact_witnessed_through_real_isabelle ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/mediator_pact_commons-89c4865f654f9ea0)
[INFO] [stdout] 
[INFO] [stdout] running 22 tests
[INFO] [stdout] test template::tests::descriptor_reports_shape ... ok
[INFO] [stdout] test template::tests::at_or_above_canonicalizes_regardless_of_literal_side ... ok
[INFO] [stdout] test template::tests::predicate_declaration_order_is_irrelevant ... ok
[INFO] [stdout] test template::tests::clause_order_is_irrelevant ... ok
[INFO] [stdout] test template::tests::different_shape_does_not_collide ... ok
[INFO] [stdout] test tests::corpus_pacts_of_one_template_collide ... ok
[INFO] [stdout] test template::tests::different_guard_direction_does_not_collide ... ok
[INFO] [stdout] test tests::refuses_a_cert_for_a_different_pact ... ok
[INFO] [stdout] test template::tests::same_template_different_names_thresholds_awards_collide ... ok
[INFO] [stdout] test tests::template_key_is_award_independent ... ok
[INFO] [stdout] test template::tests::key_is_deterministic_across_json_roundtrip ... ok
[INFO] [stdout] test tests::refuses_a_non_certified_pact ... ok
[INFO] [stdout] test tests::refuses_a_pact_whose_crux_is_not_free ... ok
[INFO] [stdout] test tests::admits_a_certified_crux_free_pact ... ok
[INFO] [stdout] test tests::agreement_is_settled_not_a_controversy ... ok
[INFO] [stdout] test tests::matching_template_finds_every_same_template_pact ... ok
[INFO] [stdout] test tests::the_same_knot_resolved_both_ways_is_a_certified_live_controversy ... ok
[INFO] [stdout] test tests::a_tampered_tally_does_not_match_recomputation ... ok
[INFO] [stdout] test tests::report_headline_states_the_template_trick_and_corpus_size ... ok
[INFO] [stdout] test tests::confidence_note_scales_with_support_and_shouts_tiny ... ok
[INFO] [stdout] test tests::a_tampered_cited_record_fails_reverification ... ok
[INFO] [stdout] test tests::skeptic_reverifies_the_whole_corpus_from_triples ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 22 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.30s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/pact_commons.rs (/opt/rustwide/target/debug/deps/pact_commons-6f27c0f205c7009c)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/corpus_reverify.rs (/opt/rustwide/target/debug/deps/corpus_reverify-08557a97a81e3ea6)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test uncertified_pacts_are_refused_by_the_gate ... ok
[INFO] [stdout] test a_real_certified_live_controversy_is_present_and_signed ... ok
[INFO] [stdout] test the_certified_corpus_collides_onto_one_template ... ok
[INFO] [stdout] test tampering_a_real_cited_record_fails_reverification ... ok
[INFO] [stdout] test the_real_corpus_reverifies_without_trust ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.25s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/mediator_prover-ff4c4d581739376d)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test tests::classify_phrases ... ok
[INFO] [stdout] test tests::theory_name_parsing ... ok
[INFO] [stdout] test tests::sequential_matches ... FAILED
[INFO] [stdout] test tests::proved_unknown_and_error ... FAILED
[INFO] [stdout] test tests::keystone_ledger_balances ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- tests::sequential_matches stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'tests::sequential_matches' (4330) panicked at crates/mediator-prover/src/lib.rs:402:9:
[INFO] [stdout] assertion `left == right` failed
[INFO] [stdout]   left: Some(Error("failed to spawn `isabelle`: No such file or directory (os error 2)"))
[INFO] [stdout]  right: Some(Proved)
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x638dad2ad5d8 - 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:     0x638dad2ad5d8 - 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:     0x638dad2ad5d8 - std[10d71ac2c42b111e]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x638dad2ad5d8 - <<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:     0x638dad2c1b2a - <core[8fb95b77d25ab6c8]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x638dad2c1b2a - core[8fb95b77d25ab6c8]::fmt::write
[INFO] [stdout]    6:     0x638dad2b1ef2 - 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:     0x638dad2b1ef2 - <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:     0x638dad28ab36 - <std[10d71ac2c42b111e]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x638dad28ab36 - std[10d71ac2c42b111e]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x638dad2a5129 - std[10d71ac2c42b111e]::panicking::default_hook
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x638dad238b8c - <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:     0x638dad238b8c - 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:     0x638dad2a53a2 - <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:     0x638dad2a53a2 - std[10d71ac2c42b111e]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x638dad28abf2 - std[10d71ac2c42b111e]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:698:13
[INFO] [stdout]   16:     0x638dad27fd19 - 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:     0x638dad28b90d - __rustc[3be9ba60078d4c86]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x638dad2c22bc - core[8fb95b77d25ab6c8]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x638dad2c2173 - core[8fb95b77d25ab6c8]::panicking::assert_failed_inner
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/panicking.rs:439:17
[INFO] [stdout]   20:     0x638dad21bbc0 - core[8fb95b77d25ab6c8]::panicking::assert_failed::<core[8fb95b77d25ab6c8]::option::Option<&mediator_types[b52541db4047ff07]::Verdict>, core[8fb95b77d25ab6c8]::option::Option<&mediator_types[b52541db4047ff07]::Verdict>>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/panicking.rs:394:5
[INFO] [stdout]   21:     0x638dad2285fd - mediator_prover[e5a5e5e36ff21b3b]::tests::sequential_matches
[INFO] [stdout]                                at /opt/rustwide/workdir/crates/mediator-prover/src/lib.rs:402:9
[INFO] [stdout]   22:     0x638dad226d97 - mediator_prover[e5a5e5e36ff21b3b]::tests::sequential_matches::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/crates/mediator-prover/src/lib.rs:394:28
[INFO] [stdout]   23:     0x638dad21ade6 - <mediator_prover[e5a5e5e36ff21b3b]::tests::sequential_matches::{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:     0x638dad22bc6b - <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:     0x638dad22bc6b - 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:     0x638dad2394e5 - test[213991da798b1c03]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/test/src/lib.rs:747:74
[INFO] [stdout]   27:     0x638dad2394e5 - <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:     0x638dad2394e5 - 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:     0x638dad2394e5 - 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:     0x638dad2394e5 - 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:     0x638dad2394e5 - test[213991da798b1c03]::run_test_in_process
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/test/src/lib.rs:747:27
[INFO] [stdout]   32:     0x638dad2394e5 - test[213991da798b1c03]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/test/src/lib.rs:668:43
[INFO] [stdout]   33:     0x638dad232df4 - test[213991da798b1c03]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/test/src/lib.rs:698:41
[INFO] [stdout]   34:     0x638dad232df4 - 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:     0x638dad23c562 - 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:     0x638dad23c562 - <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:     0x638dad23c562 - 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:     0x638dad23c562 - 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:     0x638dad23c562 - 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:     0x638dad23c562 - 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:     0x638dad23c562 - <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:     0x638dad2acd5f - <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:     0x638dad2acd5f - <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:     0x79a4d62fbaa4 - <unknown>
[INFO] [stdout]   45:     0x79a4d6388a64 - clone
[INFO] [stdout]   46:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- tests::proved_unknown_and_error stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'tests::proved_unknown_and_error' (4329) panicked at crates/mediator-prover/src/lib.rs:361:9:
[INFO] [stdout] assertion `left == right` failed
[INFO] [stdout]   left: Some(Error("failed to spawn `isabelle`: No such file or directory (os error 2)"))
[INFO] [stdout]  right: Some(Proved)
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x638dad2ad5d8 - 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:     0x638dad2ad5d8 - 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:     0x638dad2ad5d8 - std[10d71ac2c42b111e]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x638dad2ad5d8 - <<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:     0x638dad2c1b2a - <core[8fb95b77d25ab6c8]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x638dad2c1b2a - core[8fb95b77d25ab6c8]::fmt::write
[INFO] [stdout]    6:     0x638dad2b1ef2 - 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:     0x638dad2b1ef2 - <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:     0x638dad28ab36 - <std[10d71ac2c42b111e]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x638dad28ab36 - std[10d71ac2c42b111e]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x638dad2a5129 - std[10d71ac2c42b111e]::panicking::default_hook
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x638dad238b8c - <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:     0x638dad238b8c - 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:     0x638dad2a53a2 - <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:     0x638dad2a53a2 - std[10d71ac2c42b111e]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x638dad28abf2 - std[10d71ac2c42b111e]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:698:13
[INFO] [stdout]   16:     0x638dad27fd19 - 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:     0x638dad28b90d - __rustc[3be9ba60078d4c86]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x638dad2c22bc - core[8fb95b77d25ab6c8]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x638dad2c2173 - core[8fb95b77d25ab6c8]::panicking::assert_failed_inner
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/panicking.rs:439:17
[INFO] [stdout]   20:     0x638dad21bbc0 - core[8fb95b77d25ab6c8]::panicking::assert_failed::<core[8fb95b77d25ab6c8]::option::Option<&mediator_types[b52541db4047ff07]::Verdict>, core[8fb95b77d25ab6c8]::option::Option<&mediator_types[b52541db4047ff07]::Verdict>>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/panicking.rs:394:5
[INFO] [stdout]   21:     0x638dad229420 - mediator_prover[e5a5e5e36ff21b3b]::tests::proved_unknown_and_error
[INFO] [stdout]                                at /opt/rustwide/workdir/crates/mediator-prover/src/lib.rs:361:9
[INFO] [stdout]   22:     0x638dad226e27 - mediator_prover[e5a5e5e36ff21b3b]::tests::proved_unknown_and_error::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/crates/mediator-prover/src/lib.rs:338:34
[INFO] [stdout]   23:     0x638dad21aea6 - <mediator_prover[e5a5e5e36ff21b3b]::tests::proved_unknown_and_error::{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:     0x638dad22bc6b - <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:     0x638dad22bc6b - 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:     0x638dad2394e5 - test[213991da798b1c03]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/test/src/lib.rs:747:74
[INFO] [stdout]   27:     0x638dad2394e5 - <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:     0x638dad2394e5 - 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:     0x638dad2394e5 - 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:     0x638dad2394e5 - 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:     0x638dad2394e5 - test[213991da798b1c03]::run_test_in_process
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/test/src/lib.rs:747:27
[INFO] [stdout]   32:     0x638dad2394e5 - test[213991da798b1c03]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/test/src/lib.rs:668:43
[INFO] [stdout]   33:     0x638dad232df4 - test[213991da798b1c03]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/test/src/lib.rs:698:41
[INFO] [stdout]   34:     0x638dad232df4 - 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:     0x638dad23c562 - 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:     0x638dad23c562 - <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:     0x638dad23c562 - 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:     0x638dad23c562 - 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:     0x638dad23c562 - 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:     0x638dad23c562 - 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:     0x638dad23c562 - <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:     0x638dad2acd5f - <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:     0x638dad2acd5f - <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:     0x79a4d62fbaa4 - <unknown>
[INFO] [stdout]   45:     0x79a4d6388a64 - clone
[INFO] [stdout]   46:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- tests::keystone_ledger_balances stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'tests::keystone_ledger_balances' (4328) panicked at crates/mediator-prover/src/lib.rs:388:9:
[INFO] [stdout] assertion `left == right` failed
[INFO] [stdout]   left: Some(Error("failed to spawn `isabelle`: No such file or directory (os error 2)"))
[INFO] [stdout]  right: Some(Proved)
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x638dad2ad5d8 - 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:     0x638dad2ad5d8 - 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:     0x638dad2ad5d8 - std[10d71ac2c42b111e]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x638dad2ad5d8 - <<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:     0x638dad2c1b2a - <core[8fb95b77d25ab6c8]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x638dad2c1b2a - core[8fb95b77d25ab6c8]::fmt::write
[INFO] [stdout]    6:     0x638dad2b1ef2 - 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:     0x638dad2b1ef2 - <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:     0x638dad28ab36 - <std[10d71ac2c42b111e]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x638dad28ab36 - std[10d71ac2c42b111e]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x638dad2a5129 - std[10d71ac2c42b111e]::panicking::default_hook
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x638dad238b8c - <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:     0x638dad238b8c - 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:     0x638dad2a53a2 - <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:     0x638dad2a53a2 - std[10d71ac2c42b111e]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x638dad28abf2 - std[10d71ac2c42b111e]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:698:13
[INFO] [stdout]   16:     0x638dad27fd19 - 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:     0x638dad28b90d - __rustc[3be9ba60078d4c86]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x638dad2c22bc - core[8fb95b77d25ab6c8]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x638dad2c2173 - core[8fb95b77d25ab6c8]::panicking::assert_failed_inner
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/panicking.rs:439:17
[INFO] [stdout]   20:     0x638dad21bbc0 - core[8fb95b77d25ab6c8]::panicking::assert_failed::<core[8fb95b77d25ab6c8]::option::Option<&mediator_types[b52541db4047ff07]::Verdict>, core[8fb95b77d25ab6c8]::option::Option<&mediator_types[b52541db4047ff07]::Verdict>>
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/core/src/panicking.rs:394:5
[INFO] [stdout]   21:     0x638dad228d03 - mediator_prover[e5a5e5e36ff21b3b]::tests::keystone_ledger_balances
[INFO] [stdout]                                at /opt/rustwide/workdir/crates/mediator-prover/src/lib.rs:388:9
[INFO] [stdout]   22:     0x638dad226df7 - mediator_prover[e5a5e5e36ff21b3b]::tests::keystone_ledger_balances::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/crates/mediator-prover/src/lib.rs:373:34
[INFO] [stdout]   23:     0x638dad21ae66 - <mediator_prover[e5a5e5e36ff21b3b]::tests::keystone_ledger_balances::{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:     0x638dad22bc6b - <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:     0x638dad22bc6b - 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:     0x638dad2394e5 - test[213991da798b1c03]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/test/src/lib.rs:747:74
[INFO] [stdout]   27:     0x638dad2394e5 - <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] [stderr] error: test failed, to rerun pass `-p mediator-prover --lib`
[INFO] [stdout]   28:     0x638dad2394e5 - 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:     0x638dad2394e5 - 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:     0x638dad2394e5 - 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:     0x638dad2394e5 - test[213991da798b1c03]::run_test_in_process
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/test/src/lib.rs:747:27
[INFO] [stdout]   32:     0x638dad2394e5 - test[213991da798b1c03]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/test/src/lib.rs:668:43
[INFO] [stdout]   33:     0x638dad232df4 - test[213991da798b1c03]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/b2282dd5646a57d570fc86fbe8df0e8826665ef6/library/test/src/lib.rs:698:41
[INFO] [stdout]   34:     0x638dad232df4 - 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:     0x638dad23c562 - 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:     0x638dad23c562 - <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:     0x638dad23c562 - 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:     0x638dad23c562 - 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:     0x638dad23c562 - 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:     0x638dad23c562 - 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:     0x638dad23c562 - <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:     0x638dad2acd5f - <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:     0x638dad2acd5f - <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:     0x79a4d62fbaa4 - <unknown>
[INFO] [stdout]   45:     0x79a4d6388a64 - clone
[INFO] [stdout]   46:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     tests::keystone_ledger_balances
[INFO] [stdout]     tests::proved_unknown_and_error
[INFO] [stdout]     tests::sequential_matches
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 2 passed; 3 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.05s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "4565c533fa3e4374c8887e2973bc813aa6c15cd2bf93bc6864deed6e0c08009f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "4565c533fa3e4374c8887e2973bc813aa6c15cd2bf93bc6864deed6e0c08009f", kill_on_drop: false }`
[INFO] [stdout] 4565c533fa3e4374c8887e2973bc813aa6c15cd2bf93bc6864deed6e0c08009f
