[INFO] fetching crate snark-tool 0.4.0... [INFO] testing snark-tool-0.4.0 against try#8de4c7234dd9b97c9d76b58671343fdbbc9a433e+target=x86_64-unknown-linux-musl for musl_upgrade_1_2_5_with_libc_patch_0 [INFO] extracting crate snark-tool 0.4.0 into /workspace/builds/worker-5-tc1/source [INFO] started tweaking crates.io crate snark-tool 0.4.0 [INFO] finished tweaking crates.io crate snark-tool 0.4.0 [INFO] tweaked toml for crates.io crate snark-tool 0.4.0 written to /workspace/builds/worker-5-tc1/source/Cargo.toml [INFO] validating manifest of crates.io crate snark-tool 0.4.0 on toolchain 8de4c7234dd9b97c9d76b58671343fdbbc9a433e [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate crates.io crate snark-tool 0.4.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" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded varisat-internal-macros v0.2.2 [INFO] [stderr] Downloaded synstructure v0.12.4 [INFO] [stderr] Downloaded varisat-formula v0.2.2 [INFO] [stderr] Downloaded varisat-internal-proof v0.2.2 [INFO] [stderr] Downloaded vec_mut_scan v0.3.0 [INFO] [stderr] Downloaded partial_ref_derive v0.3.2 [INFO] [stderr] Downloaded yaml-rust v0.4.4 [INFO] [stderr] Downloaded varisat v0.2.2 [INFO] [stderr] Downloaded jobserver v0.1.22 [INFO] [stderr] Downloaded cc v1.0.69 [INFO] [stderr] Downloaded heck v0.3.2 [INFO] [stderr] Downloaded smallvec v1.5.1 [INFO] [stderr] Downloaded unicode-segmentation v1.7.1 [INFO] [stderr] Downloaded syn v1.0.56 [INFO] [stderr] Downloaded serde_yaml v0.8.14 [INFO] [stderr] Downloaded leb128 v0.2.4 [INFO] [stderr] Downloaded petgraph v0.5.1 [INFO] [stderr] Downloaded partial_ref v0.3.2 [INFO] [stderr] Downloaded varisat-checker v0.2.2 [INFO] [stderr] Downloaded thiserror-impl v1.0.23 [INFO] [stderr] Downloaded regex v1.4.2 [INFO] [stderr] Downloaded cadical v0.1.13 [INFO] [stderr] Downloaded varisat-dimacs v0.2.2 [INFO] [stderr] Downloaded regex-syntax v0.6.21 [INFO] [stderr] Downloaded fixedbitset v0.2.0 [INFO] [stderr] Downloaded dtoa v0.4.7 [INFO] [stderr] Downloaded ordered-float v2.0.1 [INFO] [stderr] Downloaded thiserror v1.0.23 [INFO] [stderr] Downloaded anyhow v1.0.37 [INFO] [stderr] Downloaded libc v0.2.81 [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:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 1200870294f7fc1c5109ddce484dc8befe4921f8d385f5384f71d54208464255 [INFO] running `Command { std: "docker" "start" "-a" "1200870294f7fc1c5109ddce484dc8befe4921f8d385f5384f71d54208464255", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "1200870294f7fc1c5109ddce484dc8befe4921f8d385f5384f71d54208464255", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "1200870294f7fc1c5109ddce484dc8befe4921f8d385f5384f71d54208464255", kill_on_drop: false }` [INFO] [stdout] 1200870294f7fc1c5109ddce484dc8befe4921f8d385f5384f71d54208464255 [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:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "build" "--frozen" "--message-format=json" "--target" "x86_64-unknown-linux-musl", kill_on_drop: false }` [INFO] [stdout] e669b51302303530862c9d5d6701827bebfb7bcd618f31a5d3b59efb233b8c98 [INFO] running `Command { std: "docker" "start" "-a" "e669b51302303530862c9d5d6701827bebfb7bcd618f31a5d3b59efb233b8c98", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.81 [INFO] [stderr] Compiling proc-macro2 v1.0.24 [INFO] [stderr] Compiling syn v1.0.56 [INFO] [stderr] Compiling anyhow v1.0.37 [INFO] [stderr] Compiling autocfg v1.0.1 [INFO] [stderr] Compiling memchr v2.3.4 [INFO] [stderr] Compiling proc-macro2 v0.4.30 [INFO] [stderr] Compiling serde_derive v1.0.118 [INFO] [stderr] Compiling serde v1.0.118 [INFO] [stderr] Compiling getrandom v0.1.16 [INFO] [stderr] Compiling unicode-xid v0.1.0 [INFO] [stderr] Compiling syn v0.15.44 [INFO] [stderr] Compiling cfg-if v1.0.0 [INFO] [stderr] Compiling lazy_static v1.4.0 [INFO] [stderr] Compiling itoa v0.4.7 [INFO] [stderr] Compiling varisat-formula v0.2.2 [INFO] [stderr] Compiling thread_local v1.0.1 [INFO] [stderr] Compiling log v0.4.11 [INFO] [stderr] Compiling bitflags v1.2.1 [INFO] [stderr] Compiling unicode-segmentation v1.7.1 [INFO] [stderr] Compiling cfg-if v0.1.10 [INFO] [stderr] Compiling unicode-width v0.1.8 [INFO] [stderr] Compiling regex-syntax v0.6.21 [INFO] [stderr] Compiling ryu v1.0.5 [INFO] [stderr] Compiling textwrap v0.11.0 [INFO] [stderr] Compiling linked-hash-map v0.5.3 [INFO] [stderr] Compiling ansi_term v0.11.0 [INFO] [stderr] Compiling ppv-lite86 v0.2.10 [INFO] [stderr] Compiling vec_map v0.8.2 [INFO] [stderr] Compiling heck v0.3.2 [INFO] [stderr] Compiling varisat-internal-proof v0.2.2 [INFO] [stderr] Compiling rustc-hash v1.1.0 [INFO] [stderr] Compiling smallvec v1.5.1 [INFO] [stderr] Compiling num-traits v0.2.14 [INFO] [stderr] Compiling aho-corasick v0.7.15 [INFO] [stderr] Compiling indexmap v1.7.0 [INFO] [stderr] Compiling serde_json v1.0.61 [INFO] [stderr] Compiling strsim v0.8.0 [INFO] [stderr] Compiling varisat v0.2.2 [INFO] [stderr] Compiling hashbrown v0.11.2 [INFO] [stderr] Compiling quote v1.0.8 [INFO] [stderr] Compiling quote v0.6.13 [INFO] [stderr] Compiling atty v0.2.14 [INFO] [stderr] Compiling yaml-rust v0.4.4 [INFO] [stderr] Compiling clap v2.33.3 [INFO] [stderr] Compiling jobserver v0.1.22 [INFO] [stderr] Compiling rand_core v0.5.1 [INFO] [stderr] Compiling fixedbitset v0.2.0 [INFO] [stderr] Compiling cc v1.0.69 [INFO] [stderr] Compiling dtoa v0.4.7 [INFO] [stderr] Compiling rand_chacha v0.2.2 [INFO] [stderr] Compiling leb128 v0.2.4 [INFO] [stderr] Compiling vec_mut_scan v0.3.0 [INFO] [stderr] Compiling num_cpus v1.13.0 [INFO] [stderr] Compiling rand v0.7.3 [INFO] [stderr] Compiling bit-vec v0.6.3 [INFO] [stderr] Compiling ordered-float v2.0.1 [INFO] [stderr] Compiling petgraph v0.5.1 [INFO] [stderr] Compiling regex v1.4.2 [INFO] [stderr] Compiling cadical v0.1.13 [INFO] [stderr] error: failed to run custom build command for `cadical v0.1.13` [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] process didn't exit successfully: `/opt/rustwide/target/debug/build/cadical-0d93053f4b683f65/build-script-build` (exit status: 1) [INFO] [stderr] --- stdout [INFO] [stderr] TARGET = Some("x86_64-unknown-linux-musl") [INFO] [stderr] HOST = Some("x86_64-unknown-linux-gnu") [INFO] [stderr] CXX_x86_64-unknown-linux-musl = None [INFO] [stderr] CXX_x86_64_unknown_linux_musl = None [INFO] [stderr] TARGET_CXX = None [INFO] [stderr] CXX = None [INFO] [stderr] CROSS_COMPILE = None [INFO] [stderr] CXXFLAGS_x86_64-unknown-linux-musl = None [INFO] [stderr] CXXFLAGS_x86_64_unknown_linux_musl = None [INFO] [stderr] TARGET_CXXFLAGS = None [INFO] [stderr] CXXFLAGS = None [INFO] [stderr] CRATE_CC_NO_DEFAULTS = None [INFO] [stderr] CARGO_CFG_TARGET_FEATURE = Some("fxsr,sse,sse2,x87") [INFO] [stderr] CXX_x86_64-unknown-linux-musl = None [INFO] [stderr] CXX_x86_64_unknown_linux_musl = None [INFO] [stderr] TARGET_CXX = None [INFO] [stderr] CXX = None [INFO] [stderr] CROSS_COMPILE = None [INFO] [stderr] CXXFLAGS_x86_64-unknown-linux-musl = None [INFO] [stderr] CXXFLAGS_x86_64_unknown_linux_musl = None [INFO] [stderr] TARGET_CXXFLAGS = None [INFO] [stderr] CXXFLAGS = None [INFO] [stderr] CRATE_CC_NO_DEFAULTS = None [INFO] [stderr] CARGO_CFG_TARGET_FEATURE = Some("fxsr,sse,sse2,x87") [INFO] [stderr] cargo:rerun-if-changed=src/ccadical.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/version.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/solver.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/internal.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/arena.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/proof.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/limit.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/options.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/stats.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/message.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/external.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/profile.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/terminal.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/clause.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/backtrack.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/phases.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/report.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/flags.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/solution.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/assume.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/queue.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/checker.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/score.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/lucky.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/propagate.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/analyze.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/ema.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/averages.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/minimize.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/extend.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/restore.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/walk.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/watch.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/decide.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/collect.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/var.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/condition.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/occs.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/subsume.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/elim.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/cover.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/block.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/backward.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/vivify.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/probe.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/decompose.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/rephase.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/reduce.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/gates.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/deduplicate.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/restart.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/ternary.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/transred.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/instantiate.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/bins.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/compact.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/contract.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/util.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/config.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/file.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/tracer.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/parse.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/format.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/resources.cpp [INFO] [stderr] cargo:rerun-if-changed=cadical/src/lookahead.cpp [INFO] [stderr] CXX_x86_64-unknown-linux-musl = None [INFO] [stderr] CXX_x86_64_unknown_linux_musl = None [INFO] [stderr] TARGET_CXX = None [INFO] [stderr] CXX = None [INFO] [stderr] CROSS_COMPILE = None [INFO] [stderr] CXXFLAGS_x86_64-unknown-linux-musl = None [INFO] [stderr] CXXFLAGS_x86_64_unknown_linux_musl = None [INFO] [stderr] TARGET_CXXFLAGS = None [INFO] [stderr] CXXFLAGS = None [INFO] [stderr] CRATE_CC_NO_DEFAULTS = None [INFO] [stderr] CARGO_CFG_TARGET_FEATURE = Some("fxsr,sse,sse2,x87") [INFO] [stderr] running: "musl-g++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/cadical-acdce2e660d8d5fe/out/src/ccadical.o" "-c" "src/ccadical.cpp" [INFO] [stderr] CXX_x86_64-unknown-linux-musl = None [INFO] [stderr] CXX_x86_64_unknown_linux_musl = None [INFO] [stderr] TARGET_CXX = None [INFO] [stderr] CXX = None [INFO] [stderr] CROSS_COMPILE = None [INFO] [stderr] CXXFLAGS_x86_64-unknown-linux-musl = None [INFO] [stderr] CXXFLAGS_x86_64_unknown_linux_musl = None [INFO] [stderr] TARGET_CXXFLAGS = None [INFO] [stderr] CXXFLAGS = None [INFO] [stderr] CRATE_CC_NO_DEFAULTS = None [INFO] [stderr] CARGO_CFG_TARGET_FEATURE = Some("fxsr,sse,sse2,x87") [INFO] [stderr] running: "musl-g++" "-O3" "-ffunction-sections" "-fdata-sections" "-fPIC" "-m64" "-Wall" "-Wextra" "-DNBUILD" "-DNUNLOCKED" "-DNTRACING" "-DQUIET" "-DVERSION=\"1.3.0\"" "-DNDEBUG" "-o" "/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/cadical-acdce2e660d8d5fe/out/cadical/src/version.o" "-c" "cadical/src/version.cpp" [INFO] [stderr] [INFO] [stderr] --- stderr [INFO] [stderr] [INFO] [stderr] [INFO] [stderr] error occurred: Failed to find tool. Is `musl-g++` installed? [INFO] [stderr] [INFO] [stderr] [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] running `Command { std: "docker" "inspect" "e669b51302303530862c9d5d6701827bebfb7bcd618f31a5d3b59efb233b8c98", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "e669b51302303530862c9d5d6701827bebfb7bcd618f31a5d3b59efb233b8c98", kill_on_drop: false }` [INFO] [stdout] e669b51302303530862c9d5d6701827bebfb7bcd618f31a5d3b59efb233b8c98