[INFO] fetching crate logician 0.1.0...
[INFO] testing logician-0.1.0 against master#ec6f9a5b4413f74386267ef8efc93712c2ce6db6 for pr-155739
[INFO] extracting crate logician 0.1.0 into /workspace/builds/worker-5-tc1/source
[INFO] started tweaking crates.io crate logician 0.1.0
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate logician 0.1.0
[INFO] tweaked toml for crates.io crate logician 0.1.0 written to /workspace/builds/worker-5-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate logician 0.1.0 on toolchain ec6f9a5b4413f74386267ef8efc93712c2ce6db6
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ec6f9a5b4413f74386267ef8efc93712c2ce6db6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate logician 0.1.0 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" "+ec6f9a5b4413f74386267ef8efc93712c2ce6db6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded zmij v1.0.18
[INFO] [stderr]   Downloaded kill_tree v0.1.5
[INFO] [stderr]   Downloaded zerocopy-derive v0.8.37
[INFO] [stderr]   Downloaded trybuild v1.0.115
[INFO] [stderr]   Downloaded clap v4.5.56
[INFO] [stderr]   Downloaded zerocopy v0.8.37
[INFO] [stderr]   Downloaded nix v0.27.1
[INFO] [stderr]   Downloaded clap_builder v4.5.56
[INFO] [stderr]   Downloaded windows v0.52.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+ec6f9a5b4413f74386267ef8efc93712c2ce6db6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 98fd18425f62cc986ee442cd6b398e2225aa1b5cd853be104ffab2ccf9b74254
[INFO] running `Command { std: "docker" "start" "-a" "98fd18425f62cc986ee442cd6b398e2225aa1b5cd853be104ffab2ccf9b74254", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "98fd18425f62cc986ee442cd6b398e2225aa1b5cd853be104ffab2ccf9b74254", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "98fd18425f62cc986ee442cd6b398e2225aa1b5cd853be104ffab2ccf9b74254", kill_on_drop: false }`
[INFO] [stdout] 98fd18425f62cc986ee442cd6b398e2225aa1b5cd853be104ffab2ccf9b74254
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=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" "+ec6f9a5b4413f74386267ef8efc93712c2ce6db6" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 079da1a7486c6b3145bfd6008b2a90b08797faf24f477ff027a5321d19ac71cd
[INFO] running `Command { std: "docker" "start" "-a" "079da1a7486c6b3145bfd6008b2a90b08797faf24f477ff027a5321d19ac71cd", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.180
[INFO] [stderr]    Compiling kill_tree v0.1.5
[INFO] [stderr]    Compiling syn v2.0.114
[INFO] [stderr]    Compiling errno v0.3.14
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling mio v1.1.1
[INFO] [stderr]    Compiling socket2 v0.6.2
[INFO] [stderr]    Compiling nix v0.27.1
[INFO] [stderr]    Compiling signal-hook-registry v1.4.8
[INFO] [stderr]    Compiling parking_lot v0.12.5
[INFO] [stderr]    Compiling tokio-macros v2.6.0
[INFO] [stderr]    Compiling tracing-attributes v0.1.31
[INFO] [stderr]    Compiling thiserror-impl v1.0.69
[INFO] [stderr]    Compiling tokio v1.49.0
[INFO] [stderr]    Compiling thiserror v1.0.69
[INFO] [stderr]    Compiling tracing v0.1.44
[INFO] [stderr]    Compiling logician v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 17.60s
[INFO] running `Command { std: "docker" "inspect" "079da1a7486c6b3145bfd6008b2a90b08797faf24f477ff027a5321d19ac71cd", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "079da1a7486c6b3145bfd6008b2a90b08797faf24f477ff027a5321d19ac71cd", kill_on_drop: false }`
[INFO] [stdout] 079da1a7486c6b3145bfd6008b2a90b08797faf24f477ff027a5321d19ac71cd
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=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" "+ec6f9a5b4413f74386267ef8efc93712c2ce6db6" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] a848473261eb627a01d304552fc269f3c56a884a7b2c04f13bc922a3447c7afa
[INFO] running `Command { std: "docker" "start" "-a" "a848473261eb627a01d304552fc269f3c56a884a7b2c04f13bc922a3447c7afa", kill_on_drop: false }`
[INFO] [stderr]    Compiling zerocopy v0.8.37
[INFO] [stderr]    Compiling zmij v1.0.18
[INFO] [stderr]    Compiling regex-syntax v0.8.8
[INFO] [stderr]    Compiling memchr v2.7.6
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling anstyle v1.0.13
[INFO] [stderr]    Compiling winnow v0.7.14
[INFO] [stderr]    Compiling zerocopy-derive v0.8.37
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling ciborium-io v0.2.2
[INFO] [stderr]    Compiling plotters-backend v0.3.7
[INFO] [stderr]    Compiling target-triple v1.0.0
[INFO] [stderr]    Compiling clap_lex v0.7.7
[INFO] [stderr]    Compiling serde_spanned v1.0.4
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling nix v0.27.1
[INFO] [stderr]    Compiling toml_datetime v0.7.5+spec-1.1.0
[INFO] [stderr]    Compiling plotters-svg v0.3.7
[INFO] [stderr]    Compiling itertools v0.10.5
[INFO] [stderr]    Compiling rand_core v0.9.5
[INFO] [stderr]    Compiling clap_builder v4.5.56
[INFO] [stderr]    Compiling tempfile v3.24.0
[INFO] [stderr]    Compiling cast v0.3.0
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling same-file v1.0.6
[INFO] [stderr]    Compiling quick-error v1.2.3
[INFO] [stderr]    Compiling bit-vec v0.8.0
[INFO] [stderr]    Compiling toml_writer v1.0.6+spec-1.1.0
[INFO] [stderr]    Compiling walkdir v2.5.0
[INFO] [stderr]    Compiling kill_tree v0.1.5
[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 plotters v0.3.7
[INFO] [stderr]    Compiling rusty-fork v0.3.1
[INFO] [stderr]    Compiling rayon v1.11.0
[INFO] [stderr]    Compiling is-terminal v0.4.17
[INFO] [stderr]    Compiling anes v0.1.6
[INFO] [stderr]    Compiling termcolor v1.4.1
[INFO] [stderr]    Compiling glob v0.3.3
[INFO] [stderr]    Compiling unarray v0.1.4
[INFO] [stderr]    Compiling oorandom v11.1.5
[INFO] [stderr]    Compiling logician v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]    Compiling criterion-plot v0.5.0
[INFO] [stderr]    Compiling clap v4.5.56
[INFO] [stderr]    Compiling toml_parser v1.0.6+spec-1.1.0
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling regex-automata v0.4.13
[INFO] [stderr]    Compiling toml v0.9.11+spec-1.1.0
[INFO] [stderr]    Compiling tinytemplate v1.2.1
[INFO] [stderr]    Compiling trybuild v1.0.115
[INFO] [stderr]    Compiling regex v1.12.2
[INFO] [stderr]    Compiling half v2.7.1
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling ciborium-ll v0.2.2
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling ciborium v0.2.2
[INFO] [stderr]    Compiling proptest v1.9.0
[INFO] [stderr]    Compiling criterion v0.5.1
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 36.50s
[INFO] running `Command { std: "docker" "inspect" "a848473261eb627a01d304552fc269f3c56a884a7b2c04f13bc922a3447c7afa", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a848473261eb627a01d304552fc269f3c56a884a7b2c04f13bc922a3447c7afa", kill_on_drop: false }`
[INFO] [stdout] a848473261eb627a01d304552fc269f3c56a884a7b2c04f13bc922a3447c7afa
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=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" "+ec6f9a5b4413f74386267ef8efc93712c2ce6db6" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 36b133ad0deef01eba5b75a5a7d601af8786fdee85ef2a3973d84e7f4014d109
[INFO] running `Command { std: "docker" "start" "-a" "36b133ad0deef01eba5b75a5a7d601af8786fdee85ef2a3973d84e7f4014d109", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.21s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/logician-f4ae562c088b3838)
[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/mod.rs (/opt/rustwide/target/debug/deps/mod-3bd73b8983a4f2d1)
[INFO] [stdout] 
[INFO] [stdout] running 24 tests
[INFO] [stdout] test c_coverage_audit ... ok
[INFO] [stdout] test c_global_audit ... ok
[INFO] [stdout] test c_skeleton_contract ... ok
[INFO] [stdout] test c_term_arity ... ok
[INFO] [stdout] test c_serializer_contract ... ok
[INFO] [stdout] test e_init_build ... ok
[INFO] [stdout] test e_parser_z3_model ... ok
[INFO] [stdout] test c_fallback_safety ... ok
[INFO] [stdout] test e_integration_example ... ok
[INFO] [stdout] test c_model_contract ... ok
[INFO] [stdout] test p_builder_chain_props ... ok
[INFO] [stdout] test p_driver_construct ... ok
[INFO] [stdout] test p_parser_robustness ... ok
[INFO] [stdout] test p_response_construct ... ok
[INFO] [stdout] test p_error_construct ... ok
[INFO] [stdout] test p_serialize_parse ... ok
[INFO] [stdout] test p_term_sort_props ... ok
[INFO] [stdout] test p_invariant_tag_props ... ok
[INFO] [stdout] test e_builder_invalid - should panic ... ok
[INFO] [stdout] test e_invariant_panic - should panic ... ok
[INFO] [stdout] test p_incremental_consistency ... ok
[INFO] [stdout] test e_driver_watchdog ... ok
[INFO] [stdout] test p_fallback_equiv ... ok
[INFO] [stdout] test p_driver_io ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 24 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.59s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests logician
[INFO] [stdout] 
[INFO] [stdout] running 17 tests
[INFO] [stdout] test src/invariant.rs - invariant (line 35) ... ignored
[INFO] [stdout] test src/driver.rs - driver (line 14) - compile ... ok
[INFO] [stdout] test src/lib.rs - (line 12) - compile ... ok
[INFO] [stdout] test src/multisolver.rs - multisolver (line 20) - compile ... ok
[INFO] [stdout] test src/driver.rs - driver::launch (line 145) - compile ... ok
[INFO] [stdout] test src/solver.rs - solver (line 14) - compile ... ok
[INFO] [stdout] test src/invariant.rs - invariant::clear_invariant_log (line 64) ... ok
[INFO] [stdout] test src/term.rs - term::Sort (line 46) ... ok
[INFO] [stdout] test src/invariant.rs - invariant::get_invariant_tags (line 81) ... ok
[INFO] [stdout] test src/term.rs - term (line 20) ... ok
[INFO] [stdout] test src/parser.rs - parser::parse (line 234) ... ok
[INFO] [stdout] test src/invariant.rs - invariant (line 16) ... ok
[INFO] [stdout] test src/parser.rs - parser (line 22) ... ok
[INFO] [stdout] test src/driver.rs - driver::Config (line 91) ... ok
[INFO] [stdout] test src/invariant.rs - invariant::assert_invariant (line 110) ... ok
[INFO] [stdout] test src/term.rs - term::LogicError (line 78) ... ok
[INFO] [stdout] test src/term.rs - term::Term (line 171) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 16 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.90s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "36b133ad0deef01eba5b75a5a7d601af8786fdee85ef2a3973d84e7f4014d109", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "36b133ad0deef01eba5b75a5a7d601af8786fdee85ef2a3973d84e7f4014d109", kill_on_drop: false }`
[INFO] [stdout] 36b133ad0deef01eba5b75a5a7d601af8786fdee85ef2a3973d84e7f4014d109
