[INFO] updating cached repository 2over12/rure
[INFO] running `"git" "fetch" "--all"`
[INFO] [stdout] Fetching origin
[INFO] [stderr] From git://github.com/2over12/rure
[INFO] [stderr]  * branch            HEAD       -> FETCH_HEAD
[INFO] running `"git" "clone" "work/cache/sources/gh/2over12/rure" "work/ex/pr-60039-1/sources/master#e305df1846a6d985315917ae0c81b74af8b4e641/gh/2over12/rure"`
[INFO] [stderr] Cloning into 'work/ex/pr-60039-1/sources/master#e305df1846a6d985315917ae0c81b74af8b4e641/gh/2over12/rure'...
[INFO] [stderr] done.
[INFO] running `"git" "clone" "work/cache/sources/gh/2over12/rure" "work/ex/pr-60039-1/sources/try#99a7498759a22b5684caf798a98b7e90ad9d2443/gh/2over12/rure"`
[INFO] [stderr] Cloning into 'work/ex/pr-60039-1/sources/try#99a7498759a22b5684caf798a98b7e90ad9d2443/gh/2over12/rure'...
[INFO] [stderr] done.
[INFO] running `"git" "rev-parse" "HEAD"`
[INFO] [stdout] b9876493c95d3ead20c41f95ad223ecf7acf8470
[INFO] sha for GitHub repo 2over12/rure: b9876493c95d3ead20c41f95ad223ecf7acf8470
[INFO] validating manifest of 2over12/rure on toolchain master#e305df1846a6d985315917ae0c81b74af8b4e641
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+e305df1846a6d985315917ae0c81b74af8b4e641-alt" "read-manifest" "--manifest-path" "Cargo.toml"`
[INFO] validating manifest of 2over12/rure on toolchain try#99a7498759a22b5684caf798a98b7e90ad9d2443
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+99a7498759a22b5684caf798a98b7e90ad9d2443-alt" "read-manifest" "--manifest-path" "Cargo.toml"`
[INFO] started frobbing 2over12/rure
[INFO] finished frobbing 2over12/rure
[INFO] frobbed toml for 2over12/rure written to work/ex/pr-60039-1/sources/master#e305df1846a6d985315917ae0c81b74af8b4e641/gh/2over12/rure/Cargo.toml
[INFO] started frobbing 2over12/rure
[INFO] finished frobbing 2over12/rure
[INFO] frobbed toml for 2over12/rure written to work/ex/pr-60039-1/sources/try#99a7498759a22b5684caf798a98b7e90ad9d2443/gh/2over12/rure/Cargo.toml
[INFO] crate 2over12/rure already has a lockfile, it will not be regenerated
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+e305df1846a6d985315917ae0c81b74af8b4e641-alt" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+99a7498759a22b5684caf798a98b7e90ad9d2443-alt" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] checking 2over12/rure against try#99a7498759a22b5684caf798a98b7e90ad9d2443 for pr-60039-1
[INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-60039-1/worker-3/try#99a7498759a22b5684caf798a98b7e90ad9d2443:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/pr-60039-1/sources/try#99a7498759a22b5684caf798a98b7e90ad9d2443/gh/2over12/rure:/opt/crater/workdir:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/opt/crater/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/opt/crater/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/opt/crater/workdir" "-e" "MAP_USER_ID=1000" "-e" "CARGO_TARGET_DIR=/opt/crater/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/crater/cargo-home" "-e" "RUSTUP_HOME=/opt/crater/rustup-home" "-w" "/opt/crater/workdir" "-m" "1536M" "--network" "none" "rustops/crates-build-env" "/opt/crater/cargo-home/bin/cargo" "+99a7498759a22b5684caf798a98b7e90ad9d2443-alt" "check" "--frozen" "--all" "--all-targets"`
[INFO] [stdout] bc7827a9a3063f56656c6734c7a444be9fb1edca8a23910f1173bcde20039e39
[INFO] running `"docker" "start" "-a" "bc7827a9a3063f56656c6734c7a444be9fb1edca8a23910f1173bcde20039e39"`
[INFO] [stderr]    Compiling compiletest_rs v0.3.19
[INFO] [stderr]     Checking tester v0.5.0
[INFO] [stderr]     Checking rsmt2 v0.10.0
[INFO] [stderr]     Checking rustfix v0.4.4
[INFO] [stderr]     Checking rure v0.1.0 (/opt/crater/workdir)
[INFO] [stderr] warning: unused import: `analysis_passes::AnalysisHandler`
[INFO] [stderr]  --> src/exec/driver/mod.rs:3:5
[INFO] [stderr]   |
[INFO] [stderr] 3 | use analysis_passes::AnalysisHandler;
[INFO] [stderr]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: #[warn(unused_imports)] on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unreachable pattern
[INFO] [stderr]    --> src/exec/driver/analysis_passes/symb_exec/mod.rs:179:5
[INFO] [stderr]     |
[INFO] [stderr] 179 |                 _  => unimplemented!()
[INFO] [stderr]     |                 ^
[INFO] [stderr]     |
[INFO] [stderr]     = note: #[warn(unreachable_patterns)] on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `errors`
[INFO] [stderr]   --> src/exec/driver/mod.rs:33:21
[INFO] [stderr]    |
[INFO] [stderr] 33 |                 let errors = pass_handler.run_all_analyses();
[INFO] [stderr]    |                     ^^^^^^ help: consider prefixing with an underscore: `_errors`
[INFO] [stderr]    |
[INFO] [stderr]    = note: #[warn(unused_variables)] on by default
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `AssertiveOk`
[INFO] [stderr]   --> src/exec/driver/analysis_passes/mod.rs:19:2
[INFO] [stderr]    |
[INFO] [stderr] 19 |     AssertiveOk,
[INFO] [stderr]    |     ^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: #[warn(dead_code)] on by default
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `AssertiveError`
[INFO] [stderr]   --> src/exec/driver/analysis_passes/mod.rs:20:2
[INFO] [stderr]    |
[INFO] [stderr] 20 |     AssertiveError(ErrorInfo),
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Nondefinitive`
[INFO] [stderr]   --> src/exec/driver/analysis_passes/mod.rs:21:2
[INFO] [stderr]    |
[INFO] [stderr] 21 |     Nondefinitive,
[INFO] [stderr]    |     ^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `start`
[INFO] [stderr]   --> src/exec/driver/analysis_passes/mod.rs:26:2
[INFO] [stderr]    |
[INFO] [stderr] 26 |     start: DefId,
[INFO] [stderr]    |     ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `ctx`
[INFO] [stderr]   --> src/exec/driver/analysis_passes/mod.rs:28:2
[INFO] [stderr]    |
[INFO] [stderr] 28 |     ctx: &'a TyCtxt<'a,'gcx,'tcx>,
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variable `ExecutionConfig` should have a snake case name
[INFO] [stderr]   --> src/lib.rs:13:9
[INFO] [stderr]    |
[INFO] [stderr] 13 |     let ExecutionConfig = ExecutionConfig::new();
[INFO] [stderr]    |         ^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `execution_config`
[INFO] [stderr]    |
[INFO] [stderr]    = note: #[warn(non_snake_case)] on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]    --> src/exec/driver/analysis_passes/sir/mod.rs:137:3
[INFO] [stderr]     |
[INFO] [stderr] 137 |         write!(w, "{}", self.0.to_id());
[INFO] [stderr]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: #[warn(unused_must_use)] on by default
[INFO] [stderr]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr]     = note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]    --> src/exec/driver/analysis_passes/sir/mod.rs:145:3
[INFO] [stderr]     |
[INFO] [stderr] 145 |           match self.1 {
[INFO] [stderr]     |  _________^
[INFO] [stderr] 146 | |             SymTy::Integer(_) => write!(w,"Int"),
[INFO] [stderr] 147 | |             SymTy::Bool(_) => write!(w,"Bool")
[INFO] [stderr] 148 | |         };
[INFO] [stderr]     | |__________^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]    --> src/exec/driver/analysis_passes/sir/mod.rs:157:4
[INFO] [stderr]     |
[INFO] [stderr] 157 |             write!(w,"(=> ");
[INFO] [stderr]     |             ^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr]     = note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]    --> src/exec/driver/analysis_passes/sir/mod.rs:162:3
[INFO] [stderr]     |
[INFO] [stderr] 162 |         write!(w,"(and true ");
[INFO] [stderr]     |         ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr]     = note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]    --> src/exec/driver/analysis_passes/sir/mod.rs:172:3
[INFO] [stderr]     |
[INFO] [stderr] 172 |         write!(w,")");
[INFO] [stderr]     |         ^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr]     = note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]    --> src/exec/driver/analysis_passes/sir/mod.rs:175:4
[INFO] [stderr]     |
[INFO] [stderr] 175 |             write!(w,")");
[INFO] [stderr]     |             ^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr]     = note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]    --> src/exec/driver/analysis_passes/sir/mod.rs:187:22
[INFO] [stderr]     |
[INFO] [stderr] 187 |             Expr::Ref(nm) => {write!(w,"{} ",nm.to_id());},
[INFO] [stderr]     |                               ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr]     = note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]    --> src/exec/driver/analysis_passes/sir/mod.rs:189:5
[INFO] [stderr]     |
[INFO] [stderr] 189 |                 write!(w,"(");
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr]     = note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]    --> src/exec/driver/analysis_passes/sir/mod.rs:190:5
[INFO] [stderr]     |
[INFO] [stderr] 190 |                 op.expr_to_smt2(w, ());
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]    --> src/exec/driver/analysis_passes/sir/mod.rs:191:5
[INFO] [stderr]     |
[INFO] [stderr] 191 |                 rand.expr_to_smt2(w,());
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]    --> src/exec/driver/analysis_passes/sir/mod.rs:192:5
[INFO] [stderr]     |
[INFO] [stderr] 192 |                 write!(w,")");
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr]     = note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]    --> src/exec/driver/analysis_passes/sir/mod.rs:195:5
[INFO] [stderr]     |
[INFO] [stderr] 195 |                 write!(w,"(");
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr]     = note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]    --> src/exec/driver/analysis_passes/sir/mod.rs:196:5
[INFO] [stderr]     |
[INFO] [stderr] 196 |                 op.expr_to_smt2(w, ());
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]    --> src/exec/driver/analysis_passes/sir/mod.rs:197:5
[INFO] [stderr]     |
[INFO] [stderr] 197 |                 rand1.expr_to_smt2(w,());
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]    --> src/exec/driver/analysis_passes/sir/mod.rs:198:5
[INFO] [stderr]     |
[INFO] [stderr] 198 |                 rand2.expr_to_smt2(w,());
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]    --> src/exec/driver/analysis_passes/sir/mod.rs:201:6
[INFO] [stderr]     |
[INFO] [stderr] 201 |                     write!(w,")");
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr]     = note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]    --> src/exec/driver/analysis_passes/sir/mod.rs:203:5
[INFO] [stderr]     |
[INFO] [stderr] 203 |                 write!(w,")");
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr]     = note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]    --> src/exec/driver/analysis_passes/sir/mod.rs:206:5
[INFO] [stderr]     |
[INFO] [stderr] 206 |                 val.expr_to_smt2(w,());
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]    --> src/exec/driver/analysis_passes/sir/mod.rs:216:3
[INFO] [stderr]     |
[INFO] [stderr] 216 |           write!(w,"{}", match self {
[INFO] [stderr]     |  _________^
[INFO] [stderr] 217 | |             Rator::Eq => "=",
[INFO] [stderr] 218 | |             Rator::Add => "+",
[INFO] [stderr] 219 | |             Rator::And => "and",
[INFO] [stderr] ...   |
[INFO] [stderr] 230 | |             Rator::Sub => "-",
[INFO] [stderr] 231 | |         });
[INFO] [stderr]     | |___________^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr]     = note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]    --> src/exec/driver/analysis_passes/sir/mod.rs:232:3
[INFO] [stderr]     |
[INFO] [stderr] 232 |         write!(w," ");
[INFO] [stderr]     |         ^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr]     = note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]    --> src/exec/driver/analysis_passes/sir/mod.rs:242:6
[INFO] [stderr]     |
[INFO] [stderr] 242 |                     write!(w,"true ");
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr]     = note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]    --> src/exec/driver/analysis_passes/sir/mod.rs:244:6
[INFO] [stderr]     |
[INFO] [stderr] 244 |                     write!(w,"false ");
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr]     = note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]    --> src/exec/driver/analysis_passes/sir/mod.rs:248:5
[INFO] [stderr]     |
[INFO] [stderr] 248 |                 write!(w,"{} ",num);
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr]     = note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]   --> src/exec/driver/analysis_passes/smt/mod.rs:17:3
[INFO] [stderr]    |
[INFO] [stderr] 17 |         write!(&mut out,"(declare-fun ");
[INFO] [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr]    = note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]   --> src/exec/driver/analysis_passes/smt/mod.rs:18:3
[INFO] [stderr]    |
[INFO] [stderr] 18 |         decl.sym_to_smt2(&mut out, ());
[INFO] [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]   --> src/exec/driver/analysis_passes/smt/mod.rs:19:3
[INFO] [stderr]    |
[INFO] [stderr] 19 |         write!(&mut out," () ");
[INFO] [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr]    = note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]   --> src/exec/driver/analysis_passes/smt/mod.rs:20:3
[INFO] [stderr]    |
[INFO] [stderr] 20 |         decl.sort_to_smt2(&mut out);
[INFO] [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]   --> src/exec/driver/analysis_passes/smt/mod.rs:21:3
[INFO] [stderr]    |
[INFO] [stderr] 21 |         write!(&mut out," )");
[INFO] [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr]    = note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]   --> src/exec/driver/analysis_passes/smt/mod.rs:22:3
[INFO] [stderr]    |
[INFO] [stderr] 22 |         write!(&mut out, "\n");
[INFO] [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr]    = note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]   --> src/exec/driver/analysis_passes/smt/mod.rs:26:2
[INFO] [stderr]    |
[INFO] [stderr] 26 |     nd.expr_to_smt2(&mut out, ());
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]   --> src/exec/driver/analysis_passes/smt/mod.rs:27:2
[INFO] [stderr]    |
[INFO] [stderr] 27 |     out.flush();
[INFO] [stderr]    |     ^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `analysis_passes::AnalysisHandler`
[INFO] [stderr]  --> src/exec/driver/mod.rs:3:5
[INFO] [stderr]   |
[INFO] [stderr] 3 | use analysis_passes::AnalysisHandler;
[INFO] [stderr]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: #[warn(unused_imports)] on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unreachable pattern
[INFO] [stderr]    --> src/exec/driver/analysis_passes/symb_exec/mod.rs:179:5
[INFO] [stderr]     |
[INFO] [stderr] 179 |                 _  => unimplemented!()
[INFO] [stderr]     |                 ^
[INFO] [stderr]     |
[INFO] [stderr]     = note: #[warn(unreachable_patterns)] on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `errors`
[INFO] [stderr]   --> src/exec/driver/mod.rs:33:21
[INFO] [stderr]    |
[INFO] [stderr] 33 |                 let errors = pass_handler.run_all_analyses();
[INFO] [stderr]    |                     ^^^^^^ help: consider prefixing with an underscore: `_errors`
[INFO] [stderr]    |
[INFO] [stderr]    = note: #[warn(unused_variables)] on by default
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `AssertiveOk`
[INFO] [stderr]   --> src/exec/driver/analysis_passes/mod.rs:19:2
[INFO] [stderr]    |
[INFO] [stderr] 19 |     AssertiveOk,
[INFO] [stderr]    |     ^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: #[warn(dead_code)] on by default
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `AssertiveError`
[INFO] [stderr]   --> src/exec/driver/analysis_passes/mod.rs:20:2
[INFO] [stderr]    |
[INFO] [stderr] 20 |     AssertiveError(ErrorInfo),
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Nondefinitive`
[INFO] [stderr]   --> src/exec/driver/analysis_passes/mod.rs:21:2
[INFO] [stderr]    |
[INFO] [stderr] 21 |     Nondefinitive,
[INFO] [stderr]    |     ^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `start`
[INFO] [stderr]   --> src/exec/driver/analysis_passes/mod.rs:26:2
[INFO] [stderr]    |
[INFO] [stderr] 26 |     start: DefId,
[INFO] [stderr]    |     ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never used: `ctx`
[INFO] [stderr]   --> src/exec/driver/analysis_passes/mod.rs:28:2
[INFO] [stderr]    |
[INFO] [stderr] 28 |     ctx: &'a TyCtxt<'a,'gcx,'tcx>,
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variable `ExecutionConfig` should have a snake case name
[INFO] [stderr]   --> src/lib.rs:13:9
[INFO] [stderr]    |
[INFO] [stderr] 13 |     let ExecutionConfig = ExecutionConfig::new();
[INFO] [stderr]    |         ^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `execution_config`
[INFO] [stderr]    |
[INFO] [stderr]    = note: #[warn(non_snake_case)] on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]    --> src/exec/driver/analysis_passes/sir/mod.rs:137:3
[INFO] [stderr]     |
[INFO] [stderr] 137 |         write!(w, "{}", self.0.to_id());
[INFO] [stderr]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: #[warn(unused_must_use)] on by default
[INFO] [stderr]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr]     = note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]    --> src/exec/driver/analysis_passes/sir/mod.rs:145:3
[INFO] [stderr]     |
[INFO] [stderr] 145 |           match self.1 {
[INFO] [stderr]     |  _________^
[INFO] [stderr] 146 | |             SymTy::Integer(_) => write!(w,"Int"),
[INFO] [stderr] 147 | |             SymTy::Bool(_) => write!(w,"Bool")
[INFO] [stderr] 148 | |         };
[INFO] [stderr]     | |__________^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]    --> src/exec/driver/analysis_passes/sir/mod.rs:157:4
[INFO] [stderr]     |
[INFO] [stderr] 157 |             write!(w,"(=> ");
[INFO] [stderr]     |             ^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr]     = note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]    --> src/exec/driver/analysis_passes/sir/mod.rs:162:3
[INFO] [stderr]     |
[INFO] [stderr] 162 |         write!(w,"(and true ");
[INFO] [stderr]     |         ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr]     = note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]    --> src/exec/driver/analysis_passes/sir/mod.rs:172:3
[INFO] [stderr]     |
[INFO] [stderr] 172 |         write!(w,")");
[INFO] [stderr]     |         ^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr]     = note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]    --> src/exec/driver/analysis_passes/sir/mod.rs:175:4
[INFO] [stderr]     |
[INFO] [stderr] 175 |             write!(w,")");
[INFO] [stderr]     |             ^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr]     = note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]    --> src/exec/driver/analysis_passes/sir/mod.rs:187:22
[INFO] [stderr]     |
[INFO] [stderr] 187 |             Expr::Ref(nm) => {write!(w,"{} ",nm.to_id());},
[INFO] [stderr]     |                               ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr]     = note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]    --> src/exec/driver/analysis_passes/sir/mod.rs:189:5
[INFO] [stderr]     |
[INFO] [stderr] 189 |                 write!(w,"(");
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr]     = note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]    --> src/exec/driver/analysis_passes/sir/mod.rs:190:5
[INFO] [stderr]     |
[INFO] [stderr] 190 |                 op.expr_to_smt2(w, ());
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]    --> src/exec/driver/analysis_passes/sir/mod.rs:191:5
[INFO] [stderr]     |
[INFO] [stderr] 191 |                 rand.expr_to_smt2(w,());
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]    --> src/exec/driver/analysis_passes/sir/mod.rs:192:5
[INFO] [stderr]     |
[INFO] [stderr] 192 |                 write!(w,")");
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr]     = note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]    --> src/exec/driver/analysis_passes/sir/mod.rs:195:5
[INFO] [stderr]     |
[INFO] [stderr] 195 |                 write!(w,"(");
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr]     = note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]    --> src/exec/driver/analysis_passes/sir/mod.rs:196:5
[INFO] [stderr]     |
[INFO] [stderr] 196 |                 op.expr_to_smt2(w, ());
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]    --> src/exec/driver/analysis_passes/sir/mod.rs:197:5
[INFO] [stderr]     |
[INFO] [stderr] 197 |                 rand1.expr_to_smt2(w,());
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]    --> src/exec/driver/analysis_passes/sir/mod.rs:198:5
[INFO] [stderr]     |
[INFO] [stderr] 198 |                 rand2.expr_to_smt2(w,());
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]    --> src/exec/driver/analysis_passes/sir/mod.rs:201:6
[INFO] [stderr]     |
[INFO] [stderr] 201 |                     write!(w,")");
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr]     = note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]    --> src/exec/driver/analysis_passes/sir/mod.rs:203:5
[INFO] [stderr]     |
[INFO] [stderr] 203 |                 write!(w,")");
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr]     = note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]    --> src/exec/driver/analysis_passes/sir/mod.rs:206:5
[INFO] [stderr]     |
[INFO] [stderr] 206 |                 val.expr_to_smt2(w,());
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]    --> src/exec/driver/analysis_passes/sir/mod.rs:216:3
[INFO] [stderr]     |
[INFO] [stderr] 216 |           write!(w,"{}", match self {
[INFO] [stderr]     |  _________^
[INFO] [stderr] 217 | |             Rator::Eq => "=",
[INFO] [stderr] 218 | |             Rator::Add => "+",
[INFO] [stderr] 219 | |             Rator::And => "and",
[INFO] [stderr] ...   |
[INFO] [stderr] 230 | |             Rator::Sub => "-",
[INFO] [stderr] 231 | |         });
[INFO] [stderr]     | |___________^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr]     = note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]    --> src/exec/driver/analysis_passes/sir/mod.rs:232:3
[INFO] [stderr]     |
[INFO] [stderr] 232 |         write!(w," ");
[INFO] [stderr]     |         ^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr]     = note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]    --> src/exec/driver/analysis_passes/sir/mod.rs:242:6
[INFO] [stderr]     |
[INFO] [stderr] 242 |                     write!(w,"true ");
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr]     = note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]    --> src/exec/driver/analysis_passes/sir/mod.rs:244:6
[INFO] [stderr]     |
[INFO] [stderr] 244 |                     write!(w,"false ");
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr]     = note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]    --> src/exec/driver/analysis_passes/sir/mod.rs:248:5
[INFO] [stderr]     |
[INFO] [stderr] 248 |                 write!(w,"{} ",num);
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr]     = note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]   --> src/exec/driver/analysis_passes/smt/mod.rs:17:3
[INFO] [stderr]    |
[INFO] [stderr] 17 |         write!(&mut out,"(declare-fun ");
[INFO] [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr]    = note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]   --> src/exec/driver/analysis_passes/smt/mod.rs:18:3
[INFO] [stderr]    |
[INFO] [stderr] 18 |         decl.sym_to_smt2(&mut out, ());
[INFO] [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]   --> src/exec/driver/analysis_passes/smt/mod.rs:19:3
[INFO] [stderr]    |
[INFO] [stderr] 19 |         write!(&mut out," () ");
[INFO] [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr]    = note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]   --> src/exec/driver/analysis_passes/smt/mod.rs:20:3
[INFO] [stderr]    |
[INFO] [stderr] 20 |         decl.sort_to_smt2(&mut out);
[INFO] [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]   --> src/exec/driver/analysis_passes/smt/mod.rs:21:3
[INFO] [stderr]    |
[INFO] [stderr] 21 |         write!(&mut out," )");
[INFO] [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr]    = note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]   --> src/exec/driver/analysis_passes/smt/mod.rs:22:3
[INFO] [stderr]    |
[INFO] [stderr] 22 |         write!(&mut out, "\n");
[INFO] [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr]    = note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]   --> src/exec/driver/analysis_passes/smt/mod.rs:26:2
[INFO] [stderr]    |
[INFO] [stderr] 26 |     nd.expr_to_smt2(&mut out, ());
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr] 
[INFO] [stderr] warning: unused `std::result::Result` that must be used
[INFO] [stderr]   --> src/exec/driver/analysis_passes/smt/mod.rs:27:2
[INFO] [stderr]    |
[INFO] [stderr] 27 |     out.flush();
[INFO] [stderr]    |     ^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 19.48s
[INFO] running `"docker" "inspect" "bc7827a9a3063f56656c6734c7a444be9fb1edca8a23910f1173bcde20039e39"`
[INFO] running `"docker" "rm" "-f" "bc7827a9a3063f56656c6734c7a444be9fb1edca8a23910f1173bcde20039e39"`
[INFO] [stdout] bc7827a9a3063f56656c6734c7a444be9fb1edca8a23910f1173bcde20039e39