Sep 02 01:11:20.856 INFO checking rustproof-libsmt-0.1.0 against master#1114ab684fbad001c4e580326d8eb4d8c4e917d3 for pr-53851 Sep 02 01:11:20.856 INFO running: cargo +1114ab684fbad001c4e580326d8eb4d8c4e917d3-alt check --frozen --all --all-targets Sep 02 01:11:20.856 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-1/pr-53851/master#1114ab684fbad001c4e580326d8eb4d8c4e917d3:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-53851/worker-1/master#1114ab684fbad001c4e580326d8eb4d8c4e917d3:/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=500" "-e" "CMD=cargo +1114ab684fbad001c4e580326d8eb4d8c4e917d3-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "2G" "crater"` Sep 02 01:11:21.050 INFO blam! 7309b964daade10dd601f04e901b5574707dfbffe265d28ee56fff66061313f0 Sep 02 01:11:21.052 INFO running `"docker" "start" "-a" "7309b964daade10dd601f04e901b5574707dfbffe265d28ee56fff66061313f0"` Sep 02 01:11:21.795 INFO kablam! Checking rustproof-libsmt v0.1.0 (file:///source) Sep 02 01:11:23.279 INFO kablam! warning: variable does not need to be mutable Sep 02 01:11:23.279 INFO kablam! --> src/backends/smtlib2.rs:257:13 Sep 02 01:11:23.279 INFO kablam! | Sep 02 01:11:23.279 INFO kablam! 257 | let mut result = HashMap::new(); Sep 02 01:11:23.279 INFO kablam! | ----^^^^^^ Sep 02 01:11:23.279 INFO kablam! | | Sep 02 01:11:23.279 INFO kablam! | help: remove this `mut` Sep 02 01:11:23.279 INFO kablam! | Sep 02 01:11:23.279 INFO kablam! = note: #[warn(unused_mut)] on by default Sep 02 01:11:23.279 INFO kablam! Sep 02 01:11:23.291 INFO kablam! warning: type `QF_BV_Sorts` should have a camel case name such as `QfBvSorts` Sep 02 01:11:23.291 INFO kablam! --> src/logics/utils.rs:7:9 Sep 02 01:11:23.291 INFO kablam! | Sep 02 01:11:23.291 INFO kablam! 7 | / pub enum $logic { Sep 02 01:11:23.291 INFO kablam! 8 | | $( Sep 02 01:11:23.292 INFO kablam! 9 | | $variant($sort), Sep 02 01:11:23.292 INFO kablam! 10 | | )* Sep 02 01:11:23.292 INFO kablam! 11 | | } Sep 02 01:11:23.292 INFO kablam! | |_________^ Sep 02 01:11:23.292 INFO kablam! | Sep 02 01:11:23.292 INFO kablam! ::: src/logics/qf_bv.rs:11:1 Sep 02 01:11:23.292 INFO kablam! | Sep 02 01:11:23.292 INFO kablam! 11 | / define_sorts_for_logic!(QF_BV_Sorts, Sep 02 01:11:23.292 INFO kablam! 12 | | BV -> bitvec::Sorts, Sep 02 01:11:23.292 INFO kablam! 13 | | Core -> core::Sorts Sep 02 01:11:23.292 INFO kablam! 14 | | ); Sep 02 01:11:23.292 INFO kablam! | |____________________- in this macro invocation Sep 02 01:11:23.292 INFO kablam! | Sep 02 01:11:23.293 INFO kablam! = note: #[warn(non_camel_case_types)] on by default Sep 02 01:11:23.293 INFO kablam! Sep 02 01:11:23.293 INFO kablam! warning: type `QF_BV_Fn` should have a camel case name such as `QfBvFn` Sep 02 01:11:23.294 INFO kablam! --> src/logics/utils.rs:38:9 Sep 02 01:11:23.294 INFO kablam! | Sep 02 01:11:23.294 INFO kablam! 38 | / pub enum $logic { Sep 02 01:11:23.294 INFO kablam! 39 | | $( Sep 02 01:11:23.294 INFO kablam! 40 | | $variant($sort), Sep 02 01:11:23.294 INFO kablam! 41 | | )* Sep 02 01:11:23.294 INFO kablam! 42 | | } Sep 02 01:11:23.294 INFO kablam! | |_________^ Sep 02 01:11:23.294 INFO kablam! | Sep 02 01:11:23.294 INFO kablam! ::: src/logics/qf_bv.rs:16:1 Sep 02 01:11:23.294 INFO kablam! | Sep 02 01:11:23.294 INFO kablam! 16 | / define_fns_for_logic!(QF_BV_Fn, Sep 02 01:11:23.294 INFO kablam! 17 | | BVOps -> bitvec::OpCodes, Sep 02 01:11:23.294 INFO kablam! 18 | | CoreOps -> core::OpCodes Sep 02 01:11:23.294 INFO kablam! 19 | | ); Sep 02 01:11:23.294 INFO kablam! | |_______________________- in this macro invocation Sep 02 01:11:23.294 INFO kablam! Sep 02 01:11:23.295 INFO kablam! warning: type `QF_BV` should have a camel case name such as `QfBv` Sep 02 01:11:23.295 INFO kablam! --> src/logics/utils.rs:87:9 Sep 02 01:11:23.295 INFO kablam! | Sep 02 01:11:23.295 INFO kablam! 87 | pub struct $logic; Sep 02 01:11:23.295 INFO kablam! | ^^^^^^^^^^^^^^^^^^ Sep 02 01:11:23.295 INFO kablam! | Sep 02 01:11:23.295 INFO kablam! ::: src/logics/qf_bv.rs:21:1 Sep 02 01:11:23.295 INFO kablam! | Sep 02 01:11:23.295 INFO kablam! 21 | / define_logic!(QF_BV, Sep 02 01:11:23.295 INFO kablam! 22 | | QF_BV_Fn, Sep 02 01:11:23.295 INFO kablam! 23 | | QF_BV_Sorts, Sep 02 01:11:23.295 INFO kablam! 24 | | map { Sep 02 01:11:23.295 INFO kablam! 25 | | QF_BV_Sorts::BV(_) => bitvec::OpCodes::FreeVar Sep 02 01:11:23.295 INFO kablam! 26 | | } Sep 02 01:11:23.295 INFO kablam! 27 | | ); Sep 02 01:11:23.295 INFO kablam! | |_______________- in this macro invocation Sep 02 01:11:23.296 INFO kablam! Sep 02 01:11:23.297 INFO kablam! warning: type `QF_AUFBV_Sorts` should have a camel case name such as `QfAufbvSorts` Sep 02 01:11:23.297 INFO kablam! --> src/logics/utils.rs:7:9 Sep 02 01:11:23.297 INFO kablam! | Sep 02 01:11:23.297 INFO kablam! 7 | / pub enum $logic { Sep 02 01:11:23.297 INFO kablam! 8 | | $( Sep 02 01:11:23.297 INFO kablam! 9 | | $variant($sort), Sep 02 01:11:23.297 INFO kablam! 10 | | )* Sep 02 01:11:23.297 INFO kablam! 11 | | } Sep 02 01:11:23.297 INFO kablam! | |__________^ Sep 02 01:11:23.297 INFO kablam! | Sep 02 01:11:23.297 INFO kablam! ::: src/logics/qf_aufbv.rs:6:1 Sep 02 01:11:23.297 INFO kablam! | Sep 02 01:11:23.297 INFO kablam! 6 | / define_sorts_for_logic!(QF_AUFBV_Sorts, Sep 02 01:11:23.297 INFO kablam! 7 | | BV -> bitvec::Sorts, Sep 02 01:11:23.297 INFO kablam! 8 | | Core -> core::Sorts, Sep 02 01:11:23.297 INFO kablam! 9 | | ArrayEx -> array_ex::Sorts Sep 02 01:11:23.298 INFO kablam! 10 | | ); Sep 02 01:11:23.298 INFO kablam! | |__________________________- in this macro invocation Sep 02 01:11:23.298 INFO kablam! Sep 02 01:11:23.298 INFO kablam! warning: type `QF_AUFBV_Fn` should have a camel case name such as `QfAufbvFn` Sep 02 01:11:23.298 INFO kablam! --> src/logics/utils.rs:38:9 Sep 02 01:11:23.299 INFO kablam! | Sep 02 01:11:23.299 INFO kablam! 38 | / pub enum $logic { Sep 02 01:11:23.299 INFO kablam! 39 | | $( Sep 02 01:11:23.299 INFO kablam! 40 | | $variant($sort), Sep 02 01:11:23.299 INFO kablam! 41 | | )* Sep 02 01:11:23.299 INFO kablam! 42 | | } Sep 02 01:11:23.299 INFO kablam! | |_________^ Sep 02 01:11:23.299 INFO kablam! | Sep 02 01:11:23.299 INFO kablam! ::: src/logics/qf_aufbv.rs:12:1 Sep 02 01:11:23.299 INFO kablam! | Sep 02 01:11:23.299 INFO kablam! 12 | / define_fns_for_logic!(QF_AUFBV_Fn, Sep 02 01:11:23.299 INFO kablam! 13 | | BVOps -> bitvec::OpCodes, Sep 02 01:11:23.299 INFO kablam! 14 | | CoreOps -> core::OpCodes, Sep 02 01:11:23.299 INFO kablam! 15 | | ArrayOps -> array_ex::OpCodes Sep 02 01:11:23.299 INFO kablam! 16 | | ); Sep 02 01:11:23.299 INFO kablam! | |________________________- in this macro invocation Sep 02 01:11:23.299 INFO kablam! Sep 02 01:11:23.300 INFO kablam! warning: type `QF_AUFBV` should have a camel case name such as `QfAufbv` Sep 02 01:11:23.300 INFO kablam! --> src/logics/utils.rs:87:9 Sep 02 01:11:23.300 INFO kablam! | Sep 02 01:11:23.300 INFO kablam! 87 | pub struct $logic; Sep 02 01:11:23.300 INFO kablam! | ^^^^^^^^^^^^^^^^^^ Sep 02 01:11:23.300 INFO kablam! | Sep 02 01:11:23.300 INFO kablam! ::: src/logics/qf_aufbv.rs:18:1 Sep 02 01:11:23.301 INFO kablam! | Sep 02 01:11:23.301 INFO kablam! 18 | / define_logic!(QF_AUFBV, Sep 02 01:11:23.301 INFO kablam! 19 | | QF_AUFBV_Fn, Sep 02 01:11:23.301 INFO kablam! 20 | | QF_AUFBV_Sorts, Sep 02 01:11:23.301 INFO kablam! 21 | | map { QF_AUFBV_Sorts::BV(_) => bitvec::OpCodes::FreeVar, Sep 02 01:11:23.301 INFO kablam! 22 | | QF_AUFBV_Sorts::ArrayEx(_) => array_ex::OpCodes::FreeVar Sep 02 01:11:23.301 INFO kablam! 23 | | } Sep 02 01:11:23.301 INFO kablam! 24 | | ); Sep 02 01:11:23.301 INFO kablam! | |________________- in this macro invocation Sep 02 01:11:23.301 INFO kablam! Sep 02 01:11:23.302 INFO kablam! warning: type `QF_ABV_Sorts` should have a camel case name such as `QfAbvSorts` Sep 02 01:11:23.302 INFO kablam! --> src/logics/utils.rs:7:9 Sep 02 01:11:23.302 INFO kablam! | Sep 02 01:11:23.302 INFO kablam! 7 | / pub enum $logic { Sep 02 01:11:23.302 INFO kablam! 8 | | $( Sep 02 01:11:23.302 INFO kablam! 9 | | $variant($sort), Sep 02 01:11:23.302 INFO kablam! 10 | | )* Sep 02 01:11:23.302 INFO kablam! 11 | | } Sep 02 01:11:23.302 INFO kablam! | |__________^ Sep 02 01:11:23.302 INFO kablam! | Sep 02 01:11:23.302 INFO kablam! ::: src/logics/qf_abv.rs:6:1 Sep 02 01:11:23.302 INFO kablam! | Sep 02 01:11:23.302 INFO kablam! 6 | / define_sorts_for_logic!(QF_ABV_Sorts, Sep 02 01:11:23.302 INFO kablam! 7 | | BV -> bitvec::Sorts, Sep 02 01:11:23.302 INFO kablam! 8 | | Core -> core::Sorts, Sep 02 01:11:23.302 INFO kablam! 9 | | ArrayEx -> array_ex::Sorts Sep 02 01:11:23.302 INFO kablam! 10 | | ); Sep 02 01:11:23.303 INFO kablam! | |__________________________- in this macro invocation Sep 02 01:11:23.303 INFO kablam! Sep 02 01:11:23.303 INFO kablam! warning: type `QF_ABV_Fn` should have a camel case name such as `QfAbvFn` Sep 02 01:11:23.303 INFO kablam! --> src/logics/utils.rs:38:9 Sep 02 01:11:23.303 INFO kablam! | Sep 02 01:11:23.303 INFO kablam! 38 | / pub enum $logic { Sep 02 01:11:23.303 INFO kablam! 39 | | $( Sep 02 01:11:23.304 INFO kablam! 40 | | $variant($sort), Sep 02 01:11:23.304 INFO kablam! 41 | | )* Sep 02 01:11:23.304 INFO kablam! 42 | | } Sep 02 01:11:23.304 INFO kablam! | |_________^ Sep 02 01:11:23.304 INFO kablam! | Sep 02 01:11:23.304 INFO kablam! ::: src/logics/qf_abv.rs:12:1 Sep 02 01:11:23.304 INFO kablam! | Sep 02 01:11:23.304 INFO kablam! 12 | / define_fns_for_logic!(QF_ABV_Fn, Sep 02 01:11:23.304 INFO kablam! 13 | | BVOps -> bitvec::OpCodes, Sep 02 01:11:23.304 INFO kablam! 14 | | CoreOps -> core::OpCodes, Sep 02 01:11:23.304 INFO kablam! 15 | | ArrayOps -> array_ex::OpCodes Sep 02 01:11:23.304 INFO kablam! 16 | | ); Sep 02 01:11:23.304 INFO kablam! | |________________________- in this macro invocation Sep 02 01:11:23.304 INFO kablam! Sep 02 01:11:23.305 INFO kablam! warning: type `QF_ABV` should have a camel case name such as `QfAbv` Sep 02 01:11:23.305 INFO kablam! --> src/logics/utils.rs:87:9 Sep 02 01:11:23.305 INFO kablam! | Sep 02 01:11:23.305 INFO kablam! 87 | pub struct $logic; Sep 02 01:11:23.305 INFO kablam! | ^^^^^^^^^^^^^^^^^^ Sep 02 01:11:23.305 INFO kablam! | Sep 02 01:11:23.305 INFO kablam! ::: src/logics/qf_abv.rs:18:1 Sep 02 01:11:23.305 INFO kablam! | Sep 02 01:11:23.305 INFO kablam! 18 | / define_logic!(QF_ABV, Sep 02 01:11:23.305 INFO kablam! 19 | | QF_ABV_Fn, Sep 02 01:11:23.305 INFO kablam! 20 | | QF_ABV_Sorts, Sep 02 01:11:23.305 INFO kablam! 21 | | map { QF_ABV_Sorts::BV(_) => bitvec::OpCodes::FreeVar, Sep 02 01:11:23.305 INFO kablam! 22 | | QF_ABV_Sorts::ArrayEx(_) => array_ex::OpCodes::FreeVar Sep 02 01:11:23.305 INFO kablam! 23 | | } Sep 02 01:11:23.305 INFO kablam! 24 | | ); Sep 02 01:11:23.305 INFO kablam! | |________________- in this macro invocation Sep 02 01:11:23.305 INFO kablam! Sep 02 01:11:23.307 INFO kablam! warning: type `LIA_Sorts` should have a camel case name such as `LiaSorts` Sep 02 01:11:23.307 INFO kablam! --> src/logics/utils.rs:7:9 Sep 02 01:11:23.307 INFO kablam! | Sep 02 01:11:23.307 INFO kablam! 7 | / pub enum $logic { Sep 02 01:11:23.307 INFO kablam! 8 | | $( Sep 02 01:11:23.307 INFO kablam! 9 | | $variant($sort), Sep 02 01:11:23.307 INFO kablam! 10 | | )* Sep 02 01:11:23.307 INFO kablam! 11 | | } Sep 02 01:11:23.307 INFO kablam! | |_________^ Sep 02 01:11:23.307 INFO kablam! | Sep 02 01:11:23.307 INFO kablam! ::: src/logics/lia.rs:10:1 Sep 02 01:11:23.307 INFO kablam! | Sep 02 01:11:23.307 INFO kablam! 10 | / define_sorts_for_logic!(LIA_Sorts, Sep 02 01:11:23.307 INFO kablam! 11 | | Int -> integer::Sorts, Sep 02 01:11:23.307 INFO kablam! 12 | | Core -> core::Sorts Sep 02 01:11:23.307 INFO kablam! 13 | | ); Sep 02 01:11:23.307 INFO kablam! | |____________________- in this macro invocation Sep 02 01:11:23.307 INFO kablam! Sep 02 01:11:23.308 INFO kablam! warning: type `LIA_Fn` should have a camel case name such as `LiaFn` Sep 02 01:11:23.308 INFO kablam! --> src/logics/utils.rs:38:9 Sep 02 01:11:23.308 INFO kablam! | Sep 02 01:11:23.308 INFO kablam! 38 | / pub enum $logic { Sep 02 01:11:23.308 INFO kablam! 39 | | $( Sep 02 01:11:23.308 INFO kablam! 40 | | $variant($sort), Sep 02 01:11:23.308 INFO kablam! 41 | | )* Sep 02 01:11:23.308 INFO kablam! 42 | | } Sep 02 01:11:23.308 INFO kablam! | |_________^ Sep 02 01:11:23.308 INFO kablam! | Sep 02 01:11:23.308 INFO kablam! ::: src/logics/lia.rs:15:1 Sep 02 01:11:23.308 INFO kablam! | Sep 02 01:11:23.308 INFO kablam! 15 | / define_fns_for_logic!(LIA_Fn, Sep 02 01:11:23.308 INFO kablam! 16 | | IntOps -> integer::OpCodes, Sep 02 01:11:23.308 INFO kablam! 17 | | CoreOps -> core::OpCodes Sep 02 01:11:23.308 INFO kablam! 18 | | ); Sep 02 01:11:23.308 INFO kablam! | |_______________________- in this macro invocation Sep 02 01:11:23.308 INFO kablam! Sep 02 01:11:23.313 INFO kablam! warning: unused `std::result::Result` which must be used Sep 02 01:11:23.313 INFO kablam! --> src/backends/smtlib2.rs:207:9 Sep 02 01:11:23.313 INFO kablam! | Sep 02 01:11:23.313 INFO kablam! 207 | smt_proc.write(format!("(set-logic {})\n", logic)); Sep 02 01:11:23.313 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 02 01:11:23.313 INFO kablam! | Sep 02 01:11:23.313 INFO kablam! = note: #[warn(unused_must_use)] on by default Sep 02 01:11:23.313 INFO kablam! = note: this `Result` may be an `Err` variant, which should be handled Sep 02 01:11:23.313 INFO kablam! Sep 02 01:11:23.315 INFO kablam! warning: unused `std::result::Result` which must be used Sep 02 01:11:23.315 INFO kablam! --> src/backends/smtlib2.rs:241:13 Sep 02 01:11:23.315 INFO kablam! | Sep 02 01:11:23.315 INFO kablam! 241 | smt_proc.write(w); Sep 02 01:11:23.315 INFO kablam! | ^^^^^^^^^^^^^^^^^^ Sep 02 01:11:23.315 INFO kablam! | Sep 02 01:11:23.315 INFO kablam! = note: this `Result` may be an `Err` variant, which should be handled Sep 02 01:11:23.315 INFO kablam! Sep 02 01:11:23.315 INFO kablam! warning: unused `std::result::Result` which must be used Sep 02 01:11:23.315 INFO kablam! --> src/backends/smtlib2.rs:244:9 Sep 02 01:11:23.315 INFO kablam! | Sep 02 01:11:23.315 INFO kablam! 244 | smt_proc.write("(check-sat)\n".to_owned()); Sep 02 01:11:23.315 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 02 01:11:23.315 INFO kablam! | Sep 02 01:11:23.315 INFO kablam! = note: this `Result` may be an `Err` variant, which should be handled Sep 02 01:11:23.315 INFO kablam! Sep 02 01:11:23.316 INFO kablam! warning: unused `std::result::Result` which must be used Sep 02 01:11:23.316 INFO kablam! --> src/backends/smtlib2.rs:262:17 Sep 02 01:11:23.316 INFO kablam! | Sep 02 01:11:23.316 INFO kablam! 262 | smt_proc.write("(get-model)\n".to_owned()); Sep 02 01:11:23.316 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Sep 02 01:11:23.316 INFO kablam! | Sep 02 01:11:23.316 INFO kablam! = note: this `Result` may be an `Err` variant, which should be handled Sep 02 01:11:23.316 INFO kablam! Sep 02 01:11:23.861 INFO kablam! error[E0463]: can't find crate for `libsmt` Sep 02 01:11:23.861 INFO kablam! --> examples/simple_example.rs:22:1 Sep 02 01:11:23.861 INFO kablam! | Sep 02 01:11:23.861 INFO kablam! 22 | extern crate libsmt; Sep 02 01:11:23.861 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ can't find crate Sep 02 01:11:23.861 INFO kablam! Sep 02 01:11:23.862 INFO kablam! error: aborting due to previous error Sep 02 01:11:23.862 INFO kablam! Sep 02 01:11:23.871 INFO kablam! For more information about this error, try `rustc --explain E0463`. Sep 02 01:11:23.878 INFO kablam! error: Could not compile `rustproof-libsmt`. Sep 02 01:11:23.886 INFO kablam! warning: build failed, waiting for other jobs to finish... Sep 02 01:11:23.960 INFO kablam! error[E0061]: this function takes 2 parameters but 1 parameter was supplied Sep 02 01:11:23.960 INFO kablam! --> src/backends/z3.rs:70:29 Sep 02 01:11:23.960 INFO kablam! | Sep 02 01:11:23.960 INFO kablam! 70 | let result = solver.solve(&mut z3).unwrap(); Sep 02 01:11:23.960 INFO kablam! | ^^^^^ expected 2 parameters Sep 02 01:11:23.960 INFO kablam! | Sep 02 01:11:23.961 INFO kablam! ::: src/backends/backend.rs:61:5 Sep 02 01:11:23.961 INFO kablam! | Sep 02 01:11:23.961 INFO kablam! 61 | fn solve(&mut self, &mut S, bool) -> (SMTResult>, SMTRes); Sep 02 01:11:23.961 INFO kablam! | ---------------------------------------------------------------------------------------------- defined here Sep 02 01:11:23.961 INFO kablam! Sep 02 01:11:24.076 INFO kablam! error[E0599]: no method named `unwrap` found for type `(std::result::Result, backends::backend::SMTError>, backends::backend::SMTRes)` in the current scope Sep 02 01:11:24.076 INFO kablam! --> src/backends/z3.rs:70:44 Sep 02 01:11:24.076 INFO kablam! | Sep 02 01:11:24.076 INFO kablam! 70 | let result = solver.solve(&mut z3).unwrap(); Sep 02 01:11:24.077 INFO kablam! | ^^^^^^ Sep 02 01:11:24.077 INFO kablam! Sep 02 01:11:24.088 INFO kablam! error[E0061]: this function takes 2 parameters but 1 parameter was supplied Sep 02 01:11:24.088 INFO kablam! --> src/backends/z3.rs:86:29 Sep 02 01:11:24.088 INFO kablam! | Sep 02 01:11:24.088 INFO kablam! 86 | let result = solver.solve(&mut z3).unwrap(); Sep 02 01:11:24.088 INFO kablam! | ^^^^^ expected 2 parameters Sep 02 01:11:24.088 INFO kablam! | Sep 02 01:11:24.088 INFO kablam! ::: src/backends/backend.rs:61:5 Sep 02 01:11:24.088 INFO kablam! | Sep 02 01:11:24.088 INFO kablam! 61 | fn solve(&mut self, &mut S, bool) -> (SMTResult>, SMTRes); Sep 02 01:11:24.088 INFO kablam! | ---------------------------------------------------------------------------------------------- defined here Sep 02 01:11:24.088 INFO kablam! Sep 02 01:11:24.093 INFO kablam! error[E0599]: no method named `unwrap` found for type `(std::result::Result, backends::backend::SMTError>, backends::backend::SMTRes)` in the current scope Sep 02 01:11:24.093 INFO kablam! --> src/backends/z3.rs:86:44 Sep 02 01:11:24.093 INFO kablam! | Sep 02 01:11:24.093 INFO kablam! 86 | let result = solver.solve(&mut z3).unwrap(); Sep 02 01:11:24.093 INFO kablam! | ^^^^^^ Sep 02 01:11:24.093 INFO kablam! Sep 02 01:11:24.103 INFO kablam! error[E0061]: this function takes 2 parameters but 1 parameter was supplied Sep 02 01:11:24.103 INFO kablam! --> src/backends/z3.rs:99:29 Sep 02 01:11:24.103 INFO kablam! | Sep 02 01:11:24.103 INFO kablam! 99 | let result = solver.solve(&mut z3).unwrap(); Sep 02 01:11:24.103 INFO kablam! | ^^^^^ expected 2 parameters Sep 02 01:11:24.103 INFO kablam! | Sep 02 01:11:24.103 INFO kablam! ::: src/backends/backend.rs:61:5 Sep 02 01:11:24.104 INFO kablam! | Sep 02 01:11:24.104 INFO kablam! 61 | fn solve(&mut self, &mut S, bool) -> (SMTResult>, SMTRes); Sep 02 01:11:24.104 INFO kablam! | ---------------------------------------------------------------------------------------------- defined here Sep 02 01:11:24.104 INFO kablam! Sep 02 01:11:24.106 INFO kablam! error[E0599]: no method named `unwrap` found for type `(std::result::Result, backends::backend::SMTError>, backends::backend::SMTRes)` in the current scope Sep 02 01:11:24.106 INFO kablam! --> src/backends/z3.rs:99:44 Sep 02 01:11:24.106 INFO kablam! | Sep 02 01:11:24.106 INFO kablam! 99 | let result = solver.solve(&mut z3).unwrap(); Sep 02 01:11:24.106 INFO kablam! | ^^^^^^ Sep 02 01:11:24.106 INFO kablam! Sep 02 01:11:24.164 INFO kablam! error[E0463]: can't find crate for `libsmt` Sep 02 01:11:24.164 INFO kablam! --> examples/bitvec_x86_64.rs:19:1 Sep 02 01:11:24.164 INFO kablam! | Sep 02 01:11:24.164 INFO kablam! 19 | extern crate libsmt; Sep 02 01:11:24.165 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ can't find crate Sep 02 01:11:24.165 INFO kablam! Sep 02 01:11:24.165 INFO kablam! error: aborting due to previous error Sep 02 01:11:24.165 INFO kablam! Sep 02 01:11:24.165 INFO kablam! For more information about this error, try `rustc --explain E0463`. Sep 02 01:11:24.169 INFO kablam! error: Could not compile `rustproof-libsmt`. Sep 02 01:11:24.169 INFO kablam! warning: build failed, waiting for other jobs to finish... Sep 02 01:11:24.202 INFO kablam! error: aborting due to 6 previous errors Sep 02 01:11:24.218 INFO kablam! Sep 02 01:11:24.218 INFO kablam! Some errors occurred: E0061, E0599. Sep 02 01:11:24.219 INFO kablam! For more information about an error, try `rustc --explain E0061`. Sep 02 01:11:24.229 INFO kablam! error: Could not compile `rustproof-libsmt`. Sep 02 01:11:24.229 INFO kablam! warning: build failed, waiting for other jobs to finish... Sep 02 01:11:24.237 INFO kablam! error[E0463]: can't find crate for `libsmt` Sep 02 01:11:24.237 INFO kablam! --> examples/fiestel.rs:6:14 Sep 02 01:11:24.237 INFO kablam! | Sep 02 01:11:24.237 INFO kablam! 6 | #[macro_use] extern crate libsmt; Sep 02 01:11:24.237 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ can't find crate Sep 02 01:11:24.237 INFO kablam! Sep 02 01:11:24.238 INFO kablam! error: aborting due to previous error Sep 02 01:11:24.238 INFO kablam! Sep 02 01:11:24.238 INFO kablam! For more information about this error, try `rustc --explain E0463`. Sep 02 01:11:24.243 INFO kablam! error: Could not compile `rustproof-libsmt`. Sep 02 01:11:24.243 INFO kablam! warning: build failed, waiting for other jobs to finish... Sep 02 01:11:24.251 INFO kablam! error[E0463]: can't find crate for `libsmt` Sep 02 01:11:24.251 INFO kablam! --> examples/bajr.rs:22:1 Sep 02 01:11:24.251 INFO kablam! | Sep 02 01:11:24.252 INFO kablam! 22 | extern crate libsmt; Sep 02 01:11:24.252 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ can't find crate Sep 02 01:11:24.252 INFO kablam! Sep 02 01:11:24.252 INFO kablam! error: aborting due to previous error Sep 02 01:11:24.252 INFO kablam! Sep 02 01:11:24.252 INFO kablam! For more information about this error, try `rustc --explain E0463`. Sep 02 01:11:24.254 INFO kablam! error: Could not compile `rustproof-libsmt`. Sep 02 01:11:24.255 INFO kablam! warning: build failed, waiting for other jobs to finish... Sep 02 01:11:24.305 INFO kablam! error[E0463]: can't find crate for `libsmt` Sep 02 01:11:24.305 INFO kablam! --> examples/bitvec_x86_64.rs:19:1 Sep 02 01:11:24.305 INFO kablam! | Sep 02 01:11:24.305 INFO kablam! 19 | extern crate libsmt; Sep 02 01:11:24.305 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ can't find crate Sep 02 01:11:24.306 INFO kablam! Sep 02 01:11:24.306 INFO kablam! error: aborting due to previous error Sep 02 01:11:24.306 INFO kablam! Sep 02 01:11:24.306 INFO kablam! For more information about this error, try `rustc --explain E0463`. Sep 02 01:11:24.311 INFO kablam! error: Could not compile `rustproof-libsmt`. Sep 02 01:11:24.311 INFO kablam! warning: build failed, waiting for other jobs to finish... Sep 02 01:11:24.319 INFO kablam! error[E0463]: can't find crate for `libsmt` Sep 02 01:11:24.319 INFO kablam! --> examples/bajr.rs:22:1 Sep 02 01:11:24.319 INFO kablam! | Sep 02 01:11:24.319 INFO kablam! 22 | extern crate libsmt; Sep 02 01:11:24.319 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ can't find crate Sep 02 01:11:24.319 INFO kablam! Sep 02 01:11:24.319 INFO kablam! error: aborting due to previous error Sep 02 01:11:24.320 INFO kablam! Sep 02 01:11:24.320 INFO kablam! For more information about this error, try `rustc --explain E0463`. Sep 02 01:11:24.321 INFO kablam! error[E0463]: can't find crate for `libsmt` Sep 02 01:11:24.322 INFO kablam! --> examples/fiestel.rs:6:14 Sep 02 01:11:24.322 INFO kablam! | Sep 02 01:11:24.322 INFO kablam! 6 | #[macro_use] extern crate libsmt; Sep 02 01:11:24.322 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ can't find crate Sep 02 01:11:24.322 INFO kablam! Sep 02 01:11:24.322 INFO kablam! error: aborting due to previous error Sep 02 01:11:24.322 INFO kablam! Sep 02 01:11:24.322 INFO kablam! For more information about this error, try `rustc --explain E0463`. Sep 02 01:11:24.325 INFO kablam! error: Could not compile `rustproof-libsmt`. Sep 02 01:11:24.326 INFO kablam! warning: build failed, waiting for other jobs to finish... Sep 02 01:11:24.329 INFO kablam! error: Could not compile `rustproof-libsmt`. Sep 02 01:11:24.329 INFO kablam! Sep 02 01:11:24.329 INFO kablam! To learn more, run the command again with --verbose. Sep 02 01:11:24.331 INFO kablam! su: No module specific data is present Sep 02 01:11:24.805 INFO running `"docker" "rm" "-f" "7309b964daade10dd601f04e901b5574707dfbffe265d28ee56fff66061313f0"` Sep 02 01:11:24.901 INFO blam! 7309b964daade10dd601f04e901b5574707dfbffe265d28ee56fff66061313f0