[INFO] fetching crate edlc_analysis 0.2.20...
[INFO] testing edlc_analysis-0.2.20 against 1.100.0-beta.1+cargoflags=--release for beta-release-1.100-2
[INFO] extracting crate edlc_analysis 0.2.20 into /workspace/builds/worker-3-tc2/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-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate edlc_analysis 0.2.20 on toolchain 1.100.0-beta.1
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.100.0-beta.1" "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.100.0-beta.1" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/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] 32189fe2e45cf6c9fceadb0a4f6b2075ff688b0e59907d55f2f671b6bdfe26e1
[INFO] running `Command { std: "docker" "start" "32189fe2e45cf6c9fceadb0a4f6b2075ff688b0e59907d55f2f671b6bdfe26e1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "32189fe2e45cf6c9fceadb0a4f6b2075ff688b0e59907d55f2f671b6bdfe26e1", 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" "32189fe2e45cf6c9fceadb0a4f6b2075ff688b0e59907d55f2f671b6bdfe26e1" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "32189fe2e45cf6c9fceadb0a4f6b2075ff688b0e59907d55f2f671b6bdfe26e1", 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" "32189fe2e45cf6c9fceadb0a4f6b2075ff688b0e59907d55f2f671b6bdfe26e1" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "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.40s
[INFO] running `Command { std: "docker" "inspect" "32189fe2e45cf6c9fceadb0a4f6b2075ff688b0e59907d55f2f671b6bdfe26e1", 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" "32189fe2e45cf6c9fceadb0a4f6b2075ff688b0e59907d55f2f671b6bdfe26e1" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "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: 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] [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 1.20s
[INFO] running `Command { std: "docker" "inspect" "32189fe2e45cf6c9fceadb0a4f6b2075ff688b0e59907d55f2f671b6bdfe26e1", 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" "32189fe2e45cf6c9fceadb0a4f6b2075ff688b0e59907d55f2f671b6bdfe26e1" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "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/build/edlc_analysis/cff8ecf7fd14cb0c/out/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/build/edlc_analysis/2c36ab05c06db978/out/sign_analysis-2c36ab05c06db978)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stderr] error: test failed, to rerun pass `--test sign_analysis`
[INFO] [stdout] test join ... ok
[INFO] [stdout] test solve_sign_builder ... FAILED
[INFO] [stdout] test solve_sign ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[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' (190) panicked at src/graph.rs:1215:51:
[INFO] [stdout] called `Option::unwrap()` on a `None` value
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x5ffa8d9d78b1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x5ffa8d9ebb5a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x5ffa8d9dbacc - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x5ffa8d9b3d16 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x5ffa8d9cff49 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x5ffa8d96c570 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x5ffa8d9d0102 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x5ffa8d9b3df4 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x5ffa8d9acad9 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x5ffa8d9b49cd - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x5ffa8d9ec28c - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x5ffa8d9ec252 - core[a373ad73a504971]::panicking::panic
[INFO] [stdout]   12:     0x5ffa8d9ec009 - core[a373ad73a504971]::option::unwrap_failed
[INFO] [stdout]   13:     0x5ffa8d95b619 - <edlc_analysis[89843a4ac3612a3f]::graph::WorkListFixpointForward as edlc_analysis[89843a4ac3612a3f]::graph::LogicSolver<edlc_analysis[89843a4ac3612a3f]::graph::ConstraintLattice<sign_analysis[45172f1c6f0d586d]::ExprPool, sign_analysis[45172f1c6f0d586d]::SignTransferFn>, sign_analysis[45172f1c6f0d586d]::Sign, edlc_analysis[89843a4ac3612a3f]::graph::HashGraphState<edlc_analysis[89843a4ac3612a3f]::graph::LatticeId, sign_analysis[45172f1c6f0d586d]::Sign, ()>>>::solve
[INFO] [stdout]   14:     0x5ffa8d959478 - <sign_analysis[45172f1c6f0d586d]::solve_sign_builder::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   15:     0x5ffa8d95f9bb - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   16:     0x5ffa8d96cb95 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   17:     0x5ffa8d966484 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   18:     0x5ffa8d96fc22 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   19:     0x5ffa8d9d710f - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   20:     0x78fe9481fdfa - <unknown>
[INFO] [stdout]   21:     0x78fe948b33d4 - clone
[INFO] [stdout]   22:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- solve_sign stdout ----
[INFO] [stdout] done building CFG test program.
[INFO] [stdout] 
[INFO] [stdout] thread 'solve_sign' (189) panicked at src/graph.rs:1215:51:
[INFO] [stdout] called `Option::unwrap()` on a `None` value
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x5ffa8d9d78b1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x5ffa8d9ebb5a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x5ffa8d9dbacc - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x5ffa8d9b3d16 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x5ffa8d9cff49 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x5ffa8d96c570 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x5ffa8d9d0102 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x5ffa8d9b3df4 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x5ffa8d9acad9 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x5ffa8d9b49cd - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x5ffa8d9ec28c - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x5ffa8d9ec252 - core[a373ad73a504971]::panicking::panic
[INFO] [stdout]   12:     0x5ffa8d9ec009 - core[a373ad73a504971]::option::unwrap_failed
[INFO] [stdout]   13:     0x5ffa8d95b619 - <edlc_analysis[89843a4ac3612a3f]::graph::WorkListFixpointForward as edlc_analysis[89843a4ac3612a3f]::graph::LogicSolver<edlc_analysis[89843a4ac3612a3f]::graph::ConstraintLattice<sign_analysis[45172f1c6f0d586d]::ExprPool, sign_analysis[45172f1c6f0d586d]::SignTransferFn>, sign_analysis[45172f1c6f0d586d]::Sign, edlc_analysis[89843a4ac3612a3f]::graph::HashGraphState<edlc_analysis[89843a4ac3612a3f]::graph::LatticeId, sign_analysis[45172f1c6f0d586d]::Sign, ()>>>::solve
[INFO] [stdout]   14:     0x5ffa8d9587e9 - <sign_analysis[45172f1c6f0d586d]::solve_sign::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   15:     0x5ffa8d95f9bb - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   16:     0x5ffa8d96cb95 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   17:     0x5ffa8d966484 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   18:     0x5ffa8d96fc22 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   19:     0x5ffa8d9d710f - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   20:     0x78fe9481fdfa - <unknown>
[INFO] [stdout]   21:     0x78fe948b33d4 - 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.01s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "32189fe2e45cf6c9fceadb0a4f6b2075ff688b0e59907d55f2f671b6bdfe26e1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "32189fe2e45cf6c9fceadb0a4f6b2075ff688b0e59907d55f2f671b6bdfe26e1", kill_on_drop: false }`
[INFO] [stdout] 32189fe2e45cf6c9fceadb0a4f6b2075ff688b0e59907d55f2f671b6bdfe26e1
