[INFO] cloning repository https://github.com/bpandreotti/verit-proof-checker [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/bpandreotti/verit-proof-checker" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbpandreotti%2Fverit-proof-checker", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbpandreotti%2Fverit-proof-checker'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 296b6f37ae2f2a416de9fa1e19ef484a51a7e0c9 [INFO] testing bpandreotti/verit-proof-checker against 1.59.0 for beta-1.60-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbpandreotti%2Fverit-proof-checker" "/workspace/builds/worker-72/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-72/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/bpandreotti/verit-proof-checker on toolchain 1.59.0 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.59.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/bpandreotti/verit-proof-checker [INFO] finished tweaking git repo https://github.com/bpandreotti/verit-proof-checker [INFO] tweaked toml for git repo https://github.com/bpandreotti/verit-proof-checker written to /workspace/builds/worker-72/source/Cargo.toml [INFO] crate git repo https://github.com/bpandreotti/verit-proof-checker already has a lockfile, it will not be regenerated [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.59.0" "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-72/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-72/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:0cd99ca24d8e8c98e67c542213511d985b8778b5bdcbb160e038429496686047" "/opt/rustwide/cargo-home/bin/cargo" "+1.59.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 676900541c57d256ab8923e2a7a9f81f7065356cc10a62d47ae79b4cdb6c50bc [INFO] running `Command { std: "docker" "start" "-a" "676900541c57d256ab8923e2a7a9f81f7065356cc10a62d47ae79b4cdb6c50bc", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "676900541c57d256ab8923e2a7a9f81f7065356cc10a62d47ae79b4cdb6c50bc", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "676900541c57d256ab8923e2a7a9f81f7065356cc10a62d47ae79b4cdb6c50bc", kill_on_drop: false }` [INFO] [stdout] 676900541c57d256ab8923e2a7a9f81f7065356cc10a62d47ae79b4cdb6c50bc [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-72/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-72/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:0cd99ca24d8e8c98e67c542213511d985b8778b5bdcbb160e038429496686047" "/opt/rustwide/cargo-home/bin/cargo" "+1.59.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 96b4f8a41c0e0b83a7107a4e9a91acbca5c1d00579ee775fba2ddabffbdb693b [INFO] running `Command { std: "docker" "start" "-a" "96b4f8a41c0e0b83a7107a4e9a91acbca5c1d00579ee775fba2ddabffbdb693b", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.104 [INFO] [stderr] Compiling proc-macro2 v1.0.32 [INFO] [stderr] Compiling unicode-xid v0.2.2 [INFO] [stderr] Compiling crossbeam-utils v0.8.5 [INFO] [stderr] Compiling syn v1.0.81 [INFO] [stderr] Compiling crossbeam-epoch v0.9.5 [INFO] [stderr] Compiling scopeguard v1.1.0 [INFO] [stderr] Compiling rayon-core v1.9.1 [INFO] [stderr] Compiling version_check v0.9.3 [INFO] [stderr] Compiling proc-macro-hack v0.5.19 [INFO] [stderr] Compiling log v0.4.14 [INFO] [stderr] Compiling unicode-width v0.1.9 [INFO] [stderr] Compiling once_cell v1.8.0 [INFO] [stderr] Compiling either v1.6.1 [INFO] [stderr] Compiling bitflags v1.3.2 [INFO] [stderr] Compiling memoffset v0.6.4 [INFO] [stderr] Compiling num-traits v0.2.14 [INFO] [stderr] Compiling num-integer v0.1.44 [INFO] [stderr] Compiling num-bigint v0.4.2 [INFO] [stderr] Compiling num-rational v0.4.0 [INFO] [stderr] Compiling rayon v1.5.1 [INFO] [stderr] Compiling textwrap v0.11.0 [INFO] [stderr] Compiling ahash v0.7.6 [INFO] [stderr] Compiling crossbeam-channel v0.5.1 [INFO] [stderr] Compiling quote v1.0.10 [INFO] [stderr] Compiling crossbeam-deque v0.8.1 [INFO] [stderr] Compiling getrandom v0.2.3 [INFO] [stderr] Compiling num_cpus v1.13.0 [INFO] [stderr] Compiling atty v0.2.14 [INFO] [stderr] Compiling clap v2.33.3 [INFO] [stderr] Compiling thiserror-impl v1.0.30 [INFO] [stderr] Compiling git-version-macro v0.3.5 [INFO] [stderr] Compiling git-version v0.3.5 [INFO] [stderr] Compiling thiserror v1.0.30 [INFO] [stderr] Compiling alethe-proof-checker v0.1.0 (/opt/rustwide/workdir/alethe-proof-checker) [INFO] [stderr] Compiling alethe-proof-checker-cli v0.1.0 (/opt/rustwide/workdir/cli) [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 20.04s [INFO] running `Command { std: "docker" "inspect" "96b4f8a41c0e0b83a7107a4e9a91acbca5c1d00579ee775fba2ddabffbdb693b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "96b4f8a41c0e0b83a7107a4e9a91acbca5c1d00579ee775fba2ddabffbdb693b", kill_on_drop: false }` [INFO] [stdout] 96b4f8a41c0e0b83a7107a4e9a91acbca5c1d00579ee775fba2ddabffbdb693b [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-72/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-72/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:0cd99ca24d8e8c98e67c542213511d985b8778b5bdcbb160e038429496686047" "/opt/rustwide/cargo-home/bin/cargo" "+1.59.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] fcab31d565471259e17e849a2fbb65a6304decfa2be8c69e3f7af5b3dd2e0f18 [INFO] running `Command { std: "docker" "start" "-a" "fcab31d565471259e17e849a2fbb65a6304decfa2be8c69e3f7af5b3dd2e0f18", kill_on_drop: false }` [INFO] [stderr] Compiling ppv-lite86 v0.2.14 [INFO] [stderr] Compiling rand_core v0.6.3 [INFO] [stderr] Compiling alethe-proof-checker-cli v0.1.0 (/opt/rustwide/workdir/cli) [INFO] [stderr] Compiling rand_chacha v0.3.1 [INFO] [stderr] Compiling rand v0.8.4 [INFO] [stderr] Compiling alethe-proof-checker v0.1.0 (/opt/rustwide/workdir/alethe-proof-checker) [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 8.44s [INFO] running `Command { std: "docker" "inspect" "fcab31d565471259e17e849a2fbb65a6304decfa2be8c69e3f7af5b3dd2e0f18", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "fcab31d565471259e17e849a2fbb65a6304decfa2be8c69e3f7af5b3dd2e0f18", kill_on_drop: false }` [INFO] [stdout] fcab31d565471259e17e849a2fbb65a6304decfa2be8c69e3f7af5b3dd2e0f18 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-72/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-72/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:0cd99ca24d8e8c98e67c542213511d985b8778b5bdcbb160e038429496686047" "/opt/rustwide/cargo-home/bin/cargo" "+1.59.0" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] ca324e6ecd07815f1ce6ff02f8ca284bb6d4f00b39dd51024404e0817fa8f165 [INFO] running `Command { std: "docker" "start" "-a" "ca324e6ecd07815f1ce6ff02f8ca284bb6d4f00b39dd51024404e0817fa8f165", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 1.93s [INFO] [stderr] Running unittests (/opt/rustwide/target/debug/deps/alethe_proof_checker-e2088de8b348c380) [INFO] [stdout] [INFO] [stdout] running 120 tests [INFO] [stdout] test ast::macros::tests::test_build_term ... ok [INFO] [stdout] test ast::macros::tests::test_match_term ... ok [INFO] [stdout] test ast::tests::test_deep_eq ... ok [INFO] [stdout] test ast::tests::test_subterms_no_duplicates ... ok [INFO] [stdout] test checker::rules::clausification::tests::and ... ok [INFO] [stdout] test checker::rules::clausification::tests::not_implies1 ... ok [INFO] [stdout] test checker::rules::congruence::tests::eq_congruent_pred ... ok [INFO] [stdout] test checker::rules::extras::tests::symm ... ok [INFO] [stdout] test checker::rules::extras::tests::or_intro ... ok [INFO] [stdout] test ast::tests::test_free_vars ... ok [INFO] [stdout] test checker::rules::extras::tests::reordering ... ok [INFO] [stdout] test ast::tests::test_subterms ... ok [INFO] [stdout] test checker::rules::extras::tests::not_symm ... ok [INFO] [stdout] test checker::rules::clausification::tests::or ... ok [INFO] [stdout] test checker::rules::clausification::tests::implies ... ok [INFO] [stdout] test checker::rules::congruence::tests::eq_congruent ... ok [INFO] [stdout] test checker::rules::clausification::tests::not_implies2 ... ok [INFO] [stdout] test ast::substitution::tests::test_substitutions ... ok [INFO] [stdout] test checker::rules::extras::tests::eq_symmetric ... ok [INFO] [stdout] test checker::rules::congruence::tests::cong ... ok [INFO] [stdout] test checker::rules::clausification::tests::not_and ... ok [INFO] [stdout] test checker::rules::linear_arithmetic::tests::la_generic ... ok [INFO] [stdout] test checker::rules::clausification::tests::distinct_elim ... ok [INFO] [stdout] test checker::rules::linear_arithmetic::tests::la_rw_eq ... ok [INFO] [stdout] test checker::rules::linear_arithmetic::tests::la_tautology ... ok [INFO] [stdout] test checker::rules::clausification::tests::not_or ... ok [INFO] [stdout] test checker::rules::congruence::tests::ho_cong ... ok [INFO] [stdout] test checker::rules::quantifier::tests::forall_inst ... ok [INFO] [stdout] test checker::rules::clausification::tests::bfun_elim ... ok [INFO] [stdout] test checker::rules::quantifier::tests::conjunctive_normal_form ... ok [INFO] [stdout] test checker::rules::clausification::tests::nary_elim ... ok [INFO] [stdout] test checker::rules::linear_arithmetic::tests::la_disequality ... ok [INFO] [stdout] test checker::rules::resolution::tests::resolution ... ok [INFO] [stdout] test checker::rules::reflexivity::tests::eq_reflexive ... ok [INFO] [stdout] test checker::rules::simplification::tests::equiv_simplify ... ok [INFO] [stdout] test checker::rules::resolution::tests::contraction ... ok [INFO] [stdout] test checker::rules::quantifier::tests::qnt_cnf ... ok [INFO] [stdout] test checker::rules::simplification::tests::comp_simplify ... ok [INFO] [stdout] test checker::rules::resolution::tests::strict_resolution ... ok [INFO] [stdout] test checker::rules::quantifier::tests::qnt_rm_unused ... ok [INFO] [stdout] test checker::rules::quantifier::tests::qnt_join ... ok [INFO] [stdout] test checker::rules::simplification::tests::div_simplify ... ok [INFO] [stdout] test checker::rules::simplification::tests::and_simplify ... ok [INFO] [stdout] test checker::rules::simplification::tests::bool_simplify ... ok [INFO] [stdout] test checker::rules::resolution::tests::tautology ... ok [INFO] [stdout] test checker::rules::simplification::tests::minus_simplify ... ok [INFO] [stdout] test checker::rules::simplification::tests::qnt_simplify ... ok [INFO] [stdout] test checker::rules::simplification::tests::eq_simplify ... ok [INFO] [stdout] test checker::rules::simplification::tests::ac_simp ... ok [INFO] [stdout] test checker::rules::simplification::tests::ite_simplify ... ok [INFO] [stdout] test checker::rules::simplification::tests::implies_simplify ... ok [INFO] [stdout] test checker::rules::subproof::tests::subproof ... ok [INFO] [stdout] test checker::rules::simplification::tests::prod_simplify ... ok [INFO] [stdout] test checker::rules::tautology::tests::equiv2 ... ok [INFO] [stdout] test checker::rules::tautology::tests::implies_neg1 ... ok [INFO] [stdout] test checker::rules::simplification::tests::sum_simplify ... ok [INFO] [stdout] test checker::rules::tautology::tests::implies_pos ... ok [INFO] [stdout] test checker::rules::tautology::tests::implies_neg2 ... ok [INFO] [stdout] test checker::rules::subproof::tests::r#let ... ok [INFO] [stdout] test checker::rules::tautology::tests::ite_pos1 ... ok [INFO] [stdout] test checker::rules::simplification::tests::or_simplify ... ok [INFO] [stdout] test checker::rules::tautology::tests::equiv_neg2 ... ok [INFO] [stdout] test checker::rules::subproof::tests::bind ... ok [INFO] [stdout] test checker::rules::subproof::tests::sko_forall ... ok [INFO] [stdout] test checker::rules::tautology::tests::ite_neg1 ... ok [INFO] [stdout] test parser::lexer::tests::test_comments ... ok [INFO] [stdout] test parser::lexer::tests::test_quoted_symbols ... ok [INFO] [stdout] test parser::lexer::tests::test_strings ... ok [INFO] [stdout] test parser::lexer::tests::test_reserved_words ... ok [INFO] [stdout] test checker::rules::tautology::tests::equiv1 ... ok [INFO] [stdout] test parser::lexer::tests::test_empty_input ... ok [INFO] [stdout] test parser::tests::test_constant_terms ... ok [INFO] [stdout] test parser::lexer::tests::test_simple_symbols_and_keywords ... ok [INFO] [stdout] test checker::rules::tautology::tests::connective_def ... ok [INFO] [stdout] test parser::tests::test_hash_consing ... ok [INFO] [stdout] test parser::lexer::tests::test_numerals_and_decimals ... ok [INFO] [stdout] test parser::tests::test_declare_sort ... ok [INFO] [stdout] test parser::tests::test_choice_terms ... ok [INFO] [stdout] test checker::rules::transitivity::tests::eq_transitive ... ok [INFO] [stdout] test checker::rules::tautology::tests::equiv_neg1 ... ok [INFO] [stdout] test checker::rules::simplification::tests::not_simplify ... ok [INFO] [stdout] test parser::tests::test_arithmetic_ops ... ok [INFO] [stdout] test checker::rules::tautology::tests::and_neg ... ok [INFO] [stdout] test parser::tests::test_logic_ops ... ok [INFO] [stdout] test checker::rules::tautology::tests::ite1 ... ok [INFO] [stdout] test parser::tests::test_define_fun ... ok [INFO] [stdout] test checker::rules::tautology::tests::not_equiv2 ... ok [INFO] [stdout] test checker::rules::tautology::tests::ite2 ... ok [INFO] [stdout] test parser::tests::test_premises_in_subproofs ... ok [INFO] [stdout] test parser::tests::test_ite ... ok [INFO] [stdout] test checker::rules::tautology::tests::xor_neg1 ... ok [INFO] [stdout] test checker::rules::subproof::tests::onepoint ... ok [INFO] [stdout] test checker::rules::tautology::tests::and_pos ... ok [INFO] [stdout] test checker::rules::tautology::tests::equiv_pos2 ... ok [INFO] [stdout] test parser::tests::test_declare_fun ... ok [INFO] [stdout] test checker::rules::tautology::tests::not_equiv1 ... ok [INFO] [stdout] test parser::tests::test_let_terms ... ok [INFO] [stdout] test checker::rules::tautology::tests::r#true ... ok [INFO] [stdout] test parser::tests::test_lambda_terms ... ok [INFO] [stdout] test checker::rules::tautology::tests::not_ite2 ... ok [INFO] [stdout] test checker::rules::tautology::tests::xor_neg2 ... ok [INFO] [stdout] test checker::rules::subproof::tests::sko_ex ... ok [INFO] [stdout] test checker::rules::tautology::tests::not_ite1 ... ok [INFO] [stdout] test checker::rules::tautology::tests::ite_neg2 ... ok [INFO] [stdout] test parser::tests::test_step ... ok [INFO] [stdout] test parser::tests::test_annotated_terms ... ok [INFO] [stdout] test checker::rules::tautology::tests::or_pos ... ok [INFO] [stdout] test checker::rules::tautology::tests::ite_pos2 ... ok [INFO] [stdout] test checker::rules::tautology::tests::not_not ... ok [INFO] [stdout] test checker::rules::tautology::tests::r#false ... ok [INFO] [stdout] test parser::tests::test_quantifiers ... ok [INFO] [stdout] test checker::rules::tautology::tests::equiv_pos1 ... ok [INFO] [stdout] test checker::rules::tautology::tests::xor_pos1 ... ok [INFO] [stdout] test checker::rules::tautology::tests::ite_intro ... ok [INFO] [stdout] test checker::rules::transitivity::tests::trans ... ok [INFO] [stdout] test checker::rules::tautology::tests::or_neg ... ok [INFO] [stdout] test checker::rules::tautology::tests::xor_pos2 ... ok [INFO] [stdout] test checker::rules::reflexivity::tests::refl ... FAILED [INFO] [stdout] test benchmarking::tests::test_metrics_combine ... ok [INFO] [stdout] test benchmarking::tests::test_metrics_add ... ok [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] [INFO] [stdout] ---- checker::rules::reflexivity::tests::refl stdout ---- [INFO] [stdout] thread 'checker::rules::reflexivity::tests::refl' panicked at 'attempt to subtract with overflow', alethe-proof-checker/src/checker/mod.rs:70:37 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x56406ecf344c - std::backtrace_rs::backtrace::libunwind::trace::h91c465e73bf6c785 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5 [INFO] [stdout] 1: 0x56406ecf344c - std::backtrace_rs::backtrace::trace_unsynchronized::hae9da36f5d58b5f3 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x56406ecf344c - std::sys_common::backtrace::_print_fmt::h7f499fa126a7effb [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/sys_common/backtrace.rs:67:5 [INFO] [stdout] 3: 0x56406ecf344c - ::fmt::h3e2b509ce2ce6007 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/sys_common/backtrace.rs:46:22 [INFO] [stdout] 4: 0x56406ed1955c - core::fmt::write::h753c7571fa063ecb [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/core/src/fmt/mod.rs:1168:17 [INFO] [stdout] 5: 0x56406ecee6b3 - std::io::Write::write_fmt::hb649ab67f71b6655 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/io/mod.rs:1660:15 [INFO] [stdout] 6: 0x56406ecf5b22 - std::sys_common::backtrace::_print::h64941a6fc8b0ed9b [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/sys_common/backtrace.rs:49:5 [INFO] [stdout] 7: 0x56406ecf5b22 - std::sys_common::backtrace::print::hcf25e43e1a9b0766 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/sys_common/backtrace.rs:36:9 [INFO] [stdout] 8: 0x56406ecf5b22 - std::panicking::default_hook::{{closure}}::h78d3e6cf97fc623d [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panicking.rs:211:50 [INFO] [stdout] 9: 0x56406ecf5771 - std::panicking::default_hook::hda898f8d3ad1a5ae [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panicking.rs:225:9 [INFO] [stdout] 10: 0x56406ecf6173 - std::panicking::rust_panic_with_hook::h1a5ea2d6c23051aa [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panicking.rs:606:17 [INFO] [stdout] 11: 0x56406ecf5e62 - std::panicking::begin_panic_handler::{{closure}}::h07f549390938b73f [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panicking.rs:500:13 [INFO] [stdout] 12: 0x56406ecf38f4 - std::sys_common::backtrace::__rust_end_short_backtrace::h5ec3758a92cfb00d [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/sys_common/backtrace.rs:139:18 [INFO] [stdout] 13: 0x56406ecf5bc9 - rust_begin_unwind [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panicking.rs:498:5 [INFO] [stdout] 14: 0x56406ea33321 - core::panicking::panic_fmt::h3a79a6a99affe1d5 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/core/src/panicking.rs:116:14 [INFO] [stdout] 15: 0x56406ea3326d - core::panicking::panic::h97167cd315d19cd4 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/core/src/panicking.rs:48:5 [INFO] [stdout] 16: 0x56406eb435f9 - alethe_proof_checker::checker::ProofChecker::check::hf5fc82daca098690 [INFO] [stdout] at /opt/rustwide/workdir/alethe-proof-checker/src/checker/mod.rs:70:37 [INFO] [stdout] 17: 0x56406eb5efb1 - alethe_proof_checker::checker::rules::run_tests::hb6f5f7f47281d665 [INFO] [stdout] at /opt/rustwide/workdir/alethe-proof-checker/src/checker/rules/mod.rs:177:19 [INFO] [stdout] 18: 0x56406eb66fd5 - alethe_proof_checker::checker::rules::reflexivity::tests::refl::hd2cbfde370954295 [INFO] [stdout] at /opt/rustwide/workdir/alethe-proof-checker/src/checker/rules/reflexivity.rs:77:9 [INFO] [stdout] 19: 0x56406eb66eea - alethe_proof_checker::checker::rules::reflexivity::tests::refl::{{closure}}::hb844a007fdc604b0 [INFO] [stdout] at /opt/rustwide/workdir/alethe-proof-checker/src/checker/rules/reflexivity.rs:76:5 [INFO] [stdout] 20: 0x56406ebefe9e - core::ops::function::FnOnce::call_once::h2e5f425e8c02160b [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 21: 0x56406ec5eed3 - core::ops::function::FnOnce::call_once::h1845a80638abc06e [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 22: 0x56406ec5eed3 - test::__rust_begin_short_backtrace::h4f56ccea01b9889f [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/test/src/lib.rs:574:5 [INFO] [stdout] 23: 0x56406ec5dbbf - as core::ops::function::FnOnce>::call_once::h5afedf14a39ffa74 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/alloc/src/boxed.rs:1854:9 [INFO] [stdout] 24: 0x56406ec5dbbf - as core::ops::function::FnOnce<()>>::call_once::hd5aaa1b551e9ce71 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 25: 0x56406ec5dbbf - std::panicking::try::do_call::h316eebee63f96d32 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panicking.rs:406:40 [INFO] [stdout] 26: 0x56406ec5dbbf - std::panicking::try::h662e31e84dd7ce52 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panicking.rs:370:19 [INFO] [stdout] 27: 0x56406ec5dbbf - std::panic::catch_unwind::h129c1b23f076663f [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panic.rs:133:14 [INFO] [stdout] 28: 0x56406ec5dbbf - test::run_test_in_process::h51d800d572f878ef [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/test/src/lib.rs:597:18 [INFO] [stdout] 29: 0x56406ec5dbbf - test::run_test::run_test_inner::{{closure}}::h71a47db430260854 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/test/src/lib.rs:491:39 [INFO] [stdout] 30: 0x56406ec66f81 - test::run_test::run_test_inner::{{closure}}::h02edd5b3e2dab52a [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/test/src/lib.rs:518:37 [INFO] [stdout] 31: 0x56406ec66f81 - std::sys_common::backtrace::__rust_begin_short_backtrace::h0838cfc8b0e995ec [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/sys_common/backtrace.rs:123:18 [INFO] [stdout] 32: 0x56406ec33a0f - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h4c2725d7078043cd [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/thread/mod.rs:477:17 [INFO] [stdout] 33: 0x56406ec33a0f - as core::ops::function::FnOnce<()>>::call_once::hdf1aa612eed87270 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 34: 0x56406ec33a0f - std::panicking::try::do_call::hc72f8de3706d18d6 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panicking.rs:406:40 [INFO] [stdout] 35: 0x56406ec33a0f - std::panicking::try::h63f01f54dbd0fb87 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panicking.rs:370:19 [INFO] [stdout] 36: 0x56406ec33a0f - std::panic::catch_unwind::h58bc464ae9b26453 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panic.rs:133:14 [INFO] [stdout] 37: 0x56406ec33a0f - std::thread::Builder::spawn_unchecked::{{closure}}::h6c065e19513e33e3 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/thread/mod.rs:476:30 [INFO] [stdout] 38: 0x56406ec33a0f - core::ops::function::FnOnce::call_once{{vtable.shim}}::hd143450c74f35c32 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 39: 0x56406ecfbd23 - as core::ops::function::FnOnce>::call_once::h49b6c7c5155a2296 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/alloc/src/boxed.rs:1854:9 [INFO] [stdout] 40: 0x56406ecfbd23 - as core::ops::function::FnOnce>::call_once::ha8b5234bfeb15105 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/alloc/src/boxed.rs:1854:9 [INFO] [stdout] 41: 0x56406ecfbd23 - std::sys::unix::thread::Thread::new::thread_start::h6f207dd842d64859 [INFO] [stdout] at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/sys/unix/thread.rs:108:17 [INFO] [stdout] 42: 0x7ff53bcf1609 - start_thread [INFO] [stdout] 43: 0x7ff53bac3293 - clone [INFO] [stdout] 44: 0x0 - [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] checker::rules::reflexivity::tests::refl [INFO] [stdout] [INFO] [stdout] test result: FAILED. 119 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 6.96s [INFO] [stdout] [INFO] [stderr] error: test failed, to rerun pass '-p alethe-proof-checker --lib' [INFO] running `Command { std: "docker" "inspect" "ca324e6ecd07815f1ce6ff02f8ca284bb6d4f00b39dd51024404e0817fa8f165", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "ca324e6ecd07815f1ce6ff02f8ca284bb6d4f00b39dd51024404e0817fa8f165", kill_on_drop: false }` [INFO] [stdout] ca324e6ecd07815f1ce6ff02f8ca284bb6d4f00b39dd51024404e0817fa8f165