[INFO] fetching crate lemma-engine 0.8.10...
[INFO] testing lemma-engine-0.8.10 against try#dec9417b8611e34e787a3e4c37686b5131f9e5c5 for pr-154210-1
[INFO] extracting crate lemma-engine 0.8.10 into /workspace/builds/worker-4-tc2/source
[INFO] started tweaking crates.io crate lemma-engine 0.8.10
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate lemma-engine 0.8.10
[INFO] tweaked toml for crates.io crate lemma-engine 0.8.10 written to /workspace/builds/worker-4-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate lemma-engine 0.8.10 on toolchain dec9417b8611e34e787a3e4c37686b5131f9e5c5
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate lemma-engine 0.8.10 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" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 778a6d547efead7208f81afe7cb9b45a50fe447a1c873c554e9ab5d16a8e43fb
[INFO] running `Command { std: "docker" "start" "-a" "778a6d547efead7208f81afe7cb9b45a50fe447a1c873c554e9ab5d16a8e43fb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "778a6d547efead7208f81afe7cb9b45a50fe447a1c873c554e9ab5d16a8e43fb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "778a6d547efead7208f81afe7cb9b45a50fe447a1c873c554e9ab5d16a8e43fb", kill_on_drop: false }`
[INFO] [stdout] 778a6d547efead7208f81afe7cb9b45a50fe447a1c873c554e9ab5d16a8e43fb
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 48fff3992ccbcb471b95090769dcd01c0415f7110c878fa9626eff8f29aef9b3
[INFO] running `Command { std: "docker" "start" "-a" "48fff3992ccbcb471b95090769dcd01c0415f7110c878fa9626eff8f29aef9b3", kill_on_drop: false }`
[INFO] [stderr]    Compiling zerofrom-derive v0.1.6
[INFO] [stderr]    Compiling yoke-derive v0.8.1
[INFO] [stderr]    Compiling jobserver v0.1.34
[INFO] [stderr]    Compiling zerovec-derive v0.11.2
[INFO] [stderr]    Compiling serde_core v1.0.228
[INFO] [stderr]    Compiling aws-lc-rs v1.16.2
[INFO] [stderr]    Compiling socket2 v0.6.3
[INFO] [stderr]    Compiling mio v1.2.0
[INFO] [stderr]    Compiling writeable v0.6.2
[INFO] [stderr]    Compiling litemap v0.8.1
[INFO] [stderr]    Compiling icu_normalizer_data v2.1.1
[INFO] [stderr]    Compiling icu_properties_data v2.1.2
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling rustls v0.23.37
[INFO] [stderr]    Compiling slab v0.4.12
[INFO] [stderr]    Compiling semver v1.0.27
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling futures-util v0.3.32
[INFO] [stderr]    Compiling thiserror v2.0.18
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling byteorder v1.5.0
[INFO] [stderr]    Compiling rustls-native-certs v0.8.3
[INFO] [stderr]    Compiling hash32 v0.2.1
[INFO] [stderr]    Compiling form_urlencoded v1.2.2
[INFO] [stderr]    Compiling rust_decimal v1.41.0
[INFO] [stderr]    Compiling itertools v0.9.0
[INFO] [stderr]    Compiling cc v1.2.58
[INFO] [stderr]    Compiling rustc_version v0.4.1
[INFO] [stderr]    Compiling tokio v1.50.0
[INFO] [stderr]    Compiling arrayvec v0.7.6
[INFO] [stderr]    Compiling iana-time-zone v0.1.65
[INFO] [stderr]    Compiling heapless v0.7.17
[INFO] [stderr]    Compiling zerofrom v0.1.6
[INFO] [stderr]    Compiling cobs v0.3.0
[INFO] [stderr]    Compiling yoke v0.8.1
[INFO] [stderr]    Compiling zerovec v0.11.5
[INFO] [stderr]    Compiling zerotrie v0.2.3
[INFO] [stderr]    Compiling boolean_expression v0.4.4
[INFO] [stderr]    Compiling cmake v0.1.58
[INFO] [stderr]    Compiling tinystr v0.8.2
[INFO] [stderr]    Compiling potential_utf v0.1.4
[INFO] [stderr]    Compiling icu_collections v2.1.1
[INFO] [stderr]    Compiling icu_locale_core v2.1.1
[INFO] [stderr]    Compiling aws-lc-sys v0.39.1
[INFO] [stderr]    Compiling indexmap v2.13.0
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling chrono v0.4.44
[INFO] [stderr]    Compiling icu_provider v2.1.1
[INFO] [stderr]    Compiling icu_normalizer v2.1.1
[INFO] [stderr]    Compiling icu_properties v2.1.2
[INFO] [stderr]    Compiling postcard v1.1.3
[INFO] [stderr]    Compiling idna_adapter v1.2.1
[INFO] [stderr]    Compiling idna v1.1.0
[INFO] [stderr]    Compiling hyper v1.8.1
[INFO] [stderr]    Compiling tower v0.5.3
[INFO] [stderr]    Compiling url v2.5.8
[INFO] [stderr]    Compiling tower-http v0.6.8
[INFO] [stderr]    Compiling hyper-util v0.1.20
[INFO] [stderr]    Compiling rustls-webpki v0.103.10
[INFO] [stderr]    Compiling tokio-rustls v0.26.4
[INFO] [stderr]    Compiling rustls-platform-verifier v0.6.2
[INFO] [stderr]    Compiling hyper-rustls v0.27.7
[INFO] [stderr]    Compiling reqwest v0.13.2
[INFO] [stderr]    Compiling lemma-engine v0.8.10 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 17s
[INFO] running `Command { std: "docker" "inspect" "48fff3992ccbcb471b95090769dcd01c0415f7110c878fa9626eff8f29aef9b3", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "48fff3992ccbcb471b95090769dcd01c0415f7110c878fa9626eff8f29aef9b3", kill_on_drop: false }`
[INFO] [stdout] 48fff3992ccbcb471b95090769dcd01c0415f7110c878fa9626eff8f29aef9b3
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 3cc136d7c252e613f4083cf32983544f948e1e50a9980ec0502278bf01c2375f
[INFO] running `Command { std: "docker" "start" "-a" "3cc136d7c252e613f4083cf32983544f948e1e50a9980ec0502278bf01c2375f", kill_on_drop: false }`
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling tokio-macros v2.6.1
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling rust_decimal v1.41.0
[INFO] [stderr]    Compiling chrono v0.4.44
[INFO] [stderr]    Compiling console v0.16.3
[INFO] [stderr]    Compiling similar v2.7.0
[INFO] [stderr]    Compiling rusty-fork v0.3.1
[INFO] [stderr]    Compiling parking_lot v0.12.5
[INFO] [stderr]    Compiling rand_core v0.9.5
[INFO] [stderr]    Compiling tokio v1.50.0
[INFO] [stderr]    Compiling rand v0.9.2
[INFO] [stderr]    Compiling rand_xorshift v0.4.0
[INFO] [stderr]    Compiling insta v1.47.1
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling proptest v1.11.0
[INFO] [stderr]    Compiling hyper v1.8.1
[INFO] [stderr]    Compiling tokio-rustls v0.26.4
[INFO] [stderr]    Compiling tower v0.5.3
[INFO] [stderr]    Compiling tower-http v0.6.8
[INFO] [stderr]    Compiling hyper-util v0.1.20
[INFO] [stderr]    Compiling hyper-rustls v0.27.7
[INFO] [stderr]    Compiling reqwest v0.13.2
[INFO] [stderr]    Compiling lemma-engine v0.8.10 (/opt/rustwide/workdir)
[INFO] [stdout] error: couldn't read `tests/../../documentation/examples/01_coffee_order.lemma`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/formatter.rs:107:9
[INFO] [stdout]     |
[INFO] [stdout] 107 |         include_str!("../../documentation/examples/01_coffee_order.lemma"),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../documentation/examples/02_library_fees.lemma`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/formatter.rs:111:9
[INFO] [stdout]     |
[INFO] [stdout] 111 |         include_str!("../../documentation/examples/02_library_fees.lemma"),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../documentation/examples/03_recipe_scaling.lemma`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/formatter.rs:115:9
[INFO] [stdout]     |
[INFO] [stdout] 115 |         include_str!("../../documentation/examples/03_recipe_scaling.lemma"),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../documentation/examples/04_membership_benefits.lemma`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/formatter.rs:119:9
[INFO] [stdout]     |
[INFO] [stdout] 119 |         include_str!("../../documentation/examples/04_membership_benefits.lemma"),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../documentation/examples/05_weather_clothing.lemma`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/formatter.rs:123:9
[INFO] [stdout]     |
[INFO] [stdout] 123 |         include_str!("../../documentation/examples/05_weather_clothing.lemma"),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `lemma-engine` (test "formatter") due to 5 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stderr] error: could not compile `lemma-engine` (lib test)
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/rustup-home/toolchains/dec9417b8611e34e787a3e4c37686b5131f9e5c5/bin/rustc --crate-name lemma --edition=2021 src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --emit=dep-info,link -C embed-bitcode=no -C debuginfo=2 --deny=dead_code --test --cfg 'feature="default"' --cfg 'feature="registry"' --cfg 'feature="reqwest"' --check-cfg 'cfg(docsrs,test)' --check-cfg 'cfg(feature, values("default", "registry", "reqwest"))' -C metadata=f19352308da9b64a -C extra-filename=-9feccdb884b2796d --out-dir /opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --extern async_trait=/opt/rustwide/target/debug/deps/libasync_trait-5e6c8dc165503e7e.so --extern boolean_expression=/opt/rustwide/target/debug/deps/libboolean_expression-3287ee07388171cb.rlib --extern chrono=/opt/rustwide/target/debug/deps/libchrono-cc7805a63c1c873c.rlib --extern indexmap=/opt/rustwide/target/debug/deps/libindexmap-c98072aa4f26837e.rlib --extern insta=/opt/rustwide/target/debug/deps/libinsta-2641ac5f4514614d.rlib --extern postcard=/opt/rustwide/target/debug/deps/libpostcard-d6361119db90f132.rlib --extern proptest=/opt/rustwide/target/debug/deps/libproptest-ffcfad8bf11dea7d.rlib --extern reqwest=/opt/rustwide/target/debug/deps/libreqwest-06755264713dbd77.rlib --extern rust_decimal=/opt/rustwide/target/debug/deps/librust_decimal-7b8ab600f2527ff3.rlib --extern serde=/opt/rustwide/target/debug/deps/libserde-d71740110df13c1e.rlib --extern serde_json=/opt/rustwide/target/debug/deps/libserde_json-9cac63de4759cecd.rlib --extern sha2=/opt/rustwide/target/debug/deps/libsha2-8b90c609e5cd1b21.rlib --extern tokio=/opt/rustwide/target/debug/deps/libtokio-5796a7004e839095.rlib --cap-lints=forbid -L native=/opt/rustwide/target/debug/build/aws-lc-sys-38fa6905912fe08c/out` (signal: 9, SIGKILL: kill)
[INFO] running `Command { std: "docker" "inspect" "3cc136d7c252e613f4083cf32983544f948e1e50a9980ec0502278bf01c2375f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "3cc136d7c252e613f4083cf32983544f948e1e50a9980ec0502278bf01c2375f", kill_on_drop: false }`
[INFO] [stdout] 3cc136d7c252e613f4083cf32983544f948e1e50a9980ec0502278bf01c2375f