[INFO] updating cached repository c-cube/batsat-ocaml
[INFO] running `"git" "fetch" "--all"`
[INFO] [stdout] Fetching origin
[INFO] [stderr] From git://github.com/c-cube/batsat-ocaml
[INFO] [stderr]  * branch            HEAD       -> FETCH_HEAD
[INFO] running `"git" "clone" "work/cache/sources/gh/c-cube/batsat-ocaml" "work/ex/clippy-test-run/sources/stable/gh/c-cube/batsat-ocaml"`
[INFO] [stderr] Cloning into 'work/ex/clippy-test-run/sources/stable/gh/c-cube/batsat-ocaml'...
[INFO] [stderr] done.
[INFO] running `"git" "clone" "work/cache/sources/gh/c-cube/batsat-ocaml" "work/ex/clippy-test-run/sources/stable+rustflags=-Dclippy%3A%3Ainto_iter_on_array/gh/c-cube/batsat-ocaml"`
[INFO] [stderr] Cloning into 'work/ex/clippy-test-run/sources/stable+rustflags=-Dclippy%3A%3Ainto_iter_on_array/gh/c-cube/batsat-ocaml'...
[INFO] [stderr] done.
[INFO] running `"git" "rev-parse" "HEAD"`
[INFO] [stdout] 0e8cda17c15ebcc19eafe5977b44ba1afafa678d
[INFO] sha for GitHub repo c-cube/batsat-ocaml: 0e8cda17c15ebcc19eafe5977b44ba1afafa678d
[INFO] validating manifest of c-cube/batsat-ocaml on toolchain stable
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+stable" "read-manifest" "--manifest-path" "Cargo.toml"`
[INFO] validating manifest of c-cube/batsat-ocaml on toolchain stable+rustflags=-Dclippy::into_iter_on_array
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+stable" "read-manifest" "--manifest-path" "Cargo.toml"`
[INFO] started frobbing c-cube/batsat-ocaml
[INFO] removed workspace from c-cube/batsat-ocaml
[INFO] finished frobbing c-cube/batsat-ocaml
[INFO] frobbed toml for c-cube/batsat-ocaml written to work/ex/clippy-test-run/sources/stable/gh/c-cube/batsat-ocaml/Cargo.toml
[INFO] started frobbing c-cube/batsat-ocaml
[INFO] removed workspace from c-cube/batsat-ocaml
[INFO] finished frobbing c-cube/batsat-ocaml
[INFO] frobbed toml for c-cube/batsat-ocaml written to work/ex/clippy-test-run/sources/stable+rustflags=-Dclippy%3A%3Ainto_iter_on_array/gh/c-cube/batsat-ocaml/Cargo.toml
[INFO] crate c-cube/batsat-ocaml has a lockfile. skipping
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+stable" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+stable" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] linting c-cube/batsat-ocaml against stable+rustflags=-Dclippy::into_iter_on_array for clippy-test-run
[INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/clippy-test-run/worker-0/stable+rustflags=-Dclippy%3A%3Ainto_iter_on_array:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/clippy-test-run/sources/stable+rustflags=-Dclippy%3A%3Ainto_iter_on_array/gh/c-cube/batsat-ocaml:/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 -Dclippy::into_iter_on_array" "-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" "+stable" "clippy" "--frozen" "--all" "--all-targets"`
[INFO] [stdout] d55ba5b242e5529c0d8e6dfd41afcb9657444a0cb41ec5bdee43909fbfe043fb
[INFO] running `"docker" "start" "-a" "d55ba5b242e5529c0d8e6dfd41afcb9657444a0cb41ec5bdee43909fbfe043fb"`
[INFO] [stderr]     Checking ocaml v0.5.0
[INFO] [stderr]     Checking batsat v0.2.0
[INFO] [stderr]     Checking batsat-stubs v0.1.0 (/opt/crater/workdir)
[INFO] [stderr] warning: Comparing with null is better expressed by the .is_null() method
[INFO] [stderr]   --> src/lib.rs:78:8
[INFO] [stderr]    |
[INFO] [stderr] 78 |     if unsafe{ *v.custom_ptr_val::<*const Solver>() } != ptr::null() {
[INFO] [stderr]    |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: #[warn(clippy::cmp_null)] on by default
[INFO] [stderr]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#cmp_null
[INFO] [stderr] 
[INFO] [stderr] warning: Comparing with null is better expressed by the .is_null() method
[INFO] [stderr]    --> src/lib.rs:70:21
[INFO] [stderr]     |
[INFO] [stderr] 70  |               assert!($v.custom_ptr_val::<* const Solver>() != ptr::null());
[INFO] [stderr]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 104 | /     with_solver!(solver, ptr, {
[INFO] [stderr] 105 | |         let r = solver.simplify().into();
[INFO] [stderr] 106 | |         res = Value::bool(r);
[INFO] [stderr] 107 | |     })
[INFO] [stderr]     | |______- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#cmp_null
[INFO] [stderr] 
[INFO] [stderr] warning: identical conversion
[INFO] [stderr]    --> src/lib.rs:105:17
[INFO] [stderr]     |
[INFO] [stderr] 105 |         let r = solver.simplify().into();
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^^^^^^^ help: consider removing `.into()`: `solver.simplify()`
[INFO] [stderr]     |
[INFO] [stderr]     = note: #[warn(clippy::identity_conversion)] on by default
[INFO] [stderr]     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#identity_conversion
[INFO] [stderr] 
[INFO] [stderr] warning: Comparing with null is better expressed by the .is_null() method
[INFO] [stderr]    --> src/lib.rs:70:21
[INFO] [stderr]     |
[INFO] [stderr] 70  |               assert!($v.custom_ptr_val::<* const Solver>() != ptr::null());
[INFO] [stderr]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 112 | /     with_solver!(solver, ptr, {
[INFO] [stderr] 113 | |         let lit = lit.isize_val() as i32;
[INFO] [stderr] 114 | |
[INFO] [stderr] 115 | |         let mut r = true;
[INFO] [stderr] ...   |
[INFO] [stderr] 128 | |         res = Value::bool(r);
[INFO] [stderr] 129 | |     })
[INFO] [stderr]     | |______- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#cmp_null
[INFO] [stderr] 
[INFO] [stderr] warning: Comparing with null is better expressed by the .is_null() method
[INFO] [stderr]    --> src/lib.rs:70:21
[INFO] [stderr]     |
[INFO] [stderr] 70  |               assert!($v.custom_ptr_val::<* const Solver>() != ptr::null());
[INFO] [stderr]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 134 | /     with_solver!(solver, ptr, {
[INFO] [stderr] 135 | |         let lit = lit.isize_val() as i32;
[INFO] [stderr] 136 | |
[INFO] [stderr] 137 | |         assert!(lit != 0);
[INFO] [stderr] ...   |
[INFO] [stderr] 141 | |         res = value::UNIT;
[INFO] [stderr] 142 | |     })
[INFO] [stderr]     | |______- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#cmp_null
[INFO] [stderr] 
[INFO] [stderr] warning: Comparing with null is better expressed by the .is_null() method
[INFO] [stderr]    --> src/lib.rs:70:21
[INFO] [stderr]     |
[INFO] [stderr] 70  |               assert!($v.custom_ptr_val::<* const Solver>() != ptr::null());
[INFO] [stderr]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 146 | /     with_solver!(solver, ptr, {
[INFO] [stderr] 147 | |         let r = {
[INFO] [stderr] 148 | |             let (s, _, assumptions) = solver.decompose();
[INFO] [stderr] 149 | |             let lb = s.solve_limited(&assumptions);
[INFO] [stderr] ...   |
[INFO] [stderr] 155 | |         res = Value::bool(r);
[INFO] [stderr] 156 | |     })
[INFO] [stderr]     | |______- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#cmp_null
[INFO] [stderr] 
[INFO] [stderr] warning: Comparing with null is better expressed by the .is_null() method
[INFO] [stderr]    --> src/lib.rs:70:21
[INFO] [stderr]     |
[INFO] [stderr] 70  |               assert!($v.custom_ptr_val::<* const Solver>() != ptr::null());
[INFO] [stderr]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 160 | /     with_solver!(solver, ptr, {
[INFO] [stderr] 161 | |         let lit = lit.isize_val() as i32;
[INFO] [stderr] 162 | |         let r =
[INFO] [stderr] 163 | |             if lit.abs() >= solver.num_vars() as i32 {
[INFO] [stderr] ...   |
[INFO] [stderr] 171 | |
[INFO] [stderr] 172 | |     });
[INFO] [stderr]     | |_______- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#cmp_null
[INFO] [stderr] 
[INFO] [stderr] warning: Comparing with null is better expressed by the .is_null() method
[INFO] [stderr]    --> src/lib.rs:70:21
[INFO] [stderr]     |
[INFO] [stderr] 70  |               assert!($v.custom_ptr_val::<* const Solver>() != ptr::null());
[INFO] [stderr]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 176 | /     with_solver!(solver, ptr, {
[INFO] [stderr] 177 | |         let lit = lit.isize_val() as i32;
[INFO] [stderr] 178 | |         let r =
[INFO] [stderr] 179 | |             if lit.abs() >= solver.num_vars() as i32 {
[INFO] [stderr] ...   |
[INFO] [stderr] 187 | |
[INFO] [stderr] 188 | |     });
[INFO] [stderr]     | |_______- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#cmp_null
[INFO] [stderr] 
[INFO] [stderr] warning: Comparing with null is better expressed by the .is_null() method
[INFO] [stderr]    --> src/lib.rs:70:21
[INFO] [stderr]     |
[INFO] [stderr] 70  |               assert!($v.custom_ptr_val::<* const Solver>() != ptr::null());
[INFO] [stderr]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 193 | /     with_solver!(solver, ptr, {
[INFO] [stderr] 194 | |         let lit = lit.isize_val() as i32;
[INFO] [stderr] 195 | |
[INFO] [stderr] 196 | |         // check unsat-core
[INFO] [stderr] ...   |
[INFO] [stderr] 200 | |         res = Value::bool(r);
[INFO] [stderr] 201 | |     })
[INFO] [stderr]     | |______- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#cmp_null
[INFO] [stderr] 
[INFO] [stderr] warning: Comparing with null is better expressed by the .is_null() method
[INFO] [stderr]    --> src/lib.rs:70:21
[INFO] [stderr]     |
[INFO] [stderr] 70  |               assert!($v.custom_ptr_val::<* const Solver>() != ptr::null());
[INFO] [stderr]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 211 | /     with_solver!(solver, ptr, {
[INFO] [stderr] 212 | |         let core =
[INFO] [stderr] 213 | |             solver.s.unsat_core()
[INFO] [stderr] 214 | |             .iter()
[INFO] [stderr] ...   |
[INFO] [stderr] 217 | |         res = core.to_value();
[INFO] [stderr] 218 | |     })
[INFO] [stderr]     | |______- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#cmp_null
[INFO] [stderr] 
[INFO] [stderr] warning: Comparing with null is better expressed by the .is_null() method
[INFO] [stderr]    --> src/lib.rs:70:21
[INFO] [stderr]     |
[INFO] [stderr] 70  |               assert!($v.custom_ptr_val::<* const Solver>() != ptr::null());
[INFO] [stderr]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 222 | /     with_solver!(solver, ptr, {
[INFO] [stderr] 223 | |         let r = solver.s.num_vars() as isize;
[INFO] [stderr] 224 | |         res = Value::isize(r);
[INFO] [stderr] 225 | |     });
[INFO] [stderr]     | |_______- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#cmp_null
[INFO] [stderr] 
[INFO] [stderr] warning: Comparing with null is better expressed by the .is_null() method
[INFO] [stderr]    --> src/lib.rs:70:21
[INFO] [stderr]     |
[INFO] [stderr] 70  |               assert!($v.custom_ptr_val::<* const Solver>() != ptr::null());
[INFO] [stderr]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 229 | /     with_solver!(solver, ptr, {
[INFO] [stderr] 230 | |         let r = solver.s.num_clauses();
[INFO] [stderr] 231 | |         res = Value::isize(r as isize);
[INFO] [stderr] 232 | |     })
[INFO] [stderr]     | |______- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#cmp_null
[INFO] [stderr] 
[INFO] [stderr] warning: Comparing with null is better expressed by the .is_null() method
[INFO] [stderr]    --> src/lib.rs:70:21
[INFO] [stderr]     |
[INFO] [stderr] 70  |               assert!($v.custom_ptr_val::<* const Solver>() != ptr::null());
[INFO] [stderr]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 236 | /     with_solver!(solver, ptr, {
[INFO] [stderr] 237 | |         let r = solver.s.num_conflicts();
[INFO] [stderr] 238 | |         res = Value::isize(r as isize);
[INFO] [stderr] 239 | |     })
[INFO] [stderr]     | |______- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#cmp_null
[INFO] [stderr] 
[INFO] [stderr] warning: Comparing with null is better expressed by the .is_null() method
[INFO] [stderr]    --> src/lib.rs:70:21
[INFO] [stderr]     |
[INFO] [stderr] 70  |               assert!($v.custom_ptr_val::<* const Solver>() != ptr::null());
[INFO] [stderr]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 243 | /     with_solver!(solver, ptr, {
[INFO] [stderr] 244 | |         let r = solver.s.proved_at_lvl_0().len();
[INFO] [stderr] 245 | |         res = Value::isize(r as isize);
[INFO] [stderr] 246 | |     })
[INFO] [stderr]     | |______- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#cmp_null
[INFO] [stderr] 
[INFO] [stderr] warning: Comparing with null is better expressed by the .is_null() method
[INFO] [stderr]    --> src/lib.rs:70:21
[INFO] [stderr]     |
[INFO] [stderr] 70  |               assert!($v.custom_ptr_val::<* const Solver>() != ptr::null());
[INFO] [stderr]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 251 | /     with_solver!(solver, ptr, {
[INFO] [stderr] 252 | |         let lit = solver.s.proved_at_lvl_0()[i];
[INFO] [stderr] 253 | |         let lit = lit.var().idx() as isize * if lit.sign() { 1 } else { -1 };
[INFO] [stderr] 254 | |         res = Value::isize(lit);
[INFO] [stderr] 255 | |     })
[INFO] [stderr]     | |______- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#cmp_null
[INFO] [stderr] 
[INFO] [stderr] warning: Comparing with null is better expressed by the .is_null() method
[INFO] [stderr]   --> src/lib.rs:78:8
[INFO] [stderr]    |
[INFO] [stderr] 78 |     if unsafe{ *v.custom_ptr_val::<*const Solver>() } != ptr::null() {
[INFO] [stderr]    |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: #[warn(clippy::cmp_null)] on by default
[INFO] [stderr]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#cmp_null
[INFO] [stderr] 
[INFO] [stderr] warning: Comparing with null is better expressed by the .is_null() method
[INFO] [stderr]    --> src/lib.rs:70:21
[INFO] [stderr]     |
[INFO] [stderr] 70  |               assert!($v.custom_ptr_val::<* const Solver>() != ptr::null());
[INFO] [stderr]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 104 | /     with_solver!(solver, ptr, {
[INFO] [stderr] 105 | |         let r = solver.simplify().into();
[INFO] [stderr] 106 | |         res = Value::bool(r);
[INFO] [stderr] 107 | |     })
[INFO] [stderr]     | |______- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#cmp_null
[INFO] [stderr] 
[INFO] [stderr] warning: identical conversion
[INFO] [stderr]    --> src/lib.rs:105:17
[INFO] [stderr]     |
[INFO] [stderr] 105 |         let r = solver.simplify().into();
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^^^^^^^ help: consider removing `.into()`: `solver.simplify()`
[INFO] [stderr]     |
[INFO] [stderr]     = note: #[warn(clippy::identity_conversion)] on by default
[INFO] [stderr]     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#identity_conversion
[INFO] [stderr] 
[INFO] [stderr] warning: Comparing with null is better expressed by the .is_null() method
[INFO] [stderr]    --> src/lib.rs:70:21
[INFO] [stderr]     |
[INFO] [stderr] 70  |               assert!($v.custom_ptr_val::<* const Solver>() != ptr::null());
[INFO] [stderr]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 112 | /     with_solver!(solver, ptr, {
[INFO] [stderr] 113 | |         let lit = lit.isize_val() as i32;
[INFO] [stderr] 114 | |
[INFO] [stderr] 115 | |         let mut r = true;
[INFO] [stderr] ...   |
[INFO] [stderr] 128 | |         res = Value::bool(r);
[INFO] [stderr] 129 | |     })
[INFO] [stderr]     | |______- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#cmp_null
[INFO] [stderr] 
[INFO] [stderr] warning: Comparing with null is better expressed by the .is_null() method
[INFO] [stderr]    --> src/lib.rs:70:21
[INFO] [stderr]     |
[INFO] [stderr] 70  |               assert!($v.custom_ptr_val::<* const Solver>() != ptr::null());
[INFO] [stderr]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 134 | /     with_solver!(solver, ptr, {
[INFO] [stderr] 135 | |         let lit = lit.isize_val() as i32;
[INFO] [stderr] 136 | |
[INFO] [stderr] 137 | |         assert!(lit != 0);
[INFO] [stderr] ...   |
[INFO] [stderr] 141 | |         res = value::UNIT;
[INFO] [stderr] 142 | |     })
[INFO] [stderr]     | |______- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#cmp_null
[INFO] [stderr] 
[INFO] [stderr] warning: Comparing with null is better expressed by the .is_null() method
[INFO] [stderr]    --> src/lib.rs:70:21
[INFO] [stderr]     |
[INFO] [stderr] 70  |               assert!($v.custom_ptr_val::<* const Solver>() != ptr::null());
[INFO] [stderr]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 146 | /     with_solver!(solver, ptr, {
[INFO] [stderr] 147 | |         let r = {
[INFO] [stderr] 148 | |             let (s, _, assumptions) = solver.decompose();
[INFO] [stderr] 149 | |             let lb = s.solve_limited(&assumptions);
[INFO] [stderr] ...   |
[INFO] [stderr] 155 | |         res = Value::bool(r);
[INFO] [stderr] 156 | |     })
[INFO] [stderr]     | |______- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#cmp_null
[INFO] [stderr] 
[INFO] [stderr] warning: Comparing with null is better expressed by the .is_null() method
[INFO] [stderr]    --> src/lib.rs:70:21
[INFO] [stderr]     |
[INFO] [stderr] 70  |               assert!($v.custom_ptr_val::<* const Solver>() != ptr::null());
[INFO] [stderr]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 160 | /     with_solver!(solver, ptr, {
[INFO] [stderr] 161 | |         let lit = lit.isize_val() as i32;
[INFO] [stderr] 162 | |         let r =
[INFO] [stderr] 163 | |             if lit.abs() >= solver.num_vars() as i32 {
[INFO] [stderr] ...   |
[INFO] [stderr] 171 | |
[INFO] [stderr] 172 | |     });
[INFO] [stderr]     | |_______- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#cmp_null
[INFO] [stderr] 
[INFO] [stderr] warning: Comparing with null is better expressed by the .is_null() method
[INFO] [stderr]    --> src/lib.rs:70:21
[INFO] [stderr]     |
[INFO] [stderr] 70  |               assert!($v.custom_ptr_val::<* const Solver>() != ptr::null());
[INFO] [stderr]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 176 | /     with_solver!(solver, ptr, {
[INFO] [stderr] 177 | |         let lit = lit.isize_val() as i32;
[INFO] [stderr] 178 | |         let r =
[INFO] [stderr] 179 | |             if lit.abs() >= solver.num_vars() as i32 {
[INFO] [stderr] ...   |
[INFO] [stderr] 187 | |
[INFO] [stderr] 188 | |     });
[INFO] [stderr]     | |_______- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#cmp_null
[INFO] [stderr] 
[INFO] [stderr] warning: Comparing with null is better expressed by the .is_null() method
[INFO] [stderr]    --> src/lib.rs:70:21
[INFO] [stderr]     |
[INFO] [stderr] 70  |               assert!($v.custom_ptr_val::<* const Solver>() != ptr::null());
[INFO] [stderr]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 193 | /     with_solver!(solver, ptr, {
[INFO] [stderr] 194 | |         let lit = lit.isize_val() as i32;
[INFO] [stderr] 195 | |
[INFO] [stderr] 196 | |         // check unsat-core
[INFO] [stderr] ...   |
[INFO] [stderr] 200 | |         res = Value::bool(r);
[INFO] [stderr] 201 | |     })
[INFO] [stderr]     | |______- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#cmp_null
[INFO] [stderr] 
[INFO] [stderr] warning: Comparing with null is better expressed by the .is_null() method
[INFO] [stderr]    --> src/lib.rs:70:21
[INFO] [stderr]     |
[INFO] [stderr] 70  |               assert!($v.custom_ptr_val::<* const Solver>() != ptr::null());
[INFO] [stderr]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 211 | /     with_solver!(solver, ptr, {
[INFO] [stderr] 212 | |         let core =
[INFO] [stderr] 213 | |             solver.s.unsat_core()
[INFO] [stderr] 214 | |             .iter()
[INFO] [stderr] ...   |
[INFO] [stderr] 217 | |         res = core.to_value();
[INFO] [stderr] 218 | |     })
[INFO] [stderr]     | |______- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#cmp_null
[INFO] [stderr] 
[INFO] [stderr] warning: Comparing with null is better expressed by the .is_null() method
[INFO] [stderr]    --> src/lib.rs:70:21
[INFO] [stderr]     |
[INFO] [stderr] 70  |               assert!($v.custom_ptr_val::<* const Solver>() != ptr::null());
[INFO] [stderr]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 222 | /     with_solver!(solver, ptr, {
[INFO] [stderr] 223 | |         let r = solver.s.num_vars() as isize;
[INFO] [stderr] 224 | |         res = Value::isize(r);
[INFO] [stderr] 225 | |     });
[INFO] [stderr]     | |_______- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#cmp_null
[INFO] [stderr] 
[INFO] [stderr] warning: Comparing with null is better expressed by the .is_null() method
[INFO] [stderr]    --> src/lib.rs:70:21
[INFO] [stderr]     |
[INFO] [stderr] 70  |               assert!($v.custom_ptr_val::<* const Solver>() != ptr::null());
[INFO] [stderr]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 229 | /     with_solver!(solver, ptr, {
[INFO] [stderr] 230 | |         let r = solver.s.num_clauses();
[INFO] [stderr] 231 | |         res = Value::isize(r as isize);
[INFO] [stderr] 232 | |     })
[INFO] [stderr]     | |______- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#cmp_null
[INFO] [stderr] 
[INFO] [stderr] warning: Comparing with null is better expressed by the .is_null() method
[INFO] [stderr]    --> src/lib.rs:70:21
[INFO] [stderr]     |
[INFO] [stderr] 70  |               assert!($v.custom_ptr_val::<* const Solver>() != ptr::null());
[INFO] [stderr]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 236 | /     with_solver!(solver, ptr, {
[INFO] [stderr] 237 | |         let r = solver.s.num_conflicts();
[INFO] [stderr] 238 | |         res = Value::isize(r as isize);
[INFO] [stderr] 239 | |     })
[INFO] [stderr]     | |______- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#cmp_null
[INFO] [stderr] 
[INFO] [stderr] warning: Comparing with null is better expressed by the .is_null() method
[INFO] [stderr]    --> src/lib.rs:70:21
[INFO] [stderr]     |
[INFO] [stderr] 70  |               assert!($v.custom_ptr_val::<* const Solver>() != ptr::null());
[INFO] [stderr]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 243 | /     with_solver!(solver, ptr, {
[INFO] [stderr] 244 | |         let r = solver.s.proved_at_lvl_0().len();
[INFO] [stderr] 245 | |         res = Value::isize(r as isize);
[INFO] [stderr] 246 | |     })
[INFO] [stderr]     | |______- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#cmp_null
[INFO] [stderr] 
[INFO] [stderr] warning: Comparing with null is better expressed by the .is_null() method
[INFO] [stderr]    --> src/lib.rs:70:21
[INFO] [stderr]     |
[INFO] [stderr] 70  |               assert!($v.custom_ptr_val::<* const Solver>() != ptr::null());
[INFO] [stderr]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 251 | /     with_solver!(solver, ptr, {
[INFO] [stderr] 252 | |         let lit = solver.s.proved_at_lvl_0()[i];
[INFO] [stderr] 253 | |         let lit = lit.var().idx() as isize * if lit.sign() { 1 } else { -1 };
[INFO] [stderr] 254 | |         res = Value::isize(lit);
[INFO] [stderr] 255 | |     })
[INFO] [stderr]     | |______- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#cmp_null
[INFO] [stderr] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 3.31s
[INFO] running `"docker" "inspect" "d55ba5b242e5529c0d8e6dfd41afcb9657444a0cb41ec5bdee43909fbfe043fb"`
[INFO] running `"docker" "rm" "-f" "d55ba5b242e5529c0d8e6dfd41afcb9657444a0cb41ec5bdee43909fbfe043fb"`
[INFO] [stdout] d55ba5b242e5529c0d8e6dfd41afcb9657444a0cb41ec5bdee43909fbfe043fb