[INFO] fetching crate ravencheck 0.5.0...
[INFO] testing ravencheck-0.5.0 against 1.100.0-beta.1+cargoflags=--release for beta-release-1.100-2
[INFO] extracting crate ravencheck 0.5.0 into /workspace/builds/worker-6-tc2/source
[INFO] started tweaking crates.io crate ravencheck 0.5.0
[INFO] finished tweaking crates.io crate ravencheck 0.5.0
[INFO] tweaked toml for crates.io crate ravencheck 0.5.0 written to /workspace/builds/worker-6-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate ravencheck 0.5.0 on toolchain 1.100.0-beta.1
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.100.0-beta.1" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate ravencheck 0.5.0 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.100.0-beta.1" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:77db811e55d90add9212f6832c23229e3de5f1c1f9905e8cb07319ea15df73ac" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] baf03e1228690d669e3ea025ff24c6861322e89b78e4780281896399d9fd4fe9
[INFO] running `Command { std: "docker" "start" "baf03e1228690d669e3ea025ff24c6861322e89b78e4780281896399d9fd4fe9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "baf03e1228690d669e3ea025ff24c6861322e89b78e4780281896399d9fd4fe9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "baf03e1228690d669e3ea025ff24c6861322e89b78e4780281896399d9fd4fe9" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "baf03e1228690d669e3ea025ff24c6861322e89b78e4780281896399d9fd4fe9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "baf03e1228690d669e3ea025ff24c6861322e89b78e4780281896399d9fd4fe9" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "build" "--frozen" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.175
[INFO] [stderr]    Compiling memchr v2.7.5
[INFO] [stderr]    Compiling proc-macro2 v1.0.101
[INFO] [stderr]    Compiling getrandom v0.3.3
[INFO] [stderr]    Compiling zerocopy v0.8.26
[INFO] [stderr]    Compiling unicode-ident v1.0.18
[INFO] [stderr]    Compiling cfg-if v1.0.1
[INFO] [stderr]    Compiling anstyle-parse v0.2.7
[INFO] [stderr]    Compiling fixedbitset v0.5.7
[INFO] [stderr]    Compiling indexmap v2.10.0
[INFO] [stderr]    Compiling anstyle-query v1.1.4
[INFO] [stderr]    Compiling once_cell v1.21.3
[INFO] [stderr]    Compiling anstyle v1.0.11
[INFO] [stderr]    Compiling colorchoice v1.0.4
[INFO] [stderr]    Compiling jiff v0.2.15
[INFO] [stderr]    Compiling either v1.15.0
[INFO] [stderr]    Compiling easy-smt v0.2.8
[INFO] [stderr]    Compiling anstream v0.6.20
[INFO] [stderr]    Compiling rayon v1.11.0
[INFO] [stderr]    Compiling aho-corasick v1.1.3
[INFO] [stderr]    Compiling quote v1.0.40
[INFO] [stderr]    Compiling petgraph v0.8.2
[INFO] [stderr]    Compiling syn v2.0.106
[INFO] [stderr]    Compiling regex-automata v0.4.9
[INFO] [stderr]    Compiling ahash v0.8.12
[INFO] [stderr]    Compiling graph-cycles v0.3.0
[INFO] [stderr]    Compiling ravencheck-macros v0.5.0
[INFO] [stderr]    Compiling regex v1.11.1
[INFO] [stderr]    Compiling env_filter v0.1.3
[INFO] [stderr]    Compiling env_logger v0.11.8
[INFO] [stderr]    Compiling ravenlang v0.5.0
[INFO] [stderr]    Compiling ravencheck v0.5.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 58.96s
[INFO] running `Command { std: "docker" "inspect" "baf03e1228690d669e3ea025ff24c6861322e89b78e4780281896399d9fd4fe9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "baf03e1228690d669e3ea025ff24c6861322e89b78e4780281896399d9fd4fe9" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "test" "--frozen" "--no-run" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr]    Compiling ravencheck v0.5.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 7.52s
[INFO] running `Command { std: "docker" "inspect" "baf03e1228690d669e3ea025ff24c6861322e89b78e4780281896399d9fd4fe9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "baf03e1228690d669e3ea025ff24c6861322e89b78e4780281896399d9fd4fe9" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "test" "--frozen" "--release", kill_on_drop: false }`
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 0.07s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/release/build/ravencheck/13b4c1fa31d915b4/out/ravencheck-13b4c1fa31d915b4)
[INFO] [stdout] 
[INFO] [stdout] running 26 tests
[INFO] [stdout] test tests::induction::induct_non_enum::ravencheck_tests::check_properties - should panic ... ok
[INFO] [stdout] test tests::misc::bad_block2::ravencheck_tests::check_properties - should panic ... ok
[INFO] [stdout] test tests::misc::bad_block1::ravencheck_tests::check_properties - should panic ... ok
[INFO] [stdout] test tests::misc::my_set::ravencheck_tests::check_properties ... ok
[INFO] [stdout] test tests::cycle_checking::cycle2::ravencheck_tests::check_properties - should panic ... ok
[INFO] [stdout] test tests::cycle_checking::eq_cycle5::ravencheck_tests::check_properties - should panic ... ok
[INFO] [stdout] test tests::cycle_checking::cycle1::ravencheck_tests::check_properties - should panic ... ok
[INFO] [stdout] test tests::cycle_checking::eq_cycle4::ravencheck_tests::check_properties - should panic ... ok
[INFO] [stdout] test tests::matching::match_exclusion::ravencheck_tests::check_properties ... FAILED
[INFO] [stdout] test tests::misc::my_set_client2::ravencheck_tests::check_properties ... ok
[INFO] [stdout] test tests::cycle_checking::non_eq_cycle5::ravencheck_tests::check_properties ... FAILED
[INFO] [stdout] test tests::misc::my_set_client5::ravencheck_tests::check_properties - should panic ... ok
[INFO] [stdout] test tests::cycle_checking::ite_cycle7::ravencheck_tests::check_properties - should panic ... ok
[INFO] [stdout] test tests::induction::polymorphic_annotate::ravencheck_tests::check_properties ... FAILED
[INFO] [stdout] test tests::misc::no_inst_import::ravencheck_tests::check_properties - should panic ... ok
[INFO] [stdout] test tests::misc::my_set_client1::ravencheck_tests::check_properties ... ok
[INFO] [stdout] test tests::misc::polymorphic_with_inst_rules::ravencheck_tests::check_properties - should panic ... ok
[INFO] [stdout] test tests::induction::induct_instantiations::ravencheck_tests::check_properties ... FAILED
[INFO] [stdout] test tests::bool_fun::bool_fun::ravencheck_tests::check_properties ... FAILED
[INFO] [stdout] test tests::cycle_checking::non_ite_cycle6::ravencheck_tests::check_properties ... FAILED
[INFO] [stdout] test tests::cycle_checking::non_cycle3::ravencheck_tests::check_properties ... FAILED
[INFO] [stdout] test tests::misc::no_inst_export::ravencheck_tests::check_properties - should panic ... ok
[INFO] [stdout] test tests::misc::polymorphic_no_inst_rules::ravencheck_tests::check_properties - should panic ... ok
[INFO] [stdout] test tests::induction::induction::ravencheck_tests::check_properties ... FAILED
[INFO] [stdout] test tests::misc::my_set_client3::ravencheck_tests::check_properties ... FAILED
[INFO] [stdout] test tests::misc::my_set_client4::ravencheck_tests::check_properties ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- tests::matching::match_exclusion::ravencheck_tests::check_properties stdout ----
[INFO] [stdout] Checking 1 cases...
[INFO] [stdout] SolverConfig { program: "cvc5", args: ["--lang", "smt2", "--force-logic", "ALL", "--full-saturate-quant", "--finite-model-find"] }
[INFO] [stdout] 
[INFO] [stdout] thread 'tests::matching::match_exclusion::ravencheck_tests::check_properties' (905) panicked at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ravenlang-0.5.0/src/smt/mod.rs:519:96:
[INFO] [stdout] called `Result::unwrap()` on an `Err` value: Os { code: 2, kind: NotFound, message: "No such file or directory" }
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x58d6415d0fc1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x58d6415e5c1a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x58d6415d529c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x58d6415acdb6 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x58d6415c9499 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x58d6413168a0 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x58d6415c97c2 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x58d6415ace62 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x58d6415a5b79 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x58d6415ada6d - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x58d6415e63fc - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x58d6415e61d2 - core[a373ad73a504971]::result::unwrap_failed
[INFO] [stdout]   12:     0x58d64144ab27 - <&ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0} as core[a373ad73a504971]::ops::function::FnMut<((ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp),)>>::call_mut
[INFO] [stdout]   13:     0x58d641445490 - <rayon[b45d3bc2ad4d6fe1]::iter::map::MapFolder<rayon[b45d3bc2ad4d6fe1]::iter::collect::consumer::CollectResult<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>, ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0}> as rayon[b45d3bc2ad4d6fe1]::iter::plumbing::Folder<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)>>::consume_iter::<rayon[b45d3bc2ad4d6fe1]::vec::SliceDrain<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)>>
[INFO] [stdout]   14:     0x58d641445125 - rayon[b45d3bc2ad4d6fe1]::iter::plumbing::bridge_producer_consumer::helper::<rayon[b45d3bc2ad4d6fe1]::vec::DrainProducer<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)>, rayon[b45d3bc2ad4d6fe1]::iter::map::MapConsumer<rayon[b45d3bc2ad4d6fe1]::iter::collect::consumer::CollectConsumer<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>, ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0}>>
[INFO] [stdout]   15:     0x58d64141175b - <rayon[b45d3bc2ad4d6fe1]::vec::IntoIter<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)> as rayon[b45d3bc2ad4d6fe1]::iter::IndexedParallelIterator>::with_producer::<rayon[b45d3bc2ad4d6fe1]::iter::plumbing::bridge::Callback<rayon[b45d3bc2ad4d6fe1]::iter::map::MapConsumer<rayon[b45d3bc2ad4d6fe1]::iter::collect::consumer::CollectConsumer<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>, ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0}>>>
[INFO] [stdout]   16:     0x58d641444f5b - rayon[b45d3bc2ad4d6fe1]::iter::collect::collect_with_consumer::<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>), rayon[b45d3bc2ad4d6fe1]::iter::collect::special_extend<rayon[b45d3bc2ad4d6fe1]::iter::map::Map<rayon[b45d3bc2ad4d6fe1]::vec::IntoIter<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)>, ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0}>, (ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>::{closure#0}>
[INFO] [stdout]   17:     0x58d64138886c - <alloc[2e1b2a31b91974c5]::vec::Vec<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)> as rayon[b45d3bc2ad4d6fe1]::iter::ParallelExtend<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>>::par_extend::<rayon[b45d3bc2ad4d6fe1]::iter::map::Map<rayon[b45d3bc2ad4d6fe1]::vec::IntoIter<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)>, ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0}>>
[INFO] [stdout]   18:     0x58d641448922 - ravenlang[eed9a665f520b55b]::smt::query_negative_c
[INFO] [stdout]   19:     0x58d641445c4c - <ravenlang[eed9a665f520b55b]::smt::CheckedSig>::check_goal
[INFO] [stdout]   20:     0x58d6412d0079 - <ravencheck[ffc91e751fb5098d]::rcc::Rcc>::check_goals
[INFO] [stdout]   21:     0x58d641309509 - <ravencheck[ffc91e751fb5098d]::tests::matching::match_exclusion::ravencheck_tests::check_properties::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   22:     0x58d641309ceb - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   23:     0x58d641316ec5 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   24:     0x58d6413107b4 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   25:     0x58d641319f52 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   26:     0x58d6415d080f - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   27:     0x794bab221dfa - <unknown>
[INFO] [stdout]   28:     0x794bab2b53d4 - clone
[INFO] [stdout]   29:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- tests::cycle_checking::non_eq_cycle5::ravencheck_tests::check_properties stdout ----
[INFO] [stdout] Checking 1 cases...
[INFO] [stdout] SolverConfig { program: "cvc5", args: ["--lang", "smt2", "--force-logic", "ALL", "--full-saturate-quant", "--finite-model-find"] }
[INFO] [stdout] 
[INFO] [stdout] thread 'tests::cycle_checking::non_eq_cycle5::ravencheck_tests::check_properties' (885) panicked at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ravenlang-0.5.0/src/smt/mod.rs:519:96:
[INFO] [stdout] called `Result::unwrap()` on an `Err` value: Os { code: 2, kind: NotFound, message: "No such file or directory" }
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x58d6415d0fc1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x58d6415e5c1a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x58d6415d529c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x58d6415acdb6 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x58d6415c9499 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x58d6413168a0 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x58d6415c97c2 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x58d6415ace62 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x58d6415a5b79 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x58d6415ada6d - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x58d6415e63fc - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x58d6415e61d2 - core[a373ad73a504971]::result::unwrap_failed
[INFO] [stdout]   12:     0x58d64144ab27 - <&ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0} as core[a373ad73a504971]::ops::function::FnMut<((ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp),)>>::call_mut
[INFO] [stdout]   13:     0x58d641445490 - <rayon[b45d3bc2ad4d6fe1]::iter::map::MapFolder<rayon[b45d3bc2ad4d6fe1]::iter::collect::consumer::CollectResult<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>, ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0}> as rayon[b45d3bc2ad4d6fe1]::iter::plumbing::Folder<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)>>::consume_iter::<rayon[b45d3bc2ad4d6fe1]::vec::SliceDrain<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)>>
[INFO] [stdout]   14:     0x58d641445125 - rayon[b45d3bc2ad4d6fe1]::iter::plumbing::bridge_producer_consumer::helper::<rayon[b45d3bc2ad4d6fe1]::vec::DrainProducer<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)>, rayon[b45d3bc2ad4d6fe1]::iter::map::MapConsumer<rayon[b45d3bc2ad4d6fe1]::iter::collect::consumer::CollectConsumer<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>, ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0}>>
[INFO] [stdout]   15:     0x58d64141175b - <rayon[b45d3bc2ad4d6fe1]::vec::IntoIter<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)> as rayon[b45d3bc2ad4d6fe1]::iter::IndexedParallelIterator>::with_producer::<rayon[b45d3bc2ad4d6fe1]::iter::plumbing::bridge::Callback<rayon[b45d3bc2ad4d6fe1]::iter::map::MapConsumer<rayon[b45d3bc2ad4d6fe1]::iter::collect::consumer::CollectConsumer<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>, ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0}>>>
[INFO] [stdout]   16:     0x58d641444f5b - rayon[b45d3bc2ad4d6fe1]::iter::collect::collect_with_consumer::<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>), rayon[b45d3bc2ad4d6fe1]::iter::collect::special_extend<rayon[b45d3bc2ad4d6fe1]::iter::map::Map<rayon[b45d3bc2ad4d6fe1]::vec::IntoIter<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)>, ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0}>, (ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>::{closure#0}>
[INFO] [stdout]   17:     0x58d64138886c - <alloc[2e1b2a31b91974c5]::vec::Vec<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)> as rayon[b45d3bc2ad4d6fe1]::iter::ParallelExtend<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>>::par_extend::<rayon[b45d3bc2ad4d6fe1]::iter::map::Map<rayon[b45d3bc2ad4d6fe1]::vec::IntoIter<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)>, ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0}>>
[INFO] [stdout]   18:     0x58d641448922 - ravenlang[eed9a665f520b55b]::smt::query_negative_c
[INFO] [stdout]   19:     0x58d641445c4c - <ravenlang[eed9a665f520b55b]::smt::CheckedSig>::check_goal
[INFO] [stdout]   20:     0x58d6412d0079 - <ravencheck[ffc91e751fb5098d]::rcc::Rcc>::check_goals
[INFO] [stdout]   21:     0x58d6412fcbc0 - <ravencheck[ffc91e751fb5098d]::tests::cycle_checking::non_eq_cycle5::ravencheck_tests::check_properties::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   22:     0x58d641309ceb - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   23:     0x58d641316ec5 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   24:     0x58d6413107b4 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   25:     0x58d641319f52 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   26:     0x58d6415d080f - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   27:     0x794bab221dfa - <unknown>
[INFO] [stdout]   28:     0x794bab2b53d4 - clone
[INFO] [stdout]   29:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- tests::induction::polymorphic_annotate::ravencheck_tests::check_properties stdout ----
[INFO] [stdout] Checking 1 cases...
[INFO] [stdout] SolverConfig { program: "cvc5", args: ["--lang", "smt2", "--force-logic", "ALL", "--full-saturate-quant", "--finite-model-find"] }
[INFO] [stdout] 
[INFO] [stdout] thread 'tests::induction::polymorphic_annotate::ravencheck_tests::check_properties' (904) panicked at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ravenlang-0.5.0/src/smt/mod.rs:519:96:
[INFO] [stdout] called `Result::unwrap()` on an `Err` value: Os { code: 2, kind: NotFound, message: "No such file or directory" }
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x58d6415d0fc1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x58d6415e5c1a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x58d6415d529c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x58d6415acdb6 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x58d6415c9499 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x58d6413168a0 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x58d6415c97c2 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x58d6415ace62 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x58d6415a5b79 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x58d6415ada6d - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x58d6415e63fc - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x58d6415e61d2 - core[a373ad73a504971]::result::unwrap_failed
[INFO] [stdout]   12:     0x58d64144ab27 - <&ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0} as core[a373ad73a504971]::ops::function::FnMut<((ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp),)>>::call_mut
[INFO] [stdout]   13:     0x58d641445490 - <rayon[b45d3bc2ad4d6fe1]::iter::map::MapFolder<rayon[b45d3bc2ad4d6fe1]::iter::collect::consumer::CollectResult<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>, ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0}> as rayon[b45d3bc2ad4d6fe1]::iter::plumbing::Folder<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)>>::consume_iter::<rayon[b45d3bc2ad4d6fe1]::vec::SliceDrain<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)>>
[INFO] [stdout]   14:     0x58d641445125 - rayon[b45d3bc2ad4d6fe1]::iter::plumbing::bridge_producer_consumer::helper::<rayon[b45d3bc2ad4d6fe1]::vec::DrainProducer<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)>, rayon[b45d3bc2ad4d6fe1]::iter::map::MapConsumer<rayon[b45d3bc2ad4d6fe1]::iter::collect::consumer::CollectConsumer<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>, ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0}>>
[INFO] [stdout]   15:     0x58d64141175b - <rayon[b45d3bc2ad4d6fe1]::vec::IntoIter<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)> as rayon[b45d3bc2ad4d6fe1]::iter::IndexedParallelIterator>::with_producer::<rayon[b45d3bc2ad4d6fe1]::iter::plumbing::bridge::Callback<rayon[b45d3bc2ad4d6fe1]::iter::map::MapConsumer<rayon[b45d3bc2ad4d6fe1]::iter::collect::consumer::CollectConsumer<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>, ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0}>>>
[INFO] [stdout]   16:     0x58d641444f5b - rayon[b45d3bc2ad4d6fe1]::iter::collect::collect_with_consumer::<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>), rayon[b45d3bc2ad4d6fe1]::iter::collect::special_extend<rayon[b45d3bc2ad4d6fe1]::iter::map::Map<rayon[b45d3bc2ad4d6fe1]::vec::IntoIter<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)>, ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0}>, (ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>::{closure#0}>
[INFO] [stdout]   17:     0x58d64138886c - <alloc[2e1b2a31b91974c5]::vec::Vec<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)> as rayon[b45d3bc2ad4d6fe1]::iter::ParallelExtend<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>>::par_extend::<rayon[b45d3bc2ad4d6fe1]::iter::map::Map<rayon[b45d3bc2ad4d6fe1]::vec::IntoIter<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)>, ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0}>>
[INFO] [stdout]   18:     0x58d641448922 - ravenlang[eed9a665f520b55b]::smt::query_negative_c
[INFO] [stdout]   19:     0x58d641445c4c - <ravenlang[eed9a665f520b55b]::smt::CheckedSig>::check_goal
[INFO] [stdout]   20:     0x58d6412d0079 - <ravencheck[ffc91e751fb5098d]::rcc::Rcc>::check_goals
[INFO] [stdout]   21:     0x58d6412ef17c - <ravencheck[ffc91e751fb5098d]::tests::induction::polymorphic_annotate::ravencheck_tests::check_properties::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   22:     0x58d641309ceb - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   23:     0x58d641316ec5 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   24:     0x58d6413107b4 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   25:     0x58d641319f52 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   26:     0x58d6415d080f - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   27:     0x794bab221dfa - <unknown>
[INFO] [stdout]   28:     0x794bab2b53d4 - clone
[INFO] [stdout]   29:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- tests::induction::induct_instantiations::ravencheck_tests::check_properties stdout ----
[INFO] [stdout] Checking 1 cases...
[INFO] [stdout] SolverConfig { program: "cvc5", args: ["--lang", "smt2", "--force-logic", "ALL", "--full-saturate-quant", "--finite-model-find"] }
[INFO] [stdout] 
[INFO] [stdout] thread 'tests::induction::induct_instantiations::ravencheck_tests::check_properties' (887) panicked at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ravenlang-0.5.0/src/smt/mod.rs:519:96:
[INFO] [stdout] called `Result::unwrap()` on an `Err` value: Os { code: 2, kind: NotFound, message: "No such file or directory" }
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x58d6415d0fc1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x58d6415e5c1a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x58d6415d529c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x58d6415acdb6 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x58d6415c9499 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x58d6413168a0 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x58d6415c97c2 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x58d6415ace62 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x58d6415a5b79 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x58d6415ada6d - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x58d6415e63fc - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x58d6415e61d2 - core[a373ad73a504971]::result::unwrap_failed
[INFO] [stdout]   12:     0x58d64144ab27 - <&ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0} as core[a373ad73a504971]::ops::function::FnMut<((ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp),)>>::call_mut
[INFO] [stdout]   13:     0x58d641445490 - <rayon[b45d3bc2ad4d6fe1]::iter::map::MapFolder<rayon[b45d3bc2ad4d6fe1]::iter::collect::consumer::CollectResult<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>, ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0}> as rayon[b45d3bc2ad4d6fe1]::iter::plumbing::Folder<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)>>::consume_iter::<rayon[b45d3bc2ad4d6fe1]::vec::SliceDrain<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)>>
[INFO] [stdout]   14:     0x58d641445125 - rayon[b45d3bc2ad4d6fe1]::iter::plumbing::bridge_producer_consumer::helper::<rayon[b45d3bc2ad4d6fe1]::vec::DrainProducer<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)>, rayon[b45d3bc2ad4d6fe1]::iter::map::MapConsumer<rayon[b45d3bc2ad4d6fe1]::iter::collect::consumer::CollectConsumer<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>, ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0}>>
[INFO] [stdout]   15:     0x58d64141175b - <rayon[b45d3bc2ad4d6fe1]::vec::IntoIter<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)> as rayon[b45d3bc2ad4d6fe1]::iter::IndexedParallelIterator>::with_producer::<rayon[b45d3bc2ad4d6fe1]::iter::plumbing::bridge::Callback<rayon[b45d3bc2ad4d6fe1]::iter::map::MapConsumer<rayon[b45d3bc2ad4d6fe1]::iter::collect::consumer::CollectConsumer<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>, ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0}>>>
[INFO] [stdout]   16:     0x58d641444f5b - rayon[b45d3bc2ad4d6fe1]::iter::collect::collect_with_consumer::<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>), rayon[b45d3bc2ad4d6fe1]::iter::collect::special_extend<rayon[b45d3bc2ad4d6fe1]::iter::map::Map<rayon[b45d3bc2ad4d6fe1]::vec::IntoIter<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)>, ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0}>, (ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>::{closure#0}>
[INFO] [stdout]   17:     0x58d64138886c - <alloc[2e1b2a31b91974c5]::vec::Vec<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)> as rayon[b45d3bc2ad4d6fe1]::iter::ParallelExtend<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>>::par_extend::<rayon[b45d3bc2ad4d6fe1]::iter::map::Map<rayon[b45d3bc2ad4d6fe1]::vec::IntoIter<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)>, ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0}>>
[INFO] [stdout]   18:     0x58d641448922 - ravenlang[eed9a665f520b55b]::smt::query_negative_c
[INFO] [stdout]   19:     0x58d641445c4c - <ravenlang[eed9a665f520b55b]::smt::CheckedSig>::check_goal
[INFO] [stdout]   20:     0x58d6412d0079 - <ravencheck[ffc91e751fb5098d]::rcc::Rcc>::check_goals
[INFO] [stdout]   21:     0x58d6412f1897 - <ravencheck[ffc91e751fb5098d]::tests::induction::induct_instantiations::ravencheck_tests::check_properties::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   22:     0x58d641309ceb - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   23:     0x58d641316ec5 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   24:     0x58d6413107b4 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   25:     0x58d641319f52 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   26:     0x58d6415d080f - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   27:     0x794bab221dfa - <unknown>
[INFO] [stdout]   28:     0x794bab2b53d4 - clone
[INFO] [stdout]   29:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- tests::bool_fun::bool_fun::ravencheck_tests::check_properties stdout ----
[INFO] [stdout] Checking 1 cases...
[INFO] [stdout] SolverConfig { program: "cvc5", args: ["--lang", "smt2", "--force-logic", "ALL", "--full-saturate-quant", "--finite-model-find"] }
[INFO] [stdout] 
[INFO] [stdout] thread 'tests::bool_fun::bool_fun::ravencheck_tests::check_properties' (878) panicked at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ravenlang-0.5.0/src/smt/mod.rs:519:96:
[INFO] [stdout] called `Result::unwrap()` on an `Err` value: Os { code: 2, kind: NotFound, message: "No such file or directory" }
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x58d6415d0fc1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x58d6415e5c1a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x58d6415d529c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x58d6415acdb6 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x58d6415c9499 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x58d6413168a0 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x58d6415c97c2 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x58d6415ace62 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x58d6415a5b79 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x58d6415ada6d - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x58d6415e63fc - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x58d6415e61d2 - core[a373ad73a504971]::result::unwrap_failed
[INFO] [stdout]   12:     0x58d64144ab27 - <&ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0} as core[a373ad73a504971]::ops::function::FnMut<((ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp),)>>::call_mut
[INFO] [stdout]   13:     0x58d641445490 - <rayon[b45d3bc2ad4d6fe1]::iter::map::MapFolder<rayon[b45d3bc2ad4d6fe1]::iter::collect::consumer::CollectResult<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>, ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0}> as rayon[b45d3bc2ad4d6fe1]::iter::plumbing::Folder<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)>>::consume_iter::<rayon[b45d3bc2ad4d6fe1]::vec::SliceDrain<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)>>
[INFO] [stdout]   14:     0x58d641445125 - rayon[b45d3bc2ad4d6fe1]::iter::plumbing::bridge_producer_consumer::helper::<rayon[b45d3bc2ad4d6fe1]::vec::DrainProducer<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)>, rayon[b45d3bc2ad4d6fe1]::iter::map::MapConsumer<rayon[b45d3bc2ad4d6fe1]::iter::collect::consumer::CollectConsumer<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>, ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0}>>
[INFO] [stdout]   15:     0x58d64141175b - <rayon[b45d3bc2ad4d6fe1]::vec::IntoIter<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)> as rayon[b45d3bc2ad4d6fe1]::iter::IndexedParallelIterator>::with_producer::<rayon[b45d3bc2ad4d6fe1]::iter::plumbing::bridge::Callback<rayon[b45d3bc2ad4d6fe1]::iter::map::MapConsumer<rayon[b45d3bc2ad4d6fe1]::iter::collect::consumer::CollectConsumer<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>, ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0}>>>
[INFO] [stdout]   16:     0x58d641444f5b - rayon[b45d3bc2ad4d6fe1]::iter::collect::collect_with_consumer::<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>), rayon[b45d3bc2ad4d6fe1]::iter::collect::special_extend<rayon[b45d3bc2ad4d6fe1]::iter::map::Map<rayon[b45d3bc2ad4d6fe1]::vec::IntoIter<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)>, ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0}>, (ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>::{closure#0}>
[INFO] [stdout]   17:     0x58d64138886c - <alloc[2e1b2a31b91974c5]::vec::Vec<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)> as rayon[b45d3bc2ad4d6fe1]::iter::ParallelExtend<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>>::par_extend::<rayon[b45d3bc2ad4d6fe1]::iter::map::Map<rayon[b45d3bc2ad4d6fe1]::vec::IntoIter<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)>, ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0}>>
[INFO] [stdout]   18:     0x58d641448922 - ravenlang[eed9a665f520b55b]::smt::query_negative_c
[INFO] [stdout]   19:     0x58d641445c4c - <ravenlang[eed9a665f520b55b]::smt::CheckedSig>::check_goal
[INFO] [stdout]   20:     0x58d6412d0079 - <ravencheck[ffc91e751fb5098d]::rcc::Rcc>::check_goals
[INFO] [stdout]   21:     0x58d6412f1737 - <ravencheck[ffc91e751fb5098d]::tests::bool_fun::bool_fun::ravencheck_tests::check_properties::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   22:     0x58d641309ceb - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   23:     0x58d641316ec5 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   24:     0x58d6413107b4 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   25:     0x58d641319f52 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   26:     0x58d6415d080f - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   27:     0x794bab221dfa - <unknown>
[INFO] [stdout]   28:     0x794bab2b53d4 - clone
[INFO] [stdout]   29:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- tests::cycle_checking::non_ite_cycle6::ravencheck_tests::check_properties stdout ----
[INFO] [stdout] Checking 2 cases...
[INFO] [stdout] SolverConfig { program: "cvc5", args: ["--lang", "smt2", "--force-logic", "ALL", "--full-saturate-quant", "--finite-model-find"] }
[INFO] [stdout] SolverConfig { program: "cvc5", args: ["--lang", "smt2", "--force-logic", "ALL", "--full-saturate-quant", "--finite-model-find"] }
[INFO] [stdout] 
[INFO] [stdout] thread '<unnamed>' (892) panicked at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ravenlang-0.5.0/src/smt/mod.rs:519:96:
[INFO] [stdout] called `Result::unwrap()` on an `Err` value: Os { code: 2, kind: NotFound, message: "No such file or directory" }
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x58d6415d0fc1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x58d6415e5c1a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x58d6415d529c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x58d6415acdb6 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x58d6415c9499 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x58d6413168a0 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x58d6415c97c2 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x58d6415ace62 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x58d6415a5b79 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x58d6415ada6d - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x58d6415e63fc - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x58d6415e61d2 - core[a373ad73a504971]::result::unwrap_failed
[INFO] [stdout]   12:     0x58d64144ab27 - <&ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0} as core[a373ad73a504971]::ops::function::FnMut<((ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp),)>>::call_mut
[INFO] [stdout]   13:     0x58d641445490 - <rayon[b45d3bc2ad4d6fe1]::iter::map::MapFolder<rayon[b45d3bc2ad4d6fe1]::iter::collect::consumer::CollectResult<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>, ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0}> as rayon[b45d3bc2ad4d6fe1]::iter::plumbing::Folder<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)>>::consume_iter::<rayon[b45d3bc2ad4d6fe1]::vec::SliceDrain<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)>>
[INFO] [stdout]   14:     0x58d641445125 - rayon[b45d3bc2ad4d6fe1]::iter::plumbing::bridge_producer_consumer::helper::<rayon[b45d3bc2ad4d6fe1]::vec::DrainProducer<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)>, rayon[b45d3bc2ad4d6fe1]::iter::map::MapConsumer<rayon[b45d3bc2ad4d6fe1]::iter::collect::consumer::CollectConsumer<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>, ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0}>>
[INFO] [stdout]   15:     0x58d64141624a - <rayon_core[f5d39170eb8e2e16]::job::StackJob<rayon_core[f5d39170eb8e2e16]::latch::SpinLatch, rayon_core[f5d39170eb8e2e16]::join::join_context::call_b<rayon[b45d3bc2ad4d6fe1]::iter::collect::consumer::CollectResult<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>, rayon[b45d3bc2ad4d6fe1]::iter::plumbing::bridge_producer_consumer::helper<rayon[b45d3bc2ad4d6fe1]::vec::DrainProducer<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)>, rayon[b45d3bc2ad4d6fe1]::iter::map::MapConsumer<rayon[b45d3bc2ad4d6fe1]::iter::collect::consumer::CollectConsumer<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>, ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0}>>::{closure#1}>::{closure#0}, rayon[b45d3bc2ad4d6fe1]::iter::collect::consumer::CollectResult<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>> as rayon_core[f5d39170eb8e2e16]::job::Job>::execute
[INFO] [stdout]   16:     0x58d64145ddd8 - <rayon_core[f5d39170eb8e2e16]::registry::WorkerThread>::wait_until_cold
[INFO] [stdout]   17:     0x58d64145d73b - <rayon_core[f5d39170eb8e2e16]::registry::ThreadBuilder>::run
[INFO] [stdout]   18:     0x58d641461b7a - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<<rayon_core[f5d39170eb8e2e16]::registry::DefaultSpawn as rayon_core[f5d39170eb8e2e16]::registry::ThreadSpawn>::spawn::{closure#0}, ()>
[INFO] [stdout]   19:     0x58d64145f9fd - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<<rayon_core[f5d39170eb8e2e16]::registry::DefaultSpawn as rayon_core[f5d39170eb8e2e16]::registry::ThreadSpawn>::spawn::{closure#0}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   20:     0x58d6415d080f - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   21:     0x794bab221dfa - <unknown>
[INFO] [stdout]   22:     0x794bab2b53d4 - clone
[INFO] [stdout]   23:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] thread '<unnamed>' (895) panicked at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ravenlang-0.5.0/src/smt/mod.rs:519:96:
[INFO] [stdout] called `Result::unwrap()` on an `Err` value: Os { code: 2, kind: NotFound, message: "No such file or directory" }
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x58d6415d0fc1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x58d6415e5c1a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x58d6415d529c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x58d6415acdb6 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x58d6415c9499 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x58d6413168a0 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x58d6415c97c2 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x58d6415ace62 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x58d6415a5b79 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x58d6415ada6d - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x58d6415e63fc - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x58d6415e61d2 - core[a373ad73a504971]::result::unwrap_failed
[INFO] [stdout]   12:     0x58d64144ab27 - <&ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0} as core[a373ad73a504971]::ops::function::FnMut<((ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp),)>>::call_mut
[INFO] [stdout]   13:     0x58d641445490 - <rayon[b45d3bc2ad4d6fe1]::iter::map::MapFolder<rayon[b45d3bc2ad4d6fe1]::iter::collect::consumer::CollectResult<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>, ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0}> as rayon[b45d3bc2ad4d6fe1]::iter::plumbing::Folder<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)>>::consume_iter::<rayon[b45d3bc2ad4d6fe1]::vec::SliceDrain<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)>>
[INFO] [stdout]   14:     0x58d641445125 - rayon[b45d3bc2ad4d6fe1]::iter::plumbing::bridge_producer_consumer::helper::<rayon[b45d3bc2ad4d6fe1]::vec::DrainProducer<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)>, rayon[b45d3bc2ad4d6fe1]::iter::map::MapConsumer<rayon[b45d3bc2ad4d6fe1]::iter::collect::consumer::CollectConsumer<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>, ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0}>>
[INFO] [stdout]   15:     0x58d641411e61 - rayon_core[f5d39170eb8e2e16]::join::join_context::<rayon[b45d3bc2ad4d6fe1]::iter::plumbing::bridge_producer_consumer::helper<rayon[b45d3bc2ad4d6fe1]::vec::DrainProducer<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)>, rayon[b45d3bc2ad4d6fe1]::iter::map::MapConsumer<rayon[b45d3bc2ad4d6fe1]::iter::collect::consumer::CollectConsumer<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>, ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0}>>::{closure#0}, rayon[b45d3bc2ad4d6fe1]::iter::plumbing::bridge_producer_consumer::helper<rayon[b45d3bc2ad4d6fe1]::vec::DrainProducer<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)>, rayon[b45d3bc2ad4d6fe1]::iter::map::MapConsumer<rayon[b45d3bc2ad4d6fe1]::iter::collect::consumer::CollectConsumer<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>, ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0}>>::{closure#1}, rayon[b45d3bc2ad4d6fe1]::iter::collect::consumer::CollectResult<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>, rayon[b45d3bc2ad4d6fe1]::iter::collect::consumer::CollectResult<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>>::{closure#0}
[INFO] [stdout]   16:     0x58d641415dd9 - <rayon_core[f5d39170eb8e2e16]::job::StackJob<rayon_core[f5d39170eb8e2e16]::latch::LatchRef<rayon_core[f5d39170eb8e2e16]::latch::LockLatch>, <rayon_core[f5d39170eb8e2e16]::registry::Registry>::in_worker_cold<rayon_core[f5d39170eb8e2e16]::join::join_context<rayon[b45d3bc2ad4d6fe1]::iter::plumbing::bridge_producer_consumer::helper<rayon[b45d3bc2ad4d6fe1]::vec::DrainProducer<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)>, rayon[b45d3bc2ad4d6fe1]::iter::map::MapConsumer<rayon[b45d3bc2ad4d6fe1]::iter::collect::consumer::CollectConsumer<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>, ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0}>>::{closure#0}, rayon[b45d3bc2ad4d6fe1]::iter::plumbing::bridge_producer_consumer::helper<rayon[b45d3bc2ad4d6fe1]::vec::DrainProducer<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)>, rayon[b45d3bc2ad4d6fe1]::iter::map::MapConsumer<rayon[b45d3bc2ad4d6fe1]::iter::collect::consumer::CollectConsumer<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>, ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0}>>::{closure#1}, rayon[b45d3bc2ad4d6fe1]::iter::collect::consumer::CollectResult<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>, rayon[b45d3bc2ad4d6fe1]::iter::collect::consumer::CollectResult<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>>::{closure#0}, (rayon[b45d3bc2ad4d6fe1]::iter::collect::consumer::CollectResult<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>, rayon[b45d3bc2ad4d6fe1]::iter::collect::consumer::CollectResult<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>)>::{closure#0}::{closure#0}, (rayon[b45d3bc2ad4d6fe1]::iter::collect::consumer::CollectResult<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>, rayon[b45d3bc2ad4d6fe1]::iter::collect::consumer::CollectResult<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>)> as rayon_core[f5d39170eb8e2e16]::job::Job>::execute
[INFO] [stdout]   17:     0x58d64145ddd8 - <rayon_core[f5d39170eb8e2e16]::registry::WorkerThread>::wait_until_cold
[INFO] [stdout]   18:     0x58d64145d73b - <rayon_core[f5d39170eb8e2e16]::registry::ThreadBuilder>::run
[INFO] [stdout]   19:     0x58d641461b7a - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<<rayon_core[f5d39170eb8e2e16]::registry::DefaultSpawn as rayon_core[f5d39170eb8e2e16]::registry::ThreadSpawn>::spawn::{closure#0}, ()>
[INFO] [stdout]   20:     0x58d64145f9fd - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<<rayon_core[f5d39170eb8e2e16]::registry::DefaultSpawn as rayon_core[f5d39170eb8e2e16]::registry::ThreadSpawn>::spawn::{closure#0}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   21:     0x58d6415d080f - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   22:     0x794bab221dfa - <unknown>
[INFO] [stdout]   23:     0x794bab2b53d4 - clone
[INFO] [stdout]   24:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- tests::cycle_checking::non_cycle3::ravencheck_tests::check_properties stdout ----
[INFO] [stdout] Checking 1 cases...
[INFO] [stdout] SolverConfig { program: "cvc5", args: ["--lang", "smt2", "--force-logic", "ALL", "--full-saturate-quant", "--finite-model-find"] }
[INFO] [stdout] 
[INFO] [stdout] thread 'tests::cycle_checking::non_cycle3::ravencheck_tests::check_properties' (884) panicked at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ravenlang-0.5.0/src/smt/mod.rs:519:96:
[INFO] [stdout] called `Result::unwrap()` on an `Err` value: Os { code: 2, kind: NotFound, message: "No such file or directory" }
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x58d6415d0fc1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x58d6415e5c1a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x58d6415d529c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x58d6415acdb6 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x58d6415c9499 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x58d6413168a0 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x58d6415c97c2 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x58d6415ace62 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x58d6415a5b79 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x58d6415ada6d - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x58d6415e63fc - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x58d6415e61d2 - core[a373ad73a504971]::result::unwrap_failed
[INFO] [stdout]   12:     0x58d64144ab27 - <&ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0} as core[a373ad73a504971]::ops::function::FnMut<((ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp),)>>::call_mut
[INFO] [stdout]   13:     0x58d641445490 - <rayon[b45d3bc2ad4d6fe1]::iter::map::MapFolder<rayon[b45d3bc2ad4d6fe1]::iter::collect::consumer::CollectResult<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>, ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0}> as rayon[b45d3bc2ad4d6fe1]::iter::plumbing::Folder<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)>>::consume_iter::<rayon[b45d3bc2ad4d6fe1]::vec::SliceDrain<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)>>
[INFO] [stdout]   14:     0x58d641445125 - rayon[b45d3bc2ad4d6fe1]::iter::plumbing::bridge_producer_consumer::helper::<rayon[b45d3bc2ad4d6fe1]::vec::DrainProducer<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)>, rayon[b45d3bc2ad4d6fe1]::iter::map::MapConsumer<rayon[b45d3bc2ad4d6fe1]::iter::collect::consumer::CollectConsumer<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>, ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0}>>
[INFO] [stdout]   15:     0x58d64141175b - <rayon[b45d3bc2ad4d6fe1]::vec::IntoIter<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)> as rayon[b45d3bc2ad4d6fe1]::iter::IndexedParallelIterator>::with_producer::<rayon[b45d3bc2ad4d6fe1]::iter::plumbing::bridge::Callback<rayon[b45d3bc2ad4d6fe1]::iter::map::MapConsumer<rayon[b45d3bc2ad4d6fe1]::iter::collect::consumer::CollectConsumer<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>, ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0}>>>
[INFO] [stdout]   16:     0x58d641444f5b - rayon[b45d3bc2ad4d6fe1]::iter::collect::collect_with_consumer::<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>), rayon[b45d3bc2ad4d6fe1]::iter::collect::special_extend<rayon[b45d3bc2ad4d6fe1]::iter::map::Map<rayon[b45d3bc2ad4d6fe1]::vec::IntoIter<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)>, ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0}>, (ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>::{closure#0}>
[INFO] [stdout]   17:     0x58d64138886c - <alloc[2e1b2a31b91974c5]::vec::Vec<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)> as rayon[b45d3bc2ad4d6fe1]::iter::ParallelExtend<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>>::par_extend::<rayon[b45d3bc2ad4d6fe1]::iter::map::Map<rayon[b45d3bc2ad4d6fe1]::vec::IntoIter<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)>, ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0}>>
[INFO] [stdout]   18:     0x58d641448922 - ravenlang[eed9a665f520b55b]::smt::query_negative_c
[INFO] [stdout]   19:     0x58d641445c4c - <ravenlang[eed9a665f520b55b]::smt::CheckedSig>::check_goal
[INFO] [stdout]   20:     0x58d6412d0079 - <ravencheck[ffc91e751fb5098d]::rcc::Rcc>::check_goals
[INFO] [stdout]   21:     0x58d6412f0f47 - <ravencheck[ffc91e751fb5098d]::tests::cycle_checking::non_cycle3::ravencheck_tests::check_properties::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   22:     0x58d641309ceb - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   23:     0x58d641316ec5 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   24:     0x58d6413107b4 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   25:     0x58d641319f52 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   26:     0x58d6415d080f - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   27:     0x794bab221dfa - <unknown>
[INFO] [stdout]   28:     0x794bab2b53d4 - clone
[INFO] [stdout]   29:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- tests::induction::induction::ravencheck_tests::check_properties stdout ----
[INFO] [stdout] Checking 1 cases...
[INFO] [stdout] SolverConfig { program: "cvc5", args: ["--lang", "smt2", "--force-logic", "ALL", "--full-saturate-quant", "--finite-model-find"] }
[INFO] [stdout] 
[INFO] [stdout] thread 'tests::induction::induction::ravencheck_tests::check_properties' (902) panicked at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ravenlang-0.5.0/src/smt/mod.rs:519:96:
[INFO] [stdout] called `Result::unwrap()` on an `Err` value: Os { code: 2, kind: NotFound, message: "No such file or directory" }
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x58d6415d0fc1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x58d6415e5c1a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x58d6415d529c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x58d6415acdb6 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x58d6415c9499 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x58d6413168a0 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x58d6415c97c2 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x58d6415ace62 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x58d6415a5b79 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x58d6415ada6d - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x58d6415e63fc - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x58d6415e61d2 - core[a373ad73a504971]::result::unwrap_failed
[INFO] [stdout]   12:     0x58d64144ab27 - <&ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0} as core[a373ad73a504971]::ops::function::FnMut<((ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp),)>>::call_mut
[INFO] [stdout]   13:     0x58d641445490 - <rayon[b45d3bc2ad4d6fe1]::iter::map::MapFolder<rayon[b45d3bc2ad4d6fe1]::iter::collect::consumer::CollectResult<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>, ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0}> as rayon[b45d3bc2ad4d6fe1]::iter::plumbing::Folder<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)>>::consume_iter::<rayon[b45d3bc2ad4d6fe1]::vec::SliceDrain<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)>>
[INFO] [stdout]   14:     0x58d641445125 - rayon[b45d3bc2ad4d6fe1]::iter::plumbing::bridge_producer_consumer::helper::<rayon[b45d3bc2ad4d6fe1]::vec::DrainProducer<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)>, rayon[b45d3bc2ad4d6fe1]::iter::map::MapConsumer<rayon[b45d3bc2ad4d6fe1]::iter::collect::consumer::CollectConsumer<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>, ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0}>>
[INFO] [stdout]   15:     0x58d64141175b - <rayon[b45d3bc2ad4d6fe1]::vec::IntoIter<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)> as rayon[b45d3bc2ad4d6fe1]::iter::IndexedParallelIterator>::with_producer::<rayon[b45d3bc2ad4d6fe1]::iter::plumbing::bridge::Callback<rayon[b45d3bc2ad4d6fe1]::iter::map::MapConsumer<rayon[b45d3bc2ad4d6fe1]::iter::collect::consumer::CollectConsumer<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>, ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0}>>>
[INFO] [stdout]   16:     0x58d641444f5b - rayon[b45d3bc2ad4d6fe1]::iter::collect::collect_with_consumer::<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>), rayon[b45d3bc2ad4d6fe1]::iter::collect::special_extend<rayon[b45d3bc2ad4d6fe1]::iter::map::Map<rayon[b45d3bc2ad4d6fe1]::vec::IntoIter<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)>, ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0}>, (ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>::{closure#0}>
[INFO] [stdout]   17:     0x58d64138886c - <alloc[2e1b2a31b91974c5]::vec::Vec<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)> as rayon[b45d3bc2ad4d6fe1]::iter::ParallelExtend<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>>::par_extend::<rayon[b45d3bc2ad4d6fe1]::iter::map::Map<rayon[b45d3bc2ad4d6fe1]::vec::IntoIter<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)>, ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0}>>
[INFO] [stdout]   18:     0x58d641448922 - ravenlang[eed9a665f520b55b]::smt::query_negative_c
[INFO] [stdout]   19:     0x58d641445c4c - <ravenlang[eed9a665f520b55b]::smt::CheckedSig>::check_goal
[INFO] [stdout]   20:     0x58d6412d0079 - <ravencheck[ffc91e751fb5098d]::rcc::Rcc>::check_goals
[INFO] [stdout]   21:     0x58d641309809 - <ravencheck[ffc91e751fb5098d]::tests::induction::induction::ravencheck_tests::check_properties::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   22:     0x58d641309ceb - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   23:     0x58d641316ec5 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   24:     0x58d6413107b4 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   25:     0x58d641319f52 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   26:     0x58d6415d080f - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   27:     0x794bab221dfa - <unknown>
[INFO] [stdout]   28:     0x794bab2b53d4 - clone
[INFO] [stdout]   29:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- tests::misc::my_set_client3::ravencheck_tests::check_properties stdout ----
[INFO] [stdout] Checking 1 cases...
[INFO] [stdout] SolverConfig { program: "cvc5", args: ["--lang", "smt2", "--force-logic", "ALL", "--full-saturate-quant", "--finite-model-find"] }
[INFO] [stdout] 
[INFO] [stdout] thread 'tests::misc::my_set_client3::ravencheck_tests::check_properties' (911) panicked at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ravenlang-0.5.0/src/smt/mod.rs:519:96:
[INFO] [stdout] called `Result::unwrap()` on an `Err` value: Os { code: 2, kind: NotFound, message: "No such file or directory" }
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x58d6415d0fc1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x58d6415e5c1a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x58d6415d529c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x58d6415acdb6 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x58d6415c9499 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x58d6413168a0 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x58d6415c97c2 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x58d6415ace62 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x58d6415a5b79 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x58d6415ada6d - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x58d6415e63fc - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x58d6415e61d2 - core[a373ad73a504971]::result::unwrap_failed
[INFO] [stdout]   12:     0x58d64144ab27 - <&ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0} as core[a373ad73a504971]::ops::function::FnMut<((ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp),)>>::call_mut
[INFO] [stdout]   13:     0x58d641445490 - <rayon[b45d3bc2ad4d6fe1]::iter::map::MapFolder<rayon[b45d3bc2ad4d6fe1]::iter::collect::consumer::CollectResult<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>, ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0}> as rayon[b45d3bc2ad4d6fe1]::iter::plumbing::Folder<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)>>::consume_iter::<rayon[b45d3bc2ad4d6fe1]::vec::SliceDrain<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)>>
[INFO] [stdout]   14:     0x58d641445125 - rayon[b45d3bc2ad4d6fe1]::iter::plumbing::bridge_producer_consumer::helper::<rayon[b45d3bc2ad4d6fe1]::vec::DrainProducer<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)>, rayon[b45d3bc2ad4d6fe1]::iter::map::MapConsumer<rayon[b45d3bc2ad4d6fe1]::iter::collect::consumer::CollectConsumer<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>, ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0}>>
[INFO] [stdout]   15:     0x58d64141175b - <rayon[b45d3bc2ad4d6fe1]::vec::IntoIter<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)> as rayon[b45d3bc2ad4d6fe1]::iter::IndexedParallelIterator>::with_producer::<rayon[b45d3bc2ad4d6fe1]::iter::plumbing::bridge::Callback<rayon[b45d3bc2ad4d6fe1]::iter::map::MapConsumer<rayon[b45d3bc2ad4d6fe1]::iter::collect::consumer::CollectConsumer<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>, ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0}>>>
[INFO] [stdout]   16:     0x58d641444f5b - rayon[b45d3bc2ad4d6fe1]::iter::collect::collect_with_consumer::<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>), rayon[b45d3bc2ad4d6fe1]::iter::collect::special_extend<rayon[b45d3bc2ad4d6fe1]::iter::map::Map<rayon[b45d3bc2ad4d6fe1]::vec::IntoIter<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)>, ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0}>, (ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>::{closure#0}>
[INFO] [stdout]   17:     0x58d64138886c - <alloc[2e1b2a31b91974c5]::vec::Vec<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)> as rayon[b45d3bc2ad4d6fe1]::iter::ParallelExtend<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>>::par_extend::<rayon[b45d3bc2ad4d6fe1]::iter::map::Map<rayon[b45d3bc2ad4d6fe1]::vec::IntoIter<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)>, ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0}>>
[INFO] [stdout]   18:     0x58d641448922 - ravenlang[eed9a665f520b55b]::smt::query_negative_c
[INFO] [stdout]   19:     0x58d641445c4c - <ravenlang[eed9a665f520b55b]::smt::CheckedSig>::check_goal
[INFO] [stdout]   20:     0x58d6412d0079 - <ravencheck[ffc91e751fb5098d]::rcc::Rcc>::check_goals
[INFO] [stdout]   21:     0x58d6413090b3 - <ravencheck[ffc91e751fb5098d]::tests::misc::my_set_client3::ravencheck_tests::check_properties::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   22:     0x58d641309ceb - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   23:     0x58d641316ec5 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   24:     0x58d6413107b4 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   25:     0x58d641319f52 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   26:     0x58d6415d080f - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   27:     0x794bab221dfa - <unknown>
[INFO] [stdout]   28:     0x794bab2b53d4 - clone
[INFO] [stdout]   29:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- tests::misc::my_set_client4::ravencheck_tests::check_properties stdout ----
[INFO] [stdout] Checking 1 cases...
[INFO] [stdout] SolverConfig { program: "cvc5", args: ["--lang", "smt2", "--force-logic", "ALL", "--full-saturate-quant", "--finite-model-find"] }
[INFO] [stdout] 
[INFO] [stdout] thread 'tests::misc::my_set_client4::ravencheck_tests::check_properties' (919) panicked at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ravenlang-0.5.0/src/smt/mod.rs:519:96:
[INFO] [stdout] called `Result::unwrap()` on an `Err` value: Os { code: 2, kind: NotFound, message: "No such file or directory" }
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x58d6415d0fc1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x58d6415e5c1a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x58d6415d529c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x58d6415acdb6 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x58d6415c9499 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x58d6413168a0 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x58d6415c97c2 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x58d6415ace62 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x58d6415a5b79 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x58d6415ada6d - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x58d6415e63fc - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x58d6415e61d2 - core[a373ad73a504971]::result::unwrap_failed
[INFO] [stdout]   12:     0x58d64144ab27 - <&ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0} as core[a373ad73a504971]::ops::function::FnMut<((ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp),)>>::call_mut
[INFO] [stdout]   13:     0x58d641445490 - <rayon[b45d3bc2ad4d6fe1]::iter::map::MapFolder<rayon[b45d3bc2ad4d6fe1]::iter::collect::consumer::CollectResult<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>, ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0}> as rayon[b45d3bc2ad4d6fe1]::iter::plumbing::Folder<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)>>::consume_iter::<rayon[b45d3bc2ad4d6fe1]::vec::SliceDrain<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)>>
[INFO] [stdout]   14:     0x58d641445125 - rayon[b45d3bc2ad4d6fe1]::iter::plumbing::bridge_producer_consumer::helper::<rayon[b45d3bc2ad4d6fe1]::vec::DrainProducer<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)>, rayon[b45d3bc2ad4d6fe1]::iter::map::MapConsumer<rayon[b45d3bc2ad4d6fe1]::iter::collect::consumer::CollectConsumer<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>, ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0}>>
[INFO] [stdout]   15:     0x58d64141175b - <rayon[b45d3bc2ad4d6fe1]::vec::IntoIter<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)> as rayon[b45d3bc2ad4d6fe1]::iter::IndexedParallelIterator>::with_producer::<rayon[b45d3bc2ad4d6fe1]::iter::plumbing::bridge::Callback<rayon[b45d3bc2ad4d6fe1]::iter::map::MapConsumer<rayon[b45d3bc2ad4d6fe1]::iter::collect::consumer::CollectConsumer<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>, ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0}>>>
[INFO] [stdout]   16:     0x58d641444f5b - rayon[b45d3bc2ad4d6fe1]::iter::collect::collect_with_consumer::<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>), rayon[b45d3bc2ad4d6fe1]::iter::collect::special_extend<rayon[b45d3bc2ad4d6fe1]::iter::map::Map<rayon[b45d3bc2ad4d6fe1]::vec::IntoIter<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)>, ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0}>, (ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>::{closure#0}>
[INFO] [stdout]   17:     0x58d64138886c - <alloc[2e1b2a31b91974c5]::vec::Vec<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)> as rayon[b45d3bc2ad4d6fe1]::iter::ParallelExtend<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, core[a373ad73a504971]::result::Result<easy_smt[da9f16eab8bc8406]::context::Response, ravenlang[eed9a665f520b55b]::smt::RvnResponse>)>>::par_extend::<rayon[b45d3bc2ad4d6fe1]::iter::map::Map<rayon[b45d3bc2ad4d6fe1]::vec::IntoIter<(ravenlang[eed9a665f520b55b]::rir::ast::CaseName, ravenlang[eed9a665f520b55b]::rir::ast::Comp)>, ravenlang[eed9a665f520b55b]::smt::query_negative_c::{closure#0}>>
[INFO] [stdout]   18:     0x58d641448922 - ravenlang[eed9a665f520b55b]::smt::query_negative_c
[INFO] [stdout]   19:     0x58d641445c4c - <ravenlang[eed9a665f520b55b]::smt::CheckedSig>::check_goal
[INFO] [stdout]   20:     0x58d6412d0079 - <ravencheck[ffc91e751fb5098d]::rcc::Rcc>::check_goals
[INFO] [stdout]   21:     0x58d6412f14db - <ravencheck[ffc91e751fb5098d]::tests::misc::my_set_client4::ravencheck_tests::check_properties::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   22:     0x58d641309ceb - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   23:     0x58d641316ec5 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   24:     0x58d6413107b4 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   25:     0x58d641319f52 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   26:     0x58d6415d080f - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   27:     0x794bab221dfa - <unknown>
[INFO] [stdout]   28:     0x794bab2b53d4 - clone
[INFO] [stdout]   29:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     tests::bool_fun::bool_fun::ravencheck_tests::check_properties
[INFO] [stdout]     tests::cycle_checking::non_cycle3::ravencheck_tests::check_properties
[INFO] [stdout]     tests::cycle_checking::non_eq_cycle5::ravencheck_tests::check_properties
[INFO] [stdout]     tests::cycle_checking::non_ite_cycle6::ravencheck_tests::check_properties
[INFO] [stdout]     tests::induction::induct_instantiations::ravencheck_tests::check_properties
[INFO] [stdout]     tests::induction::induction::ravencheck_tests::check_properties
[INFO] [stdout]     tests::induction::polymorphic_annotate::ravencheck_tests::check_properties
[INFO] [stdout]     tests::matching::match_exclusion::ravencheck_tests::check_properties
[INFO] [stdout]     tests::misc::my_set_client3::ravencheck_tests::check_properties
[INFO] [stdout]     tests::misc::my_set_client4::ravencheck_tests::check_properties
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 16 passed; 10 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.05s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `--lib`
[INFO] running `Command { std: "docker" "inspect" "baf03e1228690d669e3ea025ff24c6861322e89b78e4780281896399d9fd4fe9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "baf03e1228690d669e3ea025ff24c6861322e89b78e4780281896399d9fd4fe9", kill_on_drop: false }`
[INFO] [stdout] baf03e1228690d669e3ea025ff24c6861322e89b78e4780281896399d9fd4fe9
