[INFO] cloning repository https://github.com/novafacing/yices2-rs
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/novafacing/yices2-rs" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fnovafacing%2Fyices2-rs", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fnovafacing%2Fyices2-rs'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] dd934423629b84b940c9dc29d19b9a617d18f976
[INFO] testing novafacing/yices2-rs against 1.80.0 for beta-1.81-2
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fnovafacing%2Fyices2-rs" "/workspace/builds/worker-6-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/novafacing/yices2-rs on toolchain 1.80.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.80.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] removed /workspace/builds/worker-6-tc1/source/.cargo/config.toml
[INFO] started tweaking git repo https://github.com/novafacing/yices2-rs
[INFO] finished tweaking git repo https://github.com/novafacing/yices2-rs
[INFO] tweaked toml for git repo https://github.com/novafacing/yices2-rs written to /workspace/builds/worker-6-tc1/source/Cargo.toml
[INFO] crate git repo https://github.com/novafacing/yices2-rs 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" "+1.80.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded ctor v0.2.4
[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:dff56e7819e73ed36160586b3445e93eb0be776c16704aeeded9c3fb668b2384" "/opt/rustwide/cargo-home/bin/cargo" "+1.80.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] a6b74c38e34a9f120e2a33dbf367e1d53f07387db49bddcd919f7dae38ad101f
[INFO] running `Command { std: "docker" "start" "-a" "a6b74c38e34a9f120e2a33dbf367e1d53f07387db49bddcd919f7dae38ad101f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "a6b74c38e34a9f120e2a33dbf367e1d53f07387db49bddcd919f7dae38ad101f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a6b74c38e34a9f120e2a33dbf367e1d53f07387db49bddcd919f7dae38ad101f", kill_on_drop: false }`
[INFO] [stdout] a6b74c38e34a9f120e2a33dbf367e1d53f07387db49bddcd919f7dae38ad101f
[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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:dff56e7819e73ed36160586b3445e93eb0be776c16704aeeded9c3fb668b2384" "/opt/rustwide/cargo-home/bin/cargo" "+1.80.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 57f724c09f4ff39a908856d5a0418fccf58c79e82db6924a096719c2e8b687fc
[INFO] running `Command { std: "docker" "start" "-a" "57f724c09f4ff39a908856d5a0418fccf58c79e82db6924a096719c2e8b687fc", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.147
[INFO] [stderr]    Compiling proc-macro2 v1.0.66
[INFO] [stderr]    Compiling unicode-ident v1.0.11
[INFO] [stderr]    Compiling cfg-if v1.0.0
[INFO] [stderr]    Compiling glob v0.3.1
[INFO] [stderr]    Compiling memchr v2.5.0
[INFO] [stderr]    Compiling pkg-config v0.3.27
[INFO] [stderr]    Compiling prettyplease v0.2.12
[INFO] [stderr]    Compiling minimal-lexical v0.2.1
[INFO] [stderr]    Compiling regex-syntax v0.7.4
[INFO] [stderr]    Compiling crc32fast v1.3.2
[INFO] [stderr]    Compiling libloading v0.7.4
[INFO] [stderr]    Compiling clang-sys v1.6.1
[INFO] [stderr]    Compiling adler v1.0.2
[INFO] [stderr]    Compiling anyhow v1.0.75
[INFO] [stderr]    Compiling bindgen v0.66.1
[INFO] [stderr]    Compiling either v1.9.0
[INFO] [stderr]    Compiling miniz_oxide v0.7.1
[INFO] [stderr]    Compiling quote v1.0.32
[INFO] [stderr]    Compiling nom v7.1.3
[INFO] [stderr]    Compiling rustc-hash v1.1.0
[INFO] [stderr]    Compiling cc v1.0.82
[INFO] [stderr]    Compiling syn v2.0.28
[INFO] [stderr]    Compiling xattr v1.0.1
[INFO] [stderr]    Compiling filetime v0.2.22
[INFO] [stderr]    Compiling which v4.4.0
[INFO] [stderr]    Compiling peeking_take_while v0.1.2
[INFO] [stderr]    Compiling bitflags v2.4.0
[INFO] [stderr]    Compiling log v0.4.20
[INFO] [stderr]    Compiling shlex v1.1.0
[INFO] [stderr]    Compiling lazy_static v1.4.0
[INFO] [stderr]    Compiling lazycell v1.3.0
[INFO] [stderr]    Compiling tar v0.4.40
[INFO] [stderr]    Compiling flate2 v1.0.27
[INFO] [stderr]    Compiling num_cpus v1.16.0
[INFO] [stderr]    Compiling paste v1.0.14
[INFO] [stderr]    Compiling regex-automata v0.3.6
[INFO] [stderr]    Compiling thiserror v1.0.46
[INFO] [stderr]    Compiling lzma-sys v0.1.20
[INFO] [stderr]    Compiling cexpr v0.6.0
[INFO] [stderr]    Compiling itertools v0.11.0
[INFO] [stderr]    Compiling xz2 v0.1.7
[INFO] [stderr]    Compiling xz v0.1.0
[INFO] [stderr]    Compiling regex v1.9.3
[INFO] [stderr]    Compiling thiserror-impl v1.0.46
[INFO] [stderr]    Compiling ctor v0.2.4
[INFO] [stderr]    Compiling yices2-sys v2.6.4-patch.1 (/opt/rustwide/workdir/yices2-sys)
[INFO] [stderr] error: failed to run custom build command for `yices2-sys v2.6.4-patch.1 (/opt/rustwide/workdir/yices2-sys)`
[INFO] [stderr] note: To improve backtraces for build dependencies, set the CARGO_PROFILE_DEV_BUILD_OVERRIDE_DEBUG=true environment variable to enable debug information generation.
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/target/debug/build/yices2-sys-bc7d69712d5d22c5/build-script-build` (exit status: 1)
[INFO] [stderr]   --- stdout
[INFO] [stderr]   cargo:rerun-if-changed=build.rs
[INFO] [stderr]   cargo:rerun-if-changed=third-party/*
[INFO] [stderr] 
[INFO] [stderr]   --- stderr
[INFO] [stderr]   Error: Command failed with status code exit status: 2:
[INFO] [stderr]   stdout: [  0%] Building C object src/CMakeFiles/poly.dir/utils/debug_trace.c.o
[INFO] [stderr]   [  1%] Building C object src/CMakeFiles/poly.dir/utils/assignment.c.o
[INFO] [stderr]   [  1%] Building C object src/CMakeFiles/poly.dir/utils/statistics.c.o
[INFO] [stderr]   [  2%] Building C object src/CMakeFiles/poly.dir/utils/output.c.o
[INFO] [stderr]   [  2%] Building C object src/CMakeFiles/poly.dir/utils/sign_condition.c.o
[INFO] [stderr]   [  3%] Building C object src/CMakeFiles/poly.dir/utils/u_memstream.c.o
[INFO] [stderr]   [  3%] Building C object src/CMakeFiles/poly.dir/number/integer.c.o
[INFO] [stderr]   [  4%] Building C object src/CMakeFiles/poly.dir/number/rational.c.o
[INFO] [stderr]   [  4%] Building C object src/CMakeFiles/poly.dir/number/dyadic_rational.c.o
[INFO] [stderr]   [  5%] Building C object src/CMakeFiles/poly.dir/number/algebraic_number.c.o
[INFO] [stderr]   [  5%] Building C object src/CMakeFiles/poly.dir/number/value.c.o
[INFO] [stderr]   [  6%] Building C object src/CMakeFiles/poly.dir/interval/interval.c.o
[INFO] [stderr]   [  6%] Building C object src/CMakeFiles/poly.dir/interval/arithmetic.c.o
[INFO] [stderr]   [  7%] Building C object src/CMakeFiles/poly.dir/variable/variable_db.c.o
[INFO] [stderr]   [  7%] Building C object src/CMakeFiles/poly.dir/variable/variable_list.c.o
[INFO] [stderr]   [  8%] Building C object src/CMakeFiles/poly.dir/variable/variable_order.c.o
[INFO] [stderr]   [  8%] Building C object src/CMakeFiles/poly.dir/upolynomial/umonomial.c.o
[INFO] [stderr]   [  9%] Building C object src/CMakeFiles/poly.dir/upolynomial/upolynomial.c.o
[INFO] [stderr]   [  9%] Building C object src/CMakeFiles/poly.dir/upolynomial/output.c.o
[INFO] [stderr]   [ 10%] Building C object src/CMakeFiles/poly.dir/upolynomial/upolynomial_dense.c.o
[INFO] [stderr]   [ 10%] Building C object src/CMakeFiles/poly.dir/upolynomial/bounds.c.o
[INFO] [stderr]   [ 11%] Building C object src/CMakeFiles/poly.dir/upolynomial/gcd.c.o
[INFO] [stderr]   [ 11%] Building C object src/CMakeFiles/poly.dir/upolynomial/factors.c.o
[INFO] [stderr]   [ 12%] Building C object src/CMakeFiles/poly.dir/upolynomial/factorization.c.o
[INFO] [stderr]   [ 12%] Building C object src/CMakeFiles/poly.dir/upolynomial/root_finding.c.o
[INFO] [stderr]   [ 13%] Building C object src/CMakeFiles/poly.dir/polynomial/monomial.c.o
[INFO] [stderr]   [ 13%] Building C object src/CMakeFiles/poly.dir/polynomial/coefficient.c.o
[INFO] [stderr]   [ 14%] Building C object src/CMakeFiles/poly.dir/polynomial/output.c.o
[INFO] [stderr]   [ 14%] Building C object src/CMakeFiles/poly.dir/polynomial/gcd.c.o
[INFO] [stderr]   [ 15%] Building C object src/CMakeFiles/poly.dir/polynomial/psc.c.o
[INFO] [stderr]   [ 15%] Building C object src/CMakeFiles/poly.dir/polynomial/factorization.c.o
[INFO] [stderr]   [ 16%] Building C object src/CMakeFiles/poly.dir/polynomial/polynomial.c.o
[INFO] [stderr]   [ 16%] Building C object src/CMakeFiles/poly.dir/polynomial/polynomial_context.c.o
[INFO] [stderr]   [ 17%] Building C object src/CMakeFiles/poly.dir/polynomial/feasibility_set.c.o
[INFO] [stderr]   [ 17%] Building C object src/CMakeFiles/poly.dir/polynomial/polynomial_hash_set.c.o
[INFO] [stderr]   [ 18%] Building C object src/CMakeFiles/poly.dir/polynomial/polynomial_vector.c.o
[INFO] [stderr]   [ 18%] Building C object src/CMakeFiles/poly.dir/poly.c.o
[INFO] [stderr]   [ 19%] Linking C shared library libpoly.so
[INFO] [stderr]   [ 19%] Built target poly
[INFO] [stderr]   [ 19%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/algebraic_number.cpp.o
[INFO] [stderr]   [ 20%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/assignment.cpp.o
[INFO] [stderr]   [ 20%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/context.cpp.o
[INFO] [stderr]   [ 21%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/dyadic_interval.cpp.o
[INFO] [stderr]   [ 21%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/dyadic_rational.cpp.o
[INFO] [stderr]   [ 22%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/integer_ring.cpp.o
[INFO] [stderr]   [ 22%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/integer.cpp.o
[INFO] [stderr]   [ 23%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/interval_assignment.cpp.o
[INFO] [stderr]   [ 23%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/interval.cpp.o
[INFO] [stderr]   [ 24%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/polynomial.cpp.o
[INFO] [stderr]   [ 24%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/polynomial_utils.cpp.o
[INFO] [stderr]   [ 25%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/rational.cpp.o
[INFO] [stderr]   [ 25%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/rational_interval.cpp.o
[INFO] [stderr]   [ 26%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/sign_condition.cpp.o
[INFO] [stderr]   [ 26%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/upolynomial.cpp.o
[INFO] [stderr]   [ 27%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/utils.cpp.o
[INFO] [stderr]   [ 27%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/value.cpp.o
[INFO] [stderr]   [ 28%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/variable.cpp.o
[INFO] [stderr]   [ 28%] Linking CXX shared library libpolyxx.so
[INFO] [stderr]   [ 28%] Built target polyxx
[INFO] [stderr]   [ 29%] Building C object src/CMakeFiles/static_poly.dir/utils/debug_trace.c.o
[INFO] [stderr]   [ 29%] Building C object src/CMakeFiles/static_poly.dir/utils/assignment.c.o
[INFO] [stderr]   [ 30%] Building C object src/CMakeFiles/static_poly.dir/utils/statistics.c.o
[INFO] [stderr]   [ 30%] Building C object src/CMakeFiles/static_poly.dir/utils/output.c.o
[INFO] [stderr]   [ 31%] Building C object src/CMakeFiles/static_poly.dir/utils/sign_condition.c.o
[INFO] [stderr]   [ 31%] Building C object src/CMakeFiles/static_poly.dir/utils/u_memstream.c.o
[INFO] [stderr]   [ 32%] Building C object src/CMakeFiles/static_poly.dir/number/integer.c.o
[INFO] [stderr]   [ 32%] Building C object src/CMakeFiles/static_poly.dir/number/rational.c.o
[INFO] [stderr]   [ 33%] Building C object src/CMakeFiles/static_poly.dir/number/dyadic_rational.c.o
[INFO] [stderr]   [ 33%] Building C object src/CMakeFiles/static_poly.dir/number/algebraic_number.c.o
[INFO] [stderr]   [ 34%] Building C object src/CMakeFiles/static_poly.dir/number/value.c.o
[INFO] [stderr]   [ 34%] Building C object src/CMakeFiles/static_poly.dir/interval/interval.c.o
[INFO] [stderr]   [ 35%] Building C object src/CMakeFiles/static_poly.dir/interval/arithmetic.c.o
[INFO] [stderr]   [ 35%] Building C object src/CMakeFiles/static_poly.dir/variable/variable_db.c.o
[INFO] [stderr]   [ 36%] Building C object src/CMakeFiles/static_poly.dir/variable/variable_list.c.o
[INFO] [stderr]   [ 36%] Building C object src/CMakeFiles/static_poly.dir/variable/variable_order.c.o
[INFO] [stderr]   [ 37%] Building C object src/CMakeFiles/static_poly.dir/upolynomial/umonomial.c.o
[INFO] [stderr]   [ 38%] Building C object src/CMakeFiles/static_poly.dir/upolynomial/upolynomial.c.o
[INFO] [stderr]   [ 38%] Building C object src/CMakeFiles/static_poly.dir/upolynomial/output.c.o
[INFO] [stderr]   [ 39%] Building C object src/CMakeFiles/static_poly.dir/upolynomial/upolynomial_dense.c.o
[INFO] [stderr]   [ 39%] Building C object src/CMakeFiles/static_poly.dir/upolynomial/bounds.c.o
[INFO] [stderr]   [ 40%] Building C object src/CMakeFiles/static_poly.dir/upolynomial/gcd.c.o
[INFO] [stderr]   [ 40%] Building C object src/CMakeFiles/static_poly.dir/upolynomial/factors.c.o
[INFO] [stderr]   [ 41%] Building C object src/CMakeFiles/static_poly.dir/upolynomial/factorization.c.o
[INFO] [stderr]   [ 41%] Building C object src/CMakeFiles/static_poly.dir/upolynomial/root_finding.c.o
[INFO] [stderr]   [ 42%] Building C object src/CMakeFiles/static_poly.dir/polynomial/monomial.c.o
[INFO] [stderr]   [ 42%] Building C object src/CMakeFiles/static_poly.dir/polynomial/coefficient.c.o
[INFO] [stderr]   [ 43%] Building C object src/CMakeFiles/static_poly.dir/polynomial/output.c.o
[INFO] [stderr]   [ 43%] Building C object src/CMakeFiles/static_poly.dir/polynomial/gcd.c.o
[INFO] [stderr]   [ 44%] Building C object src/CMakeFiles/static_poly.dir/polynomial/psc.c.o
[INFO] [stderr]   [ 44%] Building C object src/CMakeFiles/static_poly.dir/polynomial/factorization.c.o
[INFO] [stderr]   [ 45%] Building C object src/CMakeFiles/static_poly.dir/polynomial/polynomial.c.o
[INFO] [stderr]   [ 45%] Building C object src/CMakeFiles/static_poly.dir/polynomial/polynomial_context.c.o
[INFO] [stderr]   [ 46%] Building C object src/CMakeFiles/static_poly.dir/polynomial/feasibility_set.c.o
[INFO] [stderr]   [ 46%] Building C object src/CMakeFiles/static_poly.dir/polynomial/polynomial_hash_set.c.o
[INFO] [stderr]   [ 47%] Building C object src/CMakeFiles/static_poly.dir/polynomial/polynomial_vector.c.o
[INFO] [stderr]   [ 47%] Building C object src/CMakeFiles/static_poly.dir/poly.c.o
[INFO] [stderr]   [ 48%] Linking C static library libpoly.a
[INFO] [stderr]   [ 48%] Built target static_poly
[INFO] [stderr]   [ 48%] Building CXX object src/CMakeFiles/static_polyxx.dir/polyxx/algebraic_number.cpp.o
[INFO] [stderr]   [ 49%] Building CXX object src/CMakeFiles/static_polyxx.dir/polyxx/assignment.cpp.o
[INFO] [stderr]   [ 49%] Building CXX object src/CMakeFiles/static_polyxx.dir/polyxx/context.cpp.o
[INFO] [stderr]   [ 50%] Building CXX object src/CMakeFiles/static_polyxx.dir/polyxx/dyadic_interval.cpp.o
[INFO] [stderr]   [ 50%] Building CXX object src/CMakeFiles/static_polyxx.dir/polyxx/dyadic_rational.cpp.o
[INFO] [stderr]   [ 51%] Building CXX object src/CMakeFiles/static_polyxx.dir/polyxx/integer_ring.cpp.o
[INFO] [stderr]   [ 51%] Building CXX object src/CMakeFiles/static_polyxx.dir/polyxx/integer.cpp.o
[INFO] [stderr]   [ 52%] Building CXX object src/CMakeFiles/static_polyxx.dir/polyxx/interval_assignment.cpp.o
[INFO] [stderr]   [ 52%] Building CXX object src/CMakeFiles/static_polyxx.dir/polyxx/interval.cpp.o
[INFO] [stderr]   [ 53%] Building CXX object src/CMakeFiles/static_polyxx.dir/polyxx/polynomial.cpp.o
[INFO] [stderr]   [ 53%] Building CXX object src/CMakeFiles/static_polyxx.dir/polyxx/polynomial_utils.cpp.o
[INFO] [stderr]   [ 54%] Building CXX object src/CMakeFiles/static_polyxx.dir/polyxx/rational.cpp.o
[INFO] [stderr]   [ 54%] Building CXX object src/CMakeFiles/static_polyxx.dir/polyxx/rational_interval.cpp.o
[INFO] [stderr]   [ 55%] Building CXX object src/CMakeFiles/static_polyxx.dir/polyxx/sign_condition.cpp.o
[INFO] [stderr]   [ 55%] Building CXX object src/CMakeFiles/static_polyxx.dir/polyxx/upolynomial.cpp.o
[INFO] [stderr]   [ 56%] Building CXX object src/CMakeFiles/static_polyxx.dir/polyxx/utils.cpp.o
[INFO] [stderr]   [ 56%] Building CXX object src/CMakeFiles/static_polyxx.dir/polyxx/value.cpp.o
[INFO] [stderr]   [ 57%] Building CXX object src/CMakeFiles/static_polyxx.dir/polyxx/variable.cpp.o
[INFO] [stderr]   [ 57%] Linking CXX static library libpolyxx.a
[INFO] [stderr]   [ 57%] Built target static_polyxx
[INFO] [stderr]   [ 58%] Building C object src/CMakeFiles/static_pic_poly.dir/utils/debug_trace.c.o
[INFO] [stderr]   [ 58%] Building C object src/CMakeFiles/static_pic_poly.dir/utils/assignment.c.o
[INFO] [stderr]   [ 59%] Building C object src/CMakeFiles/static_pic_poly.dir/utils/statistics.c.o
[INFO] [stderr]   [ 59%] Building C object src/CMakeFiles/static_pic_poly.dir/utils/output.c.o
[INFO] [stderr]   [ 60%] Building C object src/CMakeFiles/static_pic_poly.dir/utils/sign_condition.c.o
[INFO] [stderr]   [ 60%] Building C object src/CMakeFiles/static_pic_poly.dir/utils/u_memstream.c.o
[INFO] [stderr]   [ 61%] Building C object src/CMakeFiles/static_pic_poly.dir/number/integer.c.o
[INFO] [stderr]   [ 61%] Building C object src/CMakeFiles/static_pic_poly.dir/number/rational.c.o
[INFO] [stderr]   [ 62%] Building C object src/CMakeFiles/static_pic_poly.dir/number/dyadic_rational.c.o
[INFO] [stderr]   [ 63%] Building C object src/CMakeFiles/static_pic_poly.dir/number/algebraic_number.c.o
[INFO] [stderr]   [ 63%] Building C object src/CMakeFiles/static_pic_poly.dir/number/value.c.o
[INFO] [stderr]   [ 64%] Building C object src/CMakeFiles/static_pic_poly.dir/interval/interval.c.o
[INFO] [stderr]   [ 64%] Building C object src/CMakeFiles/static_pic_poly.dir/interval/arithmetic.c.o
[INFO] [stderr]   [ 65%] Building C object src/CMakeFiles/static_pic_poly.dir/variable/variable_db.c.o
[INFO] [stderr]   [ 65%] Building C object src/CMakeFiles/static_pic_poly.dir/variable/variable_list.c.o
[INFO] [stderr]   [ 66%] Building C object src/CMakeFiles/static_pic_poly.dir/variable/variable_order.c.o
[INFO] [stderr]   [ 66%] Building C object src/CMakeFiles/static_pic_poly.dir/upolynomial/umonomial.c.o
[INFO] [stderr]   [ 67%] Building C object src/CMakeFiles/static_pic_poly.dir/upolynomial/upolynomial.c.o
[INFO] [stderr]   [ 67%] Building C object src/CMakeFiles/static_pic_poly.dir/upolynomial/output.c.o
[INFO] [stderr]   [ 68%] Building C object src/CMakeFiles/static_pic_poly.dir/upolynomial/upolynomial_dense.c.o
[INFO] [stderr]   [ 68%] Building C object src/CMakeFiles/static_pic_poly.dir/upolynomial/bounds.c.o
[INFO] [stderr]   [ 69%] Building C object src/CMakeFiles/static_pic_poly.dir/upolynomial/gcd.c.o
[INFO] [stderr]   [ 69%] Building C object src/CMakeFiles/static_pic_poly.dir/upolynomial/factors.c.o
[INFO] [stderr]   [ 70%] Building C object src/CMakeFiles/static_pic_poly.dir/upolynomial/factorization.c.o
[INFO] [stderr]   [ 70%] Building C object src/CMakeFiles/static_pic_poly.dir/upolynomial/root_finding.c.o
[INFO] [stderr]   [ 71%] Building C object src/CMakeFiles/static_pic_poly.dir/polynomial/monomial.c.o
[INFO] [stderr]   [ 71%] Building C object src/CMakeFiles/static_pic_poly.dir/polynomial/coefficient.c.o
[INFO] [stderr]   [ 72%] Building C object src/CMakeFiles/static_pic_poly.dir/polynomial/output.c.o
[INFO] [stderr]   [ 72%] Building C object src/CMakeFiles/static_pic_poly.dir/polynomial/gcd.c.o
[INFO] [stderr]   [ 73%] Building C object src/CMakeFiles/static_pic_poly.dir/polynomial/psc.c.o
[INFO] [stderr]   [ 73%] Building C object src/CMakeFiles/static_pic_poly.dir/polynomial/factorization.c.o
[INFO] [stderr]   [ 74%] Building C object src/CMakeFiles/static_pic_poly.dir/polynomial/polynomial.c.o
[INFO] [stderr]   [ 74%] Building C object src/CMakeFiles/static_pic_poly.dir/polynomial/polynomial_context.c.o
[INFO] [stderr]   [ 75%] Building C object src/CMakeFiles/static_pic_poly.dir/polynomial/feasibility_set.c.o
[INFO] [stderr]   [ 75%] Building C object src/CMakeFiles/static_pic_poly.dir/polynomial/polynomial_hash_set.c.o
[INFO] [stderr]   [ 76%] Building C object src/CMakeFiles/static_pic_poly.dir/polynomial/polynomial_vector.c.o
[INFO] [stderr]   [ 76%] Building C object src/CMakeFiles/static_pic_poly.dir/poly.c.o
[INFO] [stderr]   [ 77%] Linking C static library libpicpoly.a
[INFO] [stderr]   [ 77%] Built target static_pic_poly
[INFO] [stderr]   [ 77%] Building CXX object src/CMakeFiles/static_pic_polyxx.dir/polyxx/algebraic_number.cpp.o
[INFO] [stderr]   [ 78%] Building CXX object src/CMakeFiles/static_pic_polyxx.dir/polyxx/assignment.cpp.o
[INFO] [stderr]   [ 78%] Building CXX object src/CMakeFiles/static_pic_polyxx.dir/polyxx/context.cpp.o
[INFO] [stderr]   [ 79%] Building CXX object src/CMakeFiles/static_pic_polyxx.dir/polyxx/dyadic_interval.cpp.o
[INFO] [stderr]   [ 79%] Building CXX object src/CMakeFiles/static_pic_polyxx.dir/polyxx/dyadic_rational.cpp.o
[INFO] [stderr]   [ 80%] Building CXX object src/CMakeFiles/static_pic_polyxx.dir/polyxx/integer_ring.cpp.o
[INFO] [stderr]   [ 80%] Building CXX object src/CMakeFiles/static_pic_polyxx.dir/polyxx/integer.cpp.o
[INFO] [stderr]   [ 81%] Building CXX object src/CMakeFiles/static_pic_polyxx.dir/polyxx/interval_assignment.cpp.o
[INFO] [stderr]   [ 81%] Building CXX object src/CMakeFiles/static_pic_polyxx.dir/polyxx/interval.cpp.o
[INFO] [stderr]   [ 82%] Building CXX object src/CMakeFiles/static_pic_polyxx.dir/polyxx/polynomial.cpp.o
[INFO] [stderr]   [ 82%] Building CXX object src/CMakeFiles/static_pic_polyxx.dir/polyxx/polynomial_utils.cpp.o
[INFO] [stderr]   [ 83%] Building CXX object src/CMakeFiles/static_pic_polyxx.dir/polyxx/rational.cpp.o
[INFO] [stderr]   [ 83%] Building CXX object src/CMakeFiles/static_pic_polyxx.dir/polyxx/rational_interval.cpp.o
[INFO] [stderr]   [ 84%] Building CXX object src/CMakeFiles/static_pic_polyxx.dir/polyxx/sign_condition.cpp.o
[INFO] [stderr]   [ 84%] Building CXX object src/CMakeFiles/static_pic_polyxx.dir/polyxx/upolynomial.cpp.o
[INFO] [stderr]   [ 85%] Building CXX object src/CMakeFiles/static_pic_polyxx.dir/polyxx/utils.cpp.o
[INFO] [stderr]   [ 85%] Building CXX object src/CMakeFiles/static_pic_polyxx.dir/polyxx/value.cpp.o
[INFO] [stderr]   [ 86%] Building CXX object src/CMakeFiles/static_pic_polyxx.dir/polyxx/variable.cpp.o
[INFO] [stderr]   [ 86%] Linking CXX static library libpicpolyxx.a
[INFO] [stderr]   [ 86%] Built target static_pic_polyxx
[INFO] [stderr]   [ 87%] Building CXX object test/polyxx/CMakeFiles/test_algebraic_number.dir/test_algebraic_number.cpp.o
[INFO] [stderr]   [ 87%] Linking CXX executable test_algebraic_number
[INFO] [stderr]   [ 87%] Built target test_algebraic_number
[INFO] [stderr]   [ 88%] Building CXX object test/polyxx/CMakeFiles/test_assignment.dir/test_assignment.cpp.o
[INFO] [stderr] 
[INFO] [stderr]   stderr: fatal error: error in backend: IO failure on output stream: No space left on device
[INFO] [stderr]   PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace, preprocessed source, and associated run script.
[INFO] [stderr]   Stack dump:
[INFO] [stderr]   0.	Program arguments: /usr/bin/clang++ -DHAVE_OPEN_MEMSTREAM -I/opt/rustwide/target/debug/build/yices2-sys-17739891e6a21c4a/out/libpoly-0.1.13/include -I/opt/rustwide/target/debug/build/yices2-sys-17739891e6a21c4a/out/prefix/include -Wall -Werror -Wextra -std=c++11 -O3 -DNDEBUG -MD -MT test/polyxx/CMakeFiles/test_assignment.dir/test_assignment.cpp.o -MF CMakeFiles/test_assignment.dir/test_assignment.cpp.o.d -o CMakeFiles/test_assignment.dir/test_assignment.cpp.o -c /opt/rustwide/target/debug/build/yices2-sys-17739891e6a21c4a/out/libpoly-0.1.13/test/polyxx/test_assignment.cpp
[INFO] [stderr]   1.	<eof> parser at end of file
[INFO] [stderr]   gmake[2]: *** [test/polyxx/CMakeFiles/test_assignment.dir/build.make:76: test/polyxx/CMakeFiles/test_assignment.dir/test_assignment.cpp.o] Error 1
[INFO] [stderr]   gmake[1]: *** [CMakeFiles/Makefile2:352: test/polyxx/CMakeFiles/test_assignment.dir/all] Error 2
[INFO] [stderr]   gmake: *** [Makefile:146: all] Error 2
[INFO] [stderr] 
[INFO] running `Command { std: "docker" "inspect" "57f724c09f4ff39a908856d5a0418fccf58c79e82db6924a096719c2e8b687fc", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "57f724c09f4ff39a908856d5a0418fccf58c79e82db6924a096719c2e8b687fc", kill_on_drop: false }`
[INFO] [stdout] 57f724c09f4ff39a908856d5a0418fccf58c79e82db6924a096719c2e8b687fc
[INFO] testing novafacing/yices2-rs against beta-2024-07-26 for beta-1.81-2
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fnovafacing%2Fyices2-rs" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file yices2-sys/third-party/cudd-3.0.0.tar.gz
[INFO] [stderr] error: unable to write file yices2-sys/third-party/gmp-6.3.0.tar.xz
[INFO] [stderr] error: unable to write file yices2-sys/third-party/libpoly-0.1.13.tar.gz
[INFO] [stderr] error: unable to write file yices2-sys/third-party/yices-2.6.4-src.tar.gz
[INFO] [stderr] fatal: cannot create directory at 'yices2': No space left on device
[INFO] [stderr] warning: Clone succeeded, but checkout failed.
[INFO] [stderr] You can inspect what was checked out with 'git status'
[INFO] [stderr] and retry with 'git restore --source=HEAD :/'
[INFO] [stderr] 
[INFO] testing novafacing/yices2-rs against beta-2024-07-26 for beta-1.81-2
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fnovafacing%2Fyices2-rs" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file yices2-sys/third-party/cudd-3.0.0.tar.gz
[INFO] [stderr] error: unable to write file yices2-sys/third-party/gmp-6.3.0.tar.xz
[INFO] [stderr] error: unable to write file yices2-sys/third-party/libpoly-0.1.13.tar.gz
[INFO] [stderr] error: unable to write file yices2-sys/third-party/yices-2.6.4-src.tar.gz
[INFO] [stderr] fatal: cannot create directory at 'yices2': No space left on device
[INFO] [stderr] warning: Clone succeeded, but checkout failed.
[INFO] [stderr] You can inspect what was checked out with 'git status'
[INFO] [stderr] and retry with 'git restore --source=HEAD :/'
[INFO] [stderr] 
[INFO] testing novafacing/yices2-rs against beta-2024-07-26 for beta-1.81-2
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fnovafacing%2Fyices2-rs" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file yices2-sys/third-party/cudd-3.0.0.tar.gz
[INFO] [stderr] error: unable to write file yices2-sys/third-party/gmp-6.3.0.tar.xz
[INFO] [stderr] error: unable to write file yices2-sys/third-party/libpoly-0.1.13.tar.gz
[INFO] [stderr] error: unable to write file yices2-sys/third-party/yices-2.6.4-src.tar.gz
[INFO] [stderr] fatal: cannot create directory at 'yices2': No space left on device
[INFO] [stderr] warning: Clone succeeded, but checkout failed.
[INFO] [stderr] You can inspect what was checked out with 'git status'
[INFO] [stderr] and retry with 'git restore --source=HEAD :/'
[INFO] [stderr] 
[INFO] testing novafacing/yices2-rs against beta-2024-07-26 for beta-1.81-2
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fnovafacing%2Fyices2-rs" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file yices2-sys/third-party/cudd-3.0.0.tar.gz
[INFO] [stderr] error: unable to write file yices2-sys/third-party/gmp-6.3.0.tar.xz
[INFO] [stderr] error: unable to write file yices2-sys/third-party/libpoly-0.1.13.tar.gz
[INFO] [stderr] error: unable to write file yices2-sys/third-party/yices-2.6.4-src.tar.gz
[INFO] [stderr] fatal: cannot create directory at 'yices2': No space left on device
[INFO] [stderr] warning: Clone succeeded, but checkout failed.
[INFO] [stderr] You can inspect what was checked out with 'git status'
[INFO] [stderr] and retry with 'git restore --source=HEAD :/'
[INFO] [stderr] 
[INFO] testing novafacing/yices2-rs against beta-2024-07-26 for beta-1.81-2
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fnovafacing%2Fyices2-rs" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file yices2-sys/third-party/cudd-3.0.0.tar.gz
[INFO] [stderr] error: unable to write file yices2-sys/third-party/gmp-6.3.0.tar.xz
[INFO] [stderr] error: unable to write file yices2-sys/third-party/libpoly-0.1.13.tar.gz
[INFO] [stderr] error: unable to write file yices2-sys/third-party/yices-2.6.4-src.tar.gz
[INFO] [stderr] fatal: cannot create directory at 'yices2': No space left on device
[INFO] [stderr] warning: Clone succeeded, but checkout failed.
[INFO] [stderr] You can inspect what was checked out with 'git status'
[INFO] [stderr] and retry with 'git restore --source=HEAD :/'
[INFO] [stderr] 
[ERROR] this task or one of its parent failed!
[ERROR] failed to checkout https://github.com/novafacing/yices2-rs
[ERROR] caused by: command failed: exit status: 128
[ERROR] note: run with `RUST_BACKTRACE=1` to display a backtrace.