[INFO] updating cached repository https://github.com/bkushigian/cornelius [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "-c" "remote.origin.fetch=refs/heads/*:refs/heads/*" "fetch" "origin" "--force" "--prune", kill_on_drop: false }` [INFO] [stderr] From https://github.com/bkushigian/cornelius [INFO] [stderr] 97feac5..bc3785c master -> master [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] bc3785c1a901b9393864ea8ad588cb7b5a8029e2 [INFO] testing bkushigian/cornelius against try#03a1ea71b075ab964b5278bc6e74cd6c52c36ee0 for pr-74409 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbkushigian%2Fcornelius" "/workspace/builds/worker-6/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-6/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/bkushigian/cornelius on toolchain 03a1ea71b075ab964b5278bc6e74cd6c52c36ee0 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+03a1ea71b075ab964b5278bc6e74cd6c52c36ee0" "read-manifest" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/bkushigian/cornelius [INFO] finished tweaking git repo https://github.com/bkushigian/cornelius [INFO] tweaked toml for git repo https://github.com/bkushigian/cornelius written to /workspace/builds/worker-6/source/Cargo.toml [INFO] crate git repo https://github.com/bkushigian/cornelius already has a lockfile, it will not be regenerated [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+03a1ea71b075ab964b5278bc6e74cd6c52c36ee0" "fetch" "--locked" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6/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" "MAP_USER_ID=0" "-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" "--network" "none" "rustops/crates-build-env@sha256:38e1b949b06cde1964af550a6e548bd9b2b2ea170003ae122f8fc0886596cc07" "/opt/rustwide/cargo-home/bin/cargo" "+03a1ea71b075ab964b5278bc6e74cd6c52c36ee0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 306fc4b54185669b7aa36b9bfd2846e1efa3e96b44443b0f88de2feb68e37942 [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `Command { std: "docker" "start" "-a" "306fc4b54185669b7aa36b9bfd2846e1efa3e96b44443b0f88de2feb68e37942", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "306fc4b54185669b7aa36b9bfd2846e1efa3e96b44443b0f88de2feb68e37942", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "306fc4b54185669b7aa36b9bfd2846e1efa3e96b44443b0f88de2feb68e37942", kill_on_drop: false }` [INFO] [stdout] 306fc4b54185669b7aa36b9bfd2846e1efa3e96b44443b0f88de2feb68e37942 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6/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" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env@sha256:38e1b949b06cde1964af550a6e548bd9b2b2ea170003ae122f8fc0886596cc07" "/opt/rustwide/cargo-home/bin/cargo" "+03a1ea71b075ab964b5278bc6e74cd6c52c36ee0" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] 0f84d0207a11669e9434b70efe7dca809f60b6803e7eef5b5057c211ceedb096 [INFO] running `Command { std: "docker" "start" "-a" "0f84d0207a11669e9434b70efe7dca809f60b6803e7eef5b5057c211ceedb096", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.18 [INFO] [stderr] Compiling libc v0.2.72 [INFO] [stderr] Compiling unicode-xid v0.2.1 [INFO] [stderr] Compiling syn v1.0.34 [INFO] [stderr] Compiling serde_derive v1.0.114 [INFO] [stderr] Compiling serde v1.0.114 [INFO] [stderr] Compiling cfg-if v0.1.10 [INFO] [stderr] Compiling log v0.4.11 [INFO] [stderr] Compiling gimli v0.22.0 [INFO] [stderr] Compiling ryu v1.0.5 [INFO] [stderr] Compiling adler v0.2.3 [INFO] [stderr] Compiling rustc-demangle v0.1.16 [INFO] [stderr] Compiling serde_json v1.0.56 [INFO] [stderr] Compiling object v0.20.0 [INFO] [stderr] Compiling itoa v0.4.6 [INFO] [stderr] Compiling anyhow v1.0.31 [INFO] [stderr] Compiling instant v0.1.6 [INFO] [stderr] Compiling either v1.5.3 [INFO] [stderr] Compiling once_cell v1.4.0 [INFO] [stderr] Compiling xml-rs v0.8.3 [INFO] [stderr] Compiling symbolic_expressions v5.0.3 [INFO] [stderr] Compiling smallvec v1.4.1 [INFO] [stderr] Compiling xmlparser v0.13.2 [INFO] [stderr] Compiling enum_derive v0.1.7 [INFO] [stderr] Compiling custom_derive v0.1.7 [INFO] [stderr] Compiling num-traits v0.2.12 [INFO] [stderr] Compiling num-integer v0.1.43 [INFO] [stderr] Compiling indexmap v1.4.0 [INFO] [stderr] Compiling miniz_oxide v0.4.0 [INFO] [stderr] Compiling itertools v0.7.11 [INFO] [stderr] Compiling roxmltree v0.9.1 [INFO] [stderr] Compiling quote v1.0.7 [INFO] [stderr] Compiling time v0.1.43 [INFO] [stderr] Compiling egg v0.6.1-dev (https://github.com/mwillsey/egg#9fa238f9) [INFO] [stderr] Compiling chrono v0.4.13 [INFO] [stderr] Compiling addr2line v0.13.0 [INFO] [stderr] Compiling backtrace v0.3.50 [INFO] [stderr] Compiling error-chain v0.10.0 [INFO] [stderr] Compiling serde-xml-rs v0.3.1 [INFO] [stderr] Compiling serde-aux v0.6.1 [INFO] [stderr] Compiling cornelius v0.1.0 (/opt/rustwide/workdir) [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 1m 06s [INFO] running `Command { std: "docker" "inspect" "0f84d0207a11669e9434b70efe7dca809f60b6803e7eef5b5057c211ceedb096", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "0f84d0207a11669e9434b70efe7dca809f60b6803e7eef5b5057c211ceedb096", kill_on_drop: false }` [INFO] [stdout] 0f84d0207a11669e9434b70efe7dca809f60b6803e7eef5b5057c211ceedb096 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6/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" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env@sha256:38e1b949b06cde1964af550a6e548bd9b2b2ea170003ae122f8fc0886596cc07" "/opt/rustwide/cargo-home/bin/cargo" "+03a1ea71b075ab964b5278bc6e74cd6c52c36ee0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] a8276923b86e5837db5adae792f993c2c1921d15b5a8cb759f9630752a419962 [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `Command { std: "docker" "start" "-a" "a8276923b86e5837db5adae792f993c2c1921d15b5a8cb759f9630752a419962", kill_on_drop: false }` [INFO] [stderr] Compiling cornelius v0.1.0 (/opt/rustwide/workdir) [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 7.77s [INFO] running `Command { std: "docker" "inspect" "a8276923b86e5837db5adae792f993c2c1921d15b5a8cb759f9630752a419962", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "a8276923b86e5837db5adae792f993c2c1921d15b5a8cb759f9630752a419962", kill_on_drop: false }` [INFO] [stdout] a8276923b86e5837db5adae792f993c2c1921d15b5a8cb759f9630752a419962 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6/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" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env@sha256:38e1b949b06cde1964af550a6e548bd9b2b2ea170003ae122f8fc0886596cc07" "/opt/rustwide/cargo-home/bin/cargo" "+03a1ea71b075ab964b5278bc6e74cd6c52c36ee0" "test" "--frozen", kill_on_drop: false }` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] c5677dc94795a044ac358a8f8cd2ec0f71e00b54973ef6c358c8fb45d05b30f6 [INFO] running `Command { std: "docker" "start" "-a" "c5677dc94795a044ac358a8f8cd2ec0f71e00b54973ef6c358c8fb45d05b30f6", kill_on_drop: false }` [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 0.11s [INFO] [stderr] Running /opt/rustwide/target/debug/deps/cornelius-affc4147b2862efc [INFO] [stdout] [INFO] [stdout] running 52 tests [INFO] [stdout] test delta::tests::test2 ... ok [INFO] [stdout] test delta::tests::test1 ... ok [INFO] [stdout] test delta::tests::test3 ... ok [INFO] [stdout] test delta::tests::test4 ... ok [INFO] [stdout] test tests::eq_propagation_6 ... ok [INFO] [stdout] test tests::eq_distr_var_1 ... ok [INFO] [stdout] test tests::ensure_no_rewrite_2 ... ok [INFO] [stdout] test tests::eq_distr_eq_1 ... ok [INFO] [stdout] test tests::ensure_no_rewrite_3 ... ok [INFO] [stdout] test tests::eq_propagation_2 ... FAILED [INFO] [stdout] test tests::eq_propagation_8 ... FAILED [INFO] [stdout] test tests::eq_propagation_5 ... FAILED [INFO] [stdout] test tests::eq_propagation_4 ... FAILED [INFO] [stdout] test tests::eq_propagation_7 ... FAILED [INFO] [stdout] test tests::eq_propagation_3 ... FAILED [INFO] [stdout] test tests::eq_propagation_9 ... FAILED [INFO] [stdout] test tests::neq_propagation_1 ... FAILED [INFO] [stdout] test tests::neq_propagation_2 ... FAILED [INFO] [stdout] test tests::eq_propagation_1 ... FAILED [INFO] [stdout] test tests::neq_propagation_4 ... FAILED [INFO] [stdout] test tests::neq_propagation_6 ... ok [INFO] [stdout] test tests::neq_propagation_5 ... FAILED [INFO] [stdout] test tests::neq_propagation_7 ... ok [INFO] [stdout] test tests::neq_propagation_3 ... FAILED [INFO] [stdout] test tests::push_ge_over_phi_3 ... ok [INFO] [stdout] test tests::push_gt_over_phi_4 ... ok [INFO] [stdout] test tests::push_ge_over_phi_4 ... ok [INFO] [stdout] test tests::push_gt_over_phi_2 ... ok [INFO] [stdout] test tests::push_ge_over_phi_2 ... ok [INFO] [stdout] test tests::push_ge_over_phi_1 ... FAILED [INFO] [stdout] test tests::push_gt_over_phi_1 ... FAILED [INFO] [stdout] test tests::eq_refine_var_trigger ... ok [INFO] [stdout] test tests::eq_refine_const_pass ... ok [INFO] [stdout] test tests::eq_refine_var_pass ... ok [INFO] [stdout] test tests::push_plus_over_phi_2 ... ok [INFO] [stdout] test tests::push_plus_over_phi_1 ... ok [INFO] [stdout] test tests::neq_propagation_8 ... ok [INFO] [stdout] test tests::neq_propagation_9 ... FAILED [INFO] [stdout] test tests::test_max_4 ... ok [INFO] [stdout] test tests::push_le_over_phi_1 ... FAILED [INFO] [stdout] test tests::push_gt_over_phi_3 ... FAILED [INFO] [stdout] test tests::push_le_over_phi_2 ... ok [INFO] [stdout] test tests::push_le_over_phi_4 ... ok [INFO] [stdout] test tests::push_lt_over_phi_2 ... ok [INFO] [stdout] test tests::push_le_over_phi_3 ... ok [INFO] [stdout] test tests::push_lt_over_phi_3 ... FAILED [INFO] [stdout] test tests::push_lt_over_phi_4 ... ok [INFO] [stdout] test tests::push_lt_over_phi_1 ... FAILED [INFO] [stdout] test tests::test_max_2 ... ok [INFO] [stdout] test tests::test_max_1 ... FAILED [INFO] [stdout] test tests::test_max_3 ... FAILED [INFO] [stdout] test tests::ensure_no_rewrite_1 ... test tests::ensure_no_rewrite_1 has been running for over 60 seconds [INFO] [stdout] test tests::ensure_no_rewrite_1 ... FAILED [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] [INFO] [stdout] ---- tests::eq_propagation_2 stdout ---- [INFO] [stdout] thread 'tests::eq_propagation_2' panicked at 'assertion failed: test_straight_rewrite("(== 1 0)", "(bool false)")', src/main.rs:252:9 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5557562e8cb5 - backtrace::backtrace::libunwind::trace::hea89dfbbfe67f40d [INFO] [stdout] at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/libunwind.rs:86 [INFO] [stdout] 1: 0x5557562e8cb5 - backtrace::backtrace::trace_unsynchronized::h0513dd713d7644d4 [INFO] [stdout] at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/mod.rs:66 [INFO] [stdout] 2: 0x5557562e8cb5 - std::sys_common::backtrace::_print_fmt::h040abae64e4a24a9 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:78 [INFO] [stdout] 3: 0x5557562e8cb5 - ::fmt::hb4bdb37c3c335733 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:59 [INFO] [stdout] 4: 0x555756310a1c - core::fmt::write::h540ac4a6a1232abc [INFO] [stdout] at src/libcore/fmt/mod.rs:1076 [INFO] [stdout] 5: 0x555756262315 - std::io::Write::write_fmt::h4be0daababb55bba [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/io/mod.rs:1539 [INFO] [stdout] 6: 0x5557562e3381 - std::io::impls::>::write_fmt::h83c1e1aa73f374f5 [INFO] [stdout] at src/libstd/io/impls.rs:176 [INFO] [stdout] 7: 0x5557562eb410 - std::sys_common::backtrace::_print::hb55cc635eaf1882e [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:62 [INFO] [stdout] 8: 0x5557562eb410 - std::sys_common::backtrace::print::h2b2218fa55714084 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:49 [INFO] [stdout] 9: 0x5557562eb410 - std::panicking::default_hook::{{closure}}::h578517c025765cf3 [INFO] [stdout] at src/libstd/panicking.rs:198 [INFO] [stdout] 10: 0x5557562eb10a - std::panicking::default_hook::h4cafc94c2fc640fb [INFO] [stdout] at src/libstd/panicking.rs:214 [INFO] [stdout] 11: 0x5557562eba53 - std::panicking::rust_panic_with_hook::h3eeb5001beeca5c3 [INFO] [stdout] at src/libstd/panicking.rs:526 [INFO] [stdout] 12: 0x5557562a7fa9 - std::panicking::begin_panic::h3bc08ffc6242cc36 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:456 [INFO] [stdout] 13: 0x5557561cc3a0 - cornelius::tests::eq_propagation_2::h08b4a236a66e8b54 [INFO] [stdout] at src/main.rs:252 [INFO] [stdout] 14: 0x5557561cc33a - cornelius::tests::eq_propagation_2::{{closure}}::h5950ff0a6bcad2b4 [INFO] [stdout] at src/main.rs:251 [INFO] [stdout] 15: 0x5557561d8e6e - core::ops::function::FnOnce::call_once::hcc40a38c58b7a445 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libcore/ops/function.rs:233 [INFO] [stdout] 16: 0x55575628988c - as core::ops::function::FnOnce>::call_once::h8340ba6798e0c4ff [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 17: 0x55575628988c - as core::ops::function::FnOnce<()>>::call_once::h5590e98676605094 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:318 [INFO] [stdout] 18: 0x55575628988c - std::panicking::try::do_call::hd8680a2dbb0ed3c4 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:348 [INFO] [stdout] 19: 0x55575628988c - std::panicking::try::h46b4de2d705e7a8d [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:325 [INFO] [stdout] 20: 0x55575628988c - std::panic::catch_unwind::h059b3f06991e0a9c [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:394 [INFO] [stdout] 21: 0x55575628988c - test::run_test_in_process::h5ae08a65430494a4 [INFO] [stdout] at src/libtest/lib.rs:541 [INFO] [stdout] 22: 0x55575628988c - test::run_test::run_test_inner::{{closure}}::h4b36073838376ae8 [INFO] [stdout] at src/libtest/lib.rs:450 [INFO] [stdout] 23: 0x555756261806 - std::sys_common::backtrace::__rust_begin_short_backtrace::h0169d0be588b8bf0 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/sys_common/backtrace.rs:130 [INFO] [stdout] 24: 0x5557562667f5 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h71bfc37e887d3973 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/thread/mod.rs:475 [INFO] [stdout] 25: 0x5557562667f5 - as core::ops::function::FnOnce<()>>::call_once::h36c65072907dc180 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:318 [INFO] [stdout] 26: 0x5557562667f5 - std::panicking::try::do_call::h4e0f426e17cd216c [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:348 [INFO] [stdout] 27: 0x5557562667f5 - std::panicking::try::hd05e4ef6b4303d29 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:325 [INFO] [stdout] 28: 0x5557562667f5 - std::panic::catch_unwind::h19a1127ec729c5dd [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:394 [INFO] [stdout] 29: 0x5557562667f5 - std::thread::Builder::spawn_unchecked::{{closure}}::h011300735f06b1e2 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/thread/mod.rs:474 [INFO] [stdout] 30: 0x5557562667f5 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h1e3c55f31f1d122e [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libcore/ops/function.rs:233 [INFO] [stdout] 31: 0x5557562f1c2a - as core::ops::function::FnOnce>::call_once::hc0e15d78a519721e [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 32: 0x5557562f1c2a - as core::ops::function::FnOnce>::call_once::h211da8fffb09f192 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 33: 0x5557562f1c2a - std::sys::unix::thread::Thread::new::thread_start::h29594ddebf23e421 [INFO] [stdout] at src/libstd/sys/unix/thread.rs:87 [INFO] [stdout] 34: 0x7f9e13ba8609 - start_thread [INFO] [stdout] 35: 0x7f9e13ab4103 - __clone [INFO] [stdout] 36: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- tests::eq_propagation_8 stdout ---- [INFO] [stdout] thread 'tests::eq_propagation_8' panicked at 'assertion failed: test_straight_rewrite("(== 1 (phi (var c) 2 1))", "(! (var c))")', src/main.rs:282:9 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5557562e8cb5 - backtrace::backtrace::libunwind::trace::hea89dfbbfe67f40d [INFO] [stdout] at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/libunwind.rs:86 [INFO] [stdout] 1: 0x5557562e8cb5 - backtrace::backtrace::trace_unsynchronized::h0513dd713d7644d4 [INFO] [stdout] at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/mod.rs:66 [INFO] [stdout] 2: 0x5557562e8cb5 - std::sys_common::backtrace::_print_fmt::h040abae64e4a24a9 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:78 [INFO] [stdout] 3: 0x5557562e8cb5 - ::fmt::hb4bdb37c3c335733 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:59 [INFO] [stdout] 4: 0x555756310a1c - core::fmt::write::h540ac4a6a1232abc [INFO] [stdout] at src/libcore/fmt/mod.rs:1076 [INFO] [stdout] 5: 0x555756262315 - std::io::Write::write_fmt::h4be0daababb55bba [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/io/mod.rs:1539 [INFO] [stdout] 6: 0x5557562e3381 - std::io::impls::>::write_fmt::h83c1e1aa73f374f5 [INFO] [stdout] at src/libstd/io/impls.rs:176 [INFO] [stdout] 7: 0x5557562eb410 - std::sys_common::backtrace::_print::hb55cc635eaf1882e [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:62 [INFO] [stdout] 8: 0x5557562eb410 - std::sys_common::backtrace::print::h2b2218fa55714084 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:49 [INFO] [stdout] 9: 0x5557562eb410 - std::panicking::default_hook::{{closure}}::h578517c025765cf3 [INFO] [stdout] at src/libstd/panicking.rs:198 [INFO] [stdout] 10: 0x5557562eb10a - std::panicking::default_hook::h4cafc94c2fc640fb [INFO] [stdout] at src/libstd/panicking.rs:214 [INFO] [stdout] 11: 0x5557562eba53 - std::panicking::rust_panic_with_hook::h3eeb5001beeca5c3 [INFO] [stdout] at src/libstd/panicking.rs:526 [INFO] [stdout] 12: 0x5557562a7fa9 - std::panicking::begin_panic::h3bc08ffc6242cc36 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:456 [INFO] [stdout] 13: 0x5557561cc6a0 - cornelius::tests::eq_propagation_8::he8ba3443190827b5 [INFO] [stdout] at src/main.rs:282 [INFO] [stdout] 14: 0x5557561cc63a - cornelius::tests::eq_propagation_8::{{closure}}::he0d5de186af65997 [INFO] [stdout] at src/main.rs:281 [INFO] [stdout] 15: 0x5557561d853e - core::ops::function::FnOnce::call_once::h4233991514a4c194 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libcore/ops/function.rs:233 [INFO] [stdout] 16: 0x55575628988c - as core::ops::function::FnOnce>::call_once::h8340ba6798e0c4ff [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 17: 0x55575628988c - as core::ops::function::FnOnce<()>>::call_once::h5590e98676605094 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:318 [INFO] [stdout] 18: 0x55575628988c - std::panicking::try::do_call::hd8680a2dbb0ed3c4 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:348 [INFO] [stdout] 19: 0x55575628988c - std::panicking::try::h46b4de2d705e7a8d [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:325 [INFO] [stdout] 20: 0x55575628988c - std::panic::catch_unwind::h059b3f06991e0a9c [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:394 [INFO] [stdout] 21: 0x55575628988c - test::run_test_in_process::h5ae08a65430494a4 [INFO] [stdout] at src/libtest/lib.rs:541 [INFO] [stdout] 22: 0x55575628988c - test::run_test::run_test_inner::{{closure}}::h4b36073838376ae8 [INFO] [stdout] at src/libtest/lib.rs:450 [INFO] [stdout] 23: 0x555756261806 - std::sys_common::backtrace::__rust_begin_short_backtrace::h0169d0be588b8bf0 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/sys_common/backtrace.rs:130 [INFO] [stdout] 24: 0x5557562667f5 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h71bfc37e887d3973 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/thread/mod.rs:475 [INFO] [stdout] 25: 0x5557562667f5 - as core::ops::function::FnOnce<()>>::call_once::h36c65072907dc180 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:318 [INFO] [stdout] 26: 0x5557562667f5 - std::panicking::try::do_call::h4e0f426e17cd216c [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:348 [INFO] [stdout] 27: 0x5557562667f5 - std::panicking::try::hd05e4ef6b4303d29 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:325 [INFO] [stdout] 28: 0x5557562667f5 - std::panic::catch_unwind::h19a1127ec729c5dd [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:394 [INFO] [stdout] 29: 0x5557562667f5 - std::thread::Builder::spawn_unchecked::{{closure}}::h011300735f06b1e2 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/thread/mod.rs:474 [INFO] [stdout] 30: 0x5557562667f5 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h1e3c55f31f1d122e [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libcore/ops/function.rs:233 [INFO] [stdout] 31: 0x5557562f1c2a - as core::ops::function::FnOnce>::call_once::hc0e15d78a519721e [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 32: 0x5557562f1c2a - as core::ops::function::FnOnce>::call_once::h211da8fffb09f192 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 33: 0x5557562f1c2a - std::sys::unix::thread::Thread::new::thread_start::h29594ddebf23e421 [INFO] [stdout] at src/libstd/sys/unix/thread.rs:87 [INFO] [stdout] 34: 0x7f9e13ba8609 - start_thread [INFO] [stdout] 35: 0x7f9e13ab4103 - __clone [INFO] [stdout] 36: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- tests::eq_propagation_5 stdout ---- [INFO] [stdout] thread 'tests::eq_propagation_5' panicked at 'assertion failed: test_straight_rewrite("(== 1 (phi (var c) 1 2))", [INFO] [stdout] "(phi (var c) (bool true) (bool false))")', src/main.rs:267:9 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5557562e8cb5 - backtrace::backtrace::libunwind::trace::hea89dfbbfe67f40d [INFO] [stdout] at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/libunwind.rs:86 [INFO] [stdout] 1: 0x5557562e8cb5 - backtrace::backtrace::trace_unsynchronized::h0513dd713d7644d4 [INFO] [stdout] at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/mod.rs:66 [INFO] [stdout] 2: 0x5557562e8cb5 - std::sys_common::backtrace::_print_fmt::h040abae64e4a24a9 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:78 [INFO] [stdout] 3: 0x5557562e8cb5 - ::fmt::hb4bdb37c3c335733 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:59 [INFO] [stdout] 4: 0x555756310a1c - core::fmt::write::h540ac4a6a1232abc [INFO] [stdout] at src/libcore/fmt/mod.rs:1076 [INFO] [stdout] 5: 0x555756262315 - std::io::Write::write_fmt::h4be0daababb55bba [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/io/mod.rs:1539 [INFO] [stdout] 6: 0x5557562e3381 - std::io::impls::>::write_fmt::h83c1e1aa73f374f5 [INFO] [stdout] at src/libstd/io/impls.rs:176 [INFO] [stdout] 7: 0x5557562eb410 - std::sys_common::backtrace::_print::hb55cc635eaf1882e [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:62 [INFO] [stdout] 8: 0x5557562eb410 - std::sys_common::backtrace::print::h2b2218fa55714084 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:49 [INFO] [stdout] 9: 0x5557562eb410 - std::panicking::default_hook::{{closure}}::h578517c025765cf3 [INFO] [stdout] at src/libstd/panicking.rs:198 [INFO] [stdout] 10: 0x5557562eb10a - std::panicking::default_hook::h4cafc94c2fc640fb [INFO] [stdout] at src/libstd/panicking.rs:214 [INFO] [stdout] 11: 0x5557562eba53 - std::panicking::rust_panic_with_hook::h3eeb5001beeca5c3 [INFO] [stdout] at src/libstd/panicking.rs:526 [INFO] [stdout] 12: 0x5557562a7fa9 - std::panicking::begin_panic::h3bc08ffc6242cc36 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:456 [INFO] [stdout] 13: 0x5557561cc520 - cornelius::tests::eq_propagation_5::hed89ad0b1dbcb75e [INFO] [stdout] at src/main.rs:267 [INFO] [stdout] 14: 0x5557561cc4ba - cornelius::tests::eq_propagation_5::{{closure}}::h61f208ee7a85b016 [INFO] [stdout] at src/main.rs:266 [INFO] [stdout] 15: 0x5557561d90ce - core::ops::function::FnOnce::call_once::he7f317e753e3a5d2 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libcore/ops/function.rs:233 [INFO] [stdout] 16: 0x55575628988c - as core::ops::function::FnOnce>::call_once::h8340ba6798e0c4ff [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 17: 0x55575628988c - as core::ops::function::FnOnce<()>>::call_once::h5590e98676605094 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:318 [INFO] [stdout] 18: 0x55575628988c - std::panicking::try::do_call::hd8680a2dbb0ed3c4 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:348 [INFO] [stdout] 19: 0x55575628988c - std::panicking::try::h46b4de2d705e7a8d [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:325 [INFO] [stdout] 20: 0x55575628988c - std::panic::catch_unwind::h059b3f06991e0a9c [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:394 [INFO] [stdout] 21: 0x55575628988c - test::run_test_in_process::h5ae08a65430494a4 [INFO] [stdout] at src/libtest/lib.rs:541 [INFO] [stdout] 22: 0x55575628988c - test::run_test::run_test_inner::{{closure}}::h4b36073838376ae8 [INFO] [stdout] at src/libtest/lib.rs:450 [INFO] [stdout] 23: 0x555756261806 - std::sys_common::backtrace::__rust_begin_short_backtrace::h0169d0be588b8bf0 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/sys_common/backtrace.rs:130 [INFO] [stdout] 24: 0x5557562667f5 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h71bfc37e887d3973 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/thread/mod.rs:475 [INFO] [stdout] 25: 0x5557562667f5 - as core::ops::function::FnOnce<()>>::call_once::h36c65072907dc180 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:318 [INFO] [stdout] 26: 0x5557562667f5 - std::panicking::try::do_call::h4e0f426e17cd216c [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:348 [INFO] [stdout] 27: 0x5557562667f5 - std::panicking::try::hd05e4ef6b4303d29 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:325 [INFO] [stdout] 28: 0x5557562667f5 - std::panic::catch_unwind::h19a1127ec729c5dd [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:394 [INFO] [stdout] 29: 0x5557562667f5 - std::thread::Builder::spawn_unchecked::{{closure}}::h011300735f06b1e2 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/thread/mod.rs:474 [INFO] [stdout] 30: 0x5557562667f5 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h1e3c55f31f1d122e [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libcore/ops/function.rs:233 [INFO] [stdout] 31: 0x5557562f1c2a - as core::ops::function::FnOnce>::call_once::hc0e15d78a519721e [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 32: 0x5557562f1c2a - as core::ops::function::FnOnce>::call_once::h211da8fffb09f192 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 33: 0x5557562f1c2a - std::sys::unix::thread::Thread::new::thread_start::h29594ddebf23e421 [INFO] [stdout] at src/libstd/sys/unix/thread.rs:87 [INFO] [stdout] 34: 0x7f9e13ba8609 - start_thread [INFO] [stdout] 35: 0x7f9e13ab4103 - __clone [INFO] [stdout] 36: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- tests::eq_propagation_4 stdout ---- [INFO] [stdout] thread 'tests::eq_propagation_4' panicked at 'assertion failed: test_straight_rewrite("(== (bool false) (bool false))", "(bool true)")', src/main.rs:262:9 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5557562e8cb5 - backtrace::backtrace::libunwind::trace::hea89dfbbfe67f40d [INFO] [stdout] at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/libunwind.rs:86 [INFO] [stdout] 1: 0x5557562e8cb5 - backtrace::backtrace::trace_unsynchronized::h0513dd713d7644d4 [INFO] [stdout] at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/mod.rs:66 [INFO] [stdout] 2: 0x5557562e8cb5 - std::sys_common::backtrace::_print_fmt::h040abae64e4a24a9 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:78 [INFO] [stdout] 3: 0x5557562e8cb5 - ::fmt::hb4bdb37c3c335733 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:59 [INFO] [stdout] 4: 0x555756310a1c - core::fmt::write::h540ac4a6a1232abc [INFO] [stdout] at src/libcore/fmt/mod.rs:1076 [INFO] [stdout] 5: 0x555756262315 - std::io::Write::write_fmt::h4be0daababb55bba [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/io/mod.rs:1539 [INFO] [stdout] 6: 0x5557562e3381 - std::io::impls::>::write_fmt::h83c1e1aa73f374f5 [INFO] [stdout] at src/libstd/io/impls.rs:176 [INFO] [stdout] 7: 0x5557562eb410 - std::sys_common::backtrace::_print::hb55cc635eaf1882e [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:62 [INFO] [stdout] 8: 0x5557562eb410 - std::sys_common::backtrace::print::h2b2218fa55714084 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:49 [INFO] [stdout] 9: 0x5557562eb410 - std::panicking::default_hook::{{closure}}::h578517c025765cf3 [INFO] [stdout] at src/libstd/panicking.rs:198 [INFO] [stdout] 10: 0x5557562eb10a - std::panicking::default_hook::h4cafc94c2fc640fb [INFO] [stdout] at src/libstd/panicking.rs:214 [INFO] [stdout] 11: 0x5557562eba53 - std::panicking::rust_panic_with_hook::h3eeb5001beeca5c3 [INFO] [stdout] at src/libstd/panicking.rs:526 [INFO] [stdout] 12: 0x5557562a7fa9 - std::panicking::begin_panic::h3bc08ffc6242cc36 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:456 [INFO] [stdout] 13: 0x5557561cc4a0 - cornelius::tests::eq_propagation_4::h9defa2a3f9aa7c1b [INFO] [stdout] at src/main.rs:262 [INFO] [stdout] 14: 0x5557561cc43a - cornelius::tests::eq_propagation_4::{{closure}}::h6d891b1be11f0624 [INFO] [stdout] at src/main.rs:261 [INFO] [stdout] 15: 0x5557561d8efe - core::ops::function::FnOnce::call_once::hd2763ee45a68e421 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libcore/ops/function.rs:233 [INFO] [stdout] 16: 0x55575628988c - as core::ops::function::FnOnce>::call_once::h8340ba6798e0c4ff [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 17: 0x55575628988c - as core::ops::function::FnOnce<()>>::call_once::h5590e98676605094 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:318 [INFO] [stdout] 18: 0x55575628988c - std::panicking::try::do_call::hd8680a2dbb0ed3c4 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:348 [INFO] [stdout] 19: 0x55575628988c - std::panicking::try::h46b4de2d705e7a8d [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:325 [INFO] [stdout] 20: 0x55575628988c - std::panic::catch_unwind::h059b3f06991e0a9c [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:394 [INFO] [stdout] 21: 0x55575628988c - test::run_test_in_process::h5ae08a65430494a4 [INFO] [stdout] at src/libtest/lib.rs:541 [INFO] [stdout] 22: 0x55575628988c - test::run_test::run_test_inner::{{closure}}::h4b36073838376ae8 [INFO] [stdout] at src/libtest/lib.rs:450 [INFO] [stdout] 23: 0x555756261806 - std::sys_common::backtrace::__rust_begin_short_backtrace::h0169d0be588b8bf0 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/sys_common/backtrace.rs:130 [INFO] [stdout] 24: 0x5557562667f5 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h71bfc37e887d3973 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/thread/mod.rs:475 [INFO] [stdout] 25: 0x5557562667f5 - as core::ops::function::FnOnce<()>>::call_once::h36c65072907dc180 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:318 [INFO] [stdout] 26: 0x5557562667f5 - std::panicking::try::do_call::h4e0f426e17cd216c [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:348 [INFO] [stdout] 27: 0x5557562667f5 - std::panicking::try::hd05e4ef6b4303d29 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:325 [INFO] [stdout] 28: 0x5557562667f5 - std::panic::catch_unwind::h19a1127ec729c5dd [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:394 [INFO] [stdout] 29: 0x5557562667f5 - std::thread::Builder::spawn_unchecked::{{closure}}::h011300735f06b1e2 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/thread/mod.rs:474 [INFO] [stdout] 30: 0x5557562667f5 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h1e3c55f31f1d122e [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libcore/ops/function.rs:233 [INFO] [stdout] 31: 0x5557562f1c2a - as core::ops::function::FnOnce>::call_once::hc0e15d78a519721e [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 32: 0x5557562f1c2a - as core::ops::function::FnOnce>::call_once::h211da8fffb09f192 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 33: 0x5557562f1c2a - std::sys::unix::thread::Thread::new::thread_start::h29594ddebf23e421 [INFO] [stdout] at src/libstd/sys/unix/thread.rs:87 [INFO] [stdout] 34: 0x7f9e13ba8609 - start_thread [INFO] [stdout] 35: 0x7f9e13ab4103 - __clone [INFO] [stdout] 36: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- tests::eq_propagation_7 stdout ---- [INFO] [stdout] thread 'tests::eq_propagation_7' panicked at 'assertion failed: test_straight_rewrite("(== 1 (phi (var c) 1 2))", "(var c)")', src/main.rs:277:9 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5557562e8cb5 - backtrace::backtrace::libunwind::trace::hea89dfbbfe67f40d [INFO] [stdout] at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/libunwind.rs:86 [INFO] [stdout] 1: 0x5557562e8cb5 - backtrace::backtrace::trace_unsynchronized::h0513dd713d7644d4 [INFO] [stdout] at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/mod.rs:66 [INFO] [stdout] 2: 0x5557562e8cb5 - std::sys_common::backtrace::_print_fmt::h040abae64e4a24a9 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:78 [INFO] [stdout] 3: 0x5557562e8cb5 - ::fmt::hb4bdb37c3c335733 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:59 [INFO] [stdout] 4: 0x555756310a1c - core::fmt::write::h540ac4a6a1232abc [INFO] [stdout] at src/libcore/fmt/mod.rs:1076 [INFO] [stdout] 5: 0x555756262315 - std::io::Write::write_fmt::h4be0daababb55bba [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/io/mod.rs:1539 [INFO] [stdout] 6: 0x5557562e3381 - std::io::impls::>::write_fmt::h83c1e1aa73f374f5 [INFO] [stdout] at src/libstd/io/impls.rs:176 [INFO] [stdout] 7: 0x5557562eb410 - std::sys_common::backtrace::_print::hb55cc635eaf1882e [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:62 [INFO] [stdout] 8: 0x5557562eb410 - std::sys_common::backtrace::print::h2b2218fa55714084 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:49 [INFO] [stdout] 9: 0x5557562eb410 - std::panicking::default_hook::{{closure}}::h578517c025765cf3 [INFO] [stdout] at src/libstd/panicking.rs:198 [INFO] [stdout] 10: 0x5557562eb10a - std::panicking::default_hook::h4cafc94c2fc640fb [INFO] [stdout] at src/libstd/panicking.rs:214 [INFO] [stdout] 11: 0x5557562eba53 - std::panicking::rust_panic_with_hook::h3eeb5001beeca5c3 [INFO] [stdout] at src/libstd/panicking.rs:526 [INFO] [stdout] 12: 0x5557562a7fa9 - std::panicking::begin_panic::h3bc08ffc6242cc36 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:456 [INFO] [stdout] 13: 0x5557561cc620 - cornelius::tests::eq_propagation_7::h3715da1e9fd37185 [INFO] [stdout] at src/main.rs:277 [INFO] [stdout] 14: 0x5557561cc5ba - cornelius::tests::eq_propagation_7::{{closure}}::h16e2306800a9e7a2 [INFO] [stdout] at src/main.rs:276 [INFO] [stdout] 15: 0x5557561d846e - core::ops::function::FnOnce::call_once::h38a081e2b9cdfc8f [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libcore/ops/function.rs:233 [INFO] [stdout] 16: 0x55575628988c - as core::ops::function::FnOnce>::call_once::h8340ba6798e0c4ff [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 17: 0x55575628988c - as core::ops::function::FnOnce<()>>::call_once::h5590e98676605094 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:318 [INFO] [stdout] 18: 0x55575628988c - std::panicking::try::do_call::hd8680a2dbb0ed3c4 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:348 [INFO] [stdout] 19: 0x55575628988c - std::panicking::try::h46b4de2d705e7a8d [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:325 [INFO] [stdout] 20: 0x55575628988c - std::panic::catch_unwind::h059b3f06991e0a9c [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:394 [INFO] [stdout] 21: 0x55575628988c - test::run_test_in_process::h5ae08a65430494a4 [INFO] [stdout] at src/libtest/lib.rs:541 [INFO] [stdout] 22: 0x55575628988c - test::run_test::run_test_inner::{{closure}}::h4b36073838376ae8 [INFO] [stdout] at src/libtest/lib.rs:450 [INFO] [stdout] 23: 0x555756261806 - std::sys_common::backtrace::__rust_begin_short_backtrace::h0169d0be588b8bf0 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/sys_common/backtrace.rs:130 [INFO] [stdout] 24: 0x5557562667f5 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h71bfc37e887d3973 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/thread/mod.rs:475 [INFO] [stdout] 25: 0x5557562667f5 - as core::ops::function::FnOnce<()>>::call_once::h36c65072907dc180 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:318 [INFO] [stdout] 26: 0x5557562667f5 - std::panicking::try::do_call::h4e0f426e17cd216c [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:348 [INFO] [stdout] 27: 0x5557562667f5 - std::panicking::try::hd05e4ef6b4303d29 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:325 [INFO] [stdout] 28: 0x5557562667f5 - std::panic::catch_unwind::h19a1127ec729c5dd [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:394 [INFO] [stdout] 29: 0x5557562667f5 - std::thread::Builder::spawn_unchecked::{{closure}}::h011300735f06b1e2 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/thread/mod.rs:474 [INFO] [stdout] 30: 0x5557562667f5 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h1e3c55f31f1d122e [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libcore/ops/function.rs:233 [INFO] [stdout] 31: 0x5557562f1c2a - as core::ops::function::FnOnce>::call_once::hc0e15d78a519721e [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 32: 0x5557562f1c2a - as core::ops::function::FnOnce>::call_once::h211da8fffb09f192 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 33: 0x5557562f1c2a - std::sys::unix::thread::Thread::new::thread_start::h29594ddebf23e421 [INFO] [stdout] at src/libstd/sys/unix/thread.rs:87 [INFO] [stdout] 34: 0x7f9e13ba8609 - start_thread [INFO] [stdout] 35: 0x7f9e13ab4103 - __clone [INFO] [stdout] 36: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- tests::eq_propagation_3 stdout ---- [INFO] [stdout] thread 'tests::eq_propagation_3' panicked at 'assertion failed: test_straight_rewrite("(== (bool true) (bool true) )", "(bool true)")', src/main.rs:257:9 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5557562e8cb5 - backtrace::backtrace::libunwind::trace::hea89dfbbfe67f40d [INFO] [stdout] at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/libunwind.rs:86 [INFO] [stdout] 1: 0x5557562e8cb5 - backtrace::backtrace::trace_unsynchronized::h0513dd713d7644d4 [INFO] [stdout] at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/mod.rs:66 [INFO] [stdout] 2: 0x5557562e8cb5 - std::sys_common::backtrace::_print_fmt::h040abae64e4a24a9 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:78 [INFO] [stdout] 3: 0x5557562e8cb5 - ::fmt::hb4bdb37c3c335733 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:59 [INFO] [stdout] 4: 0x555756310a1c - core::fmt::write::h540ac4a6a1232abc [INFO] [stdout] at src/libcore/fmt/mod.rs:1076 [INFO] [stdout] 5: 0x555756262315 - std::io::Write::write_fmt::h4be0daababb55bba [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/io/mod.rs:1539 [INFO] [stdout] 6: 0x5557562e3381 - std::io::impls::>::write_fmt::h83c1e1aa73f374f5 [INFO] [stdout] at src/libstd/io/impls.rs:176 [INFO] [stdout] 7: 0x5557562eb410 - std::sys_common::backtrace::_print::hb55cc635eaf1882e [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:62 [INFO] [stdout] 8: 0x5557562eb410 - std::sys_common::backtrace::print::h2b2218fa55714084 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:49 [INFO] [stdout] 9: 0x5557562eb410 - std::panicking::default_hook::{{closure}}::h578517c025765cf3 [INFO] [stdout] at src/libstd/panicking.rs:198 [INFO] [stdout] 10: 0x5557562eb10a - std::panicking::default_hook::h4cafc94c2fc640fb [INFO] [stdout] at src/libstd/panicking.rs:214 [INFO] [stdout] 11: 0x5557562eba53 - std::panicking::rust_panic_with_hook::h3eeb5001beeca5c3 [INFO] [stdout] at src/libstd/panicking.rs:526 [INFO] [stdout] 12: 0x5557562a7fa9 - std::panicking::begin_panic::h3bc08ffc6242cc36 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:456 [INFO] [stdout] 13: 0x5557561cc420 - cornelius::tests::eq_propagation_3::h985dc2c31b405f16 [INFO] [stdout] at src/main.rs:257 [INFO] [stdout] 14: 0x5557561cc3ba - cornelius::tests::eq_propagation_3::{{closure}}::hd3984b76e98b98ad [INFO] [stdout] at src/main.rs:256 [INFO] [stdout] 15: 0x5557561d8e3e - core::ops::function::FnOnce::call_once::hc89ff23d305532a1 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libcore/ops/function.rs:233 [INFO] [stdout] 16: 0x55575628988c - as core::ops::function::FnOnce>::call_once::h8340ba6798e0c4ff [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 17: 0x55575628988c - as core::ops::function::FnOnce<()>>::call_once::h5590e98676605094 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:318 [INFO] [stdout] 18: 0x55575628988c - std::panicking::try::do_call::hd8680a2dbb0ed3c4 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:348 [INFO] [stdout] 19: 0x55575628988c - std::panicking::try::h46b4de2d705e7a8d [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:325 [INFO] [stdout] 20: 0x55575628988c - std::panic::catch_unwind::h059b3f06991e0a9c [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:394 [INFO] [stdout] 21: 0x55575628988c - test::run_test_in_process::h5ae08a65430494a4 [INFO] [stdout] at src/libtest/lib.rs:541 [INFO] [stdout] 22: 0x55575628988c - test::run_test::run_test_inner::{{closure}}::h4b36073838376ae8 [INFO] [stdout] at src/libtest/lib.rs:450 [INFO] [stdout] 23: 0x555756261806 - std::sys_common::backtrace::__rust_begin_short_backtrace::h0169d0be588b8bf0 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/sys_common/backtrace.rs:130 [INFO] [stdout] 24: 0x5557562667f5 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h71bfc37e887d3973 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/thread/mod.rs:475 [INFO] [stdout] 25: 0x5557562667f5 - as core::ops::function::FnOnce<()>>::call_once::h36c65072907dc180 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:318 [INFO] [stdout] 26: 0x5557562667f5 - std::panicking::try::do_call::h4e0f426e17cd216c [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:348 [INFO] [stdout] 27: 0x5557562667f5 - std::panicking::try::hd05e4ef6b4303d29 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:325 [INFO] [stdout] 28: 0x5557562667f5 - std::panic::catch_unwind::h19a1127ec729c5dd [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:394 [INFO] [stdout] 29: 0x5557562667f5 - std::thread::Builder::spawn_unchecked::{{closure}}::h011300735f06b1e2 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/thread/mod.rs:474 [INFO] [stdout] 30: 0x5557562667f5 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h1e3c55f31f1d122e [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libcore/ops/function.rs:233 [INFO] [stdout] 31: 0x5557562f1c2a - as core::ops::function::FnOnce>::call_once::hc0e15d78a519721e [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 32: 0x5557562f1c2a - as core::ops::function::FnOnce>::call_once::h211da8fffb09f192 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 33: 0x5557562f1c2a - std::sys::unix::thread::Thread::new::thread_start::h29594ddebf23e421 [INFO] [stdout] at src/libstd/sys/unix/thread.rs:87 [INFO] [stdout] 34: 0x7f9e13ba8609 - start_thread [INFO] [stdout] 35: 0x7f9e13ab4103 - __clone [INFO] [stdout] 36: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- tests::eq_propagation_9 stdout ---- [INFO] [stdout] thread 'tests::eq_propagation_9' panicked at 'assertion failed: test_straight_rewrite("(== 2 (phi (var c) 2 1))", "(var c)")', src/main.rs:287:9 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5557562e8cb5 - backtrace::backtrace::libunwind::trace::hea89dfbbfe67f40d [INFO] [stdout] at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/libunwind.rs:86 [INFO] [stdout] 1: 0x5557562e8cb5 - backtrace::backtrace::trace_unsynchronized::h0513dd713d7644d4 [INFO] [stdout] at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/mod.rs:66 [INFO] [stdout] 2: 0x5557562e8cb5 - std::sys_common::backtrace::_print_fmt::h040abae64e4a24a9 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:78 [INFO] [stdout] 3: 0x5557562e8cb5 - ::fmt::hb4bdb37c3c335733 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:59 [INFO] [stdout] 4: 0x555756310a1c - core::fmt::write::h540ac4a6a1232abc [INFO] [stdout] at src/libcore/fmt/mod.rs:1076 [INFO] [stdout] 5: 0x555756262315 - std::io::Write::write_fmt::h4be0daababb55bba [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/io/mod.rs:1539 [INFO] [stdout] 6: 0x5557562e3381 - std::io::impls::>::write_fmt::h83c1e1aa73f374f5 [INFO] [stdout] at src/libstd/io/impls.rs:176 [INFO] [stdout] 7: 0x5557562eb410 - std::sys_common::backtrace::_print::hb55cc635eaf1882e [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:62 [INFO] [stdout] 8: 0x5557562eb410 - std::sys_common::backtrace::print::h2b2218fa55714084 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:49 [INFO] [stdout] 9: 0x5557562eb410 - std::panicking::default_hook::{{closure}}::h578517c025765cf3 [INFO] [stdout] at src/libstd/panicking.rs:198 [INFO] [stdout] 10: 0x5557562eb10a - std::panicking::default_hook::h4cafc94c2fc640fb [INFO] [stdout] at src/libstd/panicking.rs:214 [INFO] [stdout] 11: 0x5557562eba53 - std::panicking::rust_panic_with_hook::h3eeb5001beeca5c3 [INFO] [stdout] at src/libstd/panicking.rs:526 [INFO] [stdout] 12: 0x5557562a7fa9 - std::panicking::begin_panic::h3bc08ffc6242cc36 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:456 [INFO] [stdout] 13: 0x5557561cc720 - cornelius::tests::eq_propagation_9::h82c121d80d2a1a4e [INFO] [stdout] at src/main.rs:287 [INFO] [stdout] 14: 0x5557561cc6ba - cornelius::tests::eq_propagation_9::{{closure}}::h4c0aebd8d95680ae [INFO] [stdout] at src/main.rs:286 [INFO] [stdout] 15: 0x5557561d824e - core::ops::function::FnOnce::call_once::h027fdf5d8fd8fad6 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libcore/ops/function.rs:233 [INFO] [stdout] 16: 0x55575628988c - as core::ops::function::FnOnce>::call_once::h8340ba6798e0c4ff [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 17: 0x55575628988c - as core::ops::function::FnOnce<()>>::call_once::h5590e98676605094 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:318 [INFO] [stdout] 18: 0x55575628988c - std::panicking::try::do_call::hd8680a2dbb0ed3c4 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:348 [INFO] [stdout] 19: 0x55575628988c - std::panicking::try::h46b4de2d705e7a8d [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:325 [INFO] [stdout] 20: 0x55575628988c - std::panic::catch_unwind::h059b3f06991e0a9c [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:394 [INFO] [stdout] 21: 0x55575628988c - test::run_test_in_process::h5ae08a65430494a4 [INFO] [stdout] at src/libtest/lib.rs:541 [INFO] [stdout] 22: 0x55575628988c - test::run_test::run_test_inner::{{closure}}::h4b36073838376ae8 [INFO] [stdout] at src/libtest/lib.rs:450 [INFO] [stdout] 23: 0x555756261806 - std::sys_common::backtrace::__rust_begin_short_backtrace::h0169d0be588b8bf0 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/sys_common/backtrace.rs:130 [INFO] [stdout] 24: 0x5557562667f5 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h71bfc37e887d3973 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/thread/mod.rs:475 [INFO] [stdout] 25: 0x5557562667f5 - as core::ops::function::FnOnce<()>>::call_once::h36c65072907dc180 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:318 [INFO] [stdout] 26: 0x5557562667f5 - std::panicking::try::do_call::h4e0f426e17cd216c [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:348 [INFO] [stdout] 27: 0x5557562667f5 - std::panicking::try::hd05e4ef6b4303d29 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:325 [INFO] [stdout] 28: 0x5557562667f5 - std::panic::catch_unwind::h19a1127ec729c5dd [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:394 [INFO] [stdout] 29: 0x5557562667f5 - std::thread::Builder::spawn_unchecked::{{closure}}::h011300735f06b1e2 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/thread/mod.rs:474 [INFO] [stdout] 30: 0x5557562667f5 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h1e3c55f31f1d122e [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libcore/ops/function.rs:233 [INFO] [stdout] 31: 0x5557562f1c2a - as core::ops::function::FnOnce>::call_once::hc0e15d78a519721e [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 32: 0x5557562f1c2a - as core::ops::function::FnOnce>::call_once::h211da8fffb09f192 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 33: 0x5557562f1c2a - std::sys::unix::thread::Thread::new::thread_start::h29594ddebf23e421 [INFO] [stdout] at src/libstd/sys/unix/thread.rs:87 [INFO] [stdout] 34: 0x7f9e13ba8609 - start_thread [INFO] [stdout] 35: 0x7f9e13ab4103 - __clone [INFO] [stdout] 36: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- tests::neq_propagation_1 stdout ---- [INFO] [stdout] thread 'tests::neq_propagation_1' panicked at 'assertion failed: test_straight_rewrite("(!= 0 0)", "(bool false)")', src/main.rs:293:9 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5557562e8cb5 - backtrace::backtrace::libunwind::trace::hea89dfbbfe67f40d [INFO] [stdout] at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/libunwind.rs:86 [INFO] [stdout] 1: 0x5557562e8cb5 - backtrace::backtrace::trace_unsynchronized::h0513dd713d7644d4 [INFO] [stdout] at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/mod.rs:66 [INFO] [stdout] 2: 0x5557562e8cb5 - std::sys_common::backtrace::_print_fmt::h040abae64e4a24a9 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:78 [INFO] [stdout] 3: 0x5557562e8cb5 - ::fmt::hb4bdb37c3c335733 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:59 [INFO] [stdout] 4: 0x555756310a1c - core::fmt::write::h540ac4a6a1232abc [INFO] [stdout] at src/libcore/fmt/mod.rs:1076 [INFO] [stdout] 5: 0x555756262315 - std::io::Write::write_fmt::h4be0daababb55bba [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/io/mod.rs:1539 [INFO] [stdout] 6: 0x5557562e3381 - std::io::impls::>::write_fmt::h83c1e1aa73f374f5 [INFO] [stdout] at src/libstd/io/impls.rs:176 [INFO] [stdout] 7: 0x5557562eb410 - std::sys_common::backtrace::_print::hb55cc635eaf1882e [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:62 [INFO] [stdout] 8: 0x5557562eb410 - std::sys_common::backtrace::print::h2b2218fa55714084 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:49 [INFO] [stdout] 9: 0x5557562eb410 - std::panicking::default_hook::{{closure}}::h578517c025765cf3 [INFO] [stdout] at src/libstd/panicking.rs:198 [INFO] [stdout] 10: 0x5557562eb10a - std::panicking::default_hook::h4cafc94c2fc640fb [INFO] [stdout] at src/libstd/panicking.rs:214 [INFO] [stdout] 11: 0x5557562eba53 - std::panicking::rust_panic_with_hook::h3eeb5001beeca5c3 [INFO] [stdout] at src/libstd/panicking.rs:526 [INFO] [stdout] 12: 0x5557562a7fa9 - std::panicking::begin_panic::h3bc08ffc6242cc36 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:456 [INFO] [stdout] 13: 0x5557561cc7a0 - cornelius::tests::neq_propagation_1::h5a903c16ce43fbc1 [INFO] [stdout] at src/main.rs:293 [INFO] [stdout] 14: 0x5557561cc73a - cornelius::tests::neq_propagation_1::{{closure}}::hf76a9b59c20e3fb1 [INFO] [stdout] at src/main.rs:292 [INFO] [stdout] 15: 0x5557561d886e - core::ops::function::FnOnce::call_once::h78cb1c26273a9d23 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libcore/ops/function.rs:233 [INFO] [stdout] 16: 0x55575628988c - as core::ops::function::FnOnce>::call_once::h8340ba6798e0c4ff [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 17: 0x55575628988c - as core::ops::function::FnOnce<()>>::call_once::h5590e98676605094 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:318 [INFO] [stdout] 18: 0x55575628988c - std::panicking::try::do_call::hd8680a2dbb0ed3c4 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:348 [INFO] [stdout] 19: 0x55575628988c - std::panicking::try::h46b4de2d705e7a8d [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:325 [INFO] [stdout] 20: 0x55575628988c - std::panic::catch_unwind::h059b3f06991e0a9c [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:394 [INFO] [stdout] 21: 0x55575628988c - test::run_test_in_process::h5ae08a65430494a4 [INFO] [stdout] at src/libtest/lib.rs:541 [INFO] [stdout] 22: 0x55575628988c - test::run_test::run_test_inner::{{closure}}::h4b36073838376ae8 [INFO] [stdout] at src/libtest/lib.rs:450 [INFO] [stdout] 23: 0x555756261806 - std::sys_common::backtrace::__rust_begin_short_backtrace::h0169d0be588b8bf0 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/sys_common/backtrace.rs:130 [INFO] [stdout] 24: 0x5557562667f5 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h71bfc37e887d3973 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/thread/mod.rs:475 [INFO] [stdout] 25: 0x5557562667f5 - as core::ops::function::FnOnce<()>>::call_once::h36c65072907dc180 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:318 [INFO] [stdout] 26: 0x5557562667f5 - std::panicking::try::do_call::h4e0f426e17cd216c [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:348 [INFO] [stdout] 27: 0x5557562667f5 - std::panicking::try::hd05e4ef6b4303d29 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:325 [INFO] [stdout] 28: 0x5557562667f5 - std::panic::catch_unwind::h19a1127ec729c5dd [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:394 [INFO] [stdout] 29: 0x5557562667f5 - std::thread::Builder::spawn_unchecked::{{closure}}::h011300735f06b1e2 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/thread/mod.rs:474 [INFO] [stdout] 30: 0x5557562667f5 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h1e3c55f31f1d122e [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libcore/ops/function.rs:233 [INFO] [stdout] 31: 0x5557562f1c2a - as core::ops::function::FnOnce>::call_once::hc0e15d78a519721e [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 32: 0x5557562f1c2a - as core::ops::function::FnOnce>::call_once::h211da8fffb09f192 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 33: 0x5557562f1c2a - std::sys::unix::thread::Thread::new::thread_start::h29594ddebf23e421 [INFO] [stdout] at src/libstd/sys/unix/thread.rs:87 [INFO] [stdout] 34: 0x7f9e13ba8609 - start_thread [INFO] [stdout] 35: 0x7f9e13ab4103 - __clone [INFO] [stdout] 36: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- tests::neq_propagation_2 stdout ---- [INFO] [stdout] thread 'tests::neq_propagation_2' panicked at 'assertion failed: test_straight_rewrite("(!= 1 0)", "(bool true)")', src/main.rs:298:9 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5557562e8cb5 - backtrace::backtrace::libunwind::trace::hea89dfbbfe67f40d [INFO] [stdout] at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/libunwind.rs:86 [INFO] [stdout] 1: 0x5557562e8cb5 - backtrace::backtrace::trace_unsynchronized::h0513dd713d7644d4 [INFO] [stdout] at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/mod.rs:66 [INFO] [stdout] 2: 0x5557562e8cb5 - std::sys_common::backtrace::_print_fmt::h040abae64e4a24a9 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:78 [INFO] [stdout] 3: 0x5557562e8cb5 - ::fmt::hb4bdb37c3c335733 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:59 [INFO] [stdout] 4: 0x555756310a1c - core::fmt::write::h540ac4a6a1232abc [INFO] [stdout] at src/libcore/fmt/mod.rs:1076 [INFO] [stdout] 5: 0x555756262315 - std::io::Write::write_fmt::h4be0daababb55bba [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/io/mod.rs:1539 [INFO] [stdout] 6: 0x5557562e3381 - std::io::impls::>::write_fmt::h83c1e1aa73f374f5 [INFO] [stdout] at src/libstd/io/impls.rs:176 [INFO] [stdout] 7: 0x5557562eb410 - std::sys_common::backtrace::_print::hb55cc635eaf1882e [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:62 [INFO] [stdout] 8: 0x5557562eb410 - std::sys_common::backtrace::print::h2b2218fa55714084 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:49 [INFO] [stdout] 9: 0x5557562eb410 - std::panicking::default_hook::{{closure}}::h578517c025765cf3 [INFO] [stdout] at src/libstd/panicking.rs:198 [INFO] [stdout] 10: 0x5557562eb10a - std::panicking::default_hook::h4cafc94c2fc640fb [INFO] [stdout] at src/libstd/panicking.rs:214 [INFO] [stdout] 11: 0x5557562eba53 - std::panicking::rust_panic_with_hook::h3eeb5001beeca5c3 [INFO] [stdout] at src/libstd/panicking.rs:526 [INFO] [stdout] 12: 0x5557562a7fa9 - std::panicking::begin_panic::h3bc08ffc6242cc36 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:456 [INFO] [stdout] 13: 0x5557561cc820 - cornelius::tests::neq_propagation_2::h081cdf4581826e82 [INFO] [stdout] at src/main.rs:298 [INFO] [stdout] 14: 0x5557561cc7ba - cornelius::tests::neq_propagation_2::{{closure}}::hc1e9588971c97ee4 [INFO] [stdout] at src/main.rs:297 [INFO] [stdout] 15: 0x5557561d8f6e - core::ops::function::FnOnce::call_once::hdb89fb342996eb48 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libcore/ops/function.rs:233 [INFO] [stdout] 16: 0x55575628988c - as core::ops::function::FnOnce>::call_once::h8340ba6798e0c4ff [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 17: 0x55575628988c - as core::ops::function::FnOnce<()>>::call_once::h5590e98676605094 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:318 [INFO] [stdout] 18: 0x55575628988c - std::panicking::try::do_call::hd8680a2dbb0ed3c4 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:348 [INFO] [stdout] 19: 0x55575628988c - std::panicking::try::h46b4de2d705e7a8d [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:325 [INFO] [stdout] 20: 0x55575628988c - std::panic::catch_unwind::h059b3f06991e0a9c [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:394 [INFO] [stdout] 21: 0x55575628988c - test::run_test_in_process::h5ae08a65430494a4 [INFO] [stdout] at src/libtest/lib.rs:541 [INFO] [stdout] 22: 0x55575628988c - test::run_test::run_test_inner::{{closure}}::h4b36073838376ae8 [INFO] [stdout] at src/libtest/lib.rs:450 [INFO] [stdout] 23: 0x555756261806 - std::sys_common::backtrace::__rust_begin_short_backtrace::h0169d0be588b8bf0 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/sys_common/backtrace.rs:130 [INFO] [stdout] 24: 0x5557562667f5 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h71bfc37e887d3973 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/thread/mod.rs:475 [INFO] [stdout] 25: 0x5557562667f5 - as core::ops::function::FnOnce<()>>::call_once::h36c65072907dc180 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:318 [INFO] [stdout] 26: 0x5557562667f5 - std::panicking::try::do_call::h4e0f426e17cd216c [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:348 [INFO] [stdout] 27: 0x5557562667f5 - std::panicking::try::hd05e4ef6b4303d29 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:325 [INFO] [stdout] 28: 0x5557562667f5 - std::panic::catch_unwind::h19a1127ec729c5dd [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:394 [INFO] [stdout] 29: 0x5557562667f5 - std::thread::Builder::spawn_unchecked::{{closure}}::h011300735f06b1e2 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/thread/mod.rs:474 [INFO] [stdout] 30: 0x5557562667f5 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h1e3c55f31f1d122e [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libcore/ops/function.rs:233 [INFO] [stdout] 31: 0x5557562f1c2a - as core::ops::function::FnOnce>::call_once::hc0e15d78a519721e [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 32: 0x5557562f1c2a - as core::ops::function::FnOnce>::call_once::h211da8fffb09f192 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 33: 0x5557562f1c2a - std::sys::unix::thread::Thread::new::thread_start::h29594ddebf23e421 [INFO] [stdout] at src/libstd/sys/unix/thread.rs:87 [INFO] [stdout] 34: 0x7f9e13ba8609 - start_thread [INFO] [stdout] 35: 0x7f9e13ab4103 - __clone [INFO] [stdout] 36: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- tests::eq_propagation_1 stdout ---- [INFO] [stdout] thread 'tests::eq_propagation_1' panicked at 'assertion failed: test_straight_rewrite("(== 0 0)", "(bool true)")', src/main.rs:247:9 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5557562e8cb5 - backtrace::backtrace::libunwind::trace::hea89dfbbfe67f40d [INFO] [stdout] at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/libunwind.rs:86 [INFO] [stdout] 1: 0x5557562e8cb5 - backtrace::backtrace::trace_unsynchronized::h0513dd713d7644d4 [INFO] [stdout] at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/mod.rs:66 [INFO] [stdout] 2: 0x5557562e8cb5 - std::sys_common::backtrace::_print_fmt::h040abae64e4a24a9 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:78 [INFO] [stdout] 3: 0x5557562e8cb5 - ::fmt::hb4bdb37c3c335733 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:59 [INFO] [stdout] 4: 0x555756310a1c - core::fmt::write::h540ac4a6a1232abc [INFO] [stdout] at src/libcore/fmt/mod.rs:1076 [INFO] [stdout] 5: 0x555756262315 - std::io::Write::write_fmt::h4be0daababb55bba [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/io/mod.rs:1539 [INFO] [stdout] 6: 0x5557562e3381 - std::io::impls::>::write_fmt::h83c1e1aa73f374f5 [INFO] [stdout] at src/libstd/io/impls.rs:176 [INFO] [stdout] 7: 0x5557562eb410 - std::sys_common::backtrace::_print::hb55cc635eaf1882e [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:62 [INFO] [stdout] 8: 0x5557562eb410 - std::sys_common::backtrace::print::h2b2218fa55714084 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:49 [INFO] [stdout] 9: 0x5557562eb410 - std::panicking::default_hook::{{closure}}::h578517c025765cf3 [INFO] [stdout] at src/libstd/panicking.rs:198 [INFO] [stdout] 10: 0x5557562eb10a - std::panicking::default_hook::h4cafc94c2fc640fb [INFO] [stdout] at src/libstd/panicking.rs:214 [INFO] [stdout] 11: 0x5557562eba53 - std::panicking::rust_panic_with_hook::h3eeb5001beeca5c3 [INFO] [stdout] at src/libstd/panicking.rs:526 [INFO] [stdout] 12: 0x5557562a7fa9 - std::panicking::begin_panic::h3bc08ffc6242cc36 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:456 [INFO] [stdout] 13: 0x5557561cc320 - cornelius::tests::eq_propagation_1::h28f327d0661a98fc [INFO] [stdout] at src/main.rs:247 [INFO] [stdout] 14: 0x5557561cc2ba - cornelius::tests::eq_propagation_1::{{closure}}::h31a88f308495da7a [INFO] [stdout] at src/main.rs:246 [INFO] [stdout] 15: 0x5557561d85fe - core::ops::function::FnOnce::call_once::h54848514cf2132c9 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libcore/ops/function.rs:233 [INFO] [stdout] 16: 0x55575628988c - as core::ops::function::FnOnce>::call_once::h8340ba6798e0c4ff [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 17: 0x55575628988c - as core::ops::function::FnOnce<()>>::call_once::h5590e98676605094 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:318 [INFO] [stdout] 18: 0x55575628988c - std::panicking::try::do_call::hd8680a2dbb0ed3c4 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:348 [INFO] [stdout] 19: 0x55575628988c - std::panicking::try::h46b4de2d705e7a8d [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:325 [INFO] [stdout] 20: 0x55575628988c - std::panic::catch_unwind::h059b3f06991e0a9c [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:394 [INFO] [stdout] 21: 0x55575628988c - test::run_test_in_process::h5ae08a65430494a4 [INFO] [stdout] at src/libtest/lib.rs:541 [INFO] [stdout] 22: 0x55575628988c - test::run_test::run_test_inner::{{closure}}::h4b36073838376ae8 [INFO] [stdout] at src/libtest/lib.rs:450 [INFO] [stdout] 23: 0x555756261806 - std::sys_common::backtrace::__rust_begin_short_backtrace::h0169d0be588b8bf0 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/sys_common/backtrace.rs:130 [INFO] [stdout] 24: 0x5557562667f5 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h71bfc37e887d3973 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/thread/mod.rs:475 [INFO] [stdout] 25: 0x5557562667f5 - as core::ops::function::FnOnce<()>>::call_once::h36c65072907dc180 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:318 [INFO] [stdout] 26: 0x5557562667f5 - std::panicking::try::do_call::h4e0f426e17cd216c [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:348 [INFO] [stdout] 27: 0x5557562667f5 - std::panicking::try::hd05e4ef6b4303d29 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:325 [INFO] [stdout] 28: 0x5557562667f5 - std::panic::catch_unwind::h19a1127ec729c5dd [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:394 [INFO] [stdout] 29: 0x5557562667f5 - std::thread::Builder::spawn_unchecked::{{closure}}::h011300735f06b1e2 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/thread/mod.rs:474 [INFO] [stdout] 30: 0x5557562667f5 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h1e3c55f31f1d122e [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libcore/ops/function.rs:233 [INFO] [stdout] 31: 0x5557562f1c2a - as core::ops::function::FnOnce>::call_once::hc0e15d78a519721e [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 32: 0x5557562f1c2a - as core::ops::function::FnOnce>::call_once::h211da8fffb09f192 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 33: 0x5557562f1c2a - std::sys::unix::thread::Thread::new::thread_start::h29594ddebf23e421 [INFO] [stdout] at src/libstd/sys/unix/thread.rs:87 [INFO] [stdout] 34: 0x7f9e13ba8609 - start_thread [INFO] [stdout] 35: 0x7f9e13ab4103 - __clone [INFO] [stdout] 36: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- tests::neq_propagation_4 stdout ---- [INFO] [stdout] thread 'tests::neq_propagation_4' panicked at 'assertion failed: test_straight_rewrite("(!= (bool false) (bool false))", "(bool false)")', src/main.rs:308:9 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5557562e8cb5 - backtrace::backtrace::libunwind::trace::hea89dfbbfe67f40d [INFO] [stdout] at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/libunwind.rs:86 [INFO] [stdout] 1: 0x5557562e8cb5 - backtrace::backtrace::trace_unsynchronized::h0513dd713d7644d4 [INFO] [stdout] at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/mod.rs:66 [INFO] [stdout] 2: 0x5557562e8cb5 - std::sys_common::backtrace::_print_fmt::h040abae64e4a24a9 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:78 [INFO] [stdout] 3: 0x5557562e8cb5 - ::fmt::hb4bdb37c3c335733 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:59 [INFO] [stdout] 4: 0x555756310a1c - core::fmt::write::h540ac4a6a1232abc [INFO] [stdout] at src/libcore/fmt/mod.rs:1076 [INFO] [stdout] 5: 0x555756262315 - std::io::Write::write_fmt::h4be0daababb55bba [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/io/mod.rs:1539 [INFO] [stdout] 6: 0x5557562e3381 - std::io::impls::>::write_fmt::h83c1e1aa73f374f5 [INFO] [stdout] at src/libstd/io/impls.rs:176 [INFO] [stdout] 7: 0x5557562eb410 - std::sys_common::backtrace::_print::hb55cc635eaf1882e [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:62 [INFO] [stdout] 8: 0x5557562eb410 - std::sys_common::backtrace::print::h2b2218fa55714084 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:49 [INFO] [stdout] 9: 0x5557562eb410 - std::panicking::default_hook::{{closure}}::h578517c025765cf3 [INFO] [stdout] at src/libstd/panicking.rs:198 [INFO] [stdout] 10: 0x5557562eb10a - std::panicking::default_hook::h4cafc94c2fc640fb [INFO] [stdout] at src/libstd/panicking.rs:214 [INFO] [stdout] 11: 0x5557562eba53 - std::panicking::rust_panic_with_hook::h3eeb5001beeca5c3 [INFO] [stdout] at src/libstd/panicking.rs:526 [INFO] [stdout] 12: 0x5557562a7fa9 - std::panicking::begin_panic::h3bc08ffc6242cc36 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:456 [INFO] [stdout] 13: 0x5557561cc920 - cornelius::tests::neq_propagation_4::h3747495519466570 [INFO] [stdout] at src/main.rs:308 [INFO] [stdout] 14: 0x5557561cc8ba - cornelius::tests::neq_propagation_4::{{closure}}::h35ca465d9ac4814b [INFO] [stdout] at src/main.rs:307 [INFO] [stdout] 15: 0x5557561d8fce - core::ops::function::FnOnce::call_once::hde86a664300eb4a1 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libcore/ops/function.rs:233 [INFO] [stdout] 16: 0x55575628988c - as core::ops::function::FnOnce>::call_once::h8340ba6798e0c4ff [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 17: 0x55575628988c - as core::ops::function::FnOnce<()>>::call_once::h5590e98676605094 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:318 [INFO] [stdout] 18: 0x55575628988c - std::panicking::try::do_call::hd8680a2dbb0ed3c4 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:348 [INFO] [stdout] 19: 0x55575628988c - std::panicking::try::h46b4de2d705e7a8d [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:325 [INFO] [stdout] 20: 0x55575628988c - std::panic::catch_unwind::h059b3f06991e0a9c [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:394 [INFO] [stdout] 21: 0x55575628988c - test::run_test_in_process::h5ae08a65430494a4 [INFO] [stdout] at src/libtest/lib.rs:541 [INFO] [stdout] 22: 0x55575628988c - test::run_test::run_test_inner::{{closure}}::h4b36073838376ae8 [INFO] [stdout] at src/libtest/lib.rs:450 [INFO] [stdout] 23: 0x555756261806 - std::sys_common::backtrace::__rust_begin_short_backtrace::h0169d0be588b8bf0 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/sys_common/backtrace.rs:130 [INFO] [stdout] 24: 0x5557562667f5 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h71bfc37e887d3973 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/thread/mod.rs:475 [INFO] [stdout] 25: 0x5557562667f5 - as core::ops::function::FnOnce<()>>::call_once::h36c65072907dc180 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:318 [INFO] [stdout] 26: 0x5557562667f5 - std::panicking::try::do_call::h4e0f426e17cd216c [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:348 [INFO] [stdout] 27: 0x5557562667f5 - std::panicking::try::hd05e4ef6b4303d29 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:325 [INFO] [stdout] 28: 0x5557562667f5 - std::panic::catch_unwind::h19a1127ec729c5dd [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:394 [INFO] [stdout] 29: 0x5557562667f5 - std::thread::Builder::spawn_unchecked::{{closure}}::h011300735f06b1e2 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/thread/mod.rs:474 [INFO] [stdout] 30: 0x5557562667f5 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h1e3c55f31f1d122e [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libcore/ops/function.rs:233 [INFO] [stdout] 31: 0x5557562f1c2a - as core::ops::function::FnOnce>::call_once::hc0e15d78a519721e [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 32: 0x5557562f1c2a - as core::ops::function::FnOnce>::call_once::h211da8fffb09f192 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 33: 0x5557562f1c2a - std::sys::unix::thread::Thread::new::thread_start::h29594ddebf23e421 [INFO] [stdout] at src/libstd/sys/unix/thread.rs:87 [INFO] [stdout] 34: 0x7f9e13ba8609 - start_thread [INFO] [stdout] 35: 0x7f9e13ab4103 - __clone [INFO] [stdout] 36: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- tests::neq_propagation_5 stdout ---- [INFO] [stdout] thread 'tests::neq_propagation_5' panicked at 'assertion failed: test_straight_rewrite("(!= 1 (phi (var c) 1 2))", [INFO] [stdout] "(phi (var c) (bool false) (bool true))")', src/main.rs:313:9 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5557562e8cb5 - backtrace::backtrace::libunwind::trace::hea89dfbbfe67f40d [INFO] [stdout] at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/libunwind.rs:86 [INFO] [stdout] 1: 0x5557562e8cb5 - backtrace::backtrace::trace_unsynchronized::h0513dd713d7644d4 [INFO] [stdout] at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/mod.rs:66 [INFO] [stdout] 2: 0x5557562e8cb5 - std::sys_common::backtrace::_print_fmt::h040abae64e4a24a9 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:78 [INFO] [stdout] 3: 0x5557562e8cb5 - ::fmt::hb4bdb37c3c335733 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:59 [INFO] [stdout] 4: 0x555756310a1c - core::fmt::write::h540ac4a6a1232abc [INFO] [stdout] at src/libcore/fmt/mod.rs:1076 [INFO] [stdout] 5: 0x555756262315 - std::io::Write::write_fmt::h4be0daababb55bba [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/io/mod.rs:1539 [INFO] [stdout] 6: 0x5557562e3381 - std::io::impls::>::write_fmt::h83c1e1aa73f374f5 [INFO] [stdout] at src/libstd/io/impls.rs:176 [INFO] [stdout] 7: 0x5557562eb410 - std::sys_common::backtrace::_print::hb55cc635eaf1882e [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:62 [INFO] [stdout] 8: 0x5557562eb410 - std::sys_common::backtrace::print::h2b2218fa55714084 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:49 [INFO] [stdout] 9: 0x5557562eb410 - std::panicking::default_hook::{{closure}}::h578517c025765cf3 [INFO] [stdout] at src/libstd/panicking.rs:198 [INFO] [stdout] 10: 0x5557562eb10a - std::panicking::default_hook::h4cafc94c2fc640fb [INFO] [stdout] at src/libstd/panicking.rs:214 [INFO] [stdout] 11: 0x5557562eba53 - std::panicking::rust_panic_with_hook::h3eeb5001beeca5c3 [INFO] [stdout] at src/libstd/panicking.rs:526 [INFO] [stdout] 12: 0x5557562a7fa9 - std::panicking::begin_panic::h3bc08ffc6242cc36 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:456 [INFO] [stdout] 13: 0x5557561cc9c7 - cornelius::tests::neq_propagation_5::h23a825efbade4d0d [INFO] [stdout] at src/main.rs:313 [INFO] [stdout] 14: 0x5557561cc93a - cornelius::tests::neq_propagation_5::{{closure}}::h849f4f87a47d8001 [INFO] [stdout] at src/main.rs:312 [INFO] [stdout] 15: 0x5557561d8bfe - core::ops::function::FnOnce::call_once::ha7c47904a8a9d631 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libcore/ops/function.rs:233 [INFO] [stdout] 16: 0x55575628988c - as core::ops::function::FnOnce>::call_once::h8340ba6798e0c4ff [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 17: 0x55575628988c - as core::ops::function::FnOnce<()>>::call_once::h5590e98676605094 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:318 [INFO] [stdout] 18: 0x55575628988c - std::panicking::try::do_call::hd8680a2dbb0ed3c4 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:348 [INFO] [stdout] 19: 0x55575628988c - std::panicking::try::h46b4de2d705e7a8d [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:325 [INFO] [stdout] 20: 0x55575628988c - std::panic::catch_unwind::h059b3f06991e0a9c [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:394 [INFO] [stdout] 21: 0x55575628988c - test::run_test_in_process::h5ae08a65430494a4 [INFO] [stdout] at src/libtest/lib.rs:541 [INFO] [stdout] 22: 0x55575628988c - test::run_test::run_test_inner::{{closure}}::h4b36073838376ae8 [INFO] [stdout] at src/libtest/lib.rs:450 [INFO] [stdout] 23: 0x555756261806 - std::sys_common::backtrace::__rust_begin_short_backtrace::h0169d0be588b8bf0 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/sys_common/backtrace.rs:130 [INFO] [stdout] 24: 0x5557562667f5 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h71bfc37e887d3973 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/thread/mod.rs:475 [INFO] [stdout] 25: 0x5557562667f5 - as core::ops::function::FnOnce<()>>::call_once::h36c65072907dc180 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:318 [INFO] [stdout] 26: 0x5557562667f5 - std::panicking::try::do_call::h4e0f426e17cd216c [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:348 [INFO] [stdout] 27: 0x5557562667f5 - std::panicking::try::hd05e4ef6b4303d29 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:325 [INFO] [stdout] 28: 0x5557562667f5 - std::panic::catch_unwind::h19a1127ec729c5dd [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:394 [INFO] [stdout] 29: 0x5557562667f5 - std::thread::Builder::spawn_unchecked::{{closure}}::h011300735f06b1e2 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/thread/mod.rs:474 [INFO] [stdout] 30: 0x5557562667f5 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h1e3c55f31f1d122e [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libcore/ops/function.rs:233 [INFO] [stdout] 31: 0x5557562f1c2a - as core::ops::function::FnOnce>::call_once::hc0e15d78a519721e [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 32: 0x5557562f1c2a - as core::ops::function::FnOnce>::call_once::h211da8fffb09f192 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 33: 0x5557562f1c2a - std::sys::unix::thread::Thread::new::thread_start::h29594ddebf23e421 [INFO] [stdout] at src/libstd/sys/unix/thread.rs:87 [INFO] [stdout] 34: 0x7f9e13ba8609 - start_thread [INFO] [stdout] 35: 0x7f9e13ab4103 - __clone [INFO] [stdout] 36: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- tests::neq_propagation_3 stdout ---- [INFO] [stdout] thread 'tests::neq_propagation_3' panicked at 'assertion failed: test_straight_rewrite("(!= (bool true) (bool true) )", "(bool false)")', src/main.rs:303:9 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5557562e8cb5 - backtrace::backtrace::libunwind::trace::hea89dfbbfe67f40d [INFO] [stdout] at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/libunwind.rs:86 [INFO] [stdout] 1: 0x5557562e8cb5 - backtrace::backtrace::trace_unsynchronized::h0513dd713d7644d4 [INFO] [stdout] at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/mod.rs:66 [INFO] [stdout] 2: 0x5557562e8cb5 - std::sys_common::backtrace::_print_fmt::h040abae64e4a24a9 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:78 [INFO] [stdout] 3: 0x5557562e8cb5 - ::fmt::hb4bdb37c3c335733 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:59 [INFO] [stdout] 4: 0x555756310a1c - core::fmt::write::h540ac4a6a1232abc [INFO] [stdout] at src/libcore/fmt/mod.rs:1076 [INFO] [stdout] 5: 0x555756262315 - std::io::Write::write_fmt::h4be0daababb55bba [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/io/mod.rs:1539 [INFO] [stdout] 6: 0x5557562e3381 - std::io::impls::>::write_fmt::h83c1e1aa73f374f5 [INFO] [stdout] at src/libstd/io/impls.rs:176 [INFO] [stdout] 7: 0x5557562eb410 - std::sys_common::backtrace::_print::hb55cc635eaf1882e [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:62 [INFO] [stdout] 8: 0x5557562eb410 - std::sys_common::backtrace::print::h2b2218fa55714084 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:49 [INFO] [stdout] 9: 0x5557562eb410 - std::panicking::default_hook::{{closure}}::h578517c025765cf3 [INFO] [stdout] at src/libstd/panicking.rs:198 [INFO] [stdout] 10: 0x5557562eb10a - std::panicking::default_hook::h4cafc94c2fc640fb [INFO] [stdout] at src/libstd/panicking.rs:214 [INFO] [stdout] 11: 0x5557562eba53 - std::panicking::rust_panic_with_hook::h3eeb5001beeca5c3 [INFO] [stdout] at src/libstd/panicking.rs:526 [INFO] [stdout] 12: 0x5557562a7fa9 - std::panicking::begin_panic::h3bc08ffc6242cc36 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:456 [INFO] [stdout] 13: 0x5557561cc8a0 - cornelius::tests::neq_propagation_3::h9751ffcb6c1bddf0 [INFO] [stdout] at src/main.rs:303 [INFO] [stdout] 14: 0x5557561cc83a - cornelius::tests::neq_propagation_3::{{closure}}::h0af24d6df8bd0a1e [INFO] [stdout] at src/main.rs:302 [INFO] [stdout] 15: 0x5557561d86ee - core::ops::function::FnOnce::call_once::h605d066d6f019751 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libcore/ops/function.rs:233 [INFO] [stdout] 16: 0x55575628988c - as core::ops::function::FnOnce>::call_once::h8340ba6798e0c4ff [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 17: 0x55575628988c - as core::ops::function::FnOnce<()>>::call_once::h5590e98676605094 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:318 [INFO] [stdout] 18: 0x55575628988c - std::panicking::try::do_call::hd8680a2dbb0ed3c4 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:348 [INFO] [stdout] 19: 0x55575628988c - std::panicking::try::h46b4de2d705e7a8d [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:325 [INFO] [stdout] 20: 0x55575628988c - std::panic::catch_unwind::h059b3f06991e0a9c [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:394 [INFO] [stdout] 21: 0x55575628988c - test::run_test_in_process::h5ae08a65430494a4 [INFO] [stdout] at src/libtest/lib.rs:541 [INFO] [stdout] 22: 0x55575628988c - test::run_test::run_test_inner::{{closure}}::h4b36073838376ae8 [INFO] [stdout] at src/libtest/lib.rs:450 [INFO] [stdout] 23: 0x555756261806 - std::sys_common::backtrace::__rust_begin_short_backtrace::h0169d0be588b8bf0 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/sys_common/backtrace.rs:130 [INFO] [stdout] 24: 0x5557562667f5 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h71bfc37e887d3973 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/thread/mod.rs:475 [INFO] [stdout] 25: 0x5557562667f5 - as core::ops::function::FnOnce<()>>::call_once::h36c65072907dc180 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:318 [INFO] [stdout] 26: 0x5557562667f5 - std::panicking::try::do_call::h4e0f426e17cd216c [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:348 [INFO] [stdout] 27: 0x5557562667f5 - std::panicking::try::hd05e4ef6b4303d29 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:325 [INFO] [stdout] 28: 0x5557562667f5 - std::panic::catch_unwind::h19a1127ec729c5dd [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:394 [INFO] [stdout] 29: 0x5557562667f5 - std::thread::Builder::spawn_unchecked::{{closure}}::h011300735f06b1e2 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/thread/mod.rs:474 [INFO] [stdout] 30: 0x5557562667f5 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h1e3c55f31f1d122e [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libcore/ops/function.rs:233 [INFO] [stdout] 31: 0x5557562f1c2a - as core::ops::function::FnOnce>::call_once::hc0e15d78a519721e [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 32: 0x5557562f1c2a - as core::ops::function::FnOnce>::call_once::h211da8fffb09f192 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 33: 0x5557562f1c2a - std::sys::unix::thread::Thread::new::thread_start::h29594ddebf23e421 [INFO] [stdout] at src/libstd/sys/unix/thread.rs:87 [INFO] [stdout] 34: 0x7f9e13ba8609 - start_thread [INFO] [stdout] 35: 0x7f9e13ab4103 - __clone [INFO] [stdout] 36: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- tests::push_ge_over_phi_1 stdout ---- [INFO] [stdout] thread 'tests::push_ge_over_phi_1' panicked at 'assertion failed: test_straight_rewrite("(>= (phi (var a) (phi (var b) 0 2) 3) 1)", [INFO] [stdout] "(bool false)")', src/main.rs:167:9 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5557562e8cb5 - backtrace::backtrace::libunwind::trace::hea89dfbbfe67f40d [INFO] [stdout] at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/libunwind.rs:86 [INFO] [stdout] 1: 0x5557562e8cb5 - backtrace::backtrace::trace_unsynchronized::h0513dd713d7644d4 [INFO] [stdout] at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/mod.rs:66 [INFO] [stdout] 2: 0x5557562e8cb5 - std::sys_common::backtrace::_print_fmt::h040abae64e4a24a9 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:78 [INFO] [stdout] 3: 0x5557562e8cb5 - ::fmt::hb4bdb37c3c335733 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:59 [INFO] [stdout] 4: 0x555756310a1c - core::fmt::write::h540ac4a6a1232abc [INFO] [stdout] at src/libcore/fmt/mod.rs:1076 [INFO] [stdout] 5: 0x555756262315 - std::io::Write::write_fmt::h4be0daababb55bba [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/io/mod.rs:1539 [INFO] [stdout] 6: 0x5557562e3381 - std::io::impls::>::write_fmt::h83c1e1aa73f374f5 [INFO] [stdout] at src/libstd/io/impls.rs:176 [INFO] [stdout] 7: 0x5557562eb410 - std::sys_common::backtrace::_print::hb55cc635eaf1882e [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:62 [INFO] [stdout] 8: 0x5557562eb410 - std::sys_common::backtrace::print::h2b2218fa55714084 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:49 [INFO] [stdout] 9: 0x5557562eb410 - std::panicking::default_hook::{{closure}}::h578517c025765cf3 [INFO] [stdout] at src/libstd/panicking.rs:198 [INFO] [stdout] 10: 0x5557562eb10a - std::panicking::default_hook::h4cafc94c2fc640fb [INFO] [stdout] at src/libstd/panicking.rs:214 [INFO] [stdout] 11: 0x5557562eba53 - std::panicking::rust_panic_with_hook::h3eeb5001beeca5c3 [INFO] [stdout] at src/libstd/panicking.rs:526 [INFO] [stdout] 12: 0x5557562a7fa9 - std::panicking::begin_panic::h3bc08ffc6242cc36 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:456 [INFO] [stdout] 13: 0x5557561cbb20 - cornelius::tests::push_ge_over_phi_1::hf7039189bae3d642 [INFO] [stdout] at src/main.rs:167 [INFO] [stdout] 14: 0x5557561cbaba - cornelius::tests::push_ge_over_phi_1::{{closure}}::h5f3bdae99cbd4d2f [INFO] [stdout] at src/main.rs:166 [INFO] [stdout] 15: 0x5557561d850e - core::ops::function::FnOnce::call_once::h41f76b4dc9906c84 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libcore/ops/function.rs:233 [INFO] [stdout] 16: 0x55575628988c - as core::ops::function::FnOnce>::call_once::h8340ba6798e0c4ff [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 17: 0x55575628988c - as core::ops::function::FnOnce<()>>::call_once::h5590e98676605094 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:318 [INFO] [stdout] 18: 0x55575628988c - std::panicking::try::do_call::hd8680a2dbb0ed3c4 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:348 [INFO] [stdout] 19: 0x55575628988c - std::panicking::try::h46b4de2d705e7a8d [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:325 [INFO] [stdout] 20: 0x55575628988c - std::panic::catch_unwind::h059b3f06991e0a9c [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:394 [INFO] [stdout] 21: 0x55575628988c - test::run_test_in_process::h5ae08a65430494a4 [INFO] [stdout] at src/libtest/lib.rs:541 [INFO] [stdout] 22: 0x55575628988c - test::run_test::run_test_inner::{{closure}}::h4b36073838376ae8 [INFO] [stdout] at src/libtest/lib.rs:450 [INFO] [stdout] 23: 0x555756261806 - std::sys_common::backtrace::__rust_begin_short_backtrace::h0169d0be588b8bf0 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/sys_common/backtrace.rs:130 [INFO] [stdout] 24: 0x5557562667f5 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h71bfc37e887d3973 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/thread/mod.rs:475 [INFO] [stdout] 25: 0x5557562667f5 - as core::ops::function::FnOnce<()>>::call_once::h36c65072907dc180 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:318 [INFO] [stdout] 26: 0x5557562667f5 - std::panicking::try::do_call::h4e0f426e17cd216c [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:348 [INFO] [stdout] 27: 0x5557562667f5 - std::panicking::try::hd05e4ef6b4303d29 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:325 [INFO] [stdout] 28: 0x5557562667f5 - std::panic::catch_unwind::h19a1127ec729c5dd [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:394 [INFO] [stdout] 29: 0x5557562667f5 - std::thread::Builder::spawn_unchecked::{{closure}}::h011300735f06b1e2 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/thread/mod.rs:474 [INFO] [stdout] 30: 0x5557562667f5 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h1e3c55f31f1d122e [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libcore/ops/function.rs:233 [INFO] [stdout] 31: 0x5557562f1c2a - as core::ops::function::FnOnce>::call_once::hc0e15d78a519721e [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 32: 0x5557562f1c2a - as core::ops::function::FnOnce>::call_once::h211da8fffb09f192 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 33: 0x5557562f1c2a - std::sys::unix::thread::Thread::new::thread_start::h29594ddebf23e421 [INFO] [stdout] at src/libstd/sys/unix/thread.rs:87 [INFO] [stdout] 34: 0x7f9e13ba8609 - start_thread [INFO] [stdout] 35: 0x7f9e13ab4103 - __clone [INFO] [stdout] 36: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- tests::push_gt_over_phi_1 stdout ---- [INFO] [stdout] thread 'tests::push_gt_over_phi_1' panicked at 'assertion failed: test_straight_rewrite("(> (phi (var a) (phi (var b) 1 2) 3) 1)", [INFO] [stdout] "(bool false)")', src/main.rs:207:9 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5557562e8cb5 - backtrace::backtrace::libunwind::trace::hea89dfbbfe67f40d [INFO] [stdout] at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/libunwind.rs:86 [INFO] [stdout] 1: 0x5557562e8cb5 - backtrace::backtrace::trace_unsynchronized::h0513dd713d7644d4 [INFO] [stdout] at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/mod.rs:66 [INFO] [stdout] 2: 0x5557562e8cb5 - std::sys_common::backtrace::_print_fmt::h040abae64e4a24a9 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:78 [INFO] [stdout] 3: 0x5557562e8cb5 - ::fmt::hb4bdb37c3c335733 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:59 [INFO] [stdout] 4: 0x555756310a1c - core::fmt::write::h540ac4a6a1232abc [INFO] [stdout] at src/libcore/fmt/mod.rs:1076 [INFO] [stdout] 5: 0x555756262315 - std::io::Write::write_fmt::h4be0daababb55bba [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/io/mod.rs:1539 [INFO] [stdout] 6: 0x5557562e3381 - std::io::impls::>::write_fmt::h83c1e1aa73f374f5 [INFO] [stdout] at src/libstd/io/impls.rs:176 [INFO] [stdout] 7: 0x5557562eb410 - std::sys_common::backtrace::_print::hb55cc635eaf1882e [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:62 [INFO] [stdout] 8: 0x5557562eb410 - std::sys_common::backtrace::print::h2b2218fa55714084 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:49 [INFO] [stdout] 9: 0x5557562eb410 - std::panicking::default_hook::{{closure}}::h578517c025765cf3 [INFO] [stdout] at src/libstd/panicking.rs:198 [INFO] [stdout] 10: 0x5557562eb10a - std::panicking::default_hook::h4cafc94c2fc640fb [INFO] [stdout] at src/libstd/panicking.rs:214 [INFO] [stdout] 11: 0x5557562eba53 - std::panicking::rust_panic_with_hook::h3eeb5001beeca5c3 [INFO] [stdout] at src/libstd/panicking.rs:526 [INFO] [stdout] 12: 0x5557562a7fa9 - std::panicking::begin_panic::h3bc08ffc6242cc36 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:456 [INFO] [stdout] 13: 0x5557561cbf20 - cornelius::tests::push_gt_over_phi_1::h8483930ba4169eca [INFO] [stdout] at src/main.rs:207 [INFO] [stdout] 14: 0x5557561cbeba - cornelius::tests::push_gt_over_phi_1::{{closure}}::hd8419408ff137cd9 [INFO] [stdout] at src/main.rs:206 [INFO] [stdout] 15: 0x5557561d8cbe - core::ops::function::FnOnce::call_once::hab18a482b591bca7 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libcore/ops/function.rs:233 [INFO] [stdout] 16: 0x55575628988c - as core::ops::function::FnOnce>::call_once::h8340ba6798e0c4ff [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 17: 0x55575628988c - as core::ops::function::FnOnce<()>>::call_once::h5590e98676605094 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:318 [INFO] [stdout] 18: 0x55575628988c - std::panicking::try::do_call::hd8680a2dbb0ed3c4 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:348 [INFO] [stdout] 19: 0x55575628988c - std::panicking::try::h46b4de2d705e7a8d [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:325 [INFO] [stdout] 20: 0x55575628988c - std::panic::catch_unwind::h059b3f06991e0a9c [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:394 [INFO] [stdout] 21: 0x55575628988c - test::run_test_in_process::h5ae08a65430494a4 [INFO] [stdout] at src/libtest/lib.rs:541 [INFO] [stdout] 22: 0x55575628988c - test::run_test::run_test_inner::{{closure}}::h4b36073838376ae8 [INFO] [stdout] at src/libtest/lib.rs:450 [INFO] [stdout] 23: 0x555756261806 - std::sys_common::backtrace::__rust_begin_short_backtrace::h0169d0be588b8bf0 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/sys_common/backtrace.rs:130 [INFO] [stdout] 24: 0x5557562667f5 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h71bfc37e887d3973 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/thread/mod.rs:475 [INFO] [stdout] 25: 0x5557562667f5 - as core::ops::function::FnOnce<()>>::call_once::h36c65072907dc180 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:318 [INFO] [stdout] 26: 0x5557562667f5 - std::panicking::try::do_call::h4e0f426e17cd216c [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:348 [INFO] [stdout] 27: 0x5557562667f5 - std::panicking::try::hd05e4ef6b4303d29 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:325 [INFO] [stdout] 28: 0x5557562667f5 - std::panic::catch_unwind::h19a1127ec729c5dd [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:394 [INFO] [stdout] 29: 0x5557562667f5 - std::thread::Builder::spawn_unchecked::{{closure}}::h011300735f06b1e2 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/thread/mod.rs:474 [INFO] [stdout] 30: 0x5557562667f5 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h1e3c55f31f1d122e [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libcore/ops/function.rs:233 [INFO] [stdout] 31: 0x5557562f1c2a - as core::ops::function::FnOnce>::call_once::hc0e15d78a519721e [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 32: 0x5557562f1c2a - as core::ops::function::FnOnce>::call_once::h211da8fffb09f192 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 33: 0x5557562f1c2a - std::sys::unix::thread::Thread::new::thread_start::h29594ddebf23e421 [INFO] [stdout] at src/libstd/sys/unix/thread.rs:87 [INFO] [stdout] 34: 0x7f9e13ba8609 - start_thread [INFO] [stdout] 35: 0x7f9e13ab4103 - __clone [INFO] [stdout] 36: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- tests::neq_propagation_9 stdout ---- [INFO] [stdout] thread 'tests::neq_propagation_9' panicked at 'assertion failed: test_straight_rewrite("(!= 1 (phi (var c) 3 2))", "(bool true)")', src/main.rs:334:9 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5557562e8cb5 - backtrace::backtrace::libunwind::trace::hea89dfbbfe67f40d [INFO] [stdout] at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/libunwind.rs:86 [INFO] [stdout] 1: 0x5557562e8cb5 - backtrace::backtrace::trace_unsynchronized::h0513dd713d7644d4 [INFO] [stdout] at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/mod.rs:66 [INFO] [stdout] 2: 0x5557562e8cb5 - std::sys_common::backtrace::_print_fmt::h040abae64e4a24a9 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:78 [INFO] [stdout] 3: 0x5557562e8cb5 - ::fmt::hb4bdb37c3c335733 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:59 [INFO] [stdout] 4: 0x555756310a1c - core::fmt::write::h540ac4a6a1232abc [INFO] [stdout] at src/libcore/fmt/mod.rs:1076 [INFO] [stdout] 5: 0x555756262315 - std::io::Write::write_fmt::h4be0daababb55bba [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/io/mod.rs:1539 [INFO] [stdout] 6: 0x5557562e3381 - std::io::impls::>::write_fmt::h83c1e1aa73f374f5 [INFO] [stdout] at src/libstd/io/impls.rs:176 [INFO] [stdout] 7: 0x5557562eb410 - std::sys_common::backtrace::_print::hb55cc635eaf1882e [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:62 [INFO] [stdout] 8: 0x5557562eb410 - std::sys_common::backtrace::print::h2b2218fa55714084 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:49 [INFO] [stdout] 9: 0x5557562eb410 - std::panicking::default_hook::{{closure}}::h578517c025765cf3 [INFO] [stdout] at src/libstd/panicking.rs:198 [INFO] [stdout] 10: 0x5557562eb10a - std::panicking::default_hook::h4cafc94c2fc640fb [INFO] [stdout] at src/libstd/panicking.rs:214 [INFO] [stdout] 11: 0x5557562eba53 - std::panicking::rust_panic_with_hook::h3eeb5001beeca5c3 [INFO] [stdout] at src/libstd/panicking.rs:526 [INFO] [stdout] 12: 0x5557562a7fa9 - std::panicking::begin_panic::h3bc08ffc6242cc36 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:456 [INFO] [stdout] 13: 0x5557561ccbf0 - cornelius::tests::neq_propagation_9::h83a3a51d57e801db [INFO] [stdout] at src/main.rs:334 [INFO] [stdout] 14: 0x5557561ccb8a - cornelius::tests::neq_propagation_9::{{closure}}::h571bfc55b3a1f4ab [INFO] [stdout] at src/main.rs:333 [INFO] [stdout] 15: 0x5557561d88fe - core::ops::function::FnOnce::call_once::h7e056ad079ca70ca [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libcore/ops/function.rs:233 [INFO] [stdout] 16: 0x55575628988c - as core::ops::function::FnOnce>::call_once::h8340ba6798e0c4ff [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 17: 0x55575628988c - as core::ops::function::FnOnce<()>>::call_once::h5590e98676605094 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:318 [INFO] [stdout] 18: 0x55575628988c - std::panicking::try::do_call::hd8680a2dbb0ed3c4 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:348 [INFO] [stdout] 19: 0x55575628988c - std::panicking::try::h46b4de2d705e7a8d [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:325 [INFO] [stdout] 20: 0x55575628988c - std::panic::catch_unwind::h059b3f06991e0a9c [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:394 [INFO] [stdout] 21: 0x55575628988c - test::run_test_in_process::h5ae08a65430494a4 [INFO] [stdout] at src/libtest/lib.rs:541 [INFO] [stdout] 22: 0x55575628988c - test::run_test::run_test_inner::{{closure}}::h4b36073838376ae8 [INFO] [stdout] at src/libtest/lib.rs:450 [INFO] [stdout] 23: 0x555756261806 - std::sys_common::backtrace::__rust_begin_short_backtrace::h0169d0be588b8bf0 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/sys_common/backtrace.rs:130 [INFO] [stdout] 24: 0x5557562667f5 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h71bfc37e887d3973 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/thread/mod.rs:475 [INFO] [stdout] 25: 0x5557562667f5 - as core::ops::function::FnOnce<()>>::call_once::h36c65072907dc180 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:318 [INFO] [stdout] 26: 0x5557562667f5 - std::panicking::try::do_call::h4e0f426e17cd216c [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:348 [INFO] [stdout] 27: 0x5557562667f5 - std::panicking::try::hd05e4ef6b4303d29 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:325 [INFO] [stdout] 28: 0x5557562667f5 - std::panic::catch_unwind::h19a1127ec729c5dd [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:394 [INFO] [stdout] 29: 0x5557562667f5 - std::thread::Builder::spawn_unchecked::{{closure}}::h011300735f06b1e2 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/thread/mod.rs:474 [INFO] [stdout] 30: 0x5557562667f5 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h1e3c55f31f1d122e [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libcore/ops/function.rs:233 [INFO] [stdout] 31: 0x5557562f1c2a - as core::ops::function::FnOnce>::call_once::hc0e15d78a519721e [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 32: 0x5557562f1c2a - as core::ops::function::FnOnce>::call_once::h211da8fffb09f192 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 33: 0x5557562f1c2a - std::sys::unix::thread::Thread::new::thread_start::h29594ddebf23e421 [INFO] [stdout] at src/libstd/sys/unix/thread.rs:87 [INFO] [stdout] 34: 0x7f9e13ba8609 - start_thread [INFO] [stdout] 35: 0x7f9e13ab4103 - __clone [INFO] [stdout] 36: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- tests::push_le_over_phi_1 stdout ---- [INFO] [stdout] thread 'tests::push_le_over_phi_1' panicked at 'assertion failed: test_straight_rewrite("(<= 1 (phi (var a) (phi (var b) 0 2) 3))", [INFO] [stdout] "(bool false)")', src/main.rs:187:9 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5557562e8cb5 - backtrace::backtrace::libunwind::trace::hea89dfbbfe67f40d [INFO] [stdout] at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/libunwind.rs:86 [INFO] [stdout] 1: 0x5557562e8cb5 - backtrace::backtrace::trace_unsynchronized::h0513dd713d7644d4 [INFO] [stdout] at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/mod.rs:66 [INFO] [stdout] 2: 0x5557562e8cb5 - std::sys_common::backtrace::_print_fmt::h040abae64e4a24a9 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:78 [INFO] [stdout] 3: 0x5557562e8cb5 - ::fmt::hb4bdb37c3c335733 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:59 [INFO] [stdout] 4: 0x555756310a1c - core::fmt::write::h540ac4a6a1232abc [INFO] [stdout] at src/libcore/fmt/mod.rs:1076 [INFO] [stdout] 5: 0x555756262315 - std::io::Write::write_fmt::h4be0daababb55bba [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/io/mod.rs:1539 [INFO] [stdout] 6: 0x5557562e3381 - std::io::impls::>::write_fmt::h83c1e1aa73f374f5 [INFO] [stdout] at src/libstd/io/impls.rs:176 [INFO] [stdout] 7: 0x5557562eb410 - std::sys_common::backtrace::_print::hb55cc635eaf1882e [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:62 [INFO] [stdout] 8: 0x5557562eb410 - std::sys_common::backtrace::print::h2b2218fa55714084 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:49 [INFO] [stdout] 9: 0x5557562eb410 - std::panicking::default_hook::{{closure}}::h578517c025765cf3 [INFO] [stdout] at src/libstd/panicking.rs:198 [INFO] [stdout] 10: 0x5557562eb10a - std::panicking::default_hook::h4cafc94c2fc640fb [INFO] [stdout] at src/libstd/panicking.rs:214 [INFO] [stdout] 11: 0x5557562eba53 - std::panicking::rust_panic_with_hook::h3eeb5001beeca5c3 [INFO] [stdout] at src/libstd/panicking.rs:526 [INFO] [stdout] 12: 0x5557562a7fa9 - std::panicking::begin_panic::h3bc08ffc6242cc36 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:456 [INFO] [stdout] 13: 0x5557561cbd20 - cornelius::tests::push_le_over_phi_1::h40ce5a2d08f126be [INFO] [stdout] at src/main.rs:187 [INFO] [stdout] 14: 0x5557561cbcba - cornelius::tests::push_le_over_phi_1::{{closure}}::h23b22a6f8c16deab [INFO] [stdout] at src/main.rs:186 [INFO] [stdout] 15: 0x5557561d8afe - core::ops::function::FnOnce::call_once::h9a7ca860d22640d8 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libcore/ops/function.rs:233 [INFO] [stdout] 16: 0x55575628988c - as core::ops::function::FnOnce>::call_once::h8340ba6798e0c4ff [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 17: 0x55575628988c - as core::ops::function::FnOnce<()>>::call_once::h5590e98676605094 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:318 [INFO] [stdout] 18: 0x55575628988c - std::panicking::try::do_call::hd8680a2dbb0ed3c4 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:348 [INFO] [stdout] 19: 0x55575628988c - std::panicking::try::h46b4de2d705e7a8d [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:325 [INFO] [stdout] 20: 0x55575628988c - std::panic::catch_unwind::h059b3f06991e0a9c [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:394 [INFO] [stdout] 21: 0x55575628988c - test::run_test_in_process::h5ae08a65430494a4 [INFO] [stdout] at src/libtest/lib.rs:541 [INFO] [stdout] 22: 0x55575628988c - test::run_test::run_test_inner::{{closure}}::h4b36073838376ae8 [INFO] [stdout] at src/libtest/lib.rs:450 [INFO] [stdout] 23: 0x555756261806 - std::sys_common::backtrace::__rust_begin_short_backtrace::h0169d0be588b8bf0 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/sys_common/backtrace.rs:130 [INFO] [stdout] 24: 0x5557562667f5 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h71bfc37e887d3973 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/thread/mod.rs:475 [INFO] [stdout] 25: 0x5557562667f5 - as core::ops::function::FnOnce<()>>::call_once::h36c65072907dc180 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:318 [INFO] [stdout] 26: 0x5557562667f5 - std::panicking::try::do_call::h4e0f426e17cd216c [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:348 [INFO] [stdout] 27: 0x5557562667f5 - std::panicking::try::hd05e4ef6b4303d29 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:325 [INFO] [stdout] 28: 0x5557562667f5 - std::panic::catch_unwind::h19a1127ec729c5dd [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:394 [INFO] [stdout] 29: 0x5557562667f5 - std::thread::Builder::spawn_unchecked::{{closure}}::h011300735f06b1e2 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/thread/mod.rs:474 [INFO] [stdout] 30: 0x5557562667f5 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h1e3c55f31f1d122e [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libcore/ops/function.rs:233 [INFO] [stdout] 31: 0x5557562f1c2a - as core::ops::function::FnOnce>::call_once::hc0e15d78a519721e [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 32: 0x5557562f1c2a - as core::ops::function::FnOnce>::call_once::h211da8fffb09f192 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 33: 0x5557562f1c2a - std::sys::unix::thread::Thread::new::thread_start::h29594ddebf23e421 [INFO] [stdout] at src/libstd/sys/unix/thread.rs:87 [INFO] [stdout] 34: 0x7f9e13ba8609 - start_thread [INFO] [stdout] 35: 0x7f9e13ab4103 - __clone [INFO] [stdout] 36: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- tests::push_gt_over_phi_3 stdout ---- [INFO] [stdout] thread 'tests::push_gt_over_phi_3' panicked at 'assertion failed: test_straight_rewrite("(> 3 (phi (var a) (phi (var b) 0 2) 3) )", [INFO] [stdout] "(bool false)")', src/main.rs:217:9 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5557562e8cb5 - backtrace::backtrace::libunwind::trace::hea89dfbbfe67f40d [INFO] [stdout] at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/libunwind.rs:86 [INFO] [stdout] 1: 0x5557562e8cb5 - backtrace::backtrace::trace_unsynchronized::h0513dd713d7644d4 [INFO] [stdout] at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/mod.rs:66 [INFO] [stdout] 2: 0x5557562e8cb5 - std::sys_common::backtrace::_print_fmt::h040abae64e4a24a9 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:78 [INFO] [stdout] 3: 0x5557562e8cb5 - ::fmt::hb4bdb37c3c335733 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:59 [INFO] [stdout] 4: 0x555756310a1c - core::fmt::write::h540ac4a6a1232abc [INFO] [stdout] at src/libcore/fmt/mod.rs:1076 [INFO] [stdout] 5: 0x555756262315 - std::io::Write::write_fmt::h4be0daababb55bba [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/io/mod.rs:1539 [INFO] [stdout] 6: 0x5557562e3381 - std::io::impls::>::write_fmt::h83c1e1aa73f374f5 [INFO] [stdout] at src/libstd/io/impls.rs:176 [INFO] [stdout] 7: 0x5557562eb410 - std::sys_common::backtrace::_print::hb55cc635eaf1882e [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:62 [INFO] [stdout] 8: 0x5557562eb410 - std::sys_common::backtrace::print::h2b2218fa55714084 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:49 [INFO] [stdout] 9: 0x5557562eb410 - std::panicking::default_hook::{{closure}}::h578517c025765cf3 [INFO] [stdout] at src/libstd/panicking.rs:198 [INFO] [stdout] 10: 0x5557562eb10a - std::panicking::default_hook::h4cafc94c2fc640fb [INFO] [stdout] at src/libstd/panicking.rs:214 [INFO] [stdout] 11: 0x5557562eba53 - std::panicking::rust_panic_with_hook::h3eeb5001beeca5c3 [INFO] [stdout] at src/libstd/panicking.rs:526 [INFO] [stdout] 12: 0x5557562a7fa9 - std::panicking::begin_panic::h3bc08ffc6242cc36 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:456 [INFO] [stdout] 13: 0x5557561cc020 - cornelius::tests::push_gt_over_phi_3::h6093ec27749fa78b [INFO] [stdout] at src/main.rs:217 [INFO] [stdout] 14: 0x5557561cbfba - cornelius::tests::push_gt_over_phi_3::{{closure}}::ha0c5a40e3faa34a4 [INFO] [stdout] at src/main.rs:216 [INFO] [stdout] 15: 0x5557561d843e - core::ops::function::FnOnce::call_once::h2ece06238453ff75 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libcore/ops/function.rs:233 [INFO] [stdout] 16: 0x55575628988c - as core::ops::function::FnOnce>::call_once::h8340ba6798e0c4ff [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 17: 0x55575628988c - as core::ops::function::FnOnce<()>>::call_once::h5590e98676605094 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:318 [INFO] [stdout] 18: 0x55575628988c - std::panicking::try::do_call::hd8680a2dbb0ed3c4 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:348 [INFO] [stdout] 19: 0x55575628988c - std::panicking::try::h46b4de2d705e7a8d [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:325 [INFO] [stdout] 20: 0x55575628988c - std::panic::catch_unwind::h059b3f06991e0a9c [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:394 [INFO] [stdout] 21: 0x55575628988c - test::run_test_in_process::h5ae08a65430494a4 [INFO] [stdout] at src/libtest/lib.rs:541 [INFO] [stdout] 22: 0x55575628988c - test::run_test::run_test_inner::{{closure}}::h4b36073838376ae8 [INFO] [stdout] at src/libtest/lib.rs:450 [INFO] [stdout] 23: 0x555756261806 - std::sys_common::backtrace::__rust_begin_short_backtrace::h0169d0be588b8bf0 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/sys_common/backtrace.rs:130 [INFO] [stdout] 24: 0x5557562667f5 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h71bfc37e887d3973 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/thread/mod.rs:475 [INFO] [stdout] 25: 0x5557562667f5 - as core::ops::function::FnOnce<()>>::call_once::h36c65072907dc180 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:318 [INFO] [stdout] 26: 0x5557562667f5 - std::panicking::try::do_call::h4e0f426e17cd216c [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:348 [INFO] [stdout] 27: 0x5557562667f5 - std::panicking::try::hd05e4ef6b4303d29 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:325 [INFO] [stdout] 28: 0x5557562667f5 - std::panic::catch_unwind::h19a1127ec729c5dd [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:394 [INFO] [stdout] 29: 0x5557562667f5 - std::thread::Builder::spawn_unchecked::{{closure}}::h011300735f06b1e2 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/thread/mod.rs:474 [INFO] [stdout] 30: 0x5557562667f5 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h1e3c55f31f1d122e [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libcore/ops/function.rs:233 [INFO] [stdout] 31: 0x5557562f1c2a - as core::ops::function::FnOnce>::call_once::hc0e15d78a519721e [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 32: 0x5557562f1c2a - as core::ops::function::FnOnce>::call_once::h211da8fffb09f192 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 33: 0x5557562f1c2a - std::sys::unix::thread::Thread::new::thread_start::h29594ddebf23e421 [INFO] [stdout] at src/libstd/sys/unix/thread.rs:87 [INFO] [stdout] 34: 0x7f9e13ba8609 - start_thread [INFO] [stdout] 35: 0x7f9e13ab4103 - __clone [INFO] [stdout] 36: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- tests::push_lt_over_phi_3 stdout ---- [INFO] [stdout] thread 'tests::push_lt_over_phi_3' panicked at 'assertion failed: test_straight_rewrite("(< (phi (var a) (phi (var b) 0 2) 3) 3)", [INFO] [stdout] "(bool (bool false))")', src/main.rs:237:9 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5557562e8cb5 - backtrace::backtrace::libunwind::trace::hea89dfbbfe67f40d [INFO] [stdout] at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/libunwind.rs:86 [INFO] [stdout] 1: 0x5557562e8cb5 - backtrace::backtrace::trace_unsynchronized::h0513dd713d7644d4 [INFO] [stdout] at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/mod.rs:66 [INFO] [stdout] 2: 0x5557562e8cb5 - std::sys_common::backtrace::_print_fmt::h040abae64e4a24a9 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:78 [INFO] [stdout] 3: 0x5557562e8cb5 - ::fmt::hb4bdb37c3c335733 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:59 [INFO] [stdout] 4: 0x555756310a1c - core::fmt::write::h540ac4a6a1232abc [INFO] [stdout] at src/libcore/fmt/mod.rs:1076 [INFO] [stdout] 5: 0x555756262315 - std::io::Write::write_fmt::h4be0daababb55bba [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/io/mod.rs:1539 [INFO] [stdout] 6: 0x5557562e3381 - std::io::impls::>::write_fmt::h83c1e1aa73f374f5 [INFO] [stdout] at src/libstd/io/impls.rs:176 [INFO] [stdout] 7: 0x5557562eb410 - std::sys_common::backtrace::_print::hb55cc635eaf1882e [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:62 [INFO] [stdout] 8: 0x5557562eb410 - std::sys_common::backtrace::print::h2b2218fa55714084 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:49 [INFO] [stdout] 9: 0x5557562eb410 - std::panicking::default_hook::{{closure}}::h578517c025765cf3 [INFO] [stdout] at src/libstd/panicking.rs:198 [INFO] [stdout] 10: 0x5557562eb10a - std::panicking::default_hook::h4cafc94c2fc640fb [INFO] [stdout] at src/libstd/panicking.rs:214 [INFO] [stdout] 11: 0x5557562eba53 - std::panicking::rust_panic_with_hook::h3eeb5001beeca5c3 [INFO] [stdout] at src/libstd/panicking.rs:526 [INFO] [stdout] 12: 0x5557562a7fa9 - std::panicking::begin_panic::h3bc08ffc6242cc36 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:456 [INFO] [stdout] 13: 0x5557561cc220 - cornelius::tests::push_lt_over_phi_3::hd6fb6df6f4d10756 [INFO] [stdout] at src/main.rs:237 [INFO] [stdout] 14: 0x5557561cc1ba - cornelius::tests::push_lt_over_phi_3::{{closure}}::hafed5699cdb0d865 [INFO] [stdout] at src/main.rs:236 [INFO] [stdout] 15: 0x5557561d8d1e - core::ops::function::FnOnce::call_once::habdd45764647d819 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libcore/ops/function.rs:233 [INFO] [stdout] 16: 0x55575628988c - as core::ops::function::FnOnce>::call_once::h8340ba6798e0c4ff [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 17: 0x55575628988c - as core::ops::function::FnOnce<()>>::call_once::h5590e98676605094 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:318 [INFO] [stdout] 18: 0x55575628988c - std::panicking::try::do_call::hd8680a2dbb0ed3c4 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:348 [INFO] [stdout] 19: 0x55575628988c - std::panicking::try::h46b4de2d705e7a8d [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:325 [INFO] [stdout] 20: 0x55575628988c - std::panic::catch_unwind::h059b3f06991e0a9c [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:394 [INFO] [stdout] 21: 0x55575628988c - test::run_test_in_process::h5ae08a65430494a4 [INFO] [stdout] at src/libtest/lib.rs:541 [INFO] [stdout] 22: 0x55575628988c - test::run_test::run_test_inner::{{closure}}::h4b36073838376ae8 [INFO] [stdout] at src/libtest/lib.rs:450 [INFO] [stdout] 23: 0x555756261806 - std::sys_common::backtrace::__rust_begin_short_backtrace::h0169d0be588b8bf0 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/sys_common/backtrace.rs:130 [INFO] [stdout] 24: 0x5557562667f5 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h71bfc37e887d3973 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/thread/mod.rs:475 [INFO] [stdout] 25: 0x5557562667f5 - as core::ops::function::FnOnce<()>>::call_once::h36c65072907dc180 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:318 [INFO] [stdout] 26: 0x5557562667f5 - std::panicking::try::do_call::h4e0f426e17cd216c [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:348 [INFO] [stdout] 27: 0x5557562667f5 - std::panicking::try::hd05e4ef6b4303d29 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:325 [INFO] [stdout] 28: 0x5557562667f5 - std::panic::catch_unwind::h19a1127ec729c5dd [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:394 [INFO] [stdout] 29: 0x5557562667f5 - std::thread::Builder::spawn_unchecked::{{closure}}::h011300735f06b1e2 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/thread/mod.rs:474 [INFO] [stdout] 30: 0x5557562667f5 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h1e3c55f31f1d122e [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libcore/ops/function.rs:233 [INFO] [stdout] 31: 0x5557562f1c2a - as core::ops::function::FnOnce>::call_once::hc0e15d78a519721e [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 32: 0x5557562f1c2a - as core::ops::function::FnOnce>::call_once::h211da8fffb09f192 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 33: 0x5557562f1c2a - std::sys::unix::thread::Thread::new::thread_start::h29594ddebf23e421 [INFO] [stdout] at src/libstd/sys/unix/thread.rs:87 [INFO] [stdout] 34: 0x7f9e13ba8609 - start_thread [INFO] [stdout] 35: 0x7f9e13ab4103 - __clone [INFO] [stdout] 36: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- tests::push_lt_over_phi_1 stdout ---- [INFO] [stdout] thread 'tests::push_lt_over_phi_1' panicked at 'assertion failed: test_straight_rewrite("(< 1 (phi (var a) (phi (var b) 1 2) 3))", [INFO] [stdout] "(bool false)")', src/main.rs:227:9 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5557562e8cb5 - backtrace::backtrace::libunwind::trace::hea89dfbbfe67f40d [INFO] [stdout] at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/libunwind.rs:86 [INFO] [stdout] 1: 0x5557562e8cb5 - backtrace::backtrace::trace_unsynchronized::h0513dd713d7644d4 [INFO] [stdout] at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/mod.rs:66 [INFO] [stdout] 2: 0x5557562e8cb5 - std::sys_common::backtrace::_print_fmt::h040abae64e4a24a9 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:78 [INFO] [stdout] 3: 0x5557562e8cb5 - ::fmt::hb4bdb37c3c335733 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:59 [INFO] [stdout] 4: 0x555756310a1c - core::fmt::write::h540ac4a6a1232abc [INFO] [stdout] at src/libcore/fmt/mod.rs:1076 [INFO] [stdout] 5: 0x555756262315 - std::io::Write::write_fmt::h4be0daababb55bba [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/io/mod.rs:1539 [INFO] [stdout] 6: 0x5557562e3381 - std::io::impls::>::write_fmt::h83c1e1aa73f374f5 [INFO] [stdout] at src/libstd/io/impls.rs:176 [INFO] [stdout] 7: 0x5557562eb410 - std::sys_common::backtrace::_print::hb55cc635eaf1882e [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:62 [INFO] [stdout] 8: 0x5557562eb410 - std::sys_common::backtrace::print::h2b2218fa55714084 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:49 [INFO] [stdout] 9: 0x5557562eb410 - std::panicking::default_hook::{{closure}}::h578517c025765cf3 [INFO] [stdout] at src/libstd/panicking.rs:198 [INFO] [stdout] 10: 0x5557562eb10a - std::panicking::default_hook::h4cafc94c2fc640fb [INFO] [stdout] at src/libstd/panicking.rs:214 [INFO] [stdout] 11: 0x5557562eba53 - std::panicking::rust_panic_with_hook::h3eeb5001beeca5c3 [INFO] [stdout] at src/libstd/panicking.rs:526 [INFO] [stdout] 12: 0x5557562a7fa9 - std::panicking::begin_panic::h3bc08ffc6242cc36 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:456 [INFO] [stdout] 13: 0x5557561cc120 - cornelius::tests::push_lt_over_phi_1::h15c4039d38307518 [INFO] [stdout] at src/main.rs:227 [INFO] [stdout] 14: 0x5557561cc0ba - cornelius::tests::push_lt_over_phi_1::{{closure}}::h577cb35a606cb0af [INFO] [stdout] at src/main.rs:226 [INFO] [stdout] 15: 0x5557561d8b8e - core::ops::function::FnOnce::call_once::ha113712e0c8af449 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libcore/ops/function.rs:233 [INFO] [stdout] 16: 0x55575628988c - as core::ops::function::FnOnce>::call_once::h8340ba6798e0c4ff [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 17: 0x55575628988c - as core::ops::function::FnOnce<()>>::call_once::h5590e98676605094 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:318 [INFO] [stdout] 18: 0x55575628988c - std::panicking::try::do_call::hd8680a2dbb0ed3c4 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:348 [INFO] [stdout] 19: 0x55575628988c - std::panicking::try::h46b4de2d705e7a8d [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:325 [INFO] [stdout] 20: 0x55575628988c - std::panic::catch_unwind::h059b3f06991e0a9c [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:394 [INFO] [stdout] 21: 0x55575628988c - test::run_test_in_process::h5ae08a65430494a4 [INFO] [stdout] at src/libtest/lib.rs:541 [INFO] [stdout] 22: 0x55575628988c - test::run_test::run_test_inner::{{closure}}::h4b36073838376ae8 [INFO] [stdout] at src/libtest/lib.rs:450 [INFO] [stdout] 23: 0x555756261806 - std::sys_common::backtrace::__rust_begin_short_backtrace::h0169d0be588b8bf0 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/sys_common/backtrace.rs:130 [INFO] [stdout] 24: 0x5557562667f5 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h71bfc37e887d3973 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/thread/mod.rs:475 [INFO] [stdout] 25: 0x5557562667f5 - as core::ops::function::FnOnce<()>>::call_once::h36c65072907dc180 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:318 [INFO] [stdout] 26: 0x5557562667f5 - std::panicking::try::do_call::h4e0f426e17cd216c [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:348 [INFO] [stdout] 27: 0x5557562667f5 - std::panicking::try::hd05e4ef6b4303d29 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:325 [INFO] [stdout] 28: 0x5557562667f5 - std::panic::catch_unwind::h19a1127ec729c5dd [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:394 [INFO] [stdout] 29: 0x5557562667f5 - std::thread::Builder::spawn_unchecked::{{closure}}::h011300735f06b1e2 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/thread/mod.rs:474 [INFO] [stdout] 30: 0x5557562667f5 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h1e3c55f31f1d122e [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libcore/ops/function.rs:233 [INFO] [stdout] 31: 0x5557562f1c2a - as core::ops::function::FnOnce>::call_once::hc0e15d78a519721e [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 32: 0x5557562f1c2a - as core::ops::function::FnOnce>::call_once::h211da8fffb09f192 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 33: 0x5557562f1c2a - std::sys::unix::thread::Thread::new::thread_start::h29594ddebf23e421 [INFO] [stdout] at src/libstd/sys/unix/thread.rs:87 [INFO] [stdout] 34: 0x7f9e13ba8609 - start_thread [INFO] [stdout] 35: 0x7f9e13ab4103 - __clone [INFO] [stdout] 36: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- tests::test_max_1 stdout ---- [INFO] [stdout] thread 'tests::test_max_1' panicked at 'assertion failed: test_no_straight_rewrite("(phi (! (phi (> (var a) (var b)) (bool true) (bool false))) (var b) (phi (> (var a) (var b)) (var a) -2147483648))", [INFO] [stdout] "(var b)", &[])', src/main.rs:339:9 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5557562e8cb5 - backtrace::backtrace::libunwind::trace::hea89dfbbfe67f40d [INFO] [stdout] at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/libunwind.rs:86 [INFO] [stdout] 1: 0x5557562e8cb5 - backtrace::backtrace::trace_unsynchronized::h0513dd713d7644d4 [INFO] [stdout] at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/mod.rs:66 [INFO] [stdout] 2: 0x5557562e8cb5 - std::sys_common::backtrace::_print_fmt::h040abae64e4a24a9 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:78 [INFO] [stdout] 3: 0x5557562e8cb5 - ::fmt::hb4bdb37c3c335733 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:59 [INFO] [stdout] 4: 0x555756310a1c - core::fmt::write::h540ac4a6a1232abc [INFO] [stdout] at src/libcore/fmt/mod.rs:1076 [INFO] [stdout] 5: 0x555756262315 - std::io::Write::write_fmt::h4be0daababb55bba [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/io/mod.rs:1539 [INFO] [stdout] 6: 0x5557562e3381 - std::io::impls::>::write_fmt::h83c1e1aa73f374f5 [INFO] [stdout] at src/libstd/io/impls.rs:176 [INFO] [stdout] 7: 0x5557562eb410 - std::sys_common::backtrace::_print::hb55cc635eaf1882e [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:62 [INFO] [stdout] 8: 0x5557562eb410 - std::sys_common::backtrace::print::h2b2218fa55714084 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:49 [INFO] [stdout] 9: 0x5557562eb410 - std::panicking::default_hook::{{closure}}::h578517c025765cf3 [INFO] [stdout] at src/libstd/panicking.rs:198 [INFO] [stdout] 10: 0x5557562eb10a - std::panicking::default_hook::h4cafc94c2fc640fb [INFO] [stdout] at src/libstd/panicking.rs:214 [INFO] [stdout] 11: 0x5557562eba53 - std::panicking::rust_panic_with_hook::h3eeb5001beeca5c3 [INFO] [stdout] at src/libstd/panicking.rs:526 [INFO] [stdout] 12: 0x5557562a7fa9 - std::panicking::begin_panic::h3bc08ffc6242cc36 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:456 [INFO] [stdout] 13: 0x5557561ccc7c - cornelius::tests::test_max_1::hca094b9030732f42 [INFO] [stdout] at src/main.rs:339 [INFO] [stdout] 14: 0x5557561ccc0a - cornelius::tests::test_max_1::{{closure}}::h53014157b0128527 [INFO] [stdout] at src/main.rs:338 [INFO] [stdout] 15: 0x5557561d901e - core::ops::function::FnOnce::call_once::he2e4147e6ecf6e21 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libcore/ops/function.rs:233 [INFO] [stdout] 16: 0x55575628988c - as core::ops::function::FnOnce>::call_once::h8340ba6798e0c4ff [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 17: 0x55575628988c - as core::ops::function::FnOnce<()>>::call_once::h5590e98676605094 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:318 [INFO] [stdout] 18: 0x55575628988c - std::panicking::try::do_call::hd8680a2dbb0ed3c4 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:348 [INFO] [stdout] 19: 0x55575628988c - std::panicking::try::h46b4de2d705e7a8d [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:325 [INFO] [stdout] 20: 0x55575628988c - std::panic::catch_unwind::h059b3f06991e0a9c [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:394 [INFO] [stdout] 21: 0x55575628988c - test::run_test_in_process::h5ae08a65430494a4 [INFO] [stdout] at src/libtest/lib.rs:541 [INFO] [stdout] 22: 0x55575628988c - test::run_test::run_test_inner::{{closure}}::h4b36073838376ae8 [INFO] [stdout] at src/libtest/lib.rs:450 [INFO] [stdout] 23: 0x555756261806 - std::sys_common::backtrace::__rust_begin_short_backtrace::h0169d0be588b8bf0 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/sys_common/backtrace.rs:130 [INFO] [stdout] 24: 0x5557562667f5 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h71bfc37e887d3973 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/thread/mod.rs:475 [INFO] [stdout] 25: 0x5557562667f5 - as core::ops::function::FnOnce<()>>::call_once::h36c65072907dc180 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:318 [INFO] [stdout] 26: 0x5557562667f5 - std::panicking::try::do_call::h4e0f426e17cd216c [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:348 [INFO] [stdout] 27: 0x5557562667f5 - std::panicking::try::hd05e4ef6b4303d29 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:325 [INFO] [stdout] 28: 0x5557562667f5 - std::panic::catch_unwind::h19a1127ec729c5dd [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:394 [INFO] [stdout] 29: 0x5557562667f5 - std::thread::Builder::spawn_unchecked::{{closure}}::h011300735f06b1e2 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/thread/mod.rs:474 [INFO] [stdout] 30: 0x5557562667f5 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h1e3c55f31f1d122e [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libcore/ops/function.rs:233 [INFO] [stdout] 31: 0x5557562f1c2a - as core::ops::function::FnOnce>::call_once::hc0e15d78a519721e [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 32: 0x5557562f1c2a - as core::ops::function::FnOnce>::call_once::h211da8fffb09f192 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 33: 0x5557562f1c2a - std::sys::unix::thread::Thread::new::thread_start::h29594ddebf23e421 [INFO] [stdout] at src/libstd/sys/unix/thread.rs:87 [INFO] [stdout] 34: 0x7f9e13ba8609 - start_thread [INFO] [stdout] 35: 0x7f9e13ab4103 - __clone [INFO] [stdout] 36: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- tests::test_max_3 stdout ---- [INFO] [stdout] thread 'tests::test_max_3' panicked at 'assertion failed: test_no_straight_rewrite("(phi (! (phi (>= (var a) (var b)) (bool true) (bool false))) (var b) (phi (>= (var a) (var b)) (var a) -2147483648))", [INFO] [stdout] "(var b)", &[])', src/main.rs:361:9 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5557562e8cb5 - backtrace::backtrace::libunwind::trace::hea89dfbbfe67f40d [INFO] [stdout] at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/libunwind.rs:86 [INFO] [stdout] 1: 0x5557562e8cb5 - backtrace::backtrace::trace_unsynchronized::h0513dd713d7644d4 [INFO] [stdout] at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/mod.rs:66 [INFO] [stdout] 2: 0x5557562e8cb5 - std::sys_common::backtrace::_print_fmt::h040abae64e4a24a9 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:78 [INFO] [stdout] 3: 0x5557562e8cb5 - ::fmt::hb4bdb37c3c335733 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:59 [INFO] [stdout] 4: 0x555756310a1c - core::fmt::write::h540ac4a6a1232abc [INFO] [stdout] at src/libcore/fmt/mod.rs:1076 [INFO] [stdout] 5: 0x555756262315 - std::io::Write::write_fmt::h4be0daababb55bba [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/io/mod.rs:1539 [INFO] [stdout] 6: 0x5557562e3381 - std::io::impls::>::write_fmt::h83c1e1aa73f374f5 [INFO] [stdout] at src/libstd/io/impls.rs:176 [INFO] [stdout] 7: 0x5557562eb410 - std::sys_common::backtrace::_print::hb55cc635eaf1882e [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:62 [INFO] [stdout] 8: 0x5557562eb410 - std::sys_common::backtrace::print::h2b2218fa55714084 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:49 [INFO] [stdout] 9: 0x5557562eb410 - std::panicking::default_hook::{{closure}}::h578517c025765cf3 [INFO] [stdout] at src/libstd/panicking.rs:198 [INFO] [stdout] 10: 0x5557562eb10a - std::panicking::default_hook::h4cafc94c2fc640fb [INFO] [stdout] at src/libstd/panicking.rs:214 [INFO] [stdout] 11: 0x5557562eba53 - std::panicking::rust_panic_with_hook::h3eeb5001beeca5c3 [INFO] [stdout] at src/libstd/panicking.rs:526 [INFO] [stdout] 12: 0x5557562a7fa9 - std::panicking::begin_panic::h3bc08ffc6242cc36 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:456 [INFO] [stdout] 13: 0x5557561ccd7c - cornelius::tests::test_max_3::h9d62e02a1af25847 [INFO] [stdout] at src/main.rs:361 [INFO] [stdout] 14: 0x5557561ccd0a - cornelius::tests::test_max_3::{{closure}}::h1a46c89cd27d4098 [INFO] [stdout] at src/main.rs:360 [INFO] [stdout] 15: 0x5557561d8dde - core::ops::function::FnOnce::call_once::hb8ee7ab7d5395f38 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libcore/ops/function.rs:233 [INFO] [stdout] 16: 0x55575628988c - as core::ops::function::FnOnce>::call_once::h8340ba6798e0c4ff [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 17: 0x55575628988c - as core::ops::function::FnOnce<()>>::call_once::h5590e98676605094 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:318 [INFO] [stdout] 18: 0x55575628988c - std::panicking::try::do_call::hd8680a2dbb0ed3c4 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:348 [INFO] [stdout] 19: 0x55575628988c - std::panicking::try::h46b4de2d705e7a8d [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:325 [INFO] [stdout] 20: 0x55575628988c - std::panic::catch_unwind::h059b3f06991e0a9c [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:394 [INFO] [stdout] 21: 0x55575628988c - test::run_test_in_process::h5ae08a65430494a4 [INFO] [stdout] at src/libtest/lib.rs:541 [INFO] [stdout] 22: 0x55575628988c - test::run_test::run_test_inner::{{closure}}::h4b36073838376ae8 [INFO] [stdout] at src/libtest/lib.rs:450 [INFO] [stdout] 23: 0x555756261806 - std::sys_common::backtrace::__rust_begin_short_backtrace::h0169d0be588b8bf0 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/sys_common/backtrace.rs:130 [INFO] [stdout] 24: 0x5557562667f5 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h71bfc37e887d3973 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/thread/mod.rs:475 [INFO] [stdout] 25: 0x5557562667f5 - as core::ops::function::FnOnce<()>>::call_once::h36c65072907dc180 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:318 [INFO] [stdout] 26: 0x5557562667f5 - std::panicking::try::do_call::h4e0f426e17cd216c [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:348 [INFO] [stdout] 27: 0x5557562667f5 - std::panicking::try::hd05e4ef6b4303d29 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:325 [INFO] [stdout] 28: 0x5557562667f5 - std::panic::catch_unwind::h19a1127ec729c5dd [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:394 [INFO] [stdout] 29: 0x5557562667f5 - std::thread::Builder::spawn_unchecked::{{closure}}::h011300735f06b1e2 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/thread/mod.rs:474 [INFO] [stdout] 30: 0x5557562667f5 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h1e3c55f31f1d122e [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libcore/ops/function.rs:233 [INFO] [stdout] 31: 0x5557562f1c2a - as core::ops::function::FnOnce>::call_once::hc0e15d78a519721e [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 32: 0x5557562f1c2a - as core::ops::function::FnOnce>::call_once::h211da8fffb09f192 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 33: 0x5557562f1c2a - std::sys::unix::thread::Thread::new::thread_start::h29594ddebf23e421 [INFO] [stdout] at src/libstd/sys/unix/thread.rs:87 [INFO] [stdout] 34: 0x7f9e13ba8609 - start_thread [INFO] [stdout] 35: 0x7f9e13ab4103 - __clone [INFO] [stdout] 36: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- tests::ensure_no_rewrite_1 stdout ---- [INFO] [stdout] thread 'tests::ensure_no_rewrite_1' panicked at 'assertion failed: test_no_straight_rewrite("(phi (> (var a) (var b)) (bool true) (bool false))", [INFO] [stdout] "(bool false)", &[])', src/main.rs:407:9 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5557562e8cb5 - backtrace::backtrace::libunwind::trace::hea89dfbbfe67f40d [INFO] [stdout] at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/libunwind.rs:86 [INFO] [stdout] 1: 0x5557562e8cb5 - backtrace::backtrace::trace_unsynchronized::h0513dd713d7644d4 [INFO] [stdout] at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/mod.rs:66 [INFO] [stdout] 2: 0x5557562e8cb5 - std::sys_common::backtrace::_print_fmt::h040abae64e4a24a9 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:78 [INFO] [stdout] 3: 0x5557562e8cb5 - ::fmt::hb4bdb37c3c335733 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:59 [INFO] [stdout] 4: 0x555756310a1c - core::fmt::write::h540ac4a6a1232abc [INFO] [stdout] at src/libcore/fmt/mod.rs:1076 [INFO] [stdout] 5: 0x555756262315 - std::io::Write::write_fmt::h4be0daababb55bba [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/io/mod.rs:1539 [INFO] [stdout] 6: 0x5557562e3381 - std::io::impls::>::write_fmt::h83c1e1aa73f374f5 [INFO] [stdout] at src/libstd/io/impls.rs:176 [INFO] [stdout] 7: 0x5557562eb410 - std::sys_common::backtrace::_print::hb55cc635eaf1882e [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:62 [INFO] [stdout] 8: 0x5557562eb410 - std::sys_common::backtrace::print::h2b2218fa55714084 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:49 [INFO] [stdout] 9: 0x5557562eb410 - std::panicking::default_hook::{{closure}}::h578517c025765cf3 [INFO] [stdout] at src/libstd/panicking.rs:198 [INFO] [stdout] 10: 0x5557562eb10a - std::panicking::default_hook::h4cafc94c2fc640fb [INFO] [stdout] at src/libstd/panicking.rs:214 [INFO] [stdout] 11: 0x5557562eba53 - std::panicking::rust_panic_with_hook::h3eeb5001beeca5c3 [INFO] [stdout] at src/libstd/panicking.rs:526 [INFO] [stdout] 12: 0x5557562a7fa9 - std::panicking::begin_panic::h3bc08ffc6242cc36 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:456 [INFO] [stdout] 13: 0x5557561cd653 - cornelius::tests::ensure_no_rewrite_1::h925372db09d1b87c [INFO] [stdout] at src/main.rs:407 [INFO] [stdout] 14: 0x5557561cce0a - cornelius::tests::ensure_no_rewrite_1::{{closure}}::h81199cf15eea1153 [INFO] [stdout] at src/main.rs:378 [INFO] [stdout] 15: 0x5557561d865e - core::ops::function::FnOnce::call_once::h5b8fbf8fab2c21a8 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libcore/ops/function.rs:233 [INFO] [stdout] 16: 0x55575628988c - as core::ops::function::FnOnce>::call_once::h8340ba6798e0c4ff [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 17: 0x55575628988c - as core::ops::function::FnOnce<()>>::call_once::h5590e98676605094 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:318 [INFO] [stdout] 18: 0x55575628988c - std::panicking::try::do_call::hd8680a2dbb0ed3c4 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:348 [INFO] [stdout] 19: 0x55575628988c - std::panicking::try::h46b4de2d705e7a8d [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:325 [INFO] [stdout] 20: 0x55575628988c - std::panic::catch_unwind::h059b3f06991e0a9c [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:394 [INFO] [stdout] 21: 0x55575628988c - test::run_test_in_process::h5ae08a65430494a4 [INFO] [stdout] at src/libtest/lib.rs:541 [INFO] [stdout] 22: 0x55575628988c - test::run_test::run_test_inner::{{closure}}::h4b36073838376ae8 [INFO] [stdout] at src/libtest/lib.rs:450 [INFO] [stdout] 23: 0x555756261806 - std::sys_common::backtrace::__rust_begin_short_backtrace::h0169d0be588b8bf0 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/sys_common/backtrace.rs:130 [INFO] [stdout] 24: 0x5557562667f5 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h71bfc37e887d3973 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/thread/mod.rs:475 [INFO] [stdout] 25: 0x5557562667f5 - as core::ops::function::FnOnce<()>>::call_once::h36c65072907dc180 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:318 [INFO] [stdout] 26: 0x5557562667f5 - std::panicking::try::do_call::h4e0f426e17cd216c [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:348 [INFO] [stdout] 27: 0x5557562667f5 - std::panicking::try::hd05e4ef6b4303d29 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panicking.rs:325 [INFO] [stdout] 28: 0x5557562667f5 - std::panic::catch_unwind::h19a1127ec729c5dd [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/panic.rs:394 [INFO] [stdout] 29: 0x5557562667f5 - std::thread::Builder::spawn_unchecked::{{closure}}::h011300735f06b1e2 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libstd/thread/mod.rs:474 [INFO] [stdout] 30: 0x5557562667f5 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h1e3c55f31f1d122e [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/libcore/ops/function.rs:233 [INFO] [stdout] 31: 0x5557562f1c2a - as core::ops::function::FnOnce>::call_once::hc0e15d78a519721e [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 32: 0x5557562f1c2a - as core::ops::function::FnOnce>::call_once::h211da8fffb09f192 [INFO] [stdout] at /rustc/03a1ea71b075ab964b5278bc6e74cd6c52c36ee0/src/liballoc/boxed.rs:1081 [INFO] [stdout] 33: 0x5557562f1c2a - std::sys::unix::thread::Thread::new::thread_start::h29594ddebf23e421 [INFO] [stdout] at src/libstd/sys/unix/thread.rs:87 [INFO] [stdout] 34: 0x7f9e13ba8609 - start_thread [INFO] [stdout] 35: 0x7f9e13ab4103 - __clone [INFO] [stdout] 36: 0x0 - [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] tests::ensure_no_rewrite_1 [INFO] [stdout] tests::eq_propagation_1 [INFO] [stdout] tests::eq_propagation_2 [INFO] [stdout] tests::eq_propagation_3 [INFO] [stdout] tests::eq_propagation_4 [INFO] [stdout] tests::eq_propagation_5 [INFO] [stdout] tests::eq_propagation_7 [INFO] [stdout] tests::eq_propagation_8 [INFO] [stdout] tests::eq_propagation_9 [INFO] [stdout] tests::neq_propagation_1 [INFO] [stdout] tests::neq_propagation_2 [INFO] [stdout] tests::neq_propagation_3 [INFO] [stdout] tests::neq_propagation_4 [INFO] [stdout] tests::neq_propagation_5 [INFO] [stdout] tests::neq_propagation_9 [INFO] [stdout] tests::push_ge_over_phi_1 [INFO] [stdout] tests::push_gt_over_phi_1 [INFO] [stdout] tests::push_gt_over_phi_3 [INFO] [stdout] tests::push_le_over_phi_1 [INFO] [stdout] tests::push_lt_over_phi_1 [INFO] [stdout] tests::push_lt_over_phi_3 [INFO] [stdout] tests::test_max_1 [INFO] [stdout] tests::test_max_3 [INFO] [stdout] [INFO] [stdout] test result: FAILED. 29 passed; 23 failed; 0 ignored; 0 measured; 0 filtered out [INFO] [stdout] [INFO] [stderr] error: test failed, to rerun pass '--bin cornelius' [INFO] running `Command { std: "docker" "inspect" "c5677dc94795a044ac358a8f8cd2ec0f71e00b54973ef6c358c8fb45d05b30f6", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "c5677dc94795a044ac358a8f8cd2ec0f71e00b54973ef6c358c8fb45d05b30f6", kill_on_drop: false }` [INFO] [stdout] c5677dc94795a044ac358a8f8cd2ec0f71e00b54973ef6c358c8fb45d05b30f6