Sep 21 03:48:17.666 INFO checking rustproof-libsmt-0.1.0 against master#f7f4c500b46603386e940f116b469c7adc043a6d for pr-54394
Sep 21 03:48:17.666 INFO running: cargo +f7f4c500b46603386e940f116b469c7adc043a6d-alt check --frozen --all --all-targets
Sep 21 03:48:17.666 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-7/pr-54394/master#f7f4c500b46603386e940f116b469c7adc043a6d:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-54394/worker-7/master#f7f4c500b46603386e940f116b469c7adc043a6d:/target:rw,Z" "-v" "/home/ec2-user/crater/./work/local/cargo-home:/cargo-home:ro,Z" "-v" "/home/ec2-user/crater/./work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "CMD=cargo +f7f4c500b46603386e940f116b469c7adc043a6d-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "1536M" "crater"`
Sep 21 03:48:17.896 INFO blam! e999bc6f43242257db5180425a22e252620da2090427faa06e343ae6d63bd9a0
Sep 21 03:48:17.898 INFO running `"docker" "start" "-a" "e999bc6f43242257db5180425a22e252620da2090427faa06e343ae6d63bd9a0"`
Sep 21 03:48:18.866 INFO kablam! usermod: no changes
Sep 21 03:48:18.933 INFO kablam!     Checking rustproof-libsmt v0.1.0 (/source)
Sep 21 03:48:20.058 INFO kablam! warning: variable does not need to be mutable
Sep 21 03:48:20.058 INFO kablam!    --> src/backends/smtlib2.rs:257:13
Sep 21 03:48:20.058 INFO kablam!     |
Sep 21 03:48:20.058 INFO kablam! 257 |         let mut result = HashMap::new();
Sep 21 03:48:20.058 INFO kablam!     |             ----^^^^^^
Sep 21 03:48:20.058 INFO kablam!     |             |
Sep 21 03:48:20.058 INFO kablam!     |             help: remove this `mut`
Sep 21 03:48:20.058 INFO kablam!     |
Sep 21 03:48:20.058 INFO kablam!     = note: #[warn(unused_mut)] on by default
Sep 21 03:48:20.058 INFO kablam! 
Sep 21 03:48:20.066 INFO kablam! warning: type `QF_BV_Sorts` should have a camel case name such as `QfBvSorts`
Sep 21 03:48:20.066 INFO kablam!   --> src/logics/utils.rs:7:9
Sep 21 03:48:20.066 INFO kablam!    |
Sep 21 03:48:20.066 INFO kablam! 7  |  /         pub enum $logic {
Sep 21 03:48:20.066 INFO kablam! 8  |  |             $(
Sep 21 03:48:20.067 INFO kablam! 9  |  |                 $variant($sort),
Sep 21 03:48:20.067 INFO kablam! 10 |  |             )*
Sep 21 03:48:20.067 INFO kablam! 11 |  |         }
Sep 21 03:48:20.067 INFO kablam!    |  |_________^
Sep 21 03:48:20.067 INFO kablam!    | 
Sep 21 03:48:20.067 INFO kablam!   ::: src/logics/qf_bv.rs:11:1
Sep 21 03:48:20.067 INFO kablam!    |
Sep 21 03:48:20.067 INFO kablam! 11 | /  define_sorts_for_logic!(QF_BV_Sorts,
Sep 21 03:48:20.067 INFO kablam! 12 | |                    BV -> bitvec::Sorts,
Sep 21 03:48:20.067 INFO kablam! 13 | |                    Core -> core::Sorts
Sep 21 03:48:20.067 INFO kablam! 14 | |                   );
Sep 21 03:48:20.067 INFO kablam!    | |____________________- in this macro invocation
Sep 21 03:48:20.067 INFO kablam!    |
Sep 21 03:48:20.067 INFO kablam!    = note: #[warn(non_camel_case_types)] on by default
Sep 21 03:48:20.067 INFO kablam! 
Sep 21 03:48:20.067 INFO kablam! warning: type `QF_BV_Fn` should have a camel case name such as `QfBvFn`
Sep 21 03:48:20.067 INFO kablam!   --> src/logics/utils.rs:38:9
Sep 21 03:48:20.067 INFO kablam!    |
Sep 21 03:48:20.067 INFO kablam! 38 | /         pub enum $logic {
Sep 21 03:48:20.067 INFO kablam! 39 | |             $(
Sep 21 03:48:20.067 INFO kablam! 40 | |                 $variant($sort),
Sep 21 03:48:20.067 INFO kablam! 41 | |             )*
Sep 21 03:48:20.067 INFO kablam! 42 | |         }
Sep 21 03:48:20.067 INFO kablam!    | |_________^
Sep 21 03:48:20.067 INFO kablam!    | 
Sep 21 03:48:20.067 INFO kablam!   ::: src/logics/qf_bv.rs:16:1
Sep 21 03:48:20.067 INFO kablam!    |
Sep 21 03:48:20.067 INFO kablam! 16 | / define_fns_for_logic!(QF_BV_Fn,
Sep 21 03:48:20.067 INFO kablam! 17 | |                       BVOps -> bitvec::OpCodes,
Sep 21 03:48:20.067 INFO kablam! 18 | |                       CoreOps -> core::OpCodes
Sep 21 03:48:20.067 INFO kablam! 19 | |                      );
Sep 21 03:48:20.067 INFO kablam!    | |_______________________- in this macro invocation
Sep 21 03:48:20.067 INFO kablam! 
Sep 21 03:48:20.067 INFO kablam! warning: type `QF_BV` should have a camel case name such as `QfBv`
Sep 21 03:48:20.067 INFO kablam!   --> src/logics/utils.rs:87:9
Sep 21 03:48:20.067 INFO kablam!    |
Sep 21 03:48:20.067 INFO kablam! 87 |           pub struct $logic;
Sep 21 03:48:20.067 INFO kablam!    |           ^^^^^^^^^^^^^^^^^^
Sep 21 03:48:20.067 INFO kablam!    | 
Sep 21 03:48:20.067 INFO kablam!   ::: src/logics/qf_bv.rs:21:1
Sep 21 03:48:20.067 INFO kablam!    |
Sep 21 03:48:20.067 INFO kablam! 21 | / define_logic!(QF_BV,
Sep 21 03:48:20.067 INFO kablam! 22 | |               QF_BV_Fn,
Sep 21 03:48:20.067 INFO kablam! 23 | |               QF_BV_Sorts,
Sep 21 03:48:20.067 INFO kablam! 24 | |               map {
Sep 21 03:48:20.067 INFO kablam! 25 | |                   QF_BV_Sorts::BV(_) => bitvec::OpCodes::FreeVar
Sep 21 03:48:20.067 INFO kablam! 26 | |               }
Sep 21 03:48:20.067 INFO kablam! 27 | |              );
Sep 21 03:48:20.067 INFO kablam!    | |_______________- in this macro invocation
Sep 21 03:48:20.067 INFO kablam! 
Sep 21 03:48:20.067 INFO kablam! warning: type `QF_AUFBV_Sorts` should have a camel case name such as `QfAufbvSorts`
Sep 21 03:48:20.067 INFO kablam!   --> src/logics/utils.rs:7:9
Sep 21 03:48:20.067 INFO kablam!    |
Sep 21 03:48:20.067 INFO kablam! 7  | /          pub enum $logic {
Sep 21 03:48:20.067 INFO kablam! 8  | |              $(
Sep 21 03:48:20.067 INFO kablam! 9  | |                  $variant($sort),
Sep 21 03:48:20.067 INFO kablam! 10 | |              )*
Sep 21 03:48:20.067 INFO kablam! 11 | |          }
Sep 21 03:48:20.067 INFO kablam!    | |__________^
Sep 21 03:48:20.067 INFO kablam!    | 
Sep 21 03:48:20.067 INFO kablam!   ::: src/logics/qf_aufbv.rs:6:1
Sep 21 03:48:20.067 INFO kablam!    |
Sep 21 03:48:20.067 INFO kablam! 6  |  / define_sorts_for_logic!(QF_AUFBV_Sorts,
Sep 21 03:48:20.067 INFO kablam! 7  |  |                         BV -> bitvec::Sorts,
Sep 21 03:48:20.067 INFO kablam! 8  |  |                         Core -> core::Sorts,
Sep 21 03:48:20.067 INFO kablam! 9  |  |                         ArrayEx -> array_ex::Sorts<QF_AUFBV_Sorts, QF_AUFBV_Sorts>
Sep 21 03:48:20.067 INFO kablam! 10 |  |                         );
Sep 21 03:48:20.067 INFO kablam!    |  |__________________________- in this macro invocation
Sep 21 03:48:20.067 INFO kablam! 
Sep 21 03:48:20.067 INFO kablam! warning: type `QF_AUFBV_Fn` should have a camel case name such as `QfAufbvFn`
Sep 21 03:48:20.067 INFO kablam!   --> src/logics/utils.rs:38:9
Sep 21 03:48:20.067 INFO kablam!    |
Sep 21 03:48:20.068 INFO kablam! 38 | /         pub enum $logic {
Sep 21 03:48:20.068 INFO kablam! 39 | |             $(
Sep 21 03:48:20.068 INFO kablam! 40 | |                 $variant($sort),
Sep 21 03:48:20.068 INFO kablam! 41 | |             )*
Sep 21 03:48:20.068 INFO kablam! 42 | |         }
Sep 21 03:48:20.068 INFO kablam!    | |_________^
Sep 21 03:48:20.068 INFO kablam!    | 
Sep 21 03:48:20.068 INFO kablam!   ::: src/logics/qf_aufbv.rs:12:1
Sep 21 03:48:20.068 INFO kablam!    |
Sep 21 03:48:20.068 INFO kablam! 12 | / define_fns_for_logic!(QF_AUFBV_Fn,
Sep 21 03:48:20.068 INFO kablam! 13 | |                       BVOps -> bitvec::OpCodes,
Sep 21 03:48:20.068 INFO kablam! 14 | |                       CoreOps -> core::OpCodes,
Sep 21 03:48:20.068 INFO kablam! 15 | |                       ArrayOps -> array_ex::OpCodes<QF_AUFBV_Sorts, QF_AUFBV_Sorts, QF_AUFBV_Fn>
Sep 21 03:48:20.068 INFO kablam! 16 | |                       );
Sep 21 03:48:20.068 INFO kablam!    | |________________________- in this macro invocation
Sep 21 03:48:20.068 INFO kablam! 
Sep 21 03:48:20.068 INFO kablam! warning: type `QF_AUFBV` should have a camel case name such as `QfAufbv`
Sep 21 03:48:20.068 INFO kablam!   --> src/logics/utils.rs:87:9
Sep 21 03:48:20.068 INFO kablam!    |
Sep 21 03:48:20.068 INFO kablam! 87 |           pub struct $logic;
Sep 21 03:48:20.068 INFO kablam!    |           ^^^^^^^^^^^^^^^^^^
Sep 21 03:48:20.068 INFO kablam!    | 
Sep 21 03:48:20.068 INFO kablam!   ::: src/logics/qf_aufbv.rs:18:1
Sep 21 03:48:20.068 INFO kablam!    |
Sep 21 03:48:20.068 INFO kablam! 18 | / define_logic!(QF_AUFBV,
Sep 21 03:48:20.068 INFO kablam! 19 | |               QF_AUFBV_Fn,
Sep 21 03:48:20.068 INFO kablam! 20 | |               QF_AUFBV_Sorts,
Sep 21 03:48:20.068 INFO kablam! 21 | |               map { QF_AUFBV_Sorts::BV(_) => bitvec::OpCodes::FreeVar,
Sep 21 03:48:20.068 INFO kablam! 22 | |                   QF_AUFBV_Sorts::ArrayEx(_) => array_ex::OpCodes::FreeVar
Sep 21 03:48:20.068 INFO kablam! 23 | |               }
Sep 21 03:48:20.068 INFO kablam! 24 | |               );
Sep 21 03:48:20.068 INFO kablam!    | |________________- in this macro invocation
Sep 21 03:48:20.068 INFO kablam! 
Sep 21 03:48:20.068 INFO kablam! warning: type `QF_ABV_Sorts` should have a camel case name such as `QfAbvSorts`
Sep 21 03:48:20.068 INFO kablam!   --> src/logics/utils.rs:7:9
Sep 21 03:48:20.068 INFO kablam!    |
Sep 21 03:48:20.068 INFO kablam! 7  | /          pub enum $logic {
Sep 21 03:48:20.068 INFO kablam! 8  | |              $(
Sep 21 03:48:20.068 INFO kablam! 9  | |                  $variant($sort),
Sep 21 03:48:20.068 INFO kablam! 10 | |              )*
Sep 21 03:48:20.068 INFO kablam! 11 | |          }
Sep 21 03:48:20.068 INFO kablam!    | |__________^
Sep 21 03:48:20.068 INFO kablam!    | 
Sep 21 03:48:20.068 INFO kablam!   ::: src/logics/qf_abv.rs:6:1
Sep 21 03:48:20.068 INFO kablam!    |
Sep 21 03:48:20.068 INFO kablam! 6  |  / define_sorts_for_logic!(QF_ABV_Sorts,
Sep 21 03:48:20.068 INFO kablam! 7  |  |                         BV -> bitvec::Sorts,
Sep 21 03:48:20.068 INFO kablam! 8  |  |                         Core -> core::Sorts,
Sep 21 03:48:20.068 INFO kablam! 9  |  |                         ArrayEx -> array_ex::Sorts<QF_ABV_Sorts, QF_ABV_Sorts>
Sep 21 03:48:20.068 INFO kablam! 10 |  |                         );
Sep 21 03:48:20.068 INFO kablam!    |  |__________________________- in this macro invocation
Sep 21 03:48:20.068 INFO kablam! 
Sep 21 03:48:20.068 INFO kablam! warning: type `QF_ABV_Fn` should have a camel case name such as `QfAbvFn`
Sep 21 03:48:20.068 INFO kablam!   --> src/logics/utils.rs:38:9
Sep 21 03:48:20.068 INFO kablam!    |
Sep 21 03:48:20.068 INFO kablam! 38 | /         pub enum $logic {
Sep 21 03:48:20.068 INFO kablam! 39 | |             $(
Sep 21 03:48:20.068 INFO kablam! 40 | |                 $variant($sort),
Sep 21 03:48:20.068 INFO kablam! 41 | |             )*
Sep 21 03:48:20.068 INFO kablam! 42 | |         }
Sep 21 03:48:20.068 INFO kablam!    | |_________^
Sep 21 03:48:20.068 INFO kablam!    | 
Sep 21 03:48:20.068 INFO kablam!   ::: src/logics/qf_abv.rs:12:1
Sep 21 03:48:20.068 INFO kablam!    |
Sep 21 03:48:20.068 INFO kablam! 12 | / define_fns_for_logic!(QF_ABV_Fn,
Sep 21 03:48:20.068 INFO kablam! 13 | |                       BVOps -> bitvec::OpCodes,
Sep 21 03:48:20.068 INFO kablam! 14 | |                       CoreOps -> core::OpCodes,
Sep 21 03:48:20.068 INFO kablam! 15 | |                       ArrayOps -> array_ex::OpCodes<QF_ABV_Sorts, QF_ABV_Sorts, QF_ABV_Fn>
Sep 21 03:48:20.068 INFO kablam! 16 | |                       );
Sep 21 03:48:20.068 INFO kablam!    | |________________________- in this macro invocation
Sep 21 03:48:20.068 INFO kablam! 
Sep 21 03:48:20.068 INFO kablam! warning: type `QF_ABV` should have a camel case name such as `QfAbv`
Sep 21 03:48:20.068 INFO kablam!   --> src/logics/utils.rs:87:9
Sep 21 03:48:20.068 INFO kablam!    |
Sep 21 03:48:20.071 INFO kablam! 87 |           pub struct $logic;
Sep 21 03:48:20.071 INFO kablam!    |           ^^^^^^^^^^^^^^^^^^
Sep 21 03:48:20.071 INFO kablam!    | 
Sep 21 03:48:20.071 INFO kablam!   ::: src/logics/qf_abv.rs:18:1
Sep 21 03:48:20.071 INFO kablam!    |
Sep 21 03:48:20.071 INFO kablam! 18 | / define_logic!(QF_ABV,
Sep 21 03:48:20.071 INFO kablam! 19 | |               QF_ABV_Fn,
Sep 21 03:48:20.071 INFO kablam! 20 | |               QF_ABV_Sorts,
Sep 21 03:48:20.071 INFO kablam! 21 | |               map { QF_ABV_Sorts::BV(_) => bitvec::OpCodes::FreeVar,
Sep 21 03:48:20.071 INFO kablam! 22 | |               QF_ABV_Sorts::ArrayEx(_) => array_ex::OpCodes::FreeVar
Sep 21 03:48:20.071 INFO kablam! 23 | |               }
Sep 21 03:48:20.071 INFO kablam! 24 | |               );
Sep 21 03:48:20.071 INFO kablam!    | |________________- in this macro invocation
Sep 21 03:48:20.071 INFO kablam! 
Sep 21 03:48:20.071 INFO kablam! warning: type `LIA_Sorts` should have a camel case name such as `LiaSorts`
Sep 21 03:48:20.071 INFO kablam!   --> src/logics/utils.rs:7:9
Sep 21 03:48:20.071 INFO kablam!    |
Sep 21 03:48:20.071 INFO kablam! 7  |  /         pub enum $logic {
Sep 21 03:48:20.071 INFO kablam! 8  |  |             $(
Sep 21 03:48:20.071 INFO kablam! 9  |  |                 $variant($sort),
Sep 21 03:48:20.071 INFO kablam! 10 |  |             )*
Sep 21 03:48:20.071 INFO kablam! 11 |  |         }
Sep 21 03:48:20.071 INFO kablam!    |  |_________^
Sep 21 03:48:20.071 INFO kablam!    | 
Sep 21 03:48:20.071 INFO kablam!   ::: src/logics/lia.rs:10:1
Sep 21 03:48:20.071 INFO kablam!    |
Sep 21 03:48:20.071 INFO kablam! 10 | /  define_sorts_for_logic!(LIA_Sorts,
Sep 21 03:48:20.071 INFO kablam! 11 | |                    Int -> integer::Sorts,
Sep 21 03:48:20.071 INFO kablam! 12 | |                    Core -> core::Sorts
Sep 21 03:48:20.071 INFO kablam! 13 | |                   );
Sep 21 03:48:20.071 INFO kablam!    | |____________________- in this macro invocation
Sep 21 03:48:20.071 INFO kablam! 
Sep 21 03:48:20.071 INFO kablam! warning: type `LIA_Fn` should have a camel case name such as `LiaFn`
Sep 21 03:48:20.071 INFO kablam!   --> src/logics/utils.rs:38:9
Sep 21 03:48:20.071 INFO kablam!    |
Sep 21 03:48:20.071 INFO kablam! 38 | /         pub enum $logic {
Sep 21 03:48:20.071 INFO kablam! 39 | |             $(
Sep 21 03:48:20.071 INFO kablam! 40 | |                 $variant($sort),
Sep 21 03:48:20.071 INFO kablam! 41 | |             )*
Sep 21 03:48:20.071 INFO kablam! 42 | |         }
Sep 21 03:48:20.071 INFO kablam!    | |_________^
Sep 21 03:48:20.071 INFO kablam!    | 
Sep 21 03:48:20.071 INFO kablam!   ::: src/logics/lia.rs:15:1
Sep 21 03:48:20.071 INFO kablam!    |
Sep 21 03:48:20.071 INFO kablam! 15 | / define_fns_for_logic!(LIA_Fn,
Sep 21 03:48:20.071 INFO kablam! 16 | |                       IntOps -> integer::OpCodes,
Sep 21 03:48:20.071 INFO kablam! 17 | |                       CoreOps -> core::OpCodes
Sep 21 03:48:20.071 INFO kablam! 18 | |                      );
Sep 21 03:48:20.071 INFO kablam!    | |_______________________- in this macro invocation
Sep 21 03:48:20.071 INFO kablam! 
Sep 21 03:48:20.071 INFO kablam! warning: unused `std::result::Result` which must be used
Sep 21 03:48:20.072 INFO kablam!    --> src/backends/smtlib2.rs:207:9
Sep 21 03:48:20.072 INFO kablam!     |
Sep 21 03:48:20.072 INFO kablam! 207 |         smt_proc.write(format!("(set-logic {})\n", logic));
Sep 21 03:48:20.072 INFO kablam!     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Sep 21 03:48:20.072 INFO kablam!     |
Sep 21 03:48:20.072 INFO kablam!     = note: #[warn(unused_must_use)] on by default
Sep 21 03:48:20.072 INFO kablam!     = note: this `Result` may be an `Err` variant, which should be handled
Sep 21 03:48:20.072 INFO kablam! 
Sep 21 03:48:20.074 INFO kablam! warning: unused `std::result::Result` which must be used
Sep 21 03:48:20.074 INFO kablam!    --> src/backends/smtlib2.rs:241:13
Sep 21 03:48:20.074 INFO kablam!     |
Sep 21 03:48:20.074 INFO kablam! 241 |             smt_proc.write(w);
Sep 21 03:48:20.074 INFO kablam!     |             ^^^^^^^^^^^^^^^^^^
Sep 21 03:48:20.074 INFO kablam!     |
Sep 21 03:48:20.074 INFO kablam!     = note: this `Result` may be an `Err` variant, which should be handled
Sep 21 03:48:20.074 INFO kablam! 
Sep 21 03:48:20.074 INFO kablam! warning: unused `std::result::Result` which must be used
Sep 21 03:48:20.074 INFO kablam!    --> src/backends/smtlib2.rs:244:9
Sep 21 03:48:20.074 INFO kablam!     |
Sep 21 03:48:20.074 INFO kablam! 244 |         smt_proc.write("(check-sat)\n".to_owned());
Sep 21 03:48:20.074 INFO kablam!     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Sep 21 03:48:20.074 INFO kablam!     |
Sep 21 03:48:20.074 INFO kablam!     = note: this `Result` may be an `Err` variant, which should be handled
Sep 21 03:48:20.074 INFO kablam! 
Sep 21 03:48:20.074 INFO kablam! warning: unused `std::result::Result` which must be used
Sep 21 03:48:20.074 INFO kablam!    --> src/backends/smtlib2.rs:262:17
Sep 21 03:48:20.074 INFO kablam!     |
Sep 21 03:48:20.074 INFO kablam! 262 |                 smt_proc.write("(get-model)\n".to_owned());
Sep 21 03:48:20.074 INFO kablam!     |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Sep 21 03:48:20.074 INFO kablam!     |
Sep 21 03:48:20.074 INFO kablam!     = note: this `Result` may be an `Err` variant, which should be handled
Sep 21 03:48:20.074 INFO kablam! 
Sep 21 03:48:20.126 INFO kablam! error[E0061]: this function takes 2 parameters but 1 parameter was supplied
Sep 21 03:48:20.126 INFO kablam!   --> src/backends/z3.rs:70:29
Sep 21 03:48:20.126 INFO kablam!    |
Sep 21 03:48:20.126 INFO kablam! 70 |         let result = solver.solve(&mut z3).unwrap();
Sep 21 03:48:20.126 INFO kablam!    |                             ^^^^^ expected 2 parameters
Sep 21 03:48:20.126 INFO kablam!    | 
Sep 21 03:48:20.126 INFO kablam!   ::: src/backends/backend.rs:61:5
Sep 21 03:48:20.126 INFO kablam!    |
Sep 21 03:48:20.126 INFO kablam! 61 |     fn solve<S: SMTProc>(&mut self, &mut S, bool) -> (SMTResult<HashMap<Self::Idx, u64>>, SMTRes);
Sep 21 03:48:20.126 INFO kablam!    |     ---------------------------------------------------------------------------------------------- defined here
Sep 21 03:48:20.126 INFO kablam! 
Sep 21 03:48:20.298 INFO kablam! error[E0599]: no method named `unwrap` found for type `(std::result::Result<std::collections::HashMap<petgraph::graph::NodeIndex, u64>, backends::backend::SMTError>, backends::backend::SMTRes)` in the current scope
Sep 21 03:48:20.298 INFO kablam!   --> src/backends/z3.rs:70:44
Sep 21 03:48:20.298 INFO kablam!    |
Sep 21 03:48:20.298 INFO kablam! 70 |         let result = solver.solve(&mut z3).unwrap();
Sep 21 03:48:20.298 INFO kablam!    |                                            ^^^^^^
Sep 21 03:48:20.298 INFO kablam! 
Sep 21 03:48:20.350 INFO kablam! error[E0061]: this function takes 2 parameters but 1 parameter was supplied
Sep 21 03:48:20.350 INFO kablam!   --> src/backends/z3.rs:86:29
Sep 21 03:48:20.350 INFO kablam!    |
Sep 21 03:48:20.350 INFO kablam! 86 |         let result = solver.solve(&mut z3).unwrap();
Sep 21 03:48:20.350 INFO kablam!    |                             ^^^^^ expected 2 parameters
Sep 21 03:48:20.350 INFO kablam!    | 
Sep 21 03:48:20.350 INFO kablam!   ::: src/backends/backend.rs:61:5
Sep 21 03:48:20.350 INFO kablam!    |
Sep 21 03:48:20.350 INFO kablam! 61 |     fn solve<S: SMTProc>(&mut self, &mut S, bool) -> (SMTResult<HashMap<Self::Idx, u64>>, SMTRes);
Sep 21 03:48:20.350 INFO kablam!    |     ---------------------------------------------------------------------------------------------- defined here
Sep 21 03:48:20.350 INFO kablam! 
Sep 21 03:48:20.366 INFO kablam! error[E0599]: no method named `unwrap` found for type `(std::result::Result<std::collections::HashMap<petgraph::graph::NodeIndex, u64>, backends::backend::SMTError>, backends::backend::SMTRes)` in the current scope
Sep 21 03:48:20.366 INFO kablam!   --> src/backends/z3.rs:86:44
Sep 21 03:48:20.366 INFO kablam!    |
Sep 21 03:48:20.366 INFO kablam! 86 |         let result = solver.solve(&mut z3).unwrap();
Sep 21 03:48:20.366 INFO kablam!    |                                            ^^^^^^
Sep 21 03:48:20.366 INFO kablam! 
Sep 21 03:48:20.381 INFO kablam! error[E0061]: this function takes 2 parameters but 1 parameter was supplied
Sep 21 03:48:20.381 INFO kablam!   --> src/backends/z3.rs:99:29
Sep 21 03:48:20.381 INFO kablam!    |
Sep 21 03:48:20.381 INFO kablam! 99 |         let result = solver.solve(&mut z3).unwrap();
Sep 21 03:48:20.381 INFO kablam!    |                             ^^^^^ expected 2 parameters
Sep 21 03:48:20.381 INFO kablam!    | 
Sep 21 03:48:20.382 INFO kablam!   ::: src/backends/backend.rs:61:5
Sep 21 03:48:20.382 INFO kablam!    |
Sep 21 03:48:20.382 INFO kablam! 61 |     fn solve<S: SMTProc>(&mut self, &mut S, bool) -> (SMTResult<HashMap<Self::Idx, u64>>, SMTRes);
Sep 21 03:48:20.382 INFO kablam!    |     ---------------------------------------------------------------------------------------------- defined here
Sep 21 03:48:20.382 INFO kablam! 
Sep 21 03:48:20.382 INFO kablam! error[E0599]: no method named `unwrap` found for type `(std::result::Result<std::collections::HashMap<petgraph::graph::NodeIndex, u64>, backends::backend::SMTError>, backends::backend::SMTRes)` in the current scope
Sep 21 03:48:20.382 INFO kablam!   --> src/backends/z3.rs:99:44
Sep 21 03:48:20.382 INFO kablam!    |
Sep 21 03:48:20.382 INFO kablam! 99 |         let result = solver.solve(&mut z3).unwrap();
Sep 21 03:48:20.382 INFO kablam!    |                                            ^^^^^^
Sep 21 03:48:20.382 INFO kablam! 
Sep 21 03:48:20.410 INFO kablam! error: aborting due to 6 previous errors
Sep 21 03:48:20.410 INFO kablam! 
Sep 21 03:48:20.410 INFO kablam! Some errors occurred: E0061, E0599.
Sep 21 03:48:20.410 INFO kablam! For more information about an error, try `rustc --explain E0061`.
Sep 21 03:48:20.418 INFO kablam! error: Could not compile `rustproof-libsmt`.
Sep 21 03:48:20.418 INFO kablam! warning: build failed, waiting for other jobs to finish...
Sep 21 03:48:20.427 INFO kablam! error[E0463]: can't find crate for `libsmt`
Sep 21 03:48:20.427 INFO kablam!   --> examples/simple_example.rs:22:1
Sep 21 03:48:20.427 INFO kablam!    |
Sep 21 03:48:20.427 INFO kablam! 22 | extern crate libsmt;
Sep 21 03:48:20.427 INFO kablam!    | ^^^^^^^^^^^^^^^^^^^^ can't find crate
Sep 21 03:48:20.427 INFO kablam! 
Sep 21 03:48:20.427 INFO kablam! error: aborting due to previous error
Sep 21 03:48:20.427 INFO kablam! 
Sep 21 03:48:20.427 INFO kablam! For more information about this error, try `rustc --explain E0463`.
Sep 21 03:48:20.442 INFO kablam! error: Could not compile `rustproof-libsmt`.
Sep 21 03:48:20.442 INFO kablam! warning: build failed, waiting for other jobs to finish...
Sep 21 03:48:20.513 INFO kablam! error[E0463]: can't find crate for `libsmt`
Sep 21 03:48:20.513 INFO kablam!   --> examples/simple_example.rs:22:1
Sep 21 03:48:20.513 INFO kablam!    |
Sep 21 03:48:20.513 INFO kablam! 22 | extern crate libsmt;
Sep 21 03:48:20.513 INFO kablam!    | ^^^^^^^^^^^^^^^^^^^^ can't find crate
Sep 21 03:48:20.513 INFO kablam! 
Sep 21 03:48:20.513 INFO kablam! error: aborting due to previous error
Sep 21 03:48:20.513 INFO kablam! 
Sep 21 03:48:20.513 INFO kablam! For more information about this error, try `rustc --explain E0463`.
Sep 21 03:48:20.517 INFO kablam! error: Could not compile `rustproof-libsmt`.
Sep 21 03:48:20.517 INFO kablam! warning: build failed, waiting for other jobs to finish...
Sep 21 03:48:20.530 INFO kablam! error[E0463]: can't find crate for `libsmt`
Sep 21 03:48:20.530 INFO kablam!  --> examples/fiestel.rs:6:14
Sep 21 03:48:20.530 INFO kablam!   |
Sep 21 03:48:20.530 INFO kablam! 6 | #[macro_use] extern crate libsmt;
Sep 21 03:48:20.530 INFO kablam!   |              ^^^^^^^^^^^^^^^^^^^^ can't find crate
Sep 21 03:48:20.530 INFO kablam! 
Sep 21 03:48:20.538 INFO kablam! error: aborting due to previous error
Sep 21 03:48:20.538 INFO kablam! 
Sep 21 03:48:20.538 INFO kablam! For more information about this error, try `rustc --explain E0463`.
Sep 21 03:48:20.539 INFO kablam! error[E0463]: can't find crate for `libsmt`
Sep 21 03:48:20.539 INFO kablam!   --> examples/bitvec_x86_64.rs:19:1
Sep 21 03:48:20.539 INFO kablam!    |
Sep 21 03:48:20.540 INFO kablam! 19 | extern crate libsmt;
Sep 21 03:48:20.540 INFO kablam!    | ^^^^^^^^^^^^^^^^^^^^ can't find crate
Sep 21 03:48:20.540 INFO kablam! 
Sep 21 03:48:20.541 INFO kablam! error: aborting due to previous error
Sep 21 03:48:20.541 INFO kablam! 
Sep 21 03:48:20.541 INFO kablam! For more information about this error, try `rustc --explain E0463`.
Sep 21 03:48:20.545 INFO kablam! error: Could not compile `rustproof-libsmt`.
Sep 21 03:48:20.545 INFO kablam! warning: build failed, waiting for other jobs to finish...
Sep 21 03:48:20.549 INFO kablam! error: Could not compile `rustproof-libsmt`.
Sep 21 03:48:20.549 INFO kablam! warning: build failed, waiting for other jobs to finish...
Sep 21 03:48:20.567 INFO kablam! error[E0463]: can't find crate for `libsmt`
Sep 21 03:48:20.567 INFO kablam!  --> examples/fiestel.rs:6:14
Sep 21 03:48:20.567 INFO kablam!   |
Sep 21 03:48:20.567 INFO kablam! 6 | #[macro_use] extern crate libsmt;
Sep 21 03:48:20.567 INFO kablam!   |              ^^^^^^^^^^^^^^^^^^^^ can't find crate
Sep 21 03:48:20.567 INFO kablam! 
Sep 21 03:48:20.568 INFO kablam! error: aborting due to previous error
Sep 21 03:48:20.568 INFO kablam! 
Sep 21 03:48:20.568 INFO kablam! For more information about this error, try `rustc --explain E0463`.
Sep 21 03:48:20.573 INFO kablam! error: Could not compile `rustproof-libsmt`.
Sep 21 03:48:20.573 INFO kablam! warning: build failed, waiting for other jobs to finish...
Sep 21 03:48:20.578 INFO kablam! error[E0463]: can't find crate for `libsmt`
Sep 21 03:48:20.578 INFO kablam!   --> examples/bajr.rs:22:1
Sep 21 03:48:20.578 INFO kablam!    |
Sep 21 03:48:20.578 INFO kablam! 22 | extern crate libsmt;
Sep 21 03:48:20.578 INFO kablam!    | ^^^^^^^^^^^^^^^^^^^^ can't find crate
Sep 21 03:48:20.578 INFO kablam! 
Sep 21 03:48:20.578 INFO kablam! error: aborting due to previous error
Sep 21 03:48:20.578 INFO kablam! 
Sep 21 03:48:20.578 INFO kablam! For more information about this error, try `rustc --explain E0463`.
Sep 21 03:48:20.580 INFO kablam! error: Could not compile `rustproof-libsmt`.
Sep 21 03:48:20.580 INFO kablam! warning: build failed, waiting for other jobs to finish...
Sep 21 03:48:20.597 INFO kablam! error[E0463]: can't find crate for `libsmt`
Sep 21 03:48:20.597 INFO kablam!   --> examples/bitvec_x86_64.rs:19:1
Sep 21 03:48:20.597 INFO kablam!    |
Sep 21 03:48:20.597 INFO kablam! 19 | extern crate libsmt;
Sep 21 03:48:20.597 INFO kablam!    | ^^^^^^^^^^^^^^^^^^^^ can't find crate
Sep 21 03:48:20.597 INFO kablam! 
Sep 21 03:48:20.598 INFO kablam! error: aborting due to previous error
Sep 21 03:48:20.598 INFO kablam! 
Sep 21 03:48:20.598 INFO kablam! For more information about this error, try `rustc --explain E0463`.
Sep 21 03:48:20.605 INFO kablam! error: Could not compile `rustproof-libsmt`.
Sep 21 03:48:20.605 INFO kablam! 
Sep 21 03:48:20.605 INFO kablam! To learn more, run the command again with --verbose.
Sep 21 03:48:20.606 INFO kablam! su: No module specific data is present
Sep 21 03:48:21.182 INFO running `"docker" "rm" "-f" "e999bc6f43242257db5180425a22e252620da2090427faa06e343ae6d63bd9a0"`
Sep 21 03:48:21.301 INFO blam! e999bc6f43242257db5180425a22e252620da2090427faa06e343ae6d63bd9a0