[INFO] fetching crate rsmt2-zz 0.11.1...
[INFO] checking rsmt2-zz-0.11.1 against master#a609fb45efad59dfd459c76e50899be9f0583b5a for pr-80579
[INFO] extracting crate rsmt2-zz 0.11.1 into /workspace/builds/worker-6/source
[INFO] validating manifest of crates.io crate rsmt2-zz 0.11.1 on toolchain a609fb45efad59dfd459c76e50899be9f0583b5a
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+a609fb45efad59dfd459c76e50899be9f0583b5a" "read-manifest" "--manifest-path" "Cargo.toml", 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-6/source/Cargo.toml
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+a609fb45efad59dfd459c76e50899be9f0583b5a" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update", kill_on_drop: false }`
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+a609fb45efad59dfd459c76e50899be9f0583b5a" "fetch" "--locked" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "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" "rustops/crates-build-env@sha256:c8ac004eab7d63a0ad09a2dde3d3353ba464f767bee4de425dc8f74c46a1905e" "/opt/rustwide/cargo-home/bin/cargo" "+a609fb45efad59dfd459c76e50899be9f0583b5a" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 1d6f82fe6cd9d11c37a53c4fe0c46beb68a2cac1adf4f4bee5ee4726ea3e7162
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "1d6f82fe6cd9d11c37a53c4fe0c46beb68a2cac1adf4f4bee5ee4726ea3e7162", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "1d6f82fe6cd9d11c37a53c4fe0c46beb68a2cac1adf4f4bee5ee4726ea3e7162", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1d6f82fe6cd9d11c37a53c4fe0c46beb68a2cac1adf4f4bee5ee4726ea3e7162", kill_on_drop: false }`
[INFO] [stdout] 1d6f82fe6cd9d11c37a53c4fe0c46beb68a2cac1adf4f4bee5ee4726ea3e7162
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "rustops/crates-build-env@sha256:c8ac004eab7d63a0ad09a2dde3d3353ba464f767bee4de425dc8f74c46a1905e" "/opt/rustwide/cargo-home/bin/cargo" "+a609fb45efad59dfd459c76e50899be9f0583b5a" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] e61af0e7fd873601669e3f19d0552fd5dcfe053c6d4706ada46a058b3ad617b8
[INFO] running `Command { std: "docker" "start" "-a" "e61af0e7fd873601669e3f19d0552fd5dcfe053c6d4706ada46a058b3ad617b8", kill_on_drop: false }`
[INFO] [stderr]     Checking gimli v0.23.0
[INFO] [stderr]     Checking adler v0.2.3
[INFO] [stderr]     Checking rustc-demangle v0.1.18
[INFO] [stderr]     Checking object v0.22.0
[INFO] [stderr]    Compiling miniz_oxide v0.4.3
[INFO] [stderr]    Compiling error-chain v0.12.4
[INFO] [stderr]     Checking addr2line v0.14.1
[INFO] [stderr]     Checking backtrace v0.3.55
[INFO] [stderr]     Checking 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 imports `rsmt2::parse::*`, `rsmt2`, `rsmt2::parse::*`
[INFO] [stdout]    --> tests/main.rs:3:5
[INFO] [stdout]     |
[INFO] [stdout] 3   | use rsmt2::{parse::*, *};
[INFO] [stdout]     |     ^^^^^   ^^^^^^^^
[INFO] [stdout]     |     |
[INFO] [stdout]     |     use of undeclared crate or module `rsmt2`
[INFO] [stdout] ...
[INFO] [stdout] 256 |         use rsmt2::parse::*;
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^
[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[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] 
[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] 
[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] 
[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] 
[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] 
[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] 
[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] 
[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] 
[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] 
[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] 
[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] 
[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] 
[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] 
[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] 
[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]    |                    ^^^^^^^ not found in this scope
[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]    |                          ^^^^^^ not found in this scope
[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:54:24
[INFO] [stdout]    |
[INFO] [stdout] 54 |         let mut conf = SmtConf::cvc4();
[INFO] [stdout]    |                        ^^^^^^^ not found in this scope
[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]    |                          ^^^^^^ not found in this scope
[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]    |                    ^^^^^^^ not found in this scope
[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]    |                          ^^^^^^ not found in this scope
[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:101:24
[INFO] [stdout]     |
[INFO] [stdout] 101 |         let mut conf = SmtConf::z3();
[INFO] [stdout]     |                        ^^^^^^^ not found in this scope
[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]     |                          ^^^^^^ not found in this scope
[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]     |                          ^^^^^^ not found in this scope
[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]     |                                ^^^^^^ not found in this scope
[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]     |                    ^^^^^^^ not found in this scope
[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]     |                          ^^^^^^ not found in this scope
[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 `SmtConf`
[INFO] [stdout]    --> tests/main.rs:213:20
[INFO] [stdout]     |
[INFO] [stdout] 213 |         let conf = SmtConf::yices_2();
[INFO] [stdout]     |                    ^^^^^^^ not found in this scope
[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]     |                          ^^^^^^ not found in this scope
[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 `SmtConf`
[INFO] [stdout]    --> tests/main.rs:259:24
[INFO] [stdout]     |
[INFO] [stdout] 259 |         let mut conf = SmtConf::yices_2();
[INFO] [stdout]     |                        ^^^^^^^ not found in this scope
[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]     |                                ^^^^^^ not found in this scope
[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 `SmtConf`
[INFO] [stdout]    --> tests/main.rs:298:16
[INFO] [stdout]     |
[INFO] [stdout] 298 |     let conf = SmtConf::z3();
[INFO] [stdout]     |                ^^^^^^^ not found in this scope
[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]     |                      ^^^^^^ not found in this scope
[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: 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`
[INFO] [stderr] 
[INFO] [stderr] To learn more, run the command again with --verbose.
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stderr] error: build failed
[INFO] running `Command { std: "docker" "inspect" "e61af0e7fd873601669e3f19d0552fd5dcfe053c6d4706ada46a058b3ad617b8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e61af0e7fd873601669e3f19d0552fd5dcfe053c6d4706ada46a058b3ad617b8", kill_on_drop: false }`
[INFO] [stdout] e61af0e7fd873601669e3f19d0552fd5dcfe053c6d4706ada46a058b3ad617b8