[INFO] fetching crate varisat-utils 0.2.0... [INFO] testing varisat-utils-0.2.0 against master#c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38 for pr-146098-8 [INFO] extracting crate varisat-utils 0.2.0 into /workspace/builds/worker-6-tc1/source [INFO] started tweaking crates.io crate varisat-utils 0.2.0 [INFO] finished tweaking crates.io crate varisat-utils 0.2.0 [INFO] tweaked toml for crates.io crate varisat-utils 0.2.0 written to /workspace/builds/worker-6-tc1/source/Cargo.toml [INFO] validating manifest of crates.io crate varisat-utils 0.2.0 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] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Locking 41 packages to latest compatible versions [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] Downloading crates ... [INFO] [stderr] Downloaded varisat-internal-proof v0.2.2 [INFO] [stderr] Downloaded partial_ref v0.3.3 [INFO] [stderr] Downloaded vec_mut_scan v0.3.0 [INFO] [stderr] Downloaded varisat-formula v0.2.2 [INFO] [stderr] Downloaded varisat-dimacs v0.2.2 [INFO] [stderr] Downloaded partial_ref_derive v0.3.3 [INFO] [stderr] Downloaded varisat v0.2.2 [INFO] [stderr] Downloaded varisat-internal-macros v0.2.2 [INFO] [stderr] Downloaded varisat-checker v0.2.2 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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] 2a85a7d9f2040ce620fa4b773b72b68504b6e4b7ae8262f7d1f7748888db4852 [INFO] running `Command { std: "docker" "start" "-a" "2a85a7d9f2040ce620fa4b773b72b68504b6e4b7ae8262f7d1f7748888db4852", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "2a85a7d9f2040ce620fa4b773b72b68504b6e4b7ae8262f7d1f7748888db4852", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "2a85a7d9f2040ce620fa4b773b72b68504b6e4b7ae8262f7d1f7748888db4852", kill_on_drop: false }` [INFO] [stdout] 2a85a7d9f2040ce620fa4b773b72b68504b6e4b7ae8262f7d1f7748888db4852 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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] c3d3a975bd4ac9f3f2d2cc372326dc13f7ea48b0808c4926f3f81c835d5fc42b [INFO] running `Command { std: "docker" "start" "-a" "c3d3a975bd4ac9f3f2d2cc372326dc13f7ea48b0808c4926f3f81c835d5fc42b", kill_on_drop: false }` [INFO] [stderr] Compiling memchr v2.7.6 [INFO] [stderr] Compiling regex-syntax v0.8.8 [INFO] [stderr] Compiling varisat-formula v0.2.2 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling vec_mut_scan v0.3.0 [INFO] [stderr] Compiling leb128 v0.2.5 [INFO] [stderr] Compiling syn v2.0.110 [INFO] [stderr] Compiling varisat v0.2.2 [INFO] [stderr] Compiling partial_ref_derive v0.3.3 [INFO] [stderr] Compiling varisat-internal-proof v0.2.2 [INFO] [stderr] Compiling partial_ref v0.3.3 [INFO] [stderr] Compiling aho-corasick v1.1.4 [INFO] [stderr] Compiling num-integer v0.1.46 [INFO] [stderr] Compiling num-complex v0.4.6 [INFO] [stderr] Compiling ordered-float v2.10.1 [INFO] [stderr] Compiling num-bigint v0.4.6 [INFO] [stderr] Compiling num-iter v0.1.45 [INFO] [stderr] Compiling thiserror-impl v1.0.69 [INFO] [stderr] Compiling serde_derive v1.0.228 [INFO] [stderr] Compiling regex-automata v0.4.13 [INFO] [stderr] Compiling thiserror v1.0.69 [INFO] [stderr] Compiling varisat-dimacs v0.2.2 [INFO] [stderr] Compiling num-rational v0.4.2 [INFO] [stderr] Compiling varisat-checker v0.2.2 [INFO] [stderr] Compiling num v0.4.3 [INFO] [stderr] Compiling serde v1.0.228 [INFO] [stderr] Compiling regex v1.12.2 [INFO] [stderr] Compiling varisat-internal-macros v0.2.2 [INFO] [stderr] Compiling varisat-utils v0.2.0 (/opt/rustwide/workdir) [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 10.81s [INFO] running `Command { std: "docker" "inspect" "c3d3a975bd4ac9f3f2d2cc372326dc13f7ea48b0808c4926f3f81c835d5fc42b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "c3d3a975bd4ac9f3f2d2cc372326dc13f7ea48b0808c4926f3f81c835d5fc42b", kill_on_drop: false }` [INFO] [stdout] c3d3a975bd4ac9f3f2d2cc372326dc13f7ea48b0808c4926f3f81c835d5fc42b [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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] 5c462199652107bfd0ada96b5128c9be49771d4bb2a045c29cc2b17fc025f7ae [INFO] running `Command { std: "docker" "start" "-a" "5c462199652107bfd0ada96b5128c9be49771d4bb2a045c29cc2b17fc025f7ae", kill_on_drop: false }` [INFO] [stderr] Compiling varisat-utils v0.2.0 (/opt/rustwide/workdir) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.46s [INFO] running `Command { std: "docker" "inspect" "5c462199652107bfd0ada96b5128c9be49771d4bb2a045c29cc2b17fc025f7ae", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "5c462199652107bfd0ada96b5128c9be49771d4bb2a045c29cc2b17fc025f7ae", kill_on_drop: false }` [INFO] [stdout] 5c462199652107bfd0ada96b5128c9be49771d4bb2a045c29cc2b17fc025f7ae [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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] 0e2f52595c6ad574bd1ef88323baf2c15186f45541729164274997726c20f816 [INFO] running `Command { std: "docker" "start" "-a" "0e2f52595c6ad574bd1ef88323baf2c15186f45541729164274997726c20f816", kill_on_drop: false }` [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.04s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/varisat_utils-f1f22c790e19329a) [INFO] [stdout] [INFO] [stdout] running 12 tests [INFO] [stdout] test tests::basic_test ... ok [INFO] [stdout] test tests::big_test ... ok [INFO] [stdout] test tests::big_unsat_test ... ok [INFO] [stdout] test tests::empty_soln ... ok [INFO] [stdout] test tests::med_at_most_one ... ok [INFO] [stdout] test tests::unsat_test ... ok [INFO] [stdout] test tests::working_overlap ... ok [INFO] [stdout] test tests::exact_k_test ... ok [INFO] [stdout] test tests::unsat_at_most_one ... ok [INFO] [stdout] test tests::sort_test_unsat ... ok [INFO] [stdout] test tests::small_sort_test ... ok [INFO] [stdout] test tests::huge ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 12 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.08s [INFO] [stdout] [INFO] [stderr] Doc-tests varisat_utils [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] running `Command { std: "docker" "inspect" "0e2f52595c6ad574bd1ef88323baf2c15186f45541729164274997726c20f816", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "0e2f52595c6ad574bd1ef88323baf2c15186f45541729164274997726c20f816", kill_on_drop: false }` [INFO] [stdout] 0e2f52595c6ad574bd1ef88323baf2c15186f45541729164274997726c20f816