[INFO] cloning repository https://github.com/tawashichan/prop-lk
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/tawashichan/prop-lk" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftawashichan%2Fprop-lk", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftawashichan%2Fprop-lk'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] ad6d0bc261f8f3d7bf82549bf883a4068a694a89
[INFO] testing tawashichan/prop-lk against beta-2021-08-01 for beta-1.55-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftawashichan%2Fprop-lk" "/workspace/builds/worker-60/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-60/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/tawashichan/prop-lk on toolchain beta-2021-08-01
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2021-08-01" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/tawashichan/prop-lk
[INFO] finished tweaking git repo https://github.com/tawashichan/prop-lk
[INFO] tweaked toml for git repo https://github.com/tawashichan/prop-lk written to /workspace/builds/worker-60/source/Cargo.toml
[INFO] crate git repo https://github.com/tawashichan/prop-lk already has a lockfile, it will not be regenerated
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2021-08-01" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-60/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-60/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2021-08-01" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] ad17ddfdbb8d6e4300920b867637548c875c9577cc730391b89019a1fbdb709b
[INFO] running `Command { std: "docker" "start" "-a" "ad17ddfdbb8d6e4300920b867637548c875c9577cc730391b89019a1fbdb709b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "ad17ddfdbb8d6e4300920b867637548c875c9577cc730391b89019a1fbdb709b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ad17ddfdbb8d6e4300920b867637548c875c9577cc730391b89019a1fbdb709b", kill_on_drop: false }`
[INFO] [stdout] ad17ddfdbb8d6e4300920b867637548c875c9577cc730391b89019a1fbdb709b
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-60/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-60/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2021-08-01" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 5ea038527979570c09f679b871d0923f2b365ede818ebdc315541ae922ec9267
[INFO] running `Command { std: "docker" "start" "-a" "5ea038527979570c09f679b871d0923f2b365ede818ebdc315541ae922ec9267", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]    Compiling prop-logic-checker v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `Formula`
[INFO] [stdout]  --> src/parser.rs:2:20
[INFO] [stdout]   |
[INFO] [stdout] 2 | use crate::logic::{Formula,Sequent};
[INFO] [stdout]   |                    ^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `tokens`
[INFO] [stdout]   --> src/parser.rs:21:17
[INFO] [stdout]    |
[INFO] [stdout] 21 | fn parse_tokens(tokens: &[Token]) -> Vec<Sequent> {
[INFO] [stdout]    |                 ^^^^^^ help: if this is intentional, prefix it with an underscore: `_tokens`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Atom`
[INFO] [stdout]  --> src/logic.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 |     Atom(&'static str), //原始式
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `And`
[INFO] [stdout]  --> src/logic.rs:9:5
[INFO] [stdout]   |
[INFO] [stdout] 9 |     And(Box<Formula>, Box<Formula>),
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Not`
[INFO] [stdout]   --> src/logic.rs:10:5
[INFO] [stdout]    |
[INFO] [stdout] 10 |     Not(Box<Formula>),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Or`
[INFO] [stdout]   --> src/logic.rs:11:5
[INFO] [stdout]    |
[INFO] [stdout] 11 |     Or(Box<Formula>, Box<Formula>),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum is never used: `Rule`
[INFO] [stdout]   --> src/logic.rs:14:6
[INFO] [stdout]    |
[INFO] [stdout] 14 | enum Rule {
[INFO] [stdout]    |      ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum is never used: `ProofTree`
[INFO] [stdout]   --> src/logic.rs:23:6
[INFO] [stdout]    |
[INFO] [stdout] 23 | enum ProofTree {
[INFO] [stdout]    |      ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `is_reachable`
[INFO] [stdout]   --> src/logic.rs:29:8
[INFO] [stdout]    |
[INFO] [stdout] 29 |     fn is_reachable(&self, rule: &Rule, another: &Sequent) -> bool {
[INFO] [stdout]    |        ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `is_valid`
[INFO] [stdout]   --> src/logic.rs:52:8
[INFO] [stdout]    |
[INFO] [stdout] 52 |     fn is_valid(&self) -> bool {
[INFO] [stdout]    |        ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum is never used: `Token`
[INFO] [stdout]  --> src/parser.rs:4:6
[INFO] [stdout]   |
[INFO] [stdout] 4 | enum Token {
[INFO] [stdout]   |      ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `parse`
[INFO] [stdout]   --> src/parser.rs:14:4
[INFO] [stdout]    |
[INFO] [stdout] 14 | fn parse(chars: &[char]) -> Vec<Token> {
[INFO] [stdout]    |    ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `parse_tokens`
[INFO] [stdout]   --> src/parser.rs:21:4
[INFO] [stdout]    |
[INFO] [stdout] 21 | fn parse_tokens(tokens: &[Token]) -> Vec<Sequent> {
[INFO] [stdout]    |    ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 13 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 16.16s
[INFO] running `Command { std: "docker" "inspect" "5ea038527979570c09f679b871d0923f2b365ede818ebdc315541ae922ec9267", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5ea038527979570c09f679b871d0923f2b365ede818ebdc315541ae922ec9267", kill_on_drop: false }`
[INFO] [stdout] 5ea038527979570c09f679b871d0923f2b365ede818ebdc315541ae922ec9267
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-60/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-60/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2021-08-01" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 7d971cac90a7329835ac6f583288e6b367aec31fa4c0552b571f929c166ffe5d
[INFO] running `Command { std: "docker" "start" "-a" "7d971cac90a7329835ac6f583288e6b367aec31fa4c0552b571f929c166ffe5d", kill_on_drop: false }`
[INFO] [stderr]    Compiling prop-logic-checker v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `Formula`
[INFO] [stdout]  --> src/parser.rs:2:20
[INFO] [stdout]   |
[INFO] [stdout] 2 | use crate::logic::{Formula,Sequent};
[INFO] [stdout]   |                    ^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `tokens`
[INFO] [stdout]   --> src/parser.rs:21:17
[INFO] [stdout]    |
[INFO] [stdout] 21 | fn parse_tokens(tokens: &[Token]) -> Vec<Sequent> {
[INFO] [stdout]    |                 ^^^^^^ help: if this is intentional, prefix it with an underscore: `_tokens`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `And`
[INFO] [stdout]  --> src/logic.rs:9:5
[INFO] [stdout]   |
[INFO] [stdout] 9 |     And(Box<Formula>, Box<Formula>),
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum is never used: `Token`
[INFO] [stdout]  --> src/parser.rs:4:6
[INFO] [stdout]   |
[INFO] [stdout] 4 | enum Token {
[INFO] [stdout]   |      ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `parse`
[INFO] [stdout]   --> src/parser.rs:14:4
[INFO] [stdout]    |
[INFO] [stdout] 14 | fn parse(chars: &[char]) -> Vec<Token> {
[INFO] [stdout]    |    ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `parse_tokens`
[INFO] [stdout]   --> src/parser.rs:21:4
[INFO] [stdout]    |
[INFO] [stdout] 21 | fn parse_tokens(tokens: &[Token]) -> Vec<Sequent> {
[INFO] [stdout]    |    ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 6 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 0.61s
[INFO] running `Command { std: "docker" "inspect" "7d971cac90a7329835ac6f583288e6b367aec31fa4c0552b571f929c166ffe5d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7d971cac90a7329835ac6f583288e6b367aec31fa4c0552b571f929c166ffe5d", kill_on_drop: false }`
[INFO] [stdout] 7d971cac90a7329835ac6f583288e6b367aec31fa4c0552b571f929c166ffe5d
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-60/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-60/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2021-08-01" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 04a422d0ca2b198385e78ac2ff1b60253f5832e94b7ea2b92b546d98c6675b71
[INFO] running `Command { std: "docker" "start" "-a" "04a422d0ca2b198385e78ac2ff1b60253f5832e94b7ea2b92b546d98c6675b71", kill_on_drop: false }`
[INFO] [stderr] warning: unused import: `Formula`
[INFO] [stderr]  --> src/parser.rs:2:20
[INFO] [stderr]   |
[INFO] [stderr] 2 | use crate::logic::{Formula,Sequent};
[INFO] [stderr]   |                    ^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `tokens`
[INFO] [stderr]   --> src/parser.rs:21:17
[INFO] [stderr]    |
[INFO] [stderr] 21 | fn parse_tokens(tokens: &[Token]) -> Vec<Sequent> {
[INFO] [stderr]    |                 ^^^^^^ help: if this is intentional, prefix it with an underscore: `_tokens`
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_variables)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `And`
[INFO] [stderr]  --> src/logic.rs:9:5
[INFO] [stderr]   |
[INFO] [stderr] 9 |     And(Box<Formula>, Box<Formula>),
[INFO] [stderr]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(dead_code)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: enum is never used: `Token`
[INFO] [stderr]  --> src/parser.rs:4:6
[INFO] [stderr]   |
[INFO] [stderr] 4 | enum Token {
[INFO] [stderr]   |      ^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `parse`
[INFO] [stderr]   --> src/parser.rs:14:4
[INFO] [stderr]    |
[INFO] [stderr] 14 | fn parse(chars: &[char]) -> Vec<Token> {
[INFO] [stderr]    |    ^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `parse_tokens`
[INFO] [stderr]   --> src/parser.rs:21:4
[INFO] [stderr]    |
[INFO] [stderr] 21 | fn parse_tokens(tokens: &[Token]) -> Vec<Sequent> {
[INFO] [stderr]    |    ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `prop-logic-checker` (bin "prop-logic-checker" test) generated 6 warnings
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 0.01s
[INFO] [stderr]      Running unittests (/opt/rustwide/target/debug/deps/prop_logic_checker-ca5b84f5d20e42b5)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stderr] error: test failed, to rerun pass '--bin prop-logic-checker'
[INFO] [stdout] test logic::sample_proof ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- logic::sample_proof stdout ----
[INFO] [stdout] thread 'logic::sample_proof' panicked at 'not implemented', src/logic.rs:46:18
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x55f48db81a90 - std::backtrace_rs::backtrace::libunwind::trace::hff4d1766e93f64f1
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/std/src/../../backtrace/src/backtrace/libunwind.rs:90:5
[INFO] [stdout]    1:     0x55f48db81a90 - std::backtrace_rs::backtrace::trace_unsynchronized::h56bbc8eb78770bcb
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stdout]    2:     0x55f48db81a90 - std::sys_common::backtrace::_print_fmt::h5c8e75464faca780
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/std/src/sys_common/backtrace.rs:67:5
[INFO] [stdout]    3:     0x55f48db81a90 - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::h48b88277def8b362
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/std/src/sys_common/backtrace.rs:46:22
[INFO] [stdout]    4:     0x55f48dba425c - core::fmt::write::h3381b3176fe2b3d3
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/core/src/fmt/mod.rs:1115:17
[INFO] [stdout]    5:     0x55f48db7e9f5 - std::io::Write::write_fmt::h5f34a676f60246b5
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/std/src/io/mod.rs:1665:15
[INFO] [stdout]    6:     0x55f48db83c0b - std::sys_common::backtrace::_print::ha537687d6c17dd0d
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/std/src/sys_common/backtrace.rs:49:5
[INFO] [stdout]    7:     0x55f48db83c0b - std::sys_common::backtrace::print::h61376ae57d131d72
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/std/src/sys_common/backtrace.rs:36:9
[INFO] [stdout]    8:     0x55f48db83c0b - std::panicking::default_hook::{{closure}}::h0f7208c0b9644a54
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/std/src/panicking.rs:208:50
[INFO] [stdout]    9:     0x55f48db8371c - std::panicking::default_hook::hdac7fc06578c14ce
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/std/src/panicking.rs:222:9
[INFO] [stdout]   10:     0x55f48db842d4 - std::panicking::rust_panic_with_hook::h72b21c283da3d1ef
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/std/src/panicking.rs:622:17
[INFO] [stdout]   11:     0x55f48db83d87 - std::panicking::begin_panic_handler::{{closure}}::he5778f1729cff84a
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/std/src/panicking.rs:517:13
[INFO] [stdout]   12:     0x55f48db81f6c - std::sys_common::backtrace::__rust_end_short_backtrace::h2d11ca8b453b4b1d
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/std/src/sys_common/backtrace.rs:141:18
[INFO] [stdout]   13:     0x55f48db83d19 - rust_begin_unwind
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/std/src/panicking.rs:515:5
[INFO] [stdout]   14:     0x55f48db2d3a1 - core::panicking::panic_fmt::hf9de31d4acbce4db
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/core/src/panicking.rs:92:14
[INFO] [stdout]   15:     0x55f48db2d2ed - core::panicking::panic::h8a6bc58a21c6c095
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/core/src/panicking.rs:50:5
[INFO] [stdout]   16:     0x55f48db2df7e - prop_logic_checker::logic::Sequent::is_reachable::hb5f67a99e1ec3440
[INFO] [stdout]                                at /opt/rustwide/workdir/src/logic.rs:46:18
[INFO] [stdout]   17:     0x55f48db2e0c9 - prop_logic_checker::logic::ProofTree::is_valid::h39d830c35c25c1cc
[INFO] [stdout]                                at /opt/rustwide/workdir/src/logic.rs:58:21
[INFO] [stdout]   18:     0x55f48db2fd79 - prop_logic_checker::logic::sample_proof::h1bebf81a9f533c33
[INFO] [stdout]                                at /opt/rustwide/workdir/src/logic.rs:123:13
[INFO] [stdout]   19:     0x55f48db2e33a - prop_logic_checker::logic::sample_proof::{{closure}}::h9c587ddc90e1b915
[INFO] [stdout]                                at /opt/rustwide/workdir/src/logic.rs:67:1
[INFO] [stdout]   20:     0x55f48db31dee - core::ops::function::FnOnce::call_once::h9958157a4f481103
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/core/src/ops/function.rs:227:5
[INFO] [stdout]   21:     0x55f48db66353 - core::ops::function::FnOnce::call_once::hbb52c4519d3137b0
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/core/src/ops/function.rs:227:5
[INFO] [stdout]   22:     0x55f48db66353 - test::__rust_begin_short_backtrace::h86fe3a2a5a5121af
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/test/src/lib.rs:578:5
[INFO] [stdout]   23:     0x55f48db64e08 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::hfd956bc3d57399be
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/alloc/src/boxed.rs:1572:9
[INFO] [stdout]   24:     0x55f48db64e08 - <std::panic::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h40dc93e0ddb5938a
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/std/src/panic.rs:347:9
[INFO] [stdout]   25:     0x55f48db64e08 - std::panicking::try::do_call::h90d07750cb47c562
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/std/src/panicking.rs:401:40
[INFO] [stdout]   26:     0x55f48db64e08 - std::panicking::try::h063c84733ad2a629
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/std/src/panicking.rs:365:19
[INFO] [stdout]   27:     0x55f48db64e08 - std::panic::catch_unwind::h0c464836a84e7c08
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/std/src/panic.rs:434:14
[INFO] [stdout]   28:     0x55f48db64e08 - test::run_test_in_process::h5cb06ef620b157fc
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/test/src/lib.rs:601:18
[INFO] [stdout]   29:     0x55f48db64e08 - test::run_test::run_test_inner::{{closure}}::h76f677f4b93f9828
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/test/src/lib.rs:493:39
[INFO] [stdout]   30:     0x55f48db3359d - test::run_test::run_test_inner::{{closure}}::h366d01fe04f4d67a
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/test/src/lib.rs:520:37
[INFO] [stdout]   31:     0x55f48db3359d - std::sys_common::backtrace::__rust_begin_short_backtrace::h7dfa0de4eb395af2
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/std/src/sys_common/backtrace.rs:125:18
[INFO] [stdout]   32:     0x55f48db37d68 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::hf0a74bb58798037f
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/std/src/thread/mod.rs:476:17
[INFO] [stdout]   33:     0x55f48db37d68 - <std::panic::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hb024e854818586ac
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/std/src/panic.rs:347:9
[INFO] [stdout]   34:     0x55f48db37d68 - std::panicking::try::do_call::hb2dd9f1d0d48e41d
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/std/src/panicking.rs:401:40
[INFO] [stdout]   35:     0x55f48db37d68 - std::panicking::try::h4717ae7bac8b2bf3
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/std/src/panicking.rs:365:19
[INFO] [stdout]   36:     0x55f48db37d68 - std::panic::catch_unwind::h0dc8a061326ce8d8
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/std/src/panic.rs:434:14
[INFO] [stdout]   37:     0x55f48db37d68 - std::thread::Builder::spawn_unchecked::{{closure}}::haa369e2d6fd00aa1
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/std/src/thread/mod.rs:475:30
[INFO] [stdout]   38:     0x55f48db37d68 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h36dcf3de8b056f17
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/core/src/ops/function.rs:227:5
[INFO] [stdout]   39:     0x55f48db88e47 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h65c29e4642be2358
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/alloc/src/boxed.rs:1572:9
[INFO] [stdout]   40:     0x55f48db88e47 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::hd0f8f7fbbd9fffbf
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/alloc/src/boxed.rs:1572:9
[INFO] [stdout]   41:     0x55f48db88e47 - std::sys::unix::thread::Thread::new::thread_start::h2fd22fee3ca77b65
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/std/src/sys/unix/thread.rs:74:17
[INFO] [stdout]   42:     0x7fcf5321f609 - start_thread
[INFO] [stdout]   43:     0x7fcf52ff1293 - clone
[INFO] [stdout]   44:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     logic::sample_proof
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 0 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "04a422d0ca2b198385e78ac2ff1b60253f5832e94b7ea2b92b546d98c6675b71", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "04a422d0ca2b198385e78ac2ff1b60253f5832e94b7ea2b92b546d98c6675b71", kill_on_drop: false }`
[INFO] [stdout] 04a422d0ca2b198385e78ac2ff1b60253f5832e94b7ea2b92b546d98c6675b71
