[INFO] fetching crate rsmt2-zz 0.11.1...
[INFO] testing rsmt2-zz-0.11.1 against 1.75.0 for beta-1.76-1
[INFO] extracting crate rsmt2-zz 0.11.1 into /workspace/builds/worker-3-tc1/source
[INFO] validating manifest of crates.io crate rsmt2-zz 0.11.1 on toolchain 1.75.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.75.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate rsmt2-zz 0.11.1
[INFO] finished tweaking crates.io crate rsmt2-zz 0.11.1
[INFO] tweaked toml for crates.io crate rsmt2-zz 0.11.1 written to /workspace/builds/worker-3-tc1/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.75.0" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.75.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+1.75.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 80861ce9571ff72e828a9f2d5667293159c0552a17044b90863e8dbf3a31214c
[INFO] running `Command { std: "docker" "start" "-a" "80861ce9571ff72e828a9f2d5667293159c0552a17044b90863e8dbf3a31214c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "80861ce9571ff72e828a9f2d5667293159c0552a17044b90863e8dbf3a31214c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "80861ce9571ff72e828a9f2d5667293159c0552a17044b90863e8dbf3a31214c", kill_on_drop: false }`
[INFO] [stdout] 80861ce9571ff72e828a9f2d5667293159c0552a17044b90863e8dbf3a31214c
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+1.75.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 05d37ae7a430b7daccc65eb350d47a0a963a57203eaff38ba4c6a265a295a045
[INFO] running `Command { std: "docker" "start" "-a" "05d37ae7a430b7daccc65eb350d47a0a963a57203eaff38ba4c6a265a295a045", kill_on_drop: false }`
[INFO] [stderr]    Compiling gimli v0.28.1
[INFO] [stderr]    Compiling memchr v2.7.1
[INFO] [stderr]    Compiling miniz_oxide v0.7.1
[INFO] [stderr]    Compiling rustc-demangle v0.1.23
[INFO] [stderr]    Compiling error-chain v0.12.4
[INFO] [stderr]    Compiling backtrace v0.3.69
[INFO] [stderr]    Compiling object v0.32.2
[INFO] [stderr]    Compiling addr2line v0.21.0
[INFO] [stderr]    Compiling rsmt2-zz v0.11.1 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 3.66s
[INFO] running `Command { std: "docker" "inspect" "05d37ae7a430b7daccc65eb350d47a0a963a57203eaff38ba4c6a265a295a045", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "05d37ae7a430b7daccc65eb350d47a0a963a57203eaff38ba4c6a265a295a045", kill_on_drop: false }`
[INFO] [stdout] 05d37ae7a430b7daccc65eb350d47a0a963a57203eaff38ba4c6a265a295a045
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+1.75.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 5ac71cdb1d355946c9d5cecf4fb1c4a7afa4edf83f41ef9bd653d40194f58230
[INFO] running `Command { std: "docker" "start" "-a" "5ac71cdb1d355946c9d5cecf4fb1c4a7afa4edf83f41ef9bd653d40194f58230", kill_on_drop: false }`
[INFO] [stderr]    Compiling rsmt2-zz v0.11.1 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rsmt2`
[INFO] [stdout]  --> tests/main.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use rsmt2::{parse::*, *};
[INFO] [stdout]   |     ^^^^^ use of undeclared crate or module `rsmt2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rsmt2`
[INFO] [stdout]    --> tests/main.rs:256:13
[INFO] [stdout]     |
[INFO] [stdout] 256 |         use rsmt2::parse::*;
[INFO] [stdout]     |             ^^^^^ use of undeclared crate or module `rsmt2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `rsmt2`
[INFO] [stdout]  --> tests/main.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use rsmt2::{parse::*, *};
[INFO] [stdout]   |     ^^^^^ use of undeclared crate or module `rsmt2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `rsmt2`
[INFO] [stdout]    --> tests/main.rs:257:13
[INFO] [stdout]     |
[INFO] [stdout] 257 |         use rsmt2::*;
[INFO] [stdout]     |             ^^^^^ use of undeclared crate or module `rsmt2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0405]: cannot find trait `ValueParser` in this scope
[INFO] [stdout]   --> tests/main.rs:12:10
[INFO] [stdout]    |
[INFO] [stdout] 12 | impl<'a> ValueParser<Val, &'a str> for Parser {
[INFO] [stdout]    |          ^^^^^^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this trait
[INFO] [stdout]    |
[INFO] [stdout] 2  + use rsmt2_zz::parse::ValueParser;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `SmtRes` in this scope
[INFO] [stdout]   --> tests/main.rs:13:45
[INFO] [stdout]    |
[INFO] [stdout] 13 |     fn parse_value(self, input: &'a str) -> SmtRes<Val> {
[INFO] [stdout]    |                                             ^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this type alias
[INFO] [stdout]    |
[INFO] [stdout] 2  + use rsmt2_zz::SmtRes;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0405]: cannot find trait `ExprParser` in this scope
[INFO] [stdout]   --> tests/main.rs:17:10
[INFO] [stdout]    |
[INFO] [stdout] 17 | impl<'a> ExprParser<Expr, (), &'a str> for Parser {
[INFO] [stdout]    |          ^^^^^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this trait
[INFO] [stdout]    |
[INFO] [stdout] 2  + use rsmt2_zz::parse::ExprParser;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `SmtRes` in this scope
[INFO] [stdout]   --> tests/main.rs:18:51
[INFO] [stdout]    |
[INFO] [stdout] 18 |     fn parse_expr(self, input: &'a str, _: ()) -> SmtRes<Expr> {
[INFO] [stdout]    |                                                   ^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this type alias
[INFO] [stdout]    |
[INFO] [stdout] 2  + use rsmt2_zz::SmtRes;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0405]: cannot find trait `IdentParser` in this scope
[INFO] [stdout]   --> tests/main.rs:22:10
[INFO] [stdout]    |
[INFO] [stdout] 22 | impl<'a> IdentParser<Ident, Typ, &'a str> for Parser {
[INFO] [stdout]    |          ^^^^^^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this trait
[INFO] [stdout]    |
[INFO] [stdout] 2  + use rsmt2_zz::parse::IdentParser;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `SmtRes` in this scope
[INFO] [stdout]   --> tests/main.rs:23:45
[INFO] [stdout]    |
[INFO] [stdout] 23 |     fn parse_ident(self, input: &'a str) -> SmtRes<Ident> {
[INFO] [stdout]    |                                             ^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this type alias
[INFO] [stdout]    |
[INFO] [stdout] 2  + use rsmt2_zz::SmtRes;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `SmtRes` in this scope
[INFO] [stdout]   --> tests/main.rs:26:44
[INFO] [stdout]    |
[INFO] [stdout] 26 |     fn parse_type(self, input: &'a str) -> SmtRes<Typ> {
[INFO] [stdout]    |                                            ^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this type alias
[INFO] [stdout]    |
[INFO] [stdout] 2  + use rsmt2_zz::SmtRes;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0405]: cannot find trait `ModelParser` in this scope
[INFO] [stdout]   --> tests/main.rs:30:10
[INFO] [stdout]    |
[INFO] [stdout] 30 | impl<'a> ModelParser<Ident, Typ, Val, &'a str> for Parser {
[INFO] [stdout]    |          ^^^^^^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this trait
[INFO] [stdout]    |
[INFO] [stdout] 2  + use rsmt2_zz::parse::ModelParser;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `SmtRes` in this scope
[INFO] [stdout]   --> tests/main.rs:37:10
[INFO] [stdout]    |
[INFO] [stdout] 37 |     ) -> SmtRes<Val> {
[INFO] [stdout]    |          ^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this type alias
[INFO] [stdout]    |
[INFO] [stdout] 2  + use rsmt2_zz::SmtRes;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `SmtConf`
[INFO] [stdout]   --> tests/main.rs:47:20
[INFO] [stdout]    |
[INFO] [stdout] 47 |         let conf = SmtConf::cvc4();
[INFO] [stdout]    |                    ^^^^^^^ use of undeclared type `SmtConf`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout] 44 +     use rsmt2_zz::SmtConf;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Solver`
[INFO] [stdout]   --> tests/main.rs:48:26
[INFO] [stdout]    |
[INFO] [stdout] 48 |         let mut solver = Solver::new(conf, Parser).expect("solver creation");
[INFO] [stdout]    |                          ^^^^^^ use of undeclared type `Solver`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout] 44 +     use rsmt2_zz::Solver;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rsmt2`
[INFO] [stdout]   --> tests/main.rs:49:26
[INFO] [stdout]    |
[INFO] [stdout] 49 |         solver.set_logic(rsmt2::Logic::QF_UF).expect("set-logic");
[INFO] [stdout]    |                          ^^^^^ use of undeclared crate or module `rsmt2`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]    |
[INFO] [stdout] 44 +     use rsmt2_zz::Logic;
[INFO] [stdout]    |
[INFO] [stdout] help: if you import `Logic`, refer to it directly
[INFO] [stdout]    |
[INFO] [stdout] 49 -         solver.set_logic(rsmt2::Logic::QF_UF).expect("set-logic");
[INFO] [stdout] 49 +         solver.set_logic(Logic::QF_UF).expect("set-logic");
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `SmtConf`
[INFO] [stdout]   --> tests/main.rs:54:24
[INFO] [stdout]    |
[INFO] [stdout] 54 |         let mut conf = SmtConf::cvc4();
[INFO] [stdout]    |                        ^^^^^^^ use of undeclared type `SmtConf`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout] 44 +     use rsmt2_zz::SmtConf;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Solver`
[INFO] [stdout]   --> tests/main.rs:56:26
[INFO] [stdout]    |
[INFO] [stdout] 56 |         let mut solver = Solver::new(conf, Parser).expect("solver creation");
[INFO] [stdout]    |                          ^^^^^^ use of undeclared type `Solver`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout] 44 +     use rsmt2_zz::Solver;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `SmtConf`
[INFO] [stdout]   --> tests/main.rs:94:20
[INFO] [stdout]    |
[INFO] [stdout] 94 |         let conf = SmtConf::z3();
[INFO] [stdout]    |                    ^^^^^^^ use of undeclared type `SmtConf`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout] 91 +     use rsmt2_zz::SmtConf;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Solver`
[INFO] [stdout]   --> tests/main.rs:95:26
[INFO] [stdout]    |
[INFO] [stdout] 95 |         let mut solver = Solver::new(conf, Parser).expect("solver creation");
[INFO] [stdout]    |                          ^^^^^^ use of undeclared type `Solver`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout] 91 +     use rsmt2_zz::Solver;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rsmt2`
[INFO] [stdout]   --> tests/main.rs:96:26
[INFO] [stdout]    |
[INFO] [stdout] 96 |         solver.set_logic(rsmt2::Logic::QF_UF).expect("set-logic");
[INFO] [stdout]    |                          ^^^^^ use of undeclared crate or module `rsmt2`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]    |
[INFO] [stdout] 91 +     use rsmt2_zz::Logic;
[INFO] [stdout]    |
[INFO] [stdout] help: if you import `Logic`, refer to it directly
[INFO] [stdout]    |
[INFO] [stdout] 96 -         solver.set_logic(rsmt2::Logic::QF_UF).expect("set-logic");
[INFO] [stdout] 96 +         solver.set_logic(Logic::QF_UF).expect("set-logic");
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `SmtConf`
[INFO] [stdout]    --> tests/main.rs:101:24
[INFO] [stdout]     |
[INFO] [stdout] 101 |         let mut conf = SmtConf::z3();
[INFO] [stdout]     |                        ^^^^^^^ use of undeclared type `SmtConf`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 91  +     use rsmt2_zz::SmtConf;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Solver`
[INFO] [stdout]    --> tests/main.rs:103:26
[INFO] [stdout]     |
[INFO] [stdout] 103 |         let mut solver = Solver::new(conf, Parser).expect("solver creation");
[INFO] [stdout]     |                          ^^^^^^ use of undeclared type `Solver`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 91  +     use rsmt2_zz::Solver;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Solver`
[INFO] [stdout]    --> tests/main.rs:132:26
[INFO] [stdout]     |
[INFO] [stdout] 132 |         let mut solver = Solver::default(()).unwrap();
[INFO] [stdout]     |                          ^^^^^^ use of undeclared type `Solver`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 91  +     use rsmt2_zz::Solver;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Solver`
[INFO] [stdout]    --> tests/main.rs:170:32
[INFO] [stdout]     |
[INFO] [stdout] 170 |         let mut solver = match Solver::default(()) {
[INFO] [stdout]     |                                ^^^^^^ use of undeclared type `Solver`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 91  +     use rsmt2_zz::Solver;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `SmtConf`
[INFO] [stdout]    --> tests/main.rs:206:20
[INFO] [stdout]     |
[INFO] [stdout] 206 |         let conf = SmtConf::yices_2();
[INFO] [stdout]     |                    ^^^^^^^ use of undeclared type `SmtConf`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 203 +     use rsmt2_zz::SmtConf;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Solver`
[INFO] [stdout]    --> tests/main.rs:207:26
[INFO] [stdout]     |
[INFO] [stdout] 207 |         let mut solver = Solver::new(conf, Parser).expect("solver creation");
[INFO] [stdout]     |                          ^^^^^^ use of undeclared type `Solver`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 203 +     use rsmt2_zz::Solver;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rsmt2`
[INFO] [stdout]    --> tests/main.rs:208:26
[INFO] [stdout]     |
[INFO] [stdout] 208 |         solver.set_logic(rsmt2::Logic::QF_UF).expect("set-logic");
[INFO] [stdout]     |                          ^^^^^ use of undeclared crate or module `rsmt2`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]     |
[INFO] [stdout] 203 +     use rsmt2_zz::Logic;
[INFO] [stdout]     |
[INFO] [stdout] help: if you import `Logic`, refer to it directly
[INFO] [stdout]     |
[INFO] [stdout] 208 -         solver.set_logic(rsmt2::Logic::QF_UF).expect("set-logic");
[INFO] [stdout] 208 +         solver.set_logic(Logic::QF_UF).expect("set-logic");
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `SmtConf`
[INFO] [stdout]    --> tests/main.rs:213:20
[INFO] [stdout]     |
[INFO] [stdout] 213 |         let conf = SmtConf::yices_2();
[INFO] [stdout]     |                    ^^^^^^^ use of undeclared type `SmtConf`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 203 +     use rsmt2_zz::SmtConf;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Solver`
[INFO] [stdout]    --> tests/main.rs:214:26
[INFO] [stdout]     |
[INFO] [stdout] 214 |         let mut solver = Solver::new(conf, Parser).expect("solver creation");
[INFO] [stdout]     |                          ^^^^^^ use of undeclared type `Solver`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 203 +     use rsmt2_zz::Solver;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Logic`
[INFO] [stdout]    --> tests/main.rs:216:26
[INFO] [stdout]     |
[INFO] [stdout] 216 |         solver.set_logic(Logic::QF_LIA).expect("set-logic");
[INFO] [stdout]     |                          ^^^^^ use of undeclared type `Logic`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]     |
[INFO] [stdout] 203 +     use rsmt2_zz::Logic;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `SmtConf`
[INFO] [stdout]    --> tests/main.rs:259:24
[INFO] [stdout]     |
[INFO] [stdout] 259 |         let mut conf = SmtConf::yices_2();
[INFO] [stdout]     |                        ^^^^^^^ use of undeclared type `SmtConf`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 203 +     use rsmt2_zz::SmtConf;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Solver`
[INFO] [stdout]    --> tests/main.rs:262:32
[INFO] [stdout]     |
[INFO] [stdout] 262 |         let mut solver = match Solver::new(conf, Parser) {
[INFO] [stdout]     |                                ^^^^^^ use of undeclared type `Solver`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 203 +     use rsmt2_zz::Solver;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Logic`
[INFO] [stdout]    --> tests/main.rs:266:26
[INFO] [stdout]     |
[INFO] [stdout] 266 |         solver.set_logic(Logic::QF_LIA).expect("set logic");
[INFO] [stdout]     |                          ^^^^^ use of undeclared type `Logic`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]     |
[INFO] [stdout] 203 +     use rsmt2_zz::Logic;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `SmtConf`
[INFO] [stdout]    --> tests/main.rs:298:16
[INFO] [stdout]     |
[INFO] [stdout] 298 |     let conf = SmtConf::z3();
[INFO] [stdout]     |                ^^^^^^^ use of undeclared type `SmtConf`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 2   + use rsmt2_zz::SmtConf;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Solver`
[INFO] [stdout]    --> tests/main.rs:300:22
[INFO] [stdout]     |
[INFO] [stdout] 300 |     let mut solver = Solver::new(conf, ()).expect("solver");
[INFO] [stdout]     |                      ^^^^^^ use of undeclared type `Solver`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 2   + use rsmt2_zz::Solver;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Logic`
[INFO] [stdout]    --> tests/main.rs:302:22
[INFO] [stdout]     |
[INFO] [stdout] 302 |     solver.set_logic(Logic::QF_UF).expect("QF_UF");
[INFO] [stdout]     |                      ^^^^^ use of undeclared type `Logic`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]     |
[INFO] [stdout] 2   + use rsmt2_zz::Logic;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Logic`
[INFO] [stdout]    --> tests/main.rs:304:22
[INFO] [stdout]     |
[INFO] [stdout] 304 |     solver.set_logic(Logic::QF_LIA).expect("QF_LIA");
[INFO] [stdout]     |                      ^^^^^ use of undeclared type `Logic`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]     |
[INFO] [stdout] 2   + use rsmt2_zz::Logic;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Logic`
[INFO] [stdout]    --> tests/main.rs:306:22
[INFO] [stdout]     |
[INFO] [stdout] 306 |     solver.set_logic(Logic::QF_NIA).expect("QF_NIA");
[INFO] [stdout]     |                      ^^^^^ use of undeclared type `Logic`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]     |
[INFO] [stdout] 2   + use rsmt2_zz::Logic;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Logic`
[INFO] [stdout]    --> tests/main.rs:308:22
[INFO] [stdout]     |
[INFO] [stdout] 308 |     solver.set_logic(Logic::QF_LRA).expect("QF_LRA");
[INFO] [stdout]     |                      ^^^^^ use of undeclared type `Logic`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]     |
[INFO] [stdout] 2   + use rsmt2_zz::Logic;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Logic`
[INFO] [stdout]    --> tests/main.rs:310:22
[INFO] [stdout]     |
[INFO] [stdout] 310 |     solver.set_logic(Logic::QF_AUFLIA).expect("QF_AUFLIA");
[INFO] [stdout]     |                      ^^^^^ use of undeclared type `Logic`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]     |
[INFO] [stdout] 2   + use rsmt2_zz::Logic;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Logic`
[INFO] [stdout]    --> tests/main.rs:312:22
[INFO] [stdout]     |
[INFO] [stdout] 312 |     solver.set_logic(Logic::AUFLIA).expect("AUFLIA");
[INFO] [stdout]     |                      ^^^^^ use of undeclared type `Logic`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]     |
[INFO] [stdout] 2   + use rsmt2_zz::Logic;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Logic`
[INFO] [stdout]    --> tests/main.rs:314:22
[INFO] [stdout]     |
[INFO] [stdout] 314 |     solver.set_logic(Logic::AUFLIRA).expect("AUFLIRA");
[INFO] [stdout]     |                      ^^^^^ use of undeclared type `Logic`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]     |
[INFO] [stdout] 2   + use rsmt2_zz::Logic;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Logic`
[INFO] [stdout]    --> tests/main.rs:316:22
[INFO] [stdout]     |
[INFO] [stdout] 316 |     solver.set_logic(Logic::AUFNIRA).expect("AUFNIRA");
[INFO] [stdout]     |                      ^^^^^ use of undeclared type `Logic`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]     |
[INFO] [stdout] 2   + use rsmt2_zz::Logic;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Logic`
[INFO] [stdout]    --> tests/main.rs:318:22
[INFO] [stdout]     |
[INFO] [stdout] 318 |     solver.set_logic(Logic::LRA).expect("LRA");
[INFO] [stdout]     |                      ^^^^^ use of undeclared type `Logic`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]     |
[INFO] [stdout] 2   + use rsmt2_zz::Logic;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 45 previous errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0405, E0412, E0432, E0433.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0405`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `rsmt2-zz` (test "main") due to 46 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] running `Command { std: "docker" "inspect" "5ac71cdb1d355946c9d5cecf4fb1c4a7afa4edf83f41ef9bd653d40194f58230", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5ac71cdb1d355946c9d5cecf4fb1c4a7afa4edf83f41ef9bd653d40194f58230", kill_on_drop: false }`
[INFO] [stdout] 5ac71cdb1d355946c9d5cecf4fb1c4a7afa4edf83f41ef9bd653d40194f58230
[INFO] testing rsmt2-zz-0.11.1 against beta-2023-12-22 for beta-1.76-1
[INFO] extracting crate rsmt2-zz 0.11.1 into /workspace/builds/worker-3-tc2/source
[INFO] validating manifest of crates.io crate rsmt2-zz 0.11.1 on toolchain beta-2023-12-22
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2023-12-22" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate rsmt2-zz 0.11.1
[INFO] finished tweaking crates.io crate rsmt2-zz 0.11.1
[INFO] tweaked toml for crates.io crate rsmt2-zz 0.11.1 written to /workspace/builds/worker-3-tc2/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2023-12-22" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2023-12-22" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2023-12-22" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] ff4ea131164c917fa21ad2f2c1ca20e30ce694485d1e12b6df587893878fbb90
[INFO] running `Command { std: "docker" "start" "-a" "ff4ea131164c917fa21ad2f2c1ca20e30ce694485d1e12b6df587893878fbb90", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "ff4ea131164c917fa21ad2f2c1ca20e30ce694485d1e12b6df587893878fbb90", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ff4ea131164c917fa21ad2f2c1ca20e30ce694485d1e12b6df587893878fbb90", kill_on_drop: false }`
[INFO] [stdout] ff4ea131164c917fa21ad2f2c1ca20e30ce694485d1e12b6df587893878fbb90
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2023-12-22" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 75e8b35c6ce205fe653f1b961187409d41185e7f4e0ed9a84808b49bc45cb553
[INFO] running `Command { std: "docker" "start" "-a" "75e8b35c6ce205fe653f1b961187409d41185e7f4e0ed9a84808b49bc45cb553", kill_on_drop: false }`
[INFO] [stderr]    Compiling gimli v0.28.1
[INFO] [stderr]    Compiling memchr v2.7.1
[INFO] [stderr]    Compiling rustc-demangle v0.1.23
[INFO] [stderr]    Compiling miniz_oxide v0.7.1
[INFO] [stderr]    Compiling error-chain v0.12.4
[INFO] [stderr]    Compiling backtrace v0.3.69
[INFO] [stderr]    Compiling object v0.32.2
[INFO] [stderr]    Compiling addr2line v0.21.0
[INFO] [stderr]    Compiling rsmt2-zz v0.11.1 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 3.19s
[INFO] running `Command { std: "docker" "inspect" "75e8b35c6ce205fe653f1b961187409d41185e7f4e0ed9a84808b49bc45cb553", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "75e8b35c6ce205fe653f1b961187409d41185e7f4e0ed9a84808b49bc45cb553", kill_on_drop: false }`
[INFO] [stdout] 75e8b35c6ce205fe653f1b961187409d41185e7f4e0ed9a84808b49bc45cb553
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2023-12-22" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 120e689fb66a0b8e7be9863c6f288e7556f26be8985367ed89ed4e4a71de3312
[INFO] running `Command { std: "docker" "start" "-a" "120e689fb66a0b8e7be9863c6f288e7556f26be8985367ed89ed4e4a71de3312", kill_on_drop: false }`
[INFO] [stderr]    Compiling rsmt2-zz v0.11.1 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rsmt2`
[INFO] [stdout]  --> tests/main.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use rsmt2::{parse::*, *};
[INFO] [stdout]   |     ^^^^^ use of undeclared crate or module `rsmt2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rsmt2`
[INFO] [stdout]    --> tests/main.rs:256:13
[INFO] [stdout]     |
[INFO] [stdout] 256 |         use rsmt2::parse::*;
[INFO] [stdout]     |             ^^^^^ use of undeclared crate or module `rsmt2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `rsmt2`
[INFO] [stdout]  --> tests/main.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use rsmt2::{parse::*, *};
[INFO] [stdout]   |     ^^^^^ use of undeclared crate or module `rsmt2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `rsmt2`
[INFO] [stdout]    --> tests/main.rs:257:13
[INFO] [stdout]     |
[INFO] [stdout] 257 |         use rsmt2::*;
[INFO] [stdout]     |             ^^^^^ use of undeclared crate or module `rsmt2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0405]: cannot find trait `ValueParser` in this scope
[INFO] [stdout]   --> tests/main.rs:12:10
[INFO] [stdout]    |
[INFO] [stdout] 12 | impl<'a> ValueParser<Val, &'a str> for Parser {
[INFO] [stdout]    |          ^^^^^^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this trait
[INFO] [stdout]    |
[INFO] [stdout] 2  + use rsmt2_zz::parse::ValueParser;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `SmtRes` in this scope
[INFO] [stdout]   --> tests/main.rs:13:45
[INFO] [stdout]    |
[INFO] [stdout] 13 |     fn parse_value(self, input: &'a str) -> SmtRes<Val> {
[INFO] [stdout]    |                                             ^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this type alias
[INFO] [stdout]    |
[INFO] [stdout] 2  + use rsmt2_zz::SmtRes;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0405]: cannot find trait `ExprParser` in this scope
[INFO] [stdout]   --> tests/main.rs:17:10
[INFO] [stdout]    |
[INFO] [stdout] 17 | impl<'a> ExprParser<Expr, (), &'a str> for Parser {
[INFO] [stdout]    |          ^^^^^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this trait
[INFO] [stdout]    |
[INFO] [stdout] 2  + use rsmt2_zz::parse::ExprParser;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `SmtRes` in this scope
[INFO] [stdout]   --> tests/main.rs:18:51
[INFO] [stdout]    |
[INFO] [stdout] 18 |     fn parse_expr(self, input: &'a str, _: ()) -> SmtRes<Expr> {
[INFO] [stdout]    |                                                   ^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this type alias
[INFO] [stdout]    |
[INFO] [stdout] 2  + use rsmt2_zz::SmtRes;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0405]: cannot find trait `IdentParser` in this scope
[INFO] [stdout]   --> tests/main.rs:22:10
[INFO] [stdout]    |
[INFO] [stdout] 22 | impl<'a> IdentParser<Ident, Typ, &'a str> for Parser {
[INFO] [stdout]    |          ^^^^^^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this trait
[INFO] [stdout]    |
[INFO] [stdout] 2  + use rsmt2_zz::parse::IdentParser;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `SmtRes` in this scope
[INFO] [stdout]   --> tests/main.rs:23:45
[INFO] [stdout]    |
[INFO] [stdout] 23 |     fn parse_ident(self, input: &'a str) -> SmtRes<Ident> {
[INFO] [stdout]    |                                             ^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this type alias
[INFO] [stdout]    |
[INFO] [stdout] 2  + use rsmt2_zz::SmtRes;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `SmtRes` in this scope
[INFO] [stdout]   --> tests/main.rs:26:44
[INFO] [stdout]    |
[INFO] [stdout] 26 |     fn parse_type(self, input: &'a str) -> SmtRes<Typ> {
[INFO] [stdout]    |                                            ^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this type alias
[INFO] [stdout]    |
[INFO] [stdout] 2  + use rsmt2_zz::SmtRes;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0405]: cannot find trait `ModelParser` in this scope
[INFO] [stdout]   --> tests/main.rs:30:10
[INFO] [stdout]    |
[INFO] [stdout] 30 | impl<'a> ModelParser<Ident, Typ, Val, &'a str> for Parser {
[INFO] [stdout]    |          ^^^^^^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this trait
[INFO] [stdout]    |
[INFO] [stdout] 2  + use rsmt2_zz::parse::ModelParser;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `SmtRes` in this scope
[INFO] [stdout]   --> tests/main.rs:37:10
[INFO] [stdout]    |
[INFO] [stdout] 37 |     ) -> SmtRes<Val> {
[INFO] [stdout]    |          ^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this type alias
[INFO] [stdout]    |
[INFO] [stdout] 2  + use rsmt2_zz::SmtRes;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `SmtConf`
[INFO] [stdout]   --> tests/main.rs:47:20
[INFO] [stdout]    |
[INFO] [stdout] 47 |         let conf = SmtConf::cvc4();
[INFO] [stdout]    |                    ^^^^^^^ use of undeclared type `SmtConf`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout] 44 +     use rsmt2_zz::SmtConf;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Solver`
[INFO] [stdout]   --> tests/main.rs:48:26
[INFO] [stdout]    |
[INFO] [stdout] 48 |         let mut solver = Solver::new(conf, Parser).expect("solver creation");
[INFO] [stdout]    |                          ^^^^^^ use of undeclared type `Solver`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout] 44 +     use rsmt2_zz::Solver;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rsmt2`
[INFO] [stdout]   --> tests/main.rs:49:26
[INFO] [stdout]    |
[INFO] [stdout] 49 |         solver.set_logic(rsmt2::Logic::QF_UF).expect("set-logic");
[INFO] [stdout]    |                          ^^^^^ use of undeclared crate or module `rsmt2`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]    |
[INFO] [stdout] 44 +     use rsmt2_zz::Logic;
[INFO] [stdout]    |
[INFO] [stdout] help: if you import `Logic`, refer to it directly
[INFO] [stdout]    |
[INFO] [stdout] 49 -         solver.set_logic(rsmt2::Logic::QF_UF).expect("set-logic");
[INFO] [stdout] 49 +         solver.set_logic(Logic::QF_UF).expect("set-logic");
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `SmtConf`
[INFO] [stdout]   --> tests/main.rs:54:24
[INFO] [stdout]    |
[INFO] [stdout] 54 |         let mut conf = SmtConf::cvc4();
[INFO] [stdout]    |                        ^^^^^^^ use of undeclared type `SmtConf`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout] 44 +     use rsmt2_zz::SmtConf;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Solver`
[INFO] [stdout]   --> tests/main.rs:56:26
[INFO] [stdout]    |
[INFO] [stdout] 56 |         let mut solver = Solver::new(conf, Parser).expect("solver creation");
[INFO] [stdout]    |                          ^^^^^^ use of undeclared type `Solver`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout] 44 +     use rsmt2_zz::Solver;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `SmtConf`
[INFO] [stdout]   --> tests/main.rs:94:20
[INFO] [stdout]    |
[INFO] [stdout] 94 |         let conf = SmtConf::z3();
[INFO] [stdout]    |                    ^^^^^^^ use of undeclared type `SmtConf`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout] 91 +     use rsmt2_zz::SmtConf;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Solver`
[INFO] [stdout]   --> tests/main.rs:95:26
[INFO] [stdout]    |
[INFO] [stdout] 95 |         let mut solver = Solver::new(conf, Parser).expect("solver creation");
[INFO] [stdout]    |                          ^^^^^^ use of undeclared type `Solver`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout] 91 +     use rsmt2_zz::Solver;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rsmt2`
[INFO] [stdout]   --> tests/main.rs:96:26
[INFO] [stdout]    |
[INFO] [stdout] 96 |         solver.set_logic(rsmt2::Logic::QF_UF).expect("set-logic");
[INFO] [stdout]    |                          ^^^^^ use of undeclared crate or module `rsmt2`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]    |
[INFO] [stdout] 91 +     use rsmt2_zz::Logic;
[INFO] [stdout]    |
[INFO] [stdout] help: if you import `Logic`, refer to it directly
[INFO] [stdout]    |
[INFO] [stdout] 96 -         solver.set_logic(rsmt2::Logic::QF_UF).expect("set-logic");
[INFO] [stdout] 96 +         solver.set_logic(Logic::QF_UF).expect("set-logic");
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `SmtConf`
[INFO] [stdout]    --> tests/main.rs:101:24
[INFO] [stdout]     |
[INFO] [stdout] 101 |         let mut conf = SmtConf::z3();
[INFO] [stdout]     |                        ^^^^^^^ use of undeclared type `SmtConf`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 91  +     use rsmt2_zz::SmtConf;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Solver`
[INFO] [stdout]    --> tests/main.rs:103:26
[INFO] [stdout]     |
[INFO] [stdout] 103 |         let mut solver = Solver::new(conf, Parser).expect("solver creation");
[INFO] [stdout]     |                          ^^^^^^ use of undeclared type `Solver`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 91  +     use rsmt2_zz::Solver;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Solver`
[INFO] [stdout]    --> tests/main.rs:132:26
[INFO] [stdout]     |
[INFO] [stdout] 132 |         let mut solver = Solver::default(()).unwrap();
[INFO] [stdout]     |                          ^^^^^^ use of undeclared type `Solver`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 91  +     use rsmt2_zz::Solver;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Solver`
[INFO] [stdout]    --> tests/main.rs:170:32
[INFO] [stdout]     |
[INFO] [stdout] 170 |         let mut solver = match Solver::default(()) {
[INFO] [stdout]     |                                ^^^^^^ use of undeclared type `Solver`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 91  +     use rsmt2_zz::Solver;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `SmtConf`
[INFO] [stdout]    --> tests/main.rs:206:20
[INFO] [stdout]     |
[INFO] [stdout] 206 |         let conf = SmtConf::yices_2();
[INFO] [stdout]     |                    ^^^^^^^ use of undeclared type `SmtConf`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 203 +     use rsmt2_zz::SmtConf;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Solver`
[INFO] [stdout]    --> tests/main.rs:207:26
[INFO] [stdout]     |
[INFO] [stdout] 207 |         let mut solver = Solver::new(conf, Parser).expect("solver creation");
[INFO] [stdout]     |                          ^^^^^^ use of undeclared type `Solver`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 203 +     use rsmt2_zz::Solver;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rsmt2`
[INFO] [stdout]    --> tests/main.rs:208:26
[INFO] [stdout]     |
[INFO] [stdout] 208 |         solver.set_logic(rsmt2::Logic::QF_UF).expect("set-logic");
[INFO] [stdout]     |                          ^^^^^ use of undeclared crate or module `rsmt2`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]     |
[INFO] [stdout] 203 +     use rsmt2_zz::Logic;
[INFO] [stdout]     |
[INFO] [stdout] help: if you import `Logic`, refer to it directly
[INFO] [stdout]     |
[INFO] [stdout] 208 -         solver.set_logic(rsmt2::Logic::QF_UF).expect("set-logic");
[INFO] [stdout] 208 +         solver.set_logic(Logic::QF_UF).expect("set-logic");
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `SmtConf`
[INFO] [stdout]    --> tests/main.rs:213:20
[INFO] [stdout]     |
[INFO] [stdout] 213 |         let conf = SmtConf::yices_2();
[INFO] [stdout]     |                    ^^^^^^^ use of undeclared type `SmtConf`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 203 +     use rsmt2_zz::SmtConf;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Solver`
[INFO] [stdout]    --> tests/main.rs:214:26
[INFO] [stdout]     |
[INFO] [stdout] 214 |         let mut solver = Solver::new(conf, Parser).expect("solver creation");
[INFO] [stdout]     |                          ^^^^^^ use of undeclared type `Solver`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 203 +     use rsmt2_zz::Solver;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Logic`
[INFO] [stdout]    --> tests/main.rs:216:26
[INFO] [stdout]     |
[INFO] [stdout] 216 |         solver.set_logic(Logic::QF_LIA).expect("set-logic");
[INFO] [stdout]     |                          ^^^^^ use of undeclared type `Logic`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]     |
[INFO] [stdout] 203 +     use rsmt2_zz::Logic;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `SmtConf`
[INFO] [stdout]    --> tests/main.rs:259:24
[INFO] [stdout]     |
[INFO] [stdout] 259 |         let mut conf = SmtConf::yices_2();
[INFO] [stdout]     |                        ^^^^^^^ use of undeclared type `SmtConf`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 203 +     use rsmt2_zz::SmtConf;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Solver`
[INFO] [stdout]    --> tests/main.rs:262:32
[INFO] [stdout]     |
[INFO] [stdout] 262 |         let mut solver = match Solver::new(conf, Parser) {
[INFO] [stdout]     |                                ^^^^^^ use of undeclared type `Solver`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 203 +     use rsmt2_zz::Solver;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Logic`
[INFO] [stdout]    --> tests/main.rs:266:26
[INFO] [stdout]     |
[INFO] [stdout] 266 |         solver.set_logic(Logic::QF_LIA).expect("set logic");
[INFO] [stdout]     |                          ^^^^^ use of undeclared type `Logic`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]     |
[INFO] [stdout] 203 +     use rsmt2_zz::Logic;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `SmtConf`
[INFO] [stdout]    --> tests/main.rs:298:16
[INFO] [stdout]     |
[INFO] [stdout] 298 |     let conf = SmtConf::z3();
[INFO] [stdout]     |                ^^^^^^^ use of undeclared type `SmtConf`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 2   + use rsmt2_zz::SmtConf;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Solver`
[INFO] [stdout]    --> tests/main.rs:300:22
[INFO] [stdout]     |
[INFO] [stdout] 300 |     let mut solver = Solver::new(conf, ()).expect("solver");
[INFO] [stdout]     |                      ^^^^^^ use of undeclared type `Solver`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 2   + use rsmt2_zz::Solver;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Logic`
[INFO] [stdout]    --> tests/main.rs:302:22
[INFO] [stdout]     |
[INFO] [stdout] 302 |     solver.set_logic(Logic::QF_UF).expect("QF_UF");
[INFO] [stdout]     |                      ^^^^^ use of undeclared type `Logic`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]     |
[INFO] [stdout] 2   + use rsmt2_zz::Logic;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Logic`
[INFO] [stdout]    --> tests/main.rs:304:22
[INFO] [stdout]     |
[INFO] [stdout] 304 |     solver.set_logic(Logic::QF_LIA).expect("QF_LIA");
[INFO] [stdout]     |                      ^^^^^ use of undeclared type `Logic`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]     |
[INFO] [stdout] 2   + use rsmt2_zz::Logic;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Logic`
[INFO] [stdout]    --> tests/main.rs:306:22
[INFO] [stdout]     |
[INFO] [stdout] 306 |     solver.set_logic(Logic::QF_NIA).expect("QF_NIA");
[INFO] [stdout]     |                      ^^^^^ use of undeclared type `Logic`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]     |
[INFO] [stdout] 2   + use rsmt2_zz::Logic;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Logic`
[INFO] [stdout]    --> tests/main.rs:308:22
[INFO] [stdout]     |
[INFO] [stdout] 308 |     solver.set_logic(Logic::QF_LRA).expect("QF_LRA");
[INFO] [stdout]     |                      ^^^^^ use of undeclared type `Logic`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]     |
[INFO] [stdout] 2   + use rsmt2_zz::Logic;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Logic`
[INFO] [stdout]    --> tests/main.rs:310:22
[INFO] [stdout]     |
[INFO] [stdout] 310 |     solver.set_logic(Logic::QF_AUFLIA).expect("QF_AUFLIA");
[INFO] [stdout]     |                      ^^^^^ use of undeclared type `Logic`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]     |
[INFO] [stdout] 2   + use rsmt2_zz::Logic;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Logic`
[INFO] [stdout]    --> tests/main.rs:312:22
[INFO] [stdout]     |
[INFO] [stdout] 312 |     solver.set_logic(Logic::AUFLIA).expect("AUFLIA");
[INFO] [stdout]     |                      ^^^^^ use of undeclared type `Logic`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]     |
[INFO] [stdout] 2   + use rsmt2_zz::Logic;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Logic`
[INFO] [stdout]    --> tests/main.rs:314:22
[INFO] [stdout]     |
[INFO] [stdout] 314 |     solver.set_logic(Logic::AUFLIRA).expect("AUFLIRA");
[INFO] [stdout]     |                      ^^^^^ use of undeclared type `Logic`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]     |
[INFO] [stdout] 2   + use rsmt2_zz::Logic;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Logic`
[INFO] [stdout]    --> tests/main.rs:316:22
[INFO] [stdout]     |
[INFO] [stdout] 316 |     solver.set_logic(Logic::AUFNIRA).expect("AUFNIRA");
[INFO] [stdout]     |                      ^^^^^ use of undeclared type `Logic`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]     |
[INFO] [stdout] 2   + use rsmt2_zz::Logic;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Logic`
[INFO] [stdout]    --> tests/main.rs:318:22
[INFO] [stdout]     |
[INFO] [stdout] 318 |     solver.set_logic(Logic::LRA).expect("LRA");
[INFO] [stdout]     |                      ^^^^^ use of undeclared type `Logic`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]     |
[INFO] [stdout] 2   + use rsmt2_zz::Logic;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 45 previous errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0405, E0412, E0432, E0433.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0405`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `rsmt2-zz` (test "main") due to 46 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] running `Command { std: "docker" "inspect" "120e689fb66a0b8e7be9863c6f288e7556f26be8985367ed89ed4e4a71de3312", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "120e689fb66a0b8e7be9863c6f288e7556f26be8985367ed89ed4e4a71de3312", kill_on_drop: false }`
[INFO] [stdout] 120e689fb66a0b8e7be9863c6f288e7556f26be8985367ed89ed4e4a71de3312
