[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.98.0-beta.1 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-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc2/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-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/emberian/mediateor on toolchain 1.98.0-beta.1
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.98.0-beta.1" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/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.98.0-beta.1" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:3d5ced03c013a94a2f102a4510f48a6e9184255caf5fd8244f58017bde7f5210" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] cf205545550bcba1ded8408a7fe098cb7ca5a334ad57471e782fc0ea3b2d080b
[INFO] running `Command { std: "docker" "start" "cf205545550bcba1ded8408a7fe098cb7ca5a334ad57471e782fc0ea3b2d080b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "cf205545550bcba1ded8408a7fe098cb7ca5a334ad57471e782fc0ea3b2d080b", 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" "cf205545550bcba1ded8408a7fe098cb7ca5a334ad57471e782fc0ea3b2d080b" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.1" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "cf205545550bcba1ded8408a7fe098cb7ca5a334ad57471e782fc0ea3b2d080b", 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" "cf205545550bcba1ded8408a7fe098cb7ca5a334ad57471e782fc0ea3b2d080b" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.1" "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 futures-task v0.3.32
[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 ryu v1.0.23
[INFO] [stderr]    Compiling http v0.2.12
[INFO] [stderr]    Compiling cc v1.2.63
[INFO] [stderr]    Compiling vsimd v0.8.0
[INFO] [stderr]    Compiling time-core v0.1.8
[INFO] [stderr]    Compiling outref v0.5.2
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]    Compiling deranged v0.5.8
[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 rustversion v1.0.22
[INFO] [stderr]    Compiling mio v1.2.1
[INFO] [stderr]    Compiling serde_json v1.0.150
[INFO] [stderr]    Compiling rustls-pki-types v1.14.1
[INFO] [stderr]    Compiling futures-channel v0.3.32
[INFO] [stderr]    Compiling base64-simd v0.8.0
[INFO] [stderr]    Compiling rustc_version v0.4.1
[INFO] [stderr]    Compiling indexmap v2.14.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 const-oid v0.10.2
[INFO] [stderr]    Compiling ctutils v0.4.2
[INFO] [stderr]    Compiling http-body v1.0.1
[INFO] [stderr]    Compiling generic-array v0.14.7
[INFO] [stderr]    Compiling hybrid-array v0.4.12
[INFO] [stderr]    Compiling writeable v0.6.3
[INFO] [stderr]    Compiling litemap v0.8.2
[INFO] [stderr]    Compiling http-body-util v0.1.3
[INFO] [stderr]    Compiling http-body v0.4.6
[INFO] [stderr]    Compiling rustls-native-certs v0.8.4
[INFO] [stderr]    Compiling aws-types v1.3.16
[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 block-buffer v0.10.4
[INFO] [stderr]    Compiling num-integer v0.1.46
[INFO] [stderr]    Compiling crypto-common v0.1.7
[INFO] [stderr]    Compiling arc-swap v1.9.1
[INFO] [stderr]    Compiling digest v0.10.7
[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 crypto-common v0.2.2
[INFO] [stderr]    Compiling block-buffer v0.12.0
[INFO] [stderr]    Compiling sha2 v0.10.9
[INFO] [stderr]    Compiling rustls v0.23.40
[INFO] [stderr]    Compiling xmlparser v0.13.6
[INFO] [stderr]    Compiling simd-adler32 v0.3.9
[INFO] [stderr]    Compiling urlencoding v2.1.3
[INFO] [stderr]    Compiling curve25519-dalek v4.1.3
[INFO] [stderr]    Compiling time v0.3.47
[INFO] [stderr]    Compiling webpki-roots v1.0.7
[INFO] [stderr]    Compiling webpki-roots v0.26.11
[INFO] [stderr]    Compiling sha1 v0.10.6
[INFO] [stderr]    Compiling aws-smithy-xml v0.60.15
[INFO] [stderr]    Compiling signature v2.2.0
[INFO] [stderr]    Compiling bitflags v2.13.0
[INFO] [stderr]    Compiling proc-macro-error-attr v1.0.4
[INFO] [stderr]    Compiling ring v0.17.14
[INFO] [stderr]    Compiling miniz_oxide v0.8.9
[INFO] [stderr]    Compiling ed25519 v2.2.3
[INFO] [stderr]    Compiling proc-macro-error v1.0.4
[INFO] [stderr]    Compiling unicase v2.9.0
[INFO] [stderr]    Compiling rustix v0.38.44
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling signal-hook v0.3.18
[INFO] [stderr]    Compiling digest v0.11.3
[INFO] [stderr]    Compiling mime_guess v2.0.5
[INFO] [stderr]    Compiling instability v0.3.12
[INFO] [stderr]    Compiling flate2 v1.1.9
[INFO] [stderr]    Compiling hashbrown v0.15.5
[INFO] [stderr]    Compiling sha2 v0.11.0
[INFO] [stderr]    Compiling hmac v0.13.0
[INFO] [stderr]    Compiling parking_lot v0.12.5
[INFO] [stderr]    Compiling signal-hook-mio v0.2.5
[INFO] [stderr]    Compiling castaway v0.2.4
[INFO] [stderr]    Compiling itertools v0.13.0
[INFO] [stderr]    Compiling unicode-segmentation v1.13.3
[INFO] [stderr]    Compiling indoc v2.0.7
[INFO] [stderr]    Compiling compact_str v0.8.2
[INFO] [stderr]    Compiling serde_path_to_error v0.1.20
[INFO] [stderr]    Compiling cassowary v0.3.0
[INFO] [stderr]    Compiling http-range-header v0.4.2
[INFO] [stderr]    Compiling lru v0.12.5
[INFO] [stderr]    Compiling crossterm v0.28.1
[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 tokio-macros v2.7.0
[INFO] [stderr]    Compiling tracing-attributes v0.1.31
[INFO] [stderr]    Compiling aws-smithy-runtime-api-macros v1.0.0
[INFO] [stderr]    Compiling serde_derive v1.0.228
[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 strum v0.26.3
[INFO] [stderr]    Compiling yoke v0.8.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 axum-core v0.4.5
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling rand v0.8.6
[INFO] [stderr]    Compiling ed25519-dalek v2.2.0
[INFO] [stderr]    Compiling tinystr v0.8.3
[INFO] [stderr]    Compiling potential_utf v0.1.5
[INFO] [stderr]    Compiling icu_locale_core v2.2.0
[INFO] [stderr]    Compiling icu_collections v2.2.0
[INFO] [stderr]    Compiling sct v0.7.1
[INFO] [stderr]    Compiling rustls-webpki v0.101.7
[INFO] [stderr]    Compiling rustls-webpki v0.103.13
[INFO] [stderr]    Compiling darling_macro v0.23.0
[INFO] [stderr]    Compiling darling v0.23.0
[INFO] [stderr]    Compiling icu_provider v2.2.0
[INFO] [stderr]    Compiling serde v1.0.228
[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 icu_normalizer v2.2.0
[INFO] [stderr]    Compiling icu_properties v2.2.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 maud v0.26.0
[INFO] [stderr]    Compiling mediator-pact v0.1.0 (/opt/rustwide/workdir/crates/mediator-pact)
[INFO] [stderr]    Compiling idna_adapter v1.2.2
[INFO] [stderr]    Compiling mediator-core v0.1.0 (/opt/rustwide/workdir/crates/mediator-core)
[INFO] [stderr]    Compiling mediator-pact-commons v0.1.0 (/opt/rustwide/workdir/crates/mediator-pact-commons)
[INFO] [stderr]    Compiling idna v1.1.0
[INFO] [stderr]    Compiling tokio-util v0.7.18
[INFO] [stderr]    Compiling aws-smithy-async v1.2.14
[INFO] [stderr]    Compiling hyper v1.10.1
[INFO] [stderr]    Compiling tower v0.5.3
[INFO] [stderr]    Compiling url v2.5.8
[INFO] [stderr]    Compiling mediator-tui v0.1.0 (/opt/rustwide/workdir/crates/mediator-tui)
[INFO] [stderr]    Compiling aws-smithy-types v1.4.9
[INFO] [stderr]    Compiling h2 v0.3.27
[INFO] [stderr]    Compiling tokio-rustls v0.24.1
[INFO] [stderr]    Compiling h2 v0.4.14
[INFO] [stderr]    Compiling tower-http v0.5.2
[INFO] [stderr]    Compiling hyper-util v0.1.20
[INFO] [stderr]    Compiling axum v0.7.9
[INFO] [stderr]    Compiling mediator-demo v0.1.0 (/opt/rustwide/workdir/crates/mediator-demo)
[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-credential-types v1.2.14
[INFO] [stderr]    Compiling aws-smithy-http v0.63.6
[INFO] [stderr]    Compiling aws-smithy-observability v0.2.6
[INFO] [stderr]    Compiling aws-smithy-json v0.62.7
[INFO] [stderr]    Compiling aws-sigv4 v1.4.5
[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-ssooidc v1.103.0
[INFO] [stderr]    Compiling aws-sdk-sts v1.106.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 06s
[INFO] running `Command { std: "docker" "inspect" "cf205545550bcba1ded8408a7fe098cb7ca5a334ad57471e782fc0ea3b2d080b", 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" "cf205545550bcba1ded8408a7fe098cb7ca5a334ad57471e782fc0ea3b2d080b" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.1" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling mediator-llm v0.1.0 (/opt/rustwide/workdir/crates/mediator-llm)
[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-pact v0.1.0 (/opt/rustwide/workdir/crates/mediator-pact)
[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 12.48s
[INFO] running `Command { std: "docker" "inspect" "cf205545550bcba1ded8408a7fe098cb7ca5a334ad57471e782fc0ea3b2d080b", 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" "cf205545550bcba1ded8408a7fe098cb7ca5a334ad57471e782fc0ea3b2d080b" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.1" "test" "--frozen", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.75s
[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::verdict_is_included_in_hash ... ok
[INFO] [stdout] test tests::canonical_json_is_key_sorted ... ok
[INFO] [stdout] test tests::tamper_middle_entry_detected_at_correct_seq ... ok
[INFO] [stdout] test tests::summary_contains_entry_count_and_kinds ... ok
[INFO] [stdout] test tests::seq_numbers_are_contiguous ... ok
[INFO] [stdout] test tests::identical_inputs_produce_identical_hashes ... 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::receipts_only_verifies ... ok
[INFO] [stdout] test tests::json_round_trip ... ok
[INFO] [stdout] test tests::tamper_stored_hash_causes_chain_break ... ok
[INFO] [stdout] test tests::summary_empty_record ... ok
[INFO] [stdout] test tests::wrong_public_key_detected ... ok
[INFO] [stdout] test tests::empty_record_verifies ... ok
[INFO] [stdout] test tests::corrupted_signature_detected ... ok
[INFO] [stdout] test tests::round_trip_verifies ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 16 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.07s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/mediator_core-c7db0578be70b808)
[INFO] [stdout] 
[INFO] [stdout] running 22 tests
[INFO] [stdout] test receipts::tests::hash_is_deterministic ... ok
[INFO] [stdout] test receipts::tests::chain_links_and_verifies ... ok
[INFO] [stdout] test render::tests::money_formats_cents ... ok
[INFO] [stdout] test receipts::tests::genesis_links_to_zeros ... ok
[INFO] [stdout] test codegen::tests::obligations_compute_right_amounts ... ok
[INFO] [stdout] test codegen::tests::preamble_has_axioms_and_ledger ... ok
[INFO] [stdout] test render::tests::renders_deontic_provisional ... ok
[INFO] [stdout] test render::tests::english_render_is_deterministic_and_kind ... 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::analyze_assembles_expected_analysis ... ok
[INFO] [stdout] test tests::unknown_ledger_is_not_overclaimed ... ok
[INFO] [stdout] test tests::decided_crux_is_not_reported_as_open ... ok
[INFO] [stdout] test tests::one_settled_crux_does_not_hide_the_other_open_one ... ok
[INFO] [stdout] test tests::codegen_emits_obligations_for_every_crux ... ok
[INFO] [stdout] test tests::same_predicate_clash_stays_genuine_not_dissolved ... ok
[INFO] [stdout] test tests::two_cruxes_both_certified_and_handed_back ... ok
[INFO] [stdout] test tests::synonym_clash_is_dissolved_not_a_genuine_conflict ... ok
[INFO] [stdout] test tests::legacy_caches_and_scenarios_still_parse ... ok
[INFO] [stdout] test receipts::tests::tampering_breaks_the_chain ... ok
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isabelle_integration.rs (/opt/rustwide/target/debug/deps/isabelle_integration-d00b5db723485edf)
[INFO] [stdout] test result: ok. 22 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.04s
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/mediator-ce415db3bfadc366)
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/mediator_fairdiv-0d5ab423f22678f9)
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test roommate_reduction_checks_against_real_isabelle ... ok
[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.01s
[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] [stdout] 
[INFO] [stdout] running 13 tests
[INFO] [stdout] test tests::fair_divider_trait_all_settlements ... ok
[INFO] [stdout] test tests::mixed_maxmin_maximises_minimum ... ok
[INFO] [stdout] test tests::roommate_all_settlements_returns_three ... ok
[INFO] [stdout] test tests::mixed_aw_equitable_with_indivisible_items ... ok
[INFO] [stdout] test tests::roommate_aw_proportional ... ok
[INFO] [stdout] test tests::three_item_tie_break_and_split ... ok
[INFO] [stdout] test tests::roommate_proportionality_checked_for_all_options ... ok
[INFO] [stdout] test tests::roommate_aw_envy_free_and_equitable ... ok
[INFO] [stdout] test tests::symmetric_two_items_no_split_needed ... ok
[INFO] [stdout] test tests::mixed_proportionality ... ok
[INFO] [stdout] test tests::roommate_determinism ... ok
[INFO] [stdout] test tests::roommate_maxmin_maximises_minimum ... ok
[INFO] [stdout] test tests::mixed_determinism ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 13 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.11s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 61 tests
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/mediator_llm-a6d6496134a01fc9)
[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::env_selects_open_council_for_default ... ok
[INFO] [stdout] test live::tests::extract_parses_bare_json ... ok
[INFO] [stdout] test live::tests::extract_parses_json_buried_in_prose ... ok
[INFO] [stdout] test live::tests::extract_parses_fenced_json_block ... ok
[INFO] [stdout] test live::tests::extract_ignores_braces_inside_strings ... ok
[INFO] [stdout] test live::tests::flagship_is_open_qwen3_vl ... 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::open_panel_is_three_open_models_voiced_by_qwen ... ok
[INFO] [stdout] test live::tests::normalize_is_order_insensitive_for_and ... ok
[INFO] [stdout] test live::tests::open_panel_spans_three_uncorrelated_open_providers ... ok
[INFO] [stdout] test live::tests::prompts_mention_claim_and_symbols ... ok
[INFO] [stdout] test live::tests::reading_marks_invalid_for_undeclared ... ok
[INFO] [stdout] test live::tests::truthy_env_values_recognized ... ok
[INFO] [stdout] test live::tests::tally_unanimous_across_providers_is_noted ... ok
[INFO] [stdout] test live::tests::validate_accepts_declared_symbols ... ok
[INFO] [stdout] test live::tests::provider_inference_from_bedrock_ids ... ok
[INFO] [stdout] test live::tests::extract_rejects_nonjson ... ok
[INFO] [stdout] test live::tests::tally_disagreement_yields_no_agreed ... ok
[INFO] [stdout] test live::tests::tally_invalid_voters_excluded ... ok
[INFO] [stdout] test live::tests::validate_flags_undeclared_symbol ... ok
[INFO] [stdout] test live::tests::tally_majority_over_three ... ok
[INFO] [stdout] test live::tests::validate_intlit_and_var_carry_no_obligation ... ok
[INFO] [stdout] test live::tests::validate_flags_arity_mismatch ... ok
[INFO] [stdout] test neutrality::tests::prompt_empty_facts ... ok
[INFO] [stdout] test live::tests::tally_unanimous ... ok
[INFO] [stdout] test neutrality::tests::prompt_contains_crux_and_facts ... ok
[INFO] [stdout] test live::tests::tally_provider_breadth_breaks_tie ... 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 live::tests::tally_all_invalid ... ok
[INFO] [stdout] test neutrality::tests::verdict_parse_rejects_nonjson ... ok
[INFO] [stdout] test neutrality::tests::verdict_parse_non_neutral ... ok
[INFO] [stdout] test neutrality::tests::verdict_parse_buried_in_prose ... ok
[INFO] [stdout] test tests::council_formalize_nl_basic ... ok
[INFO] [stdout] test neutrality::tests::verdict_roundtrip_serde ... ok
[INFO] [stdout] test neutrality::tests::verdict_parse_fenced_block ... ok
[INFO] [stdout] test tests::council_all_fail_returns_err ... ok
[INFO] [stdout] test tests::formalize_nl_basic ... ok
[INFO] [stdout] test neutrality::tests::verdict_parse_neutral_clean ... ok
[INFO] [stdout] test tests::render_and_or_empty ... ok
[INFO] [stdout] test tests::council_formalize_nl_with_dissent ... ok
[INFO] [stdout] test tests::render_atom ... ok
[INFO] [stdout] test tests::render_implies ... ok
[INFO] [stdout] test tests::render_not_atom ... ok
[INFO] [stdout] test tests::council_majority_wins ... ok
[INFO] [stdout] test tests::render_le_lt ... ok
[INFO] [stdout] test tests::council_two_scripted_agree ... ok
[INFO] [stdout] test tests::render_obligation_and_permission ... ok
[INFO] [stdout] test tests::scripted_r1_robin_wear_tear ... ok
[INFO] [stdout] test tests::scripted_s1_sam_damage ... 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 tests::render_eq_cents ... ok
[INFO] [stdout] test tests::render_forall_exists ... ok
[INFO] [stdout] test tests::scripted_s2_sam_five_hundred ... ok
[INFO] [stderr]      Running unittests src/bin/formalize.rs (/opt/rustwide/target/debug/deps/formalize-c7547a4302e597a7)
[INFO] [stdout] test live::tests::normalize_distinguishes_different_formulas ... ok
[INFO] [stdout] test tests::render_iff ... ok
[INFO] [stdout] test tests::scripted_unknown_returns_err ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 61 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.05s
[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/bin/live_formalize.rs (/opt/rustwide/target/debug/deps/live_formalize-371657f599565c1b)
[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_ontology-ce9f2cccb6b4b0db)
[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_dissolves_synonym_clash_into_one_fact ... ok
[INFO] [stdout] test tests::classify_same_predicate_is_genuine ... ok
[INFO] [stdout] test tests::amalgamation_witnesses_distinct_int_literals ... ok
[INFO] [stdout] test tests::amalgamation_witnesses_p_and_not_p_after_alignment ... ok
[INFO] [stdout] test tests::classify_distinct_concepts_is_genuine ... ok
[INFO] [stdout] test tests::gloss_similarity_is_symmetric_and_bounded ... ok
[INFO] [stdout] test tests::classify_unknown_predicate_is_indeterminate ... ok
[INFO] [stdout] test tests::incompatible_types_block_alias_even_with_same_name ... ok
[INFO] [stdout] test tests::disjoint_vocab_note_is_emitted ... ok
[INFO] [stdout] test tests::identical_symbols_are_shared ... ok
[INFO] [stdout] test tests::oracle_can_veto_a_candidate ... ok
[INFO] [stdout] test tests::amalgamation_report_serde_roundtrips ... ok
[INFO] [stdout] test tests::rename_formula_applies_sentence_translation ... ok
[INFO] [stdout] test tests::canonical_synonyms_are_flagged ... ok
[INFO] [stdout] test tests::classify_synonyms_is_vocabulary_mismatch ... ok
[INFO] [stdout] test tests::serde_roundtrips_the_analysis ... ok
[INFO] [stdout] test tests::unrelated_glosses_are_neither ... ok
[INFO] [stdout] test tests::verdict_distinct_concepts_is_genuine_high_confidence ... ok
[INFO] [stdout] test tests::type_compatibility_respects_uninterp_sorts ... ok
[INFO] [stdout] test tests::verdict_same_predicate_is_genuine_structural ... ok
[INFO] [stdout] test tests::verdict_oracle_veto_turns_vocabulary_into_genuine ... ok
[INFO] [stdout] test tests::verdict_synonym_clash_is_vocabulary_with_alignment ... ok
[INFO] [stdout] test tests::verdict_unknown_predicate_is_indeterminate_zero_confidence ... ok
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/mediator_pact-2c581c4d0dc9f57e)
[INFO] [stdout] test tests::pushout_merges_via_connected_components ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 25 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[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 tests::codegen_matches_pact_thy_fragment ... ok
[INFO] [stdout] test codegen::codegen_tests::preamble_has_free_consts_and_defs_no_end ... ok
[INFO] [stdout] test codegen::codegen_tests::full_codegen_is_self_contained ... ok
[INFO] [stdout] test tests::coverage_takes_priority_over_consistency_in_gap ... ok
[INFO] [stdout] test tests::obligations_are_coverage_then_pairs ... ok
[INFO] [stdout] test validate::tests::empty_pact_is_rejected ... ok
[INFO] [stdout] test tests::pact_json_round_trips ... ok
[INFO] [stdout] test tests::consistency_failure_without_findable_witness_falls_back_to_refused ... 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::boundary_overlap_is_found ... 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 validate::tests::no_crux_declared_is_rejected ... ok
[INFO] [stdout] test witness::tests::no_clash_for_exclusive_guards ... ok
[INFO] [stdout] test witness::tests::same_award_is_not_a_clash ... ok
[INFO] [stdout] test validate::tests::constants_only_guard_is_rejected ... ok
[INFO] [stdout] test tests::prover_error_surfaces_honestly_as_gap ... 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::decidable_guard_is_rejected_at_authoring_before_gate ... ok
[INFO] [stdout] test tests::inconsistent_pact_exhibits_concrete_witness ... 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.04s
[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 inconsistent_cache_witness_rechecks_offline ... ok
[INFO] [stdout] test certified_caches_are_green ... 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.45s
[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 inconsistent_pact_witnessed_through_real_isabelle ... ok
[INFO] [stdout] test broken_pact_is_refused_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::at_or_above_canonicalizes_regardless_of_literal_side ... ok
[INFO] [stdout] test template::tests::descriptor_reports_shape ... ok
[INFO] [stdout] test tests::corpus_pacts_of_one_template_collide ... ok
[INFO] [stdout] test template::tests::different_shape_does_not_collide ... ok
[INFO] [stdout] test template::tests::different_guard_direction_does_not_collide ... ok
[INFO] [stdout] test template::tests::same_template_different_names_thresholds_awards_collide ... 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::key_is_deterministic_across_json_roundtrip ... ok
[INFO] [stdout] test tests::template_key_is_award_independent ... ok
[INFO] [stdout] test tests::refuses_a_non_certified_pact ... ok
[INFO] [stdout] test tests::refuses_a_cert_for_a_different_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::the_same_knot_resolved_both_ways_is_a_certified_live_controversy ... ok
[INFO] [stdout] test tests::agreement_is_settled_not_a_controversy ... 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::matching_template_finds_every_same_template_pact ... ok
[INFO] [stdout] test tests::skeptic_reverifies_the_whole_corpus_from_triples ... ok
[INFO] [stdout] test tests::a_tampered_tally_does_not_match_recomputation ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 22 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.19s
[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 the_certified_corpus_collides_onto_one_template ... ok
[INFO] [stdout] test tampering_a_real_cited_record_fails_reverification ... ok
[INFO] [stdout] test a_real_certified_live_controversy_is_present_and_signed ... 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.33s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test tests::classify_phrases ... ok
[INFO] [stdout] test tests::theory_name_parsing ... ok
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/mediator_prover-ff4c4d581739376d)
[INFO] [stdout] test tests::sequential_matches ... FAILED
[INFO] [stdout] test tests::keystone_ledger_balances ... FAILED
[INFO] [stdout] test tests::proved_unknown_and_error ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- tests::sequential_matches stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'tests::sequential_matches' (4328) 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:     0x58184cd4dcd1 - std[73adb7dc35730857]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x58184cd4dcd1 - std[73adb7dc35730857]::backtrace_rs::backtrace::trace_unsynchronized::<std[73adb7dc35730857]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x58184cd4dcd1 - std[73adb7dc35730857]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x58184cd4dcd1 - <<std[73adb7dc35730857]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[6883ba1bc0fe4ed1]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x58184cd6231a - <core[6883ba1bc0fe4ed1]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x58184cd6231a - core[6883ba1bc0fe4ed1]::fmt::write
[INFO] [stdout]    6:     0x58184cd5243c - std[73adb7dc35730857]::io::default_write_fmt::<alloc[55a36b64bcbf2c0d]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/io/mod.rs:626:11
[INFO] [stdout]    7:     0x58184cd5243c - <alloc[55a36b64bcbf2c0d]::vec::Vec<u8> as std[73adb7dc35730857]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/io/mod.rs:1730:13
[INFO] [stdout]    8:     0x58184cd2a766 - <std[73adb7dc35730857]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x58184cd2a766 - std[73adb7dc35730857]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x58184cd45329 - std[73adb7dc35730857]::panicking::default_hook
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x58184ccd86c0 - <alloc[55a36b64bcbf2c0d]::boxed::Box<dyn for<'a, 'b> core[6883ba1bc0fe4ed1]::ops::function::Fn<(&'a std[73adb7dc35730857]::panic::PanicHookInfo<'b>,), Output = ()> + core[6883ba1bc0fe4ed1]::marker::Send + core[6883ba1bc0fe4ed1]::marker::Sync> as core[6883ba1bc0fe4ed1]::ops::function::Fn<(&std[73adb7dc35730857]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/alloc/src/boxed.rs:2333:9
[INFO] [stdout]   12:     0x58184ccd86c0 - test[980ffaebd391d06d]::test_main_inner::<test[980ffaebd391d06d]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:155:21
[INFO] [stdout]   13:     0x58184cd45652 - <alloc[55a36b64bcbf2c0d]::boxed::Box<dyn for<'a, 'b> core[6883ba1bc0fe4ed1]::ops::function::Fn<(&'a std[73adb7dc35730857]::panic::PanicHookInfo<'b>,), Output = ()> + core[6883ba1bc0fe4ed1]::marker::Send + core[6883ba1bc0fe4ed1]::marker::Sync> as core[6883ba1bc0fe4ed1]::ops::function::Fn<(&std[73adb7dc35730857]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/alloc/src/boxed.rs:2333:9
[INFO] [stdout]   14:     0x58184cd45652 - std[73adb7dc35730857]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:823:13
[INFO] [stdout]   15:     0x58184cd2a812 - std[73adb7dc35730857]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:688:13
[INFO] [stdout]   16:     0x58184cd22059 - std[73adb7dc35730857]::sys::backtrace::__rust_end_short_backtrace::<std[73adb7dc35730857]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x58184cd2b40d - __rustc[a7b7b02e776dd976]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:679:5
[INFO] [stdout]   18:     0x58184cd62aec - core[6883ba1bc0fe4ed1]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x58184cd629a3 - core[6883ba1bc0fe4ed1]::panicking::assert_failed_inner
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panicking.rs:439:17
[INFO] [stdout]   20:     0x58184ccb575d - core[6883ba1bc0fe4ed1]::panicking::assert_failed::<core[6883ba1bc0fe4ed1]::option::Option<&mediator_types[931a7e829178ecd9]::Verdict>, core[6883ba1bc0fe4ed1]::option::Option<&mediator_types[931a7e829178ecd9]::Verdict>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panicking.rs:394:5
[INFO] [stdout]   21:     0x58184ccc817d - mediator_prover[3fd2b277b7a819f5]::tests::sequential_matches
[INFO] [stdout]                                at /opt/rustwide/workdir/crates/mediator-prover/src/lib.rs:402:9
[INFO] [stdout]   22:     0x58184ccc4827 - mediator_prover[3fd2b277b7a819f5]::tests::sequential_matches::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/crates/mediator-prover/src/lib.rs:394:28
[INFO] [stdout]   23:     0x58184ccb2cb6 - <mediator_prover[3fd2b277b7a819f5]::tests::sequential_matches::{closure#0} as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x58184cccb9fb - <fn() -> core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x58184cccb9fb - test[980ffaebd391d06d]::__rust_begin_short_backtrace::<core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>, fn() -> core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:724:18
[INFO] [stdout]   26:     0x58184ccd9045 - test[980ffaebd391d06d]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:747:74
[INFO] [stdout]   27:     0x58184ccd9045 - <core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   28:     0x58184ccd9045 - std[73adb7dc35730857]::panicking::catch_unwind::do_call::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}>, core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:576:43
[INFO] [stdout]   29:     0x58184ccd9045 - std[73adb7dc35730857]::panicking::catch_unwind::<core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>, core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:544:19
[INFO] [stdout]   30:     0x58184ccd9045 - std[73adb7dc35730857]::panic::catch_unwind::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}>, core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panic.rs:359:14
[INFO] [stdout]   31:     0x58184ccd9045 - test[980ffaebd391d06d]::run_test_in_process
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:747:27
[INFO] [stdout]   32:     0x58184ccd9045 - test[980ffaebd391d06d]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:668:43
[INFO] [stdout]   33:     0x58184ccd3af4 - test[980ffaebd391d06d]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:698:41
[INFO] [stdout]   34:     0x58184ccd3af4 - std[73adb7dc35730857]::sys::backtrace::__rust_begin_short_backtrace::<test[980ffaebd391d06d]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   35:     0x58184ccdc192 - std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked::<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/thread/lifecycle.rs:70:13
[INFO] [stdout]   36:     0x58184ccdc192 - <core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   37:     0x58184ccdc192 - std[73adb7dc35730857]::panicking::catch_unwind::do_call::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:576:43
[INFO] [stdout]   38:     0x58184ccdc192 - std[73adb7dc35730857]::panicking::catch_unwind::<(), core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:544:19
[INFO] [stdout]   39:     0x58184ccdc192 - std[73adb7dc35730857]::panic::catch_unwind::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panic.rs:359:14
[INFO] [stdout]   40:     0x58184ccdc192 - std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked::<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/thread/lifecycle.rs:68:26
[INFO] [stdout]   41:     0x58184ccdc192 - <std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1} as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   42:     0x58184cd4d34f - <alloc[55a36b64bcbf2c0d]::boxed::Box<dyn core[6883ba1bc0fe4ed1]::ops::function::FnOnce<(), Output = ()> + core[6883ba1bc0fe4ed1]::marker::Send> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/alloc/src/boxed.rs:2319:9
[INFO] [stdout]   43:     0x58184cd4d34f - <std[73adb7dc35730857]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/thread/unix.rs:123:17
[INFO] [stdout]   44:     0x75af2bdb1aa4 - <unknown>
[INFO] [stdout]   45:     0x75af2be3ea64 - clone
[INFO] [stdout]   46:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- tests::keystone_ledger_balances stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'tests::keystone_ledger_balances' (4326) 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:     0x58184cd4dcd1 - std[73adb7dc35730857]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x58184cd4dcd1 - std[73adb7dc35730857]::backtrace_rs::backtrace::trace_unsynchronized::<std[73adb7dc35730857]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x58184cd4dcd1 - std[73adb7dc35730857]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x58184cd4dcd1 - <<std[73adb7dc35730857]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[6883ba1bc0fe4ed1]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x58184cd6231a - <core[6883ba1bc0fe4ed1]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x58184cd6231a - core[6883ba1bc0fe4ed1]::fmt::write
[INFO] [stdout]    6:     0x58184cd5243c - std[73adb7dc35730857]::io::default_write_fmt::<alloc[55a36b64bcbf2c0d]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/io/mod.rs:626:11
[INFO] [stdout]    7:     0x58184cd5243c - <alloc[55a36b64bcbf2c0d]::vec::Vec<u8> as std[73adb7dc35730857]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/io/mod.rs:1730:13
[INFO] [stdout]    8:     0x58184cd2a766 - <std[73adb7dc35730857]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x58184cd2a766 - std[73adb7dc35730857]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x58184cd45329 - std[73adb7dc35730857]::panicking::default_hook
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x58184ccd86c0 - <alloc[55a36b64bcbf2c0d]::boxed::Box<dyn for<'a, 'b> core[6883ba1bc0fe4ed1]::ops::function::Fn<(&'a std[73adb7dc35730857]::panic::PanicHookInfo<'b>,), Output = ()> + core[6883ba1bc0fe4ed1]::marker::Send + core[6883ba1bc0fe4ed1]::marker::Sync> as core[6883ba1bc0fe4ed1]::ops::function::Fn<(&std[73adb7dc35730857]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/alloc/src/boxed.rs:2333:9
[INFO] [stdout]   12:     0x58184ccd86c0 - test[980ffaebd391d06d]::test_main_inner::<test[980ffaebd391d06d]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:155:21
[INFO] [stdout]   13:     0x58184cd45652 - <alloc[55a36b64bcbf2c0d]::boxed::Box<dyn for<'a, 'b> core[6883ba1bc0fe4ed1]::ops::function::Fn<(&'a std[73adb7dc35730857]::panic::PanicHookInfo<'b>,), Output = ()> + core[6883ba1bc0fe4ed1]::marker::Send + core[6883ba1bc0fe4ed1]::marker::Sync> as core[6883ba1bc0fe4ed1]::ops::function::Fn<(&std[73adb7dc35730857]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/alloc/src/boxed.rs:2333:9
[INFO] [stdout]   14:     0x58184cd45652 - std[73adb7dc35730857]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:823:13
[INFO] [stdout]   15:     0x58184cd2a812 - std[73adb7dc35730857]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:688:13
[INFO] [stdout]   16:     0x58184cd22059 - std[73adb7dc35730857]::sys::backtrace::__rust_end_short_backtrace::<std[73adb7dc35730857]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x58184cd2b40d - __rustc[a7b7b02e776dd976]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:679:5
[INFO] [stdout]   18:     0x58184cd62aec - core[6883ba1bc0fe4ed1]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x58184cd629a3 - core[6883ba1bc0fe4ed1]::panicking::assert_failed_inner
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panicking.rs:439:17
[INFO] [stdout]   20:     0x58184ccb575d - core[6883ba1bc0fe4ed1]::panicking::assert_failed::<core[6883ba1bc0fe4ed1]::option::Option<&mediator_types[931a7e829178ecd9]::Verdict>, core[6883ba1bc0fe4ed1]::option::Option<&mediator_types[931a7e829178ecd9]::Verdict>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panicking.rs:394:5
[INFO] [stdout]   21:     0x58184ccc8883 - mediator_prover[3fd2b277b7a819f5]::tests::keystone_ledger_balances
[INFO] [stdout]                                at /opt/rustwide/workdir/crates/mediator-prover/src/lib.rs:388:9
[INFO] [stdout]   22:     0x58184ccc4887 - mediator_prover[3fd2b277b7a819f5]::tests::keystone_ledger_balances::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/crates/mediator-prover/src/lib.rs:373:34
[INFO] [stdout]   23:     0x58184ccb2d36 - <mediator_prover[3fd2b277b7a819f5]::tests::keystone_ledger_balances::{closure#0} as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x58184cccb9fb - <fn() -> core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x58184cccb9fb - test[980ffaebd391d06d]::__rust_begin_short_backtrace::<core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>, fn() -> core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:724:18
[INFO] [stdout]   26:     0x58184ccd9045 - test[980ffaebd391d06d]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:747:74
[INFO] [stdout]   27:     0x58184ccd9045 - <core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   28:     0x58184ccd9045 - std[73adb7dc35730857]::panicking::catch_unwind::do_call::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}>, core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:576:43
[INFO] [stdout]   29:     0x58184ccd9045 - std[73adb7dc35730857]::panicking::catch_unwind::<core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>, core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:544:19
[INFO] [stdout]   30:     0x58184ccd9045 - std[73adb7dc35730857]::panic::catch_unwind::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}>, core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panic.rs:359:14
[INFO] [stdout]   31:     0x58184ccd9045 - test[980ffaebd391d06d]::run_test_in_process
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:747:27
[INFO] [stdout]   32:     0x58184ccd9045 - test[980ffaebd391d06d]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:668:43
[INFO] [stdout]   33:     0x58184ccd3af4 - test[980ffaebd391d06d]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:698:41
[INFO] [stdout]   34:     0x58184ccd3af4 - std[73adb7dc35730857]::sys::backtrace::__rust_begin_short_backtrace::<test[980ffaebd391d06d]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   35:     0x58184ccdc192 - std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked::<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/thread/lifecycle.rs:70:13
[INFO] [stdout]   36:     0x58184ccdc192 - <core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   37:     0x58184ccdc192 - std[73adb7dc35730857]::panicking::catch_unwind::do_call::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:576:43
[INFO] [stdout]   38:     0x58184ccdc192 - std[73adb7dc35730857]::panicking::catch_unwind::<(), core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:544:19
[INFO] [stdout]   39:     0x58184ccdc192 - std[73adb7dc35730857]::panic::catch_unwind::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panic.rs:359:14
[INFO] [stdout]   40:     0x58184ccdc192 - std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked::<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/thread/lifecycle.rs:68:26
[INFO] [stdout]   41:     0x58184ccdc192 - <std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1} as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   42:     0x58184cd4d34f - <alloc[55a36b64bcbf2c0d]::boxed::Box<dyn core[6883ba1bc0fe4ed1]::ops::function::FnOnce<(), Output = ()> + core[6883ba1bc0fe4ed1]::marker::Send> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/alloc/src/boxed.rs:2319:9
[INFO] [stdout]   43:     0x58184cd4d34f - <std[73adb7dc35730857]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/thread/unix.rs:123:17
[INFO] [stdout]   44:     0x75af2bdb1aa4 - <unknown>
[INFO] [stdout]   45:     0x75af2be3ea64 - 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' (4327) 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:     0x58184cd4dcd1 - std[73adb7dc35730857]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x58184cd4dcd1 - std[73adb7dc35730857]::backtrace_rs::backtrace::trace_unsynchronized::<std[73adb7dc35730857]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x58184cd4dcd1 - std[73adb7dc35730857]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x58184cd4dcd1 - <<std[73adb7dc35730857]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[6883ba1bc0fe4ed1]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x58184cd6231a - <core[6883ba1bc0fe4ed1]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x58184cd6231a - core[6883ba1bc0fe4ed1]::fmt::write
[INFO] [stdout]    6:     0x58184cd5243c - std[73adb7dc35730857]::io::default_write_fmt::<alloc[55a36b64bcbf2c0d]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/io/mod.rs:626:11
[INFO] [stdout]    7:     0x58184cd5243c - <alloc[55a36b64bcbf2c0d]::vec::Vec<u8> as std[73adb7dc35730857]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/io/mod.rs:1730:13
[INFO] [stdout]    8:     0x58184cd2a766 - <std[73adb7dc35730857]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x58184cd2a766 - std[73adb7dc35730857]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x58184cd45329 - std[73adb7dc35730857]::panicking::default_hook
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x58184ccd86c0 - <alloc[55a36b64bcbf2c0d]::boxed::Box<dyn for<'a, 'b> core[6883ba1bc0fe4ed1]::ops::function::Fn<(&'a std[73adb7dc35730857]::panic::PanicHookInfo<'b>,), Output = ()> + core[6883ba1bc0fe4ed1]::marker::Send + core[6883ba1bc0fe4ed1]::marker::Sync> as core[6883ba1bc0fe4ed1]::ops::function::Fn<(&std[73adb7dc35730857]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/alloc/src/boxed.rs:2333:9
[INFO] [stdout]   12:     0x58184ccd86c0 - test[980ffaebd391d06d]::test_main_inner::<test[980ffaebd391d06d]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:155:21
[INFO] [stdout]   13:     0x58184cd45652 - <alloc[55a36b64bcbf2c0d]::boxed::Box<dyn for<'a, 'b> core[6883ba1bc0fe4ed1]::ops::function::Fn<(&'a std[73adb7dc35730857]::panic::PanicHookInfo<'b>,), Output = ()> + core[6883ba1bc0fe4ed1]::marker::Send + core[6883ba1bc0fe4ed1]::marker::Sync> as core[6883ba1bc0fe4ed1]::ops::function::Fn<(&std[73adb7dc35730857]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/alloc/src/boxed.rs:2333:9
[INFO] [stdout]   14:     0x58184cd45652 - std[73adb7dc35730857]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:823:13
[INFO] [stdout]   15:     0x58184cd2a812 - std[73adb7dc35730857]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:688:13
[INFO] [stdout]   16:     0x58184cd22059 - std[73adb7dc35730857]::sys::backtrace::__rust_end_short_backtrace::<std[73adb7dc35730857]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x58184cd2b40d - __rustc[a7b7b02e776dd976]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:679:5
[INFO] [stdout]   18:     0x58184cd62aec - core[6883ba1bc0fe4ed1]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x58184cd629a3 - core[6883ba1bc0fe4ed1]::panicking::assert_failed_inner
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panicking.rs:439:17
[INFO] [stdout]   20:     0x58184ccb575d - core[6883ba1bc0fe4ed1]::panicking::assert_failed::<core[6883ba1bc0fe4ed1]::option::Option<&mediator_types[931a7e829178ecd9]::Verdict>, core[6883ba1bc0fe4ed1]::option::Option<&mediator_types[931a7e829178ecd9]::Verdict>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panicking.rs:394:5
[INFO] [stdout]   21:     0x58184ccc8fa0 - mediator_prover[3fd2b277b7a819f5]::tests::proved_unknown_and_error
[INFO] [stdout]                                at /opt/rustwide/workdir/crates/mediator-prover/src/lib.rs:361:9
[INFO] [stdout]   22:     0x58184ccc48b7 - mediator_prover[3fd2b277b7a819f5]::tests::proved_unknown_and_error::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/crates/mediator-prover/src/lib.rs:338:34
[INFO] [stdout]   23:     0x58184ccb2d76 - <mediator_prover[3fd2b277b7a819f5]::tests::proved_unknown_and_error::{closure#0} as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x58184cccb9fb - <fn() -> core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x58184cccb9fb - test[980ffaebd391d06d]::__rust_begin_short_backtrace::<core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>, fn() -> core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:724:18
[INFO] [stdout]   26:     0x58184ccd9045 - test[980ffaebd391d06d]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:747:74
[INFO] [stdout]   27:     0x58184ccd9045 - <core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   28:     0x58184ccd9045 - std[73adb7dc35730857]::panicking::catch_unwind::do_call::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}>, core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:576:43
[INFO] [stdout]   29:     0x58184ccd9045 - std[73adb7dc35730857]::panicking::catch_unwind::<core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>, core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:544:19
[INFO] [stdout]   30:     0x58184ccd9045 - std[73adb7dc35730857]::panic::catch_unwind::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}>, core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panic.rs:359:14
[INFO] [stdout]   31:     0x58184ccd9045 - test[980ffaebd391d06d]::run_test_in_process
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:747:27
[INFO] [stdout]   32:     0x58184ccd9045 - test[980ffaebd391d06d]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:668:43
[INFO] [stdout]   33:     0x58184ccd3af4 - test[980ffaebd391d06d]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:698:41
[INFO] [stdout]   34:     0x58184ccd3af4 - std[73adb7dc35730857]::sys::backtrace::__rust_begin_short_backtrace::<test[980ffaebd391d06d]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   35:     0x58184ccdc192 - std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked::<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/thread/lifecycle.rs:70:13
[INFO] [stdout]   36:     0x58184ccdc192 - <core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   37:     0x58184ccdc192 - std[73adb7dc35730857]::panicking::catch_unwind::do_call::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:576:43
[INFO] [stdout]   38:     0x58184ccdc192 - std[73adb7dc35730857]::panicking::catch_unwind::<(), core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:544:19
[INFO] [stdout]   39:     0x58184ccdc192 - std[73adb7dc35730857]::panic::catch_unwind::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panic.rs:359:14
[INFO] [stdout]   40:     0x58184ccdc192 - std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked::<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/thread/lifecycle.rs:68:26
[INFO] [stdout]   41:     0x58184ccdc192 - <std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1} as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   42:     0x58184cd4d34f - <alloc[55a36b64bcbf2c0d]::boxed::Box<dyn core[6883ba1bc0fe4ed1]::ops::function::FnOnce<(), Output = ()> + core[6883ba1bc0fe4ed1]::marker::Send> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/alloc/src/boxed.rs:2319:9
[INFO] [stdout]   43:     0x58184cd4d34f - <std[73adb7dc35730857]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/thread/unix.rs:123:17
[INFO] [stdout]   44:     0x75af2bdb1aa4 - <unknown>
[INFO] [stdout]   45:     0x75af2be3ea64 - 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.13s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `-p mediator-prover --lib`
[INFO] running `Command { std: "docker" "inspect" "cf205545550bcba1ded8408a7fe098cb7ca5a334ad57471e782fc0ea3b2d080b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "cf205545550bcba1ded8408a7fe098cb7ca5a334ad57471e782fc0ea3b2d080b", kill_on_drop: false }`
[INFO] [stdout] cf205545550bcba1ded8408a7fe098cb7ca5a334ad57471e782fc0ea3b2d080b
