[INFO] fetching crate lemma-cli 0.6.5... [INFO] testing lemma-cli-0.6.5 against master#c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38 for pr-146098-7 [INFO] extracting crate lemma-cli 0.6.5 into /workspace/builds/worker-2-tc1/source [INFO] started tweaking crates.io crate lemma-cli 0.6.5 [INFO] removed 0 missing tests [INFO] finished tweaking crates.io crate lemma-cli 0.6.5 [INFO] tweaked toml for crates.io crate lemma-cli 0.6.5 written to /workspace/builds/worker-2-tc1/source/Cargo.toml [INFO] validating manifest of crates.io crate lemma-cli 0.6.5 on toolchain c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate crates.io crate lemma-cli 0.6.5 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" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded matchers v0.2.0 [INFO] [stderr] Downloaded toml_parser v1.0.4 [INFO] [stderr] Downloaded bitflags v2.9.4 [INFO] [stderr] Downloaded nu-ansi-term v0.50.3 [INFO] [stderr] Downloaded dyn-clone v1.0.20 [INFO] [stderr] Downloaded clap_lex v0.7.6 [INFO] [stderr] Downloaded ariadne v0.4.1 [INFO] [stderr] Downloaded anyhow v1.0.100 [INFO] [stderr] Downloaded cc v1.2.41 [INFO] [stderr] Downloaded pest v2.8.3 [INFO] [stderr] Downloaded clap_builder v4.5.49 [INFO] [stderr] Downloaded inquire v0.9.1 [INFO] [stderr] Downloaded comfy-table v7.2.1 [INFO] [stderr] Downloaded unicode-width v0.2.2 [INFO] [stderr] Downloaded lemma-engine v0.6.5 [INFO] [stderr] Downloaded console_error_panic_hook v0.1.7 [INFO] [stderr] Downloaded crossterm v0.27.0 [INFO] [stderr] Downloaded typenum v1.19.0 [INFO] [stderr] Downloaded axum v0.7.9 [INFO] [stderr] Downloaded hyper v1.7.0 [INFO] [stderr] Downloaded pest_meta v2.8.3 [INFO] [stderr] Downloaded winnow v0.7.13 [INFO] [stderr] Downloaded hyper-util v0.1.17 [INFO] [stderr] Downloaded toml_edit v0.23.7 [INFO] [stderr] Downloaded rust_decimal v1.39.0 [INFO] [stderr] Downloaded rand v0.9.2 [INFO] [stderr] Downloaded zerocopy-derive v0.8.27 [INFO] [stderr] Downloaded termtree v0.5.1 [INFO] [stderr] Downloaded predicates-tree v1.0.12 [INFO] [stderr] Downloaded assert_cmd v2.0.17 [INFO] [stderr] Downloaded async-trait v0.1.89 [INFO] [stderr] Downloaded axum-core v0.4.5 [INFO] [stderr] Downloaded matchit v0.7.3 [INFO] [stderr] Downloaded serde_path_to_error v0.1.20 [INFO] [stderr] Downloaded anstyle-query v1.1.4 [INFO] [stderr] Downloaded anstyle-wincon v3.0.10 [INFO] [stderr] Downloaded anstream v0.6.21 [INFO] [stderr] Downloaded clap v4.5.49 [INFO] [stderr] Downloaded zerocopy v0.8.27 [INFO] [stderr] Downloaded proptest v1.8.0 [INFO] [stderr] Downloaded clap_derive v4.5.49 [INFO] [stderr] Downloaded pest_derive v2.8.3 [INFO] [stderr] Downloaded toml_datetime v0.7.3 [INFO] [stderr] Downloaded wasm-bindgen-backend v0.2.104 [INFO] [stderr] Downloaded wasm-bindgen-macro v0.2.104 [INFO] [stderr] Downloaded wasm-bindgen-shared v0.2.104 [INFO] [stderr] Downloaded generic-array v0.14.9 [INFO] [stderr] Downloaded pest_generator v2.8.3 [INFO] [stderr] Downloaded proc-macro-crate v3.4.0 [INFO] [stderr] Downloaded js-sys v0.3.81 [INFO] [stderr] Downloaded uuid v1.18.1 [INFO] [stderr] Downloaded wasm-bindgen-macro-support v0.2.104 [INFO] [stderr] Downloaded wasm-bindgen v0.2.104 [INFO] [stderr] Downloaded anstyle v1.0.13 [INFO] [stderr] Downloaded difflib v0.4.0 [INFO] [stderr] Downloaded float-cmp v0.10.0 [INFO] [stderr] Downloaded normalize-line-endings v0.3.0 [INFO] [stderr] Downloaded predicates-core v1.0.9 [INFO] [stderr] Downloaded predicates v3.1.3 [INFO] [stderr] Downloaded rusty-fork v0.3.1 [INFO] [stderr] Downloaded socket2 v0.6.1 [INFO] [stderr] Downloaded tokio-macros v2.6.0 [INFO] [stderr] Downloaded tower v0.4.13 [INFO] [stderr] Downloaded tower-http v0.5.2 [INFO] [stderr] Downloaded syn v2.0.107 [INFO] [stderr] Downloaded tracing-subscriber v0.3.20 [INFO] [stderr] Downloaded quote v1.0.41 [INFO] [stderr] Downloaded tracing-attributes v0.1.30 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] dc9f784ec427c348d8b5306db451e8fab4b2342c27e81dd0ce1988e6fe39a1f8 [INFO] running `Command { std: "docker" "start" "-a" "dc9f784ec427c348d8b5306db451e8fab4b2342c27e81dd0ce1988e6fe39a1f8", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "dc9f784ec427c348d8b5306db451e8fab4b2342c27e81dd0ce1988e6fe39a1f8", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "dc9f784ec427c348d8b5306db451e8fab4b2342c27e81dd0ce1988e6fe39a1f8", kill_on_drop: false }` [INFO] [stdout] dc9f784ec427c348d8b5306db451e8fab4b2342c27e81dd0ce1988e6fe39a1f8 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] e13788961c2947b539bfec70321d02e6e62d2c584338b0a16c13a36d255205ac [INFO] running `Command { std: "docker" "start" "-a" "e13788961c2947b539bfec70321d02e6e62d2c584338b0a16c13a36d255205ac", kill_on_drop: false }` [INFO] [stderr] Compiling quote v1.0.41 [INFO] [stderr] Compiling log v0.4.28 [INFO] [stderr] Compiling smallvec v1.15.1 [INFO] [stderr] Compiling memchr v2.7.6 [INFO] [stderr] Compiling serde_core v1.0.228 [INFO] [stderr] Compiling futures-core v0.3.31 [INFO] [stderr] Compiling signal-hook-registry v1.4.6 [INFO] [stderr] Compiling bytes v1.10.1 [INFO] [stderr] Compiling parking_lot_core v0.9.12 [INFO] [stderr] Compiling tracing-core v0.1.34 [INFO] [stderr] Compiling mio v1.0.4 [INFO] [stderr] Compiling signal-hook v0.3.18 [INFO] [stderr] Compiling parking_lot v0.12.5 [INFO] [stderr] Compiling syn v2.0.107 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling tower-service v0.3.3 [INFO] [stderr] Compiling bitflags v2.9.4 [INFO] [stderr] Compiling http v1.3.1 [INFO] [stderr] Compiling unicode-segmentation v1.12.0 [INFO] [stderr] Compiling aho-corasick v1.1.3 [INFO] [stderr] Compiling mio v0.8.11 [INFO] [stderr] Compiling socket2 v0.6.1 [INFO] [stderr] Compiling convert_case v0.7.1 [INFO] [stderr] Compiling http-body v1.0.1 [INFO] [stderr] Compiling futures-task v0.3.31 [INFO] [stderr] Compiling rustix v1.1.2 [INFO] [stderr] Compiling regex-syntax v0.8.8 [INFO] [stderr] Compiling ucd-trie v0.1.7 [INFO] [stderr] Compiling tower-layer v0.3.3 [INFO] [stderr] Compiling pest v2.8.3 [INFO] [stderr] Compiling futures-util v0.3.31 [INFO] [stderr] Compiling signal-hook-mio v0.2.4 [INFO] [stderr] Compiling litrs v0.4.2 [INFO] [stderr] Compiling utf8parse v0.2.2 [INFO] [stderr] Compiling serde_json v1.0.145 [INFO] [stderr] Compiling rustversion v1.0.22 [INFO] [stderr] Compiling linux-raw-sys v0.11.0 [INFO] [stderr] Compiling anstyle-parse v0.2.7 [INFO] [stderr] Compiling document-features v0.2.11 [INFO] [stderr] Compiling http-body-util v0.1.3 [INFO] [stderr] Compiling pest_meta v2.8.3 [INFO] [stderr] Compiling futures-channel v0.3.31 [INFO] [stderr] Compiling thread_local v1.1.9 [INFO] [stderr] Compiling iana-time-zone v0.1.64 [INFO] [stderr] Compiling anstyle v1.0.13 [INFO] [stderr] Compiling regex-automata v0.4.13 [INFO] [stderr] Compiling is_terminal_polyfill v1.70.1 [INFO] [stderr] Compiling percent-encoding v2.3.2 [INFO] [stderr] Compiling rust_decimal v1.39.0 [INFO] [stderr] Compiling sync_wrapper v1.0.2 [INFO] [stderr] Compiling atomic-waker v1.1.2 [INFO] [stderr] Compiling httpdate v1.0.3 [INFO] [stderr] Compiling anstyle-query v1.1.4 [INFO] [stderr] Compiling colorchoice v1.0.4 [INFO] [stderr] Compiling form_urlencoded v1.2.2 [INFO] [stderr] Compiling anstream v0.6.21 [INFO] [stderr] Compiling arrayvec v0.7.6 [INFO] [stderr] Compiling pest_generator v2.8.3 [INFO] [stderr] Compiling strsim v0.11.1 [INFO] [stderr] Compiling clap_lex v0.7.6 [INFO] [stderr] Compiling heck v0.5.0 [INFO] [stderr] Compiling anyhow v1.0.100 [INFO] [stderr] Compiling unicode-width v0.2.2 [INFO] [stderr] Compiling clap_builder v4.5.49 [INFO] [stderr] Compiling sharded-slab v0.1.7 [INFO] [stderr] Compiling fuzzy-matcher v0.3.7 [INFO] [stderr] Compiling serde_path_to_error v0.1.20 [INFO] [stderr] Compiling tracing-log v0.2.0 [INFO] [stderr] Compiling dyn-clone v1.0.20 [INFO] [stderr] Compiling serde_derive v1.0.228 [INFO] [stderr] Compiling tracing-attributes v0.1.30 [INFO] [stderr] Compiling tokio-macros v2.6.0 [INFO] [stderr] Compiling derive_more-impl v2.0.1 [INFO] [stderr] Compiling pin-project-internal v1.1.10 [INFO] [stderr] Compiling async-trait v0.1.89 [INFO] [stderr] Compiling tokio v1.48.0 [INFO] [stderr] Compiling derive_more v2.0.1 [INFO] [stderr] Compiling crossterm v0.29.0 [INFO] [stderr] Compiling pin-project v1.1.10 [INFO] [stderr] Compiling clap_derive v4.5.49 [INFO] [stderr] Compiling pest_derive v2.8.3 [INFO] [stderr] Compiling tracing v0.1.41 [INFO] [stderr] Compiling matchers v0.2.0 [INFO] [stderr] Compiling axum-core v0.4.5 [INFO] [stderr] Compiling regex v1.12.2 [INFO] [stderr] Compiling nu-ansi-term v0.50.3 [INFO] [stderr] Compiling yansi v1.0.1 [INFO] [stderr] Compiling matchit v0.7.3 [INFO] [stderr] Compiling same-file v1.0.6 [INFO] [stderr] Compiling unicode-width v0.1.14 [INFO] [stderr] Compiling walkdir v2.5.0 [INFO] [stderr] Compiling ariadne v0.4.1 [INFO] [stderr] Compiling tracing-subscriber v0.3.20 [INFO] [stderr] Compiling comfy-table v7.2.1 [INFO] [stderr] Compiling clap v4.5.49 [INFO] [stderr] Compiling tower v0.4.13 [INFO] [stderr] Compiling serde v1.0.228 [INFO] [stderr] Compiling chrono v0.4.42 [INFO] [stderr] Compiling serde_urlencoded v0.7.1 [INFO] [stderr] Compiling tower-http v0.5.2 [INFO] [stderr] Compiling crossterm v0.27.0 [INFO] [stderr] Compiling inquire v0.9.1 [INFO] [stderr] Compiling hyper v1.7.0 [INFO] [stderr] Compiling tower v0.5.2 [INFO] [stderr] Compiling lemma-engine v0.6.5 [INFO] [stderr] Compiling hyper-util v0.1.17 [INFO] [stderr] Compiling axum v0.7.9 [INFO] [stderr] Compiling lemma-cli v0.6.5 (/opt/rustwide/workdir) [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 48s [INFO] running `Command { std: "docker" "inspect" "e13788961c2947b539bfec70321d02e6e62d2c584338b0a16c13a36d255205ac", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "e13788961c2947b539bfec70321d02e6e62d2c584338b0a16c13a36d255205ac", kill_on_drop: false }` [INFO] [stdout] e13788961c2947b539bfec70321d02e6e62d2c584338b0a16c13a36d255205ac [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 3677af1a9d7b37efd289c7e2beb9c1bad3d3e26f1fcea8b66368dcf4fdd25741 [INFO] running `Command { std: "docker" "start" "-a" "3677af1a9d7b37efd289c7e2beb9c1bad3d3e26f1fcea8b66368dcf4fdd25741", kill_on_drop: false }` [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling getrandom v0.3.4 [INFO] [stderr] Compiling rustix v1.1.2 [INFO] [stderr] Compiling zerocopy v0.8.27 [INFO] [stderr] Compiling wait-timeout v0.2.1 [INFO] [stderr] Compiling doc-comment v0.3.3 [INFO] [stderr] Compiling fastrand v2.3.0 [INFO] [stderr] Compiling predicates-core v1.0.9 [INFO] [stderr] Compiling normalize-line-endings v0.3.0 [INFO] [stderr] Compiling termtree v0.5.1 [INFO] [stderr] Compiling difflib v0.4.0 [INFO] [stderr] Compiling assert_cmd v2.0.17 [INFO] [stderr] Compiling rand_core v0.9.3 [INFO] [stderr] Compiling bit-vec v0.8.0 [INFO] [stderr] Compiling quick-error v1.2.3 [INFO] [stderr] Compiling predicates-tree v1.0.12 [INFO] [stderr] Compiling rand_xorshift v0.4.0 [INFO] [stderr] Compiling rand v0.9.2 [INFO] [stderr] Compiling bit-set v0.8.0 [INFO] [stderr] Compiling bstr v1.12.0 [INFO] [stderr] Compiling unarray v0.1.4 [INFO] [stderr] Compiling chrono v0.4.42 [INFO] [stderr] Compiling rust_decimal v1.39.0 [INFO] [stderr] Compiling float-cmp v0.10.0 [INFO] [stderr] Compiling predicates v3.1.3 [INFO] [stderr] Compiling ppv-lite86 v0.2.21 [INFO] [stderr] Compiling rand_chacha v0.9.0 [INFO] [stderr] Compiling crossterm v0.29.0 [INFO] [stderr] Compiling tempfile v3.23.0 [INFO] [stderr] Compiling rusty-fork v0.3.1 [INFO] [stderr] Compiling proptest v1.8.0 [INFO] [stderr] Compiling lemma-engine v0.6.5 [INFO] [stderr] Compiling inquire v0.9.1 [INFO] [stderr] Compiling comfy-table v7.2.1 [INFO] [stderr] Compiling lemma-cli v0.6.5 (/opt/rustwide/workdir) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 38.30s [INFO] running `Command { std: "docker" "inspect" "3677af1a9d7b37efd289c7e2beb9c1bad3d3e26f1fcea8b66368dcf4fdd25741", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "3677af1a9d7b37efd289c7e2beb9c1bad3d3e26f1fcea8b66368dcf4fdd25741", kill_on_drop: false }` [INFO] [stdout] 3677af1a9d7b37efd289c7e2beb9c1bad3d3e26f1fcea8b66368dcf4fdd25741 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] bea5894209027c3d62f6ae9686e6519898b775d87b33722335f81f8cd18bfd6f [INFO] running `Command { std: "docker" "start" "-a" "bea5894209027c3d62f6ae9686e6519898b775d87b33722335f81f8cd18bfd6f", kill_on_drop: false }` [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.46s [INFO] [stderr] Running unittests src/main.rs (/opt/rustwide/target/debug/deps/lemma-e5ff8a60ddd6e64b) [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/integration.rs (/opt/rustwide/target/debug/deps/integration-00b331f4a7db611b) [INFO] [stdout] [INFO] [stdout] running 12 tests [INFO] [stdout] test integrations::interactive::test_interactive_mode_help ... ok [INFO] [stdout] test integrations::run::test_cli_parse_error_handling ... ok [INFO] [stdout] test integrations::run::test_cli_run_nonexistent_document ... ok [INFO] [stdout] test integrations::run::test_cli_run_with_unless_clause ... ok [INFO] [stdout] test integrations::run::test_cli_list_summary ... ok [INFO] [stdout] test integrations::run::test_cli_run_with_fact_override ... ok [INFO] [stdout] test integrations::mcp::test_mcp_server_starts ... ok [INFO] [stdout] test integrations::run::test_cli_show_document ... ok [INFO] [stdout] test integrations::run::test_cli_run_simple_document ... ok [INFO] [stdout] test integrations::run::test_cli_run_with_money_units ... ok [INFO] [stdout] test integrations::server::test_serve_requires_dir ... ok [INFO] [stdout] test integrations::server::test_server_command_available ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 12 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.06s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "bea5894209027c3d62f6ae9686e6519898b775d87b33722335f81f8cd18bfd6f", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "bea5894209027c3d62f6ae9686e6519898b775d87b33722335f81f8cd18bfd6f", kill_on_drop: false }` [INFO] [stdout] bea5894209027c3d62f6ae9686e6519898b775d87b33722335f81f8cd18bfd6f