[INFO] fetching crate edlc_analysis 0.2.20...
[INFO] testing edlc_analysis-0.2.20 against 1.99.0-beta.8+cargoflags=--release for beta-release-1.100-2
[INFO] extracting crate edlc_analysis 0.2.20 into /workspace/builds/worker-3-tc1/source
[INFO] started tweaking crates.io crate edlc_analysis 0.2.20
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate edlc_analysis 0.2.20
[INFO] tweaked toml for crates.io crate edlc_analysis 0.2.20 written to /workspace/builds/worker-3-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate edlc_analysis 0.2.20 on toolchain 1.99.0-beta.8
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.99.0-beta.8" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate edlc_analysis 0.2.20 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.99.0-beta.8" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:77db811e55d90add9212f6832c23229e3de5f1c1f9905e8cb07319ea15df73ac" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 9cafd39e275c83b84b0fea5ea3f76051ec738db5c9b2d2067b130f7a9a255828
[INFO] running `Command { std: "docker" "start" "9cafd39e275c83b84b0fea5ea3f76051ec738db5c9b2d2067b130f7a9a255828", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "9cafd39e275c83b84b0fea5ea3f76051ec738db5c9b2d2067b130f7a9a255828", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "9cafd39e275c83b84b0fea5ea3f76051ec738db5c9b2d2067b130f7a9a255828" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "9cafd39e275c83b84b0fea5ea3f76051ec738db5c9b2d2067b130f7a9a255828", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "9cafd39e275c83b84b0fea5ea3f76051ec738db5c9b2d2067b130f7a9a255828" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "build" "--frozen" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr]    Compiling edlc_analysis v0.2.20 (/opt/rustwide/workdir)
[INFO] [stdout] warning: a method with this name may be added to the standard library in the future
[INFO] [stdout]   --> src/graph.rs:93:18
[INFO] [stdout]    |
[INFO] [stdout] 93 |         if range.is_empty() {
[INFO] [stdout]    |                  ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: call with fully qualified syntax `std::ops::Range::<Idx>::is_empty(...)` to keep using the current method
[INFO] [stdout]    = warning: once this associated item is added to the standard library, the ambiguity may cause an error or change in behavior!
[INFO] [stdout]    = note: for more information, see issue #48919 <https://github.com/rust-lang/rust/issues/48919>
[INFO] [stdout]    = note: `#[warn(unstable_name_collisions)]` (part of `#[warn(future_incompatible)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 0.49s
[INFO] running `Command { std: "docker" "inspect" "9cafd39e275c83b84b0fea5ea3f76051ec738db5c9b2d2067b130f7a9a255828", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "9cafd39e275c83b84b0fea5ea3f76051ec738db5c9b2d2067b130f7a9a255828" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "test" "--frozen" "--no-run" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr]    Compiling edlc_analysis v0.2.20 (/opt/rustwide/workdir)
[INFO] [stdout] warning: a method with this name may be added to the standard library in the future
[INFO] [stdout]   --> src/graph.rs:93:18
[INFO] [stdout]    |
[INFO] [stdout] 93 |         if range.is_empty() {
[INFO] [stdout]    |                  ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: call with fully qualified syntax `std::ops::Range::<Idx>::is_empty(...)` to keep using the current method
[INFO] [stdout]    = warning: once this associated item is added to the standard library, the ambiguity may cause an error or change in behavior!
[INFO] [stdout]    = note: for more information, see issue #48919 <https://github.com/rust-lang/rust/issues/48919>
[INFO] [stdout]    = note: `#[warn(unstable_name_collisions)]` (part of `#[warn(future_incompatible)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `PropagationWorkListForward`
[INFO] [stdout]   --> tests/sign_analysis.rs:19:228
[INFO] [stdout]    |
[INFO] [stdout] 19 | ... LatticeElement, LatticeId, LogicSolver, NoopNode, PropagationWorkListForward, TransferFn, WorkListFixpointForward};
[INFO] [stdout]    |                                                       ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::collections::HashMap`
[INFO] [stdout]   --> tests/sign_analysis.rs:20:5
[INFO] [stdout]    |
[INFO] [stdout] 20 | use std::collections::HashMap;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: a method with this name may be added to the standard library in the future
[INFO] [stdout]   --> src/graph.rs:93:18
[INFO] [stdout]    |
[INFO] [stdout] 93 |         if range.is_empty() {
[INFO] [stdout]    |                  ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: call with fully qualified syntax `std::ops::Range::<Idx>::is_empty(...)` to keep using the current method
[INFO] [stdout]    = warning: once this associated item is added to the standard library, the ambiguity may cause an error or change in behavior!
[INFO] [stdout]    = note: for more information, see issue #48919 <https://github.com/rust-lang/rust/issues/48919>
[INFO] [stdout]    = note: `#[warn(unstable_name_collisions)]` (part of `#[warn(future_incompatible)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ctx`
[INFO] [stdout]    --> tests/sign_analysis.rs:314:69
[INFO] [stdout]     |
[INFO] [stdout] 314 | ...NodeState<CfgValueId, Sign>, ctx: &mut (), cfg: &ConstraintLattice<ExprPool, Self>) -> Result<bool, SignConflict> {
[INFO] [stdout]     |                                 ^^^ help: if this is intentional, prefix it with an underscore: `_ctx`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `Mismatch` is never constructed
[INFO] [stdout]   --> tests/sign_analysis.rs:38:5
[INFO] [stdout]    |
[INFO] [stdout] 37 | enum SignConflict {
[INFO] [stdout]    |      ------------ variant in this enum
[INFO] [stdout] 38 |     Mismatch(Sign, Sign),
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `SignConflict` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `Mul` and `Div` are never constructed
[INFO] [stdout]    --> tests/sign_analysis.rs:134:5
[INFO] [stdout]     |
[INFO] [stdout] 131 | enum Operator {
[INFO] [stdout]     |      -------- variants in this enum
[INFO] [stdout] ...
[INFO] [stdout] 134 |     Mul,
[INFO] [stdout]     |     ^^^
[INFO] [stdout] 135 |     Div,
[INFO] [stdout]     |     ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `Operator` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `Input` is never constructed
[INFO] [stdout]    --> tests/sign_analysis.rs:142:5
[INFO] [stdout]     |
[INFO] [stdout] 139 | enum Expr {
[INFO] [stdout]     |      ---- variant in this enum
[INFO] [stdout] ...
[INFO] [stdout] 142 |     Input,
[INFO] [stdout]     |     ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `Expr` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `SignNode` is never constructed
[INFO] [stdout]    --> tests/sign_analysis.rs:341:8
[INFO] [stdout]     |
[INFO] [stdout] 341 | struct SignNode {
[INFO] [stdout]     |        ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 1.49s
[INFO] running `Command { std: "docker" "inspect" "9cafd39e275c83b84b0fea5ea3f76051ec738db5c9b2d2067b130f7a9a255828", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "9cafd39e275c83b84b0fea5ea3f76051ec738db5c9b2d2067b130f7a9a255828" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "test" "--frozen" "--release", kill_on_drop: false }`
[INFO] [stderr] warning: a method with this name may be added to the standard library in the future
[INFO] [stderr]   --> src/graph.rs:93:18
[INFO] [stderr]    |
[INFO] [stderr] 93 |         if range.is_empty() {
[INFO] [stderr]    |                  ^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = help: call with fully qualified syntax `std::ops::Range::<Idx>::is_empty(...)` to keep using the current method
[INFO] [stderr]    = warning: once this associated item is added to the standard library, the ambiguity may cause an error or change in behavior!
[INFO] [stderr]    = note: for more information, see issue #48919 <https://github.com/rust-lang/rust/issues/48919>
[INFO] [stderr]    = note: `#[warn(unstable_name_collisions)]` (part of `#[warn(future_incompatible)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: `edlc_analysis` (lib) generated 1 warning
[INFO] [stderr] warning: unused import: `PropagationWorkListForward`
[INFO] [stderr]   --> tests/sign_analysis.rs:19:228
[INFO] [stderr]    |
[INFO] [stderr] 19 | ... LatticeElement, LatticeId, LogicSolver, NoopNode, PropagationWorkListForward, TransferFn, WorkListFixpointForward};
[INFO] [stderr]    |                                                       ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `std::collections::HashMap`
[INFO] [stderr]   --> tests/sign_analysis.rs:20:5
[INFO] [stderr]    |
[INFO] [stderr] 20 | use std::collections::HashMap;
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `ctx`
[INFO] [stderr]    --> tests/sign_analysis.rs:314:69
[INFO] [stderr]     |
[INFO] [stderr] 314 | ...NodeState<CfgValueId, Sign>, ctx: &mut (), cfg: &ConstraintLattice<ExprPool, Self>) -> Result<bool, SignConflict> {
[INFO] [stderr]     |                                 ^^^ help: if this is intentional, prefix it with an underscore: `_ctx`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: variant `Mismatch` is never constructed
[INFO] [stderr]   --> tests/sign_analysis.rs:38:5
[INFO] [stderr]    |
[INFO] [stderr] 37 | enum SignConflict {
[INFO] [stderr]    |      ------------ variant in this enum
[INFO] [stderr] 38 |     Mismatch(Sign, Sign),
[INFO] [stderr]    |     ^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `SignConflict` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stderr]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: variants `Mul` and `Div` are never constructed
[INFO] [stderr]    --> tests/sign_analysis.rs:134:5
[INFO] [stderr]     |
[INFO] [stderr] 131 | enum Operator {
[INFO] [stderr]     |      -------- variants in this enum
[INFO] [stderr] ...
[INFO] [stderr] 134 |     Mul,
[INFO] [stderr]     |     ^^^
[INFO] [stderr] 135 |     Div,
[INFO] [stderr]     |     ^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `Operator` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stderr] 
[INFO] [stderr] warning: variant `Input` is never constructed
[INFO] [stderr]    --> tests/sign_analysis.rs:142:5
[INFO] [stderr]     |
[INFO] [stderr] 139 | enum Expr {
[INFO] [stderr]     |      ---- variant in this enum
[INFO] [stderr] ...
[INFO] [stderr] 142 |     Input,
[INFO] [stderr]     |     ^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `Expr` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stderr] 
[INFO] [stderr] warning: struct `SignNode` is never constructed
[INFO] [stderr]    --> tests/sign_analysis.rs:341:8
[INFO] [stderr]     |
[INFO] [stderr] 341 | struct SignNode {
[INFO] [stderr]     |        ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `edlc_analysis` (test "sign_analysis") generated 7 warnings (run `cargo fix --test "sign_analysis" -p edlc_analysis` to apply 3 suggestions)
[INFO] [stderr] warning: `edlc_analysis` (lib test) generated 1 warning (1 duplicate)
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 0.02s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/release/deps/edlc_analysis-cff8ecf7fd14cb0c)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test tests::it_works ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/sign_analysis.rs (/opt/rustwide/target/release/deps/sign_analysis-2c36ab05c06db978)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test solve_sign ... FAILED
[INFO] [stdout] test solve_sign_builder ... FAILED
[INFO] [stdout] test join ... ok
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `--test sign_analysis`
[INFO] [stdout] ---- solve_sign stdout ----
[INFO] [stdout] done building CFG test program.
[INFO] [stdout] 
[INFO] [stdout] thread 'solve_sign' (190) panicked at src/graph.rs:1215:51:
[INFO] [stdout] called `Option::unwrap()` on a `None` value
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x58275336dcd1 - <<std[70759c8f55707aa4]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[df12db4294e9bfd3]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x58275338225a - core[df12db4294e9bfd3]::fmt::write
[INFO] [stdout]    2:     0x58275337216c - <alloc[2182bb758b4b3781]::vec::Vec<u8> as core[df12db4294e9bfd3]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x58275334a2c6 - std[70759c8f55707aa4]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x582753366439 - std[70759c8f55707aa4]::panicking::default_hook
[INFO] [stdout]    5:     0x582753302840 - test[9d35eded1c95d3be]::test_main_inner::<test[9d35eded1c95d3be]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]    6:     0x5827533665f2 - std[70759c8f55707aa4]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x58275334a3a4 - std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x5827533430f9 - std[70759c8f55707aa4]::sys::backtrace::__rust_end_short_backtrace::<std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x58275334af6d - __rustc[8fa7c3cbc660c2b3]::rust_begin_unwind
[INFO] [stdout]   10:     0x58275338298c - core[df12db4294e9bfd3]::panicking::panic_fmt
[INFO] [stdout]   11:     0x582753382952 - core[df12db4294e9bfd3]::panicking::panic
[INFO] [stdout]   12:     0x582753382709 - core[df12db4294e9bfd3]::option::unwrap_failed
[INFO] [stdout]   13:     0x5827532f20b9 - <edlc_analysis[df8be9b2d8907a8c]::graph::WorkListFixpointForward as edlc_analysis[df8be9b2d8907a8c]::graph::LogicSolver<edlc_analysis[df8be9b2d8907a8c]::graph::ConstraintLattice<sign_analysis[982f3f16b9dcd675]::ExprPool, sign_analysis[982f3f16b9dcd675]::SignTransferFn>, sign_analysis[982f3f16b9dcd675]::Sign, edlc_analysis[df8be9b2d8907a8c]::graph::HashGraphState<edlc_analysis[df8be9b2d8907a8c]::graph::LatticeId, sign_analysis[982f3f16b9dcd675]::Sign, ()>>>::solve
[INFO] [stdout]   14:     0x5827532edad9 - <sign_analysis[982f3f16b9dcd675]::solve_sign::{closure#0} as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   15:     0x5827532f5b2b - test[9d35eded1c95d3be]::__rust_begin_short_backtrace::<core[df12db4294e9bfd3]::result::Result<(), alloc[2182bb758b4b3781]::string::String>, fn() -> core[df12db4294e9bfd3]::result::Result<(), alloc[2182bb758b4b3781]::string::String>>
[INFO] [stdout]   16:     0x582753303195 - test[9d35eded1c95d3be]::run_test::{closure#0}
[INFO] [stdout]   17:     0x5827532fca54 - std[70759c8f55707aa4]::sys::backtrace::__rust_begin_short_backtrace::<test[9d35eded1c95d3be]::run_test::{closure#1}, ()>
[INFO] [stdout]   18:     0x5827533062f2 - <std[70759c8f55707aa4]::thread::lifecycle::spawn_unchecked<test[9d35eded1c95d3be]::run_test::{closure#1}, ()>::{closure#1} as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   19:     0x58275336d5a9 - <std[70759c8f55707aa4]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   20:     0x727b70544dfa - <unknown>
[INFO] [stdout]   21:     0x727b705d83d4 - clone
[INFO] [stdout]   22:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- solve_sign_builder stdout ----
[INFO] [stdout] done building CFG test program.
[INFO] [stdout]  --- LATTICE --- 
[INFO] [stdout]   * x(0)  [f(v) = JOIN(v)[CFG(0) -> ┴]]
[INFO] [stdout]     - downlinks: x(1), 
[INFO] [stdout]     - uplinks:   
[INFO] [stdout]   * x(1)  [f(v) = JOIN(v)[CFG(1) -> ┴]]
[INFO] [stdout]     - downlinks: x(2), 
[INFO] [stdout]     - uplinks:   x(0), 
[INFO] [stdout]   * x(2)  [f(v) = JOIN(v)[CFG(2) -> ┴]]
[INFO] [stdout]     - downlinks: x(3), 
[INFO] [stdout]     - uplinks:   x(1), 
[INFO] [stdout]   * x(3)  [f(v) = JOIN(v)[CFG(0) -> eval(JOIN(v), Expr(0))]]
[INFO] [stdout]     - downlinks: x(4), 
[INFO] [stdout]     - uplinks:   x(2), 
[INFO] [stdout]   * x(4)  [f(v) = JOIN(v)[CFG(1) -> eval(JOIN(v), Expr(1))]]
[INFO] [stdout]     - downlinks: x(5), 
[INFO] [stdout]     - uplinks:   x(3), 
[INFO] [stdout]   * x(5)  [f(v) = JOIN(v)]
[INFO] [stdout]     - downlinks: x(6), x(8), 
[INFO] [stdout]     - uplinks:   x(4), 
[INFO] [stdout]   * x(6)  [f(v) = JOIN(v)[CFG(2) -> eval(JOIN(v), Expr(7))]]
[INFO] [stdout]     - downlinks: x(7), 
[INFO] [stdout]     - uplinks:   x(5), 
[INFO] [stdout]   * x(7)  [f(v) = JOIN(v)]
[INFO] [stdout]     - downlinks: 
[INFO] [stdout]     - uplinks:   x(6), x(8), 
[INFO] [stdout]   * x(8)  [f(v) = JOIN(v)[CFG(2) -> eval(JOIN(v), Expr(4))]]
[INFO] [stdout]     - downlinks: x(7), 
[INFO] [stdout]     - uplinks:   x(5), 
[INFO] [stdout] ---
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] thread 'solve_sign_builder' (191) panicked at src/graph.rs:1215:51:
[INFO] [stdout] called `Option::unwrap()` on a `None` value
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x58275336dcd1 - <<std[70759c8f55707aa4]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[df12db4294e9bfd3]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x58275338225a - core[df12db4294e9bfd3]::fmt::write
[INFO] [stdout]    2:     0x58275337216c - <alloc[2182bb758b4b3781]::vec::Vec<u8> as core[df12db4294e9bfd3]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x58275334a2c6 - std[70759c8f55707aa4]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x582753366439 - std[70759c8f55707aa4]::panicking::default_hook
[INFO] [stdout]    5:     0x582753302840 - test[9d35eded1c95d3be]::test_main_inner::<test[9d35eded1c95d3be]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]    6:     0x5827533665f2 - std[70759c8f55707aa4]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x58275334a3a4 - std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x5827533430f9 - std[70759c8f55707aa4]::sys::backtrace::__rust_end_short_backtrace::<std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x58275334af6d - __rustc[8fa7c3cbc660c2b3]::rust_begin_unwind
[INFO] [stdout]   10:     0x58275338298c - core[df12db4294e9bfd3]::panicking::panic_fmt
[INFO] [stdout]   11:     0x582753382952 - core[df12db4294e9bfd3]::panicking::panic
[INFO] [stdout]   12:     0x582753382709 - core[df12db4294e9bfd3]::option::unwrap_failed
[INFO] [stdout]   13:     0x5827532f20b9 - <edlc_analysis[df8be9b2d8907a8c]::graph::WorkListFixpointForward as edlc_analysis[df8be9b2d8907a8c]::graph::LogicSolver<edlc_analysis[df8be9b2d8907a8c]::graph::ConstraintLattice<sign_analysis[982f3f16b9dcd675]::ExprPool, sign_analysis[982f3f16b9dcd675]::SignTransferFn>, sign_analysis[982f3f16b9dcd675]::Sign, edlc_analysis[df8be9b2d8907a8c]::graph::HashGraphState<edlc_analysis[df8be9b2d8907a8c]::graph::LatticeId, sign_analysis[982f3f16b9dcd675]::Sign, ()>>>::solve
[INFO] [stdout]   14:     0x5827532efadf - <sign_analysis[982f3f16b9dcd675]::solve_sign_builder::{closure#0} as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   15:     0x5827532f5b2b - test[9d35eded1c95d3be]::__rust_begin_short_backtrace::<core[df12db4294e9bfd3]::result::Result<(), alloc[2182bb758b4b3781]::string::String>, fn() -> core[df12db4294e9bfd3]::result::Result<(), alloc[2182bb758b4b3781]::string::String>>
[INFO] [stdout]   16:     0x582753303195 - test[9d35eded1c95d3be]::run_test::{closure#0}
[INFO] [stdout]   17:     0x5827532fca54 - std[70759c8f55707aa4]::sys::backtrace::__rust_begin_short_backtrace::<test[9d35eded1c95d3be]::run_test::{closure#1}, ()>
[INFO] [stdout]   18:     0x5827533062f2 - <std[70759c8f55707aa4]::thread::lifecycle::spawn_unchecked<test[9d35eded1c95d3be]::run_test::{closure#1}, ()>::{closure#1} as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   19:     0x58275336d5a9 - <std[70759c8f55707aa4]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   20:     0x727b70544dfa - <unknown>
[INFO] [stdout]   21:     0x727b705d83d4 - clone
[INFO] [stdout]   22:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     solve_sign
[INFO] [stdout]     solve_sign_builder
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 1 passed; 2 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "9cafd39e275c83b84b0fea5ea3f76051ec738db5c9b2d2067b130f7a9a255828", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "9cafd39e275c83b84b0fea5ea3f76051ec738db5c9b2d2067b130f7a9a255828", kill_on_drop: false }`
[INFO] [stdout] 9cafd39e275c83b84b0fea5ea3f76051ec738db5c9b2d2067b130f7a9a255828
