[INFO] cloning repository https://github.com/maartenflippo/limiga
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/maartenflippo/limiga" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmaartenflippo%2Flimiga", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmaartenflippo%2Flimiga'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 663f69c8f2e20e5dd063572e0995442f5320dc0a
[INFO] testing maartenflippo/limiga against master#1871252fc8bb672d40787e67404e6eaae7059369 for pr-125151
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmaartenflippo%2Flimiga" "/workspace/builds/worker-7-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/maartenflippo/limiga on toolchain 1871252fc8bb672d40787e67404e6eaae7059369
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1871252fc8bb672d40787e67404e6eaae7059369" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/maartenflippo/limiga
[INFO] finished tweaking git repo https://github.com/maartenflippo/limiga
[INFO] tweaked toml for git repo https://github.com/maartenflippo/limiga written to /workspace/builds/worker-7-tc1/source/Cargo.toml
[INFO] crate git repo https://github.com/maartenflippo/limiga 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" "+1871252fc8bb672d40787e67404e6eaae7059369" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded flatzinc-serde v0.1.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:59a85a07ab18ca8720692f8e61effa1c651d9e2ca591e072c2b212bb91a6b8b5" "/opt/rustwide/cargo-home/bin/cargo" "+1871252fc8bb672d40787e67404e6eaae7059369" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 0fc2bea7d7ada5ae86e6d096bf37fdb57bdcfd11afdf148530999eefd86e33c9
[INFO] running `Command { std: "docker" "start" "-a" "0fc2bea7d7ada5ae86e6d096bf37fdb57bdcfd11afdf148530999eefd86e33c9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "0fc2bea7d7ada5ae86e6d096bf37fdb57bdcfd11afdf148530999eefd86e33c9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0fc2bea7d7ada5ae86e6d096bf37fdb57bdcfd11afdf148530999eefd86e33c9", kill_on_drop: false }`
[INFO] [stdout] 0fc2bea7d7ada5ae86e6d096bf37fdb57bdcfd11afdf148530999eefd86e33c9
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:59a85a07ab18ca8720692f8e61effa1c651d9e2ca591e072c2b212bb91a6b8b5" "/opt/rustwide/cargo-home/bin/cargo" "+1871252fc8bb672d40787e67404e6eaae7059369" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 2f6eb9e1a53e9a6f6185462742281bec593494cb87bccb63c45524770be1fee0
[INFO] running `Command { std: "docker" "start" "-a" "2f6eb9e1a53e9a6f6185462742281bec593494cb87bccb63c45524770be1fee0", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.78
[INFO] [stderr]    Compiling unicode-ident v1.0.12
[INFO] [stderr]    Compiling thiserror v1.0.49
[INFO] [stderr]    Compiling radium v0.7.0
[INFO] [stderr]    Compiling serde v1.0.195
[INFO] [stderr]    Compiling libc v0.2.149
[INFO] [stderr]    Compiling utf8parse v0.2.1
[INFO] [stderr]    Compiling memchr v2.6.4
[INFO] [stderr]    Compiling tap v1.0.1
[INFO] [stderr]    Compiling rustix v0.38.17
[INFO] [stderr]    Compiling colorchoice v1.0.0
[INFO] [stderr]    Compiling anstyle-query v1.0.0
[INFO] [stderr]    Compiling bitflags v2.4.0
[INFO] [stderr]    Compiling funty v2.0.0
[INFO] [stderr]    Compiling regex-syntax v0.7.5
[INFO] [stderr]    Compiling log v0.4.20
[INFO] [stderr]    Compiling anstyle-parse v0.2.1
[INFO] [stderr]    Compiling linux-raw-sys v0.4.8
[INFO] [stderr]    Compiling wyz v0.5.1
[INFO] [stderr]    Compiling anstyle v1.0.3
[INFO] [stderr]    Compiling strsim v0.10.0
[INFO] [stderr]    Compiling serde_json v1.0.111
[INFO] [stderr]    Compiling heck v0.4.1
[INFO] [stderr]    Compiling anyhow v1.0.79
[INFO] [stderr]    Compiling anstream v0.5.0
[INFO] [stderr]    Compiling clap_lex v0.5.1
[INFO] [stderr]    Compiling signal-hook v0.3.17
[INFO] [stderr]    Compiling humantime v2.1.0
[INFO] [stderr]    Compiling termcolor v1.3.0
[INFO] [stderr]    Compiling ryu v1.0.16
[INFO] [stderr]    Compiling itoa v1.0.10
[INFO] [stderr]    Compiling clap_builder v4.4.5
[INFO] [stderr]    Compiling bitvec v1.0.1
[INFO] [stderr]    Compiling aho-corasick v1.1.1
[INFO] [stderr]    Compiling quote v1.0.35
[INFO] [stderr]    Compiling syn v2.0.48
[INFO] [stderr]    Compiling signal-hook-registry v1.4.1
[INFO] [stderr]    Compiling is-terminal v0.4.9
[INFO] [stderr]    Compiling regex-automata v0.3.9
[INFO] [stderr]    Compiling thiserror-impl v1.0.49
[INFO] [stderr]    Compiling serde_derive v1.0.195
[INFO] [stderr]    Compiling clap_derive v4.4.2
[INFO] [stderr]    Compiling regex v1.9.6
[INFO] [stderr]    Compiling env_logger v0.10.0
[INFO] [stderr]    Compiling limiga-core v0.1.0 (/opt/rustwide/workdir/crates/core)
[INFO] [stderr]    Compiling limiga-dimacs v0.1.0 (/opt/rustwide/workdir/crates/dimacs)
[INFO] [stderr]    Compiling limiga-constraints v0.1.0 (/opt/rustwide/workdir/crates/constraints)
[INFO] [stderr]    Compiling clap v4.4.5
[INFO] [stderr]    Compiling flatzinc-serde v0.1.0
[INFO] [stderr]    Compiling limiga v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: method `resolve_bool_variable_argument` is never used
[INFO] [stdout]    --> src/flatzinc.rs:355:8
[INFO] [stdout]     |
[INFO] [stdout] 283 | trait AstExt {
[INFO] [stdout]     |       ------ method in this trait
[INFO] [stdout] ...
[INFO] [stdout] 355 |     fn resolve_bool_variable_argument(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 17.16s
[INFO] running `Command { std: "docker" "inspect" "2f6eb9e1a53e9a6f6185462742281bec593494cb87bccb63c45524770be1fee0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "2f6eb9e1a53e9a6f6185462742281bec593494cb87bccb63c45524770be1fee0", kill_on_drop: false }`
[INFO] [stdout] 2f6eb9e1a53e9a6f6185462742281bec593494cb87bccb63c45524770be1fee0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:59a85a07ab18ca8720692f8e61effa1c651d9e2ca591e072c2b212bb91a6b8b5" "/opt/rustwide/cargo-home/bin/cargo" "+1871252fc8bb672d40787e67404e6eaae7059369" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] cc8bd933838baa1abf0e739a427afd0bf40834aab3ac235185f398476c1963f9
[INFO] running `Command { std: "docker" "start" "-a" "cc8bd933838baa1abf0e739a427afd0bf40834aab3ac235185f398476c1963f9", kill_on_drop: false }`
[INFO] [stderr]    Compiling limiga-model v0.1.0 (/opt/rustwide/workdir/crates/model)
[INFO] [stdout] warning: method `resolve_bool_variable_argument` is never used
[INFO] [stdout]    --> src/flatzinc.rs:355:8
[INFO] [stdout]     |
[INFO] [stdout] 283 | trait AstExt {
[INFO] [stdout]     |       ------ method in this trait
[INFO] [stdout] ...
[INFO] [stdout] 355 |     fn resolve_bool_variable_argument(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling limiga v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: method `resolve_bool_variable_argument` is never used
[INFO] [stdout]    --> src/flatzinc.rs:355:8
[INFO] [stdout]     |
[INFO] [stdout] 283 | trait AstExt {
[INFO] [stdout]     |       ------ method in this trait
[INFO] [stdout] ...
[INFO] [stdout] 355 |     fn resolve_bool_variable_argument(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 1.79s
[INFO] running `Command { std: "docker" "inspect" "cc8bd933838baa1abf0e739a427afd0bf40834aab3ac235185f398476c1963f9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "cc8bd933838baa1abf0e739a427afd0bf40834aab3ac235185f398476c1963f9", kill_on_drop: false }`
[INFO] [stdout] cc8bd933838baa1abf0e739a427afd0bf40834aab3ac235185f398476c1963f9
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:59a85a07ab18ca8720692f8e61effa1c651d9e2ca591e072c2b212bb91a6b8b5" "/opt/rustwide/cargo-home/bin/cargo" "+1871252fc8bb672d40787e67404e6eaae7059369" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] c5c7ea2ead74f6c119bd6d7430b58fec7e7eefb6c595a775dcf71a1af27ee7c4
[INFO] running `Command { std: "docker" "start" "-a" "c5c7ea2ead74f6c119bd6d7430b58fec7e7eefb6c595a775dcf71a1af27ee7c4", kill_on_drop: false }`
[INFO] [stderr] warning: method `resolve_bool_variable_argument` is never used
[INFO] [stderr]    --> src/flatzinc.rs:355:8
[INFO] [stderr]     |
[INFO] [stderr] 283 | trait AstExt {
[INFO] [stderr]     |       ------ method in this trait
[INFO] [stderr] ...
[INFO] [stderr] 355 |     fn resolve_bool_variable_argument(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(dead_code)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: `limiga` (lib) generated 1 warning
[INFO] [stderr] warning: `limiga` (lib test) generated 1 warning (1 duplicate)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.05s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/limiga-4eec7d333d1bace1)
[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 unittests src/main.rs (/opt/rustwide/target/debug/deps/limiga-0c089c2ee0acc71d)
[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/cnf.rs (/opt/rustwide/target/debug/deps/cnf-c7fb9a068ce9e28d)
[INFO] [stdout] 
[INFO] [stdout] running 84 tests
[INFO] [stdout] test empty ... ok
[INFO] [stdout] test elimredundant ... ok
[INFO] [stdout] test elimclash ... ok
[INFO] [stdout] test block0 ... ok
[INFO] [stdout] test full1 ... ok
[INFO] [stdout] test full2 ... ok
[INFO] [stdout] test full3 ... ok
[INFO] [stdout] test full4 ... ok
[INFO] [stdout] test ph3 ... ok
[INFO] [stdout] test ph2 ... ok
[INFO] [stdout] test full5 ... ok
[INFO] [stdout] test ph4 ... ok
[INFO] [stdout] test full6 ... ok
[INFO] [stdout] test add4 ... ok
[INFO] [stdout] test full7 ... ok
[INFO] [stdout] test prime169 ... ok
[INFO] [stdout] test factor2708413pos ... ok
[INFO] [stdout] test ph5 ... ok
[INFO] [stdout] test prime4 ... ok
[INFO] [stdout] test prime121 ... ok
[INFO] [stdout] test add8 ... ok
[INFO] [stdout] test prime49 ... ok
[INFO] [stdout] test prime25 ... ok
[INFO] [stdout] test prime289 ... ok
[INFO] [stdout] test prime9 ... ok
[INFO] [stdout] test prime529 ... ok
[INFO] [stdout] test prime361 ... ok
[INFO] [stdout] test regr000 ... ok
[INFO] [stdout] test sat0 ... ok
[INFO] [stdout] test sat1 ... ok
[INFO] [stdout] test sat10 ... ok
[INFO] [stdout] test sat11 ... ok
[INFO] [stdout] test sat2 ... ok
[INFO] [stdout] test sat3 ... ok
[INFO] [stdout] test sat4 ... ok
[INFO] [stdout] test sat12 ... ok
[INFO] [stdout] test sat13 ... ok
[INFO] [stdout] test sat5 ... ok
[INFO] [stdout] test sat6 ... ok
[INFO] [stdout] test sat8 ... ok
[INFO] [stdout] test sat7 ... ok
[INFO] [stdout] test sqrt10201 ... ok
[INFO] [stdout] test sat9 ... ok
[INFO] [stdout] test prime1369 ... ok
[INFO] [stdout] test sqrt10609 ... ok
[INFO] [stdout] test sqrt11449 ... ok
[INFO] [stdout] test prime961 ... ok
[INFO] [stdout] test sqrt1042441 ... ok
[INFO] [stdout] test sqrt16129 ... ok
[INFO] [stdout] test sqrt12769 ... ok
[INFO] [stdout] test sqrt2809 ... ok
[INFO] [stdout] test sqrt11881 ... ok
[INFO] [stdout] test sqrt3481 ... ok
[INFO] [stdout] test sqrt4489 ... ok
[INFO] [stdout] test sqrt3721 ... ok
[INFO] [stdout] test sqrt259081 ... ok
[INFO] [stdout] test sqrt5041 ... ok
[INFO] [stdout] test sqrt5329 ... ok
[INFO] [stdout] test prime2209 ... ok
[INFO] [stdout] test sqrt63001 ... ok
[INFO] [stdout] test trivially_false ... ok
[INFO] [stdout] test unit0 ... ok
[INFO] [stdout] test unit1 ... ok
[INFO] [stdout] test unit2 ... ok
[INFO] [stdout] test sqrt7921 ... ok
[INFO] [stdout] test unit3 ... ok
[INFO] [stdout] test unit4 ... ok
[INFO] [stdout] test unit5 ... ok
[INFO] [stdout] test unit6 ... ok
[INFO] [stdout] test unit7 ... ok
[INFO] [stdout] test sqrt6889 ... ok
[INFO] [stdout] test add16 ... ok
[INFO] [stdout] test sub0 ... ok
[INFO] [stdout] test sqrt6241 ... ok
[INFO] [stdout] test sqrt9409 ... ok
[INFO] [stdout] test ph6 ... ok
[INFO] [stdout] test prime1849 ... ok
[INFO] [stdout] test prime841 ... ok
[INFO] [stdout] test prime1681 ... ok
[INFO] [stdout] test factor2708413neg ... ok
[INFO] [stdout] test prime65537 ... ok
[INFO] [stdout] test add32 ... ok
[INFO] [stdout] test add64 ... ok
[INFO] [stdout] test add128 ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- add128 stdout ----
[INFO] [stdout] thread 'add128' panicked at tests/cnf.rs:47:1:
[INFO] [stdout] instance timed out after 30 seconds
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x55569c192285 - std::backtrace_rs::backtrace::libunwind::trace::h59d96bdb08384354
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/../../backtrace/src/backtrace/libunwind.rs:105:5
[INFO] [stdout]    1:     0x55569c192285 - std::backtrace_rs::backtrace::trace_unsynchronized::h9cf5becacfc93fba
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stdout]    2:     0x55569c192285 - std::sys_common::backtrace::_print_fmt::h10b76d10405dbd48
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/sys_common/backtrace.rs:68:5
[INFO] [stdout]    3:     0x55569c192285 - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::h6ed9e62a156d84e4
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/sys_common/backtrace.rs:44:22
[INFO] [stdout]    4:     0x55569c1b8c8b - core::fmt::rt::Argument::fmt::h645c680983f03c9f
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/fmt/rt.rs:165:63
[INFO] [stdout]    5:     0x55569c1b8c8b - core::fmt::write::h8bcd80919a02be29
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/fmt/mod.rs:1169:21
[INFO] [stdout]    6:     0x55569c18fabf - std::io::Write::write_fmt::h8d0c47c662cad79c
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/io/mod.rs:1835:15
[INFO] [stdout]    7:     0x55569c19205e - std::sys_common::backtrace::_print::h6306f131a28d62b0
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/sys_common/backtrace.rs:47:5
[INFO] [stdout]    8:     0x55569c19205e - std::sys_common::backtrace::print::h7079288e0a26dfcc
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/sys_common/backtrace.rs:34:9
[INFO] [stdout]    9:     0x55569c193a89 - std::panicking::default_hook::{{closure}}::hb063ecec81a736ba
[INFO] [stdout]   10:     0x55569c19374e - std::panicking::default_hook::hd56ee406bf547b5c
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panicking.rs:295:9
[INFO] [stdout]   11:     0x55569c12c27a - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::he5eacdef44c8728f
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/alloc/src/boxed.rs:2036:9
[INFO] [stdout]   12:     0x55569c12c27a - test::test_main::{{closure}}::h0ec9aed229e79095
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/test/src/lib.rs:137:21
[INFO] [stdout]   13:     0x55569c19408b - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::hcbd0d80e1ad4e4f9
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/alloc/src/boxed.rs:2036:9
[INFO] [stdout]   14:     0x55569c19408b - std::panicking::rust_panic_with_hook::h624aa3ca42ebb8f2
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panicking.rs:799:13
[INFO] [stdout]   15:     0x55569c193e04 - std::panicking::begin_panic_handler::{{closure}}::hbc4e76194a5e287c
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panicking.rs:664:13
[INFO] [stdout]   16:     0x55569c192749 - std::sys_common::backtrace::__rust_end_short_backtrace::h847fedc9d1ff7b6d
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/sys_common/backtrace.rs:171:18
[INFO] [stdout]   17:     0x55569c193b37 - rust_begin_unwind
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panicking.rs:652:5
[INFO] [stdout]   18:     0x55569c0468b3 - core::panicking::panic_fmt::hec11a924b87ce965
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/panicking.rs:72:14
[INFO] [stdout]   19:     0x55569c0bb216 - cnf::add128::h19f2c1dfeaaf7741
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/cnf.rs:33:40
[INFO] [stdout]   20:     0x55569c0baeb7 - cnf::add128::{{closure}}::h7772d5110c6f20cb
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/cnf.rs:11:19
[INFO] [stdout]   21:     0x55569c0d7726 - core::ops::function::FnOnce::call_once::h6e12ce20fb852a4c
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   22:     0x55569c130c5b - core::ops::function::FnOnce::call_once::h2e43a8f6f3d94b99
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   23:     0x55569c130c5b - test::__rust_begin_short_backtrace::h214c9f2d2d3fee90
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/test/src/lib.rs:625:18
[INFO] [stdout]   24:     0x55569c130361 - test::run_test_in_process::{{closure}}::h510b7ba7990692a5
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/test/src/lib.rs:648:60
[INFO] [stdout]   25:     0x55569c130361 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h4157186197a93871
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   26:     0x55569c130361 - std::panicking::try::do_call::h1bf2463bccd4b28c
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panicking.rs:559:40
[INFO] [stdout]   27:     0x55569c130361 - std::panicking::try::hd6d4808c9fab4fa5
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panicking.rs:523:19
[INFO] [stdout]   28:     0x55569c130361 - std::panic::catch_unwind::hd5641d97d123f9f2
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panic.rs:149:14
[INFO] [stdout]   29:     0x55569c130361 - test::run_test_in_process::hc273b71c8b878a4c
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/test/src/lib.rs:648:27
[INFO] [stdout]   30:     0x55569c130361 - test::run_test::{{closure}}::h6838df834eb8467e
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/test/src/lib.rs:569:43
[INFO] [stdout]   31:     0x55569c0f8d24 - test::run_test::{{closure}}::h608b98ecff5665fb
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/test/src/lib.rs:599:41
[INFO] [stdout]   32:     0x55569c0f8d24 - std::sys_common::backtrace::__rust_begin_short_backtrace::hdc4182b97d1042e9
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/sys_common/backtrace.rs:155:18
[INFO] [stdout]   33:     0x55569c0fd752 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h571773fd21d674c8
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/thread/mod.rs:542:17
[INFO] [stdout]   34:     0x55569c0fd752 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hdcd384cf2fa70ba3
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   35:     0x55569c0fd752 - std::panicking::try::do_call::h4f1a44bd81423be1
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panicking.rs:559:40
[INFO] [stdout]   36:     0x55569c0fd752 - std::panicking::try::h5e02afcb81dcd361
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panicking.rs:523:19
[INFO] [stdout]   37:     0x55569c0fd752 - std::panic::catch_unwind::h022f75775bfd8c45
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panic.rs:149:14
[INFO] [stdout]   38:     0x55569c0fd752 - std::thread::Builder::spawn_unchecked_::{{closure}}::hf5a62e9e4e6df1f8
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/thread/mod.rs:541:30
[INFO] [stdout]   39:     0x55569c0fd752 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h6d56360aeb9509a7
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   40:     0x55569c19838b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h7a343dc551c06baa
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/alloc/src/boxed.rs:2022:9
[INFO] [stdout]   41:     0x55569c19838b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h30b8111cbaa644f3
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/alloc/src/boxed.rs:2022:9
[INFO] [stdout]   42:     0x55569c19838b - std::sys::pal::unix::thread::Thread::new::thread_start::h7404e134e61e7a11
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/sys/pal/unix/thread.rs:108:17
[INFO] [stdout]   43:     0x7f4a0f3aeac3 - <unknown>
[INFO] [stdout]   44:     0x7f4a0f43fa04 - __clone
[INFO] [stdout]   45:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     add128
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 83 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 30.03s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `--test cnf`
[INFO] running `Command { std: "docker" "inspect" "c5c7ea2ead74f6c119bd6d7430b58fec7e7eefb6c595a775dcf71a1af27ee7c4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c5c7ea2ead74f6c119bd6d7430b58fec7e7eefb6c595a775dcf71a1af27ee7c4", kill_on_drop: false }`
[INFO] [stdout] c5c7ea2ead74f6c119bd6d7430b58fec7e7eefb6c595a775dcf71a1af27ee7c4
[INFO] testing maartenflippo/limiga against try#b642703cf9526da1e72c0b6755753b939a9c6b6d for pr-125151
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmaartenflippo%2Flimiga" "/workspace/builds/worker-7-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc2/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/maartenflippo/limiga on toolchain b642703cf9526da1e72c0b6755753b939a9c6b6d
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b642703cf9526da1e72c0b6755753b939a9c6b6d" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/maartenflippo/limiga
[INFO] finished tweaking git repo https://github.com/maartenflippo/limiga
[INFO] tweaked toml for git repo https://github.com/maartenflippo/limiga written to /workspace/builds/worker-7-tc2/source/Cargo.toml
[INFO] crate git repo https://github.com/maartenflippo/limiga 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" "+b642703cf9526da1e72c0b6755753b939a9c6b6d" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:59a85a07ab18ca8720692f8e61effa1c651d9e2ca591e072c2b212bb91a6b8b5" "/opt/rustwide/cargo-home/bin/cargo" "+b642703cf9526da1e72c0b6755753b939a9c6b6d" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] c188471f7d795e327a52917a016fe02b5d7bff89ce5dd6f5c2ea19d10837ff89
[INFO] running `Command { std: "docker" "start" "-a" "c188471f7d795e327a52917a016fe02b5d7bff89ce5dd6f5c2ea19d10837ff89", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "c188471f7d795e327a52917a016fe02b5d7bff89ce5dd6f5c2ea19d10837ff89", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c188471f7d795e327a52917a016fe02b5d7bff89ce5dd6f5c2ea19d10837ff89", kill_on_drop: false }`
[INFO] [stdout] c188471f7d795e327a52917a016fe02b5d7bff89ce5dd6f5c2ea19d10837ff89
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:59a85a07ab18ca8720692f8e61effa1c651d9e2ca591e072c2b212bb91a6b8b5" "/opt/rustwide/cargo-home/bin/cargo" "+b642703cf9526da1e72c0b6755753b939a9c6b6d" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 10a0876e64e8df9c6fe81fc96bac6df333e38342a423ae40f60a825559d4d539
[INFO] running `Command { std: "docker" "start" "-a" "10a0876e64e8df9c6fe81fc96bac6df333e38342a423ae40f60a825559d4d539", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.78
[INFO] [stderr]    Compiling unicode-ident v1.0.12
[INFO] [stderr]    Compiling thiserror v1.0.49
[INFO] [stderr]    Compiling radium v0.7.0
[INFO] [stderr]    Compiling memchr v2.6.4
[INFO] [stderr]    Compiling utf8parse v0.2.1
[INFO] [stderr]    Compiling tap v1.0.1
[INFO] [stderr]    Compiling serde v1.0.195
[INFO] [stderr]    Compiling rustix v0.38.17
[INFO] [stderr]    Compiling libc v0.2.149
[INFO] [stderr]    Compiling anstyle v1.0.3
[INFO] [stderr]    Compiling log v0.4.20
[INFO] [stderr]    Compiling bitflags v2.4.0
[INFO] [stderr]    Compiling linux-raw-sys v0.4.8
[INFO] [stderr]    Compiling funty v2.0.0
[INFO] [stderr]    Compiling regex-syntax v0.7.5
[INFO] [stderr]    Compiling wyz v0.5.1
[INFO] [stderr]    Compiling anstyle-parse v0.2.1
[INFO] [stderr]    Compiling colorchoice v1.0.0
[INFO] [stderr]    Compiling anstyle-query v1.0.0
[INFO] [stderr]    Compiling strsim v0.10.0
[INFO] [stderr]    Compiling heck v0.4.1
[INFO] [stderr]    Compiling serde_json v1.0.111
[INFO] [stderr]    Compiling anstream v0.5.0
[INFO] [stderr]    Compiling anyhow v1.0.79
[INFO] [stderr]    Compiling signal-hook v0.3.17
[INFO] [stderr]    Compiling clap_lex v0.5.1
[INFO] [stderr]    Compiling itoa v1.0.10
[INFO] [stderr]    Compiling termcolor v1.3.0
[INFO] [stderr]    Compiling clap_builder v4.4.5
[INFO] [stderr]    Compiling humantime v2.1.0
[INFO] [stderr]    Compiling ryu v1.0.16
[INFO] [stderr]    Compiling aho-corasick v1.1.1
[INFO] [stderr]    Compiling bitvec v1.0.1
[INFO] [stderr]    Compiling quote v1.0.35
[INFO] [stderr]    Compiling syn v2.0.48
[INFO] [stderr]    Compiling signal-hook-registry v1.4.1
[INFO] [stderr]    Compiling is-terminal v0.4.9
[INFO] [stderr]    Compiling regex-automata v0.3.9
[INFO] [stderr]    Compiling thiserror-impl v1.0.49
[INFO] [stderr]    Compiling serde_derive v1.0.195
[INFO] [stderr]    Compiling clap_derive v4.4.2
[INFO] [stderr]    Compiling regex v1.9.6
[INFO] [stderr]    Compiling env_logger v0.10.0
[INFO] [stderr]    Compiling limiga-core v0.1.0 (/opt/rustwide/workdir/crates/core)
[INFO] [stderr]    Compiling limiga-dimacs v0.1.0 (/opt/rustwide/workdir/crates/dimacs)
[INFO] [stderr]    Compiling limiga-constraints v0.1.0 (/opt/rustwide/workdir/crates/constraints)
[INFO] [stderr]    Compiling clap v4.4.5
[INFO] [stderr]    Compiling flatzinc-serde v0.1.0
[INFO] [stderr]    Compiling limiga v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: method `resolve_bool_variable_argument` is never used
[INFO] [stdout]    --> src/flatzinc.rs:355:8
[INFO] [stdout]     |
[INFO] [stdout] 283 | trait AstExt {
[INFO] [stdout]     |       ------ method in this trait
[INFO] [stdout] ...
[INFO] [stdout] 355 |     fn resolve_bool_variable_argument(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 14.38s
[INFO] running `Command { std: "docker" "inspect" "10a0876e64e8df9c6fe81fc96bac6df333e38342a423ae40f60a825559d4d539", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "10a0876e64e8df9c6fe81fc96bac6df333e38342a423ae40f60a825559d4d539", kill_on_drop: false }`
[INFO] [stdout] 10a0876e64e8df9c6fe81fc96bac6df333e38342a423ae40f60a825559d4d539
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:59a85a07ab18ca8720692f8e61effa1c651d9e2ca591e072c2b212bb91a6b8b5" "/opt/rustwide/cargo-home/bin/cargo" "+b642703cf9526da1e72c0b6755753b939a9c6b6d" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 8ca6d79fa78e8086ac1184d2e378dd8fc25d9ea87c473952dfdee5a1332a4e5f
[INFO] running `Command { std: "docker" "start" "-a" "8ca6d79fa78e8086ac1184d2e378dd8fc25d9ea87c473952dfdee5a1332a4e5f", kill_on_drop: false }`
[INFO] [stderr]    Compiling limiga-model v0.1.0 (/opt/rustwide/workdir/crates/model)
[INFO] [stdout] warning: method `resolve_bool_variable_argument` is never used
[INFO] [stdout]    --> src/flatzinc.rs:355:8
[INFO] [stdout]     |
[INFO] [stdout] 283 | trait AstExt {
[INFO] [stdout]     |       ------ method in this trait
[INFO] [stdout] ...
[INFO] [stdout] 355 |     fn resolve_bool_variable_argument(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling limiga v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: method `resolve_bool_variable_argument` is never used
[INFO] [stdout]    --> src/flatzinc.rs:355:8
[INFO] [stdout]     |
[INFO] [stdout] 283 | trait AstExt {
[INFO] [stdout]     |       ------ method in this trait
[INFO] [stdout] ...
[INFO] [stdout] 355 |     fn resolve_bool_variable_argument(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 1.77s
[INFO] running `Command { std: "docker" "inspect" "8ca6d79fa78e8086ac1184d2e378dd8fc25d9ea87c473952dfdee5a1332a4e5f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8ca6d79fa78e8086ac1184d2e378dd8fc25d9ea87c473952dfdee5a1332a4e5f", kill_on_drop: false }`
[INFO] [stdout] 8ca6d79fa78e8086ac1184d2e378dd8fc25d9ea87c473952dfdee5a1332a4e5f
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:59a85a07ab18ca8720692f8e61effa1c651d9e2ca591e072c2b212bb91a6b8b5" "/opt/rustwide/cargo-home/bin/cargo" "+b642703cf9526da1e72c0b6755753b939a9c6b6d" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] eec05deb3f3333b359618f4e2baeb1bfc484458bfdd0d2728411c2bae0953cc0
[INFO] running `Command { std: "docker" "start" "-a" "eec05deb3f3333b359618f4e2baeb1bfc484458bfdd0d2728411c2bae0953cc0", kill_on_drop: false }`
[INFO] [stderr] warning: method `resolve_bool_variable_argument` is never used
[INFO] [stderr]    --> src/flatzinc.rs:355:8
[INFO] [stderr]     |
[INFO] [stderr] 283 | trait AstExt {
[INFO] [stderr]     |       ------ method in this trait
[INFO] [stderr] ...
[INFO] [stderr] 355 |     fn resolve_bool_variable_argument(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(dead_code)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: `limiga` (lib) generated 1 warning
[INFO] [stderr] warning: `limiga` (lib test) generated 1 warning (1 duplicate)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.05s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/limiga-4eec7d333d1bace1)
[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 unittests src/main.rs (/opt/rustwide/target/debug/deps/limiga-0c089c2ee0acc71d)
[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/cnf.rs (/opt/rustwide/target/debug/deps/cnf-c7fb9a068ce9e28d)
[INFO] [stdout] 
[INFO] [stdout] running 84 tests
[INFO] [stdout] test block0 ... ok
[INFO] [stdout] test empty ... ok
[INFO] [stdout] test elimclash ... ok
[INFO] [stdout] test elimredundant ... ok
[INFO] [stdout] test full1 ... ok
[INFO] [stdout] test full2 ... ok
[INFO] [stdout] test full3 ... ok
[INFO] [stdout] test full4 ... ok
[INFO] [stdout] test ph2 ... ok
[INFO] [stdout] test full5 ... ok
[INFO] [stdout] test ph3 ... ok
[INFO] [stdout] test full6 ... ok
[INFO] [stdout] test add4 ... ok
[INFO] [stdout] test ph4 ... ok
[INFO] [stdout] test full7 ... ok
[INFO] [stdout] test prime25 ... ok
[INFO] [stdout] test prime169 ... ok
[INFO] [stdout] test ph5 ... ok
[INFO] [stdout] test prime121 ... ok
[INFO] [stdout] test factor2708413pos ... ok
[INFO] [stdout] test prime49 ... ok
[INFO] [stdout] test add8 ... ok
[INFO] [stdout] test prime4 ... ok
[INFO] [stdout] test prime9 ... ok
[INFO] [stdout] test prime361 ... ok
[INFO] [stdout] test regr000 ... ok
[INFO] [stdout] test sat0 ... ok
[INFO] [stdout] test sat1 ... ok
[INFO] [stdout] test sat10 ... ok
[INFO] [stdout] test sat11 ... ok
[INFO] [stdout] test sat12 ... ok
[INFO] [stdout] test sat13 ... ok
[INFO] [stdout] test sat2 ... ok
[INFO] [stdout] test sat3 ... ok
[INFO] [stdout] test sat4 ... ok
[INFO] [stdout] test sat5 ... ok
[INFO] [stdout] test sat6 ... ok
[INFO] [stdout] test sat7 ... ok
[INFO] [stdout] test sat8 ... ok
[INFO] [stdout] test sat9 ... ok
[INFO] [stdout] test prime289 ... ok
[INFO] [stdout] test prime529 ... ok
[INFO] [stdout] test sqrt10201 ... ok
[INFO] [stdout] test sqrt10609 ... ok
[INFO] [stdout] test sqrt1042441 ... ok
[INFO] [stdout] test sqrt11449 ... ok
[INFO] [stdout] test sqrt11881 ... ok
[INFO] [stdout] test sqrt12769 ... ok
[INFO] [stdout] test sqrt16129 ... ok
[INFO] [stdout] test sqrt2809 ... ok
[INFO] [stdout] test sqrt3481 ... ok
[INFO] [stdout] test sqrt3721 ... ok
[INFO] [stdout] test sqrt4489 ... ok
[INFO] [stdout] test sqrt259081 ... ok
[INFO] [stdout] test sqrt5041 ... ok
[INFO] [stdout] test sqrt6241 ... ok
[INFO] [stdout] test prime961 ... ok
[INFO] [stdout] test sqrt5329 ... ok
[INFO] [stdout] test sqrt6889 ... ok
[INFO] [stdout] test sqrt63001 ... ok
[INFO] [stdout] test trivially_false ... ok
[INFO] [stdout] test sub0 ... ok
[INFO] [stdout] test unit0 ... ok
[INFO] [stdout] test unit1 ... ok
[INFO] [stdout] test unit2 ... ok
[INFO] [stdout] test unit3 ... ok
[INFO] [stdout] test unit4 ... ok
[INFO] [stdout] test unit5 ... ok
[INFO] [stdout] test unit6 ... ok
[INFO] [stdout] test unit7 ... ok
[INFO] [stdout] test sqrt7921 ... ok
[INFO] [stdout] test prime1369 ... ok
[INFO] [stdout] test sqrt9409 ... ok
[INFO] [stdout] test add16 ... ok
[INFO] [stdout] test prime2209 ... ok
[INFO] [stdout] test ph6 ... ok
[INFO] [stdout] test prime1849 ... ok
[INFO] [stdout] test prime1681 ... ok
[INFO] [stdout] test prime841 ... ok
[INFO] [stdout] test factor2708413neg ... ok
[INFO] [stdout] test prime65537 ... ok
[INFO] [stdout] test add32 ... ok
[INFO] [stdout] test add64 ... ok
[INFO] [stdout] test add128 ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- add128 stdout ----
[INFO] [stdout] thread 'add128' panicked at tests/cnf.rs:47:1:
[INFO] [stdout] instance timed out after 30 seconds
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x55d99bd7e445 - std::backtrace_rs::backtrace::libunwind::trace::he49dc9a9e3164223
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/../../backtrace/src/backtrace/libunwind.rs:105:5
[INFO] [stdout]    1:     0x55d99bd7e445 - std::backtrace_rs::backtrace::trace_unsynchronized::h3a3e77c68030aa6b
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stdout]    2:     0x55d99bd7e445 - std::sys_common::backtrace::_print_fmt::h9479ad2f99afd5d4
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys_common/backtrace.rs:68:5
[INFO] [stdout]    3:     0x55d99bd7e445 - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::hfb01aa1fa3fb1821
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys_common/backtrace.rs:44:22
[INFO] [stdout]    4:     0x55d99bda4deb - core::fmt::rt::Argument::fmt::h125e56152abbc1c3
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/fmt/rt.rs:165:63
[INFO] [stdout]    5:     0x55d99bda4deb - core::fmt::write::hb0ab4ff05ccfe741
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/fmt/mod.rs:1169:21
[INFO] [stdout]    6:     0x55d99bd7bd2f - std::io::Write::write_fmt::hea6336dbf2fa00b8
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/io/mod.rs:1835:15
[INFO] [stdout]    7:     0x55d99bd7e21e - std::sys_common::backtrace::_print::h79ca548f3a2adf4b
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys_common/backtrace.rs:47:5
[INFO] [stdout]    8:     0x55d99bd7e21e - std::sys_common::backtrace::print::h9aebf997b2fea2d3
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys_common/backtrace.rs:34:9
[INFO] [stdout]    9:     0x55d99bd7fb89 - std::panicking::default_hook::{{closure}}::h68a0954af2694526
[INFO] [stdout]   10:     0x55d99bd7f8dc - std::panicking::default_hook::h5be50cc6849ffb00
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:295:9
[INFO] [stdout]   11:     0x55d99bd1834f - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::hd874405dcbd1d3ed
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/alloc/src/boxed.rs:2036:9
[INFO] [stdout]   12:     0x55d99bd1834f - test::test_main::{{closure}}::h4f26a9df34a84b94
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/test/src/lib.rs:137:21
[INFO] [stdout]   13:     0x55d99bd8018b - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h00e96d9c62aa9a12
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/alloc/src/boxed.rs:2036:9
[INFO] [stdout]   14:     0x55d99bd8018b - std::panicking::rust_panic_with_hook::h3c0df6036729334c
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:799:13
[INFO] [stdout]   15:     0x55d99bd7ff04 - std::panicking::begin_panic_handler::{{closure}}::ha3a21e93c4cfd807
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:664:13
[INFO] [stdout]   16:     0x55d99bd7e909 - std::sys_common::backtrace::__rust_end_short_backtrace::h19508a8f8ae71dc9
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys_common/backtrace.rs:171:18
[INFO] [stdout]   17:     0x55d99bd7fc37 - rust_begin_unwind
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:652:5
[INFO] [stdout]   18:     0x55d99bc32893 - core::panicking::panic_fmt::h2ba8af99174d83ea
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/panicking.rs:72:14
[INFO] [stdout]   19:     0x55d99bca71f6 - cnf::add128::h7a3f5f28b6250ea7
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/cnf.rs:33:40
[INFO] [stdout]   20:     0x55d99bca6e97 - cnf::add128::{{closure}}::h3a329b011bbce505
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/cnf.rs:11:19
[INFO] [stdout]   21:     0x55d99bcc41f6 - core::ops::function::FnOnce::call_once::hedc8891ba147b613
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   22:     0x55d99bd1cc6b - core::ops::function::FnOnce::call_once::h18c6bf92212b87a4
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   23:     0x55d99bd1cc6b - test::__rust_begin_short_backtrace::hdcf0edcfa9080086
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/test/src/lib.rs:625:18
[INFO] [stdout]   24:     0x55d99bd1c331 - test::run_test_in_process::{{closure}}::heac2c4eb375d2d10
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/test/src/lib.rs:648:60
[INFO] [stdout]   25:     0x55d99bd1c331 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h0289bafc8a1cc004
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   26:     0x55d99bd1c331 - std::panicking::try::do_call::h5e158f1ad8a5f983
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:559:40
[INFO] [stdout]   27:     0x55d99bd1c331 - std::panicking::try::hea3411d60321c4de
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:523:19
[INFO] [stdout]   28:     0x55d99bd1c331 - std::panic::catch_unwind::hafb7bb18bc47bbc7
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panic.rs:149:14
[INFO] [stdout]   29:     0x55d99bd1c331 - test::run_test_in_process::h74dd138dc7762d99
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/test/src/lib.rs:648:27
[INFO] [stdout]   30:     0x55d99bd1c331 - test::run_test::{{closure}}::h6b390822e63606cf
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/test/src/lib.rs:569:43
[INFO] [stdout]   31:     0x55d99bce4d04 - test::run_test::{{closure}}::h6e11dba8131d354b
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/test/src/lib.rs:599:41
[INFO] [stdout]   32:     0x55d99bce4d04 - std::sys_common::backtrace::__rust_begin_short_backtrace::ha71b3541b59bdbbb
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys_common/backtrace.rs:155:18
[INFO] [stdout]   33:     0x55d99bce97d2 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hef92127c5ef9e53c
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/thread/mod.rs:542:17
[INFO] [stdout]   34:     0x55d99bce97d2 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h859c109f9d11c92b
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   35:     0x55d99bce97d2 - std::panicking::try::do_call::hbf534c458cd858f0
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:559:40
[INFO] [stdout]   36:     0x55d99bce97d2 - std::panicking::try::h65c18365a7b9ad90
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:523:19
[INFO] [stdout]   37:     0x55d99bce97d2 - std::panic::catch_unwind::h21b25d4c69478c39
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panic.rs:149:14
[INFO] [stdout]   38:     0x55d99bce97d2 - std::thread::Builder::spawn_unchecked_::{{closure}}::h23335f620275a9bf
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/thread/mod.rs:541:30
[INFO] [stdout]   39:     0x55d99bce97d2 - core::ops::function::FnOnce::call_once{{vtable.shim}}::hb491dc55513e9b7c
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   40:     0x55d99bd8447b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h41b39260afcffdc9
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/alloc/src/boxed.rs:2022:9
[INFO] [stdout]   41:     0x55d99bd8447b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h6694c8dc6dd010c4
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/alloc/src/boxed.rs:2022:9
[INFO] [stdout]   42:     0x55d99bd8447b - std::sys::pal::unix::thread::Thread::new::thread_start::hf16038e1c8e19c99
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys/pal/unix/thread.rs:108:17
[INFO] [stdout]   43:     0x7fe9da9beac3 - <unknown>
[INFO] [stdout]   44:     0x7fe9daa4fa04 - __clone
[INFO] [stdout]   45:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     add128
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 83 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 30.03s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `--test cnf`
[INFO] running `Command { std: "docker" "inspect" "eec05deb3f3333b359618f4e2baeb1bfc484458bfdd0d2728411c2bae0953cc0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "eec05deb3f3333b359618f4e2baeb1bfc484458bfdd0d2728411c2bae0953cc0", kill_on_drop: false }`
[INFO] [stdout] eec05deb3f3333b359618f4e2baeb1bfc484458bfdd0d2728411c2bae0953cc0
