[INFO] cloning repository https://github.com/huskyii/satisfy-rs
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/huskyii/satisfy-rs" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhuskyii%2Fsatisfy-rs", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhuskyii%2Fsatisfy-rs'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] c2a39a5ce2d42f60532625548c1a3be006358b0c
[INFO] checking huskyii/satisfy-rs against master#4455c8937007f3cc3c078375a335d86dbab391ce for pr-140956
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhuskyii%2Fsatisfy-rs" "/workspace/builds/worker-1-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/huskyii/satisfy-rs
[INFO] finished tweaking git repo https://github.com/huskyii/satisfy-rs
[INFO] tweaked toml for git repo https://github.com/huskyii/satisfy-rs written to /workspace/builds/worker-1-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/huskyii/satisfy-rs on toolchain 4455c8937007f3cc3c078375a335d86dbab391ce
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+4455c8937007f3cc3c078375a335d86dbab391ce" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/huskyii/satisfy-rs already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+4455c8937007f3cc3c078375a335d86dbab391ce" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+4455c8937007f3cc3c078375a335d86dbab391ce" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] d944d29d2b8b3c2028d87dbf22ca329ddffd4dc95c248cfae8ac219d0389a13c
[INFO] running `Command { std: "docker" "start" "-a" "d944d29d2b8b3c2028d87dbf22ca329ddffd4dc95c248cfae8ac219d0389a13c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "d944d29d2b8b3c2028d87dbf22ca329ddffd4dc95c248cfae8ac219d0389a13c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d944d29d2b8b3c2028d87dbf22ca329ddffd4dc95c248cfae8ac219d0389a13c", kill_on_drop: false }`
[INFO] [stdout] d944d29d2b8b3c2028d87dbf22ca329ddffd4dc95c248cfae8ac219d0389a13c
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+4455c8937007f3cc3c078375a335d86dbab391ce" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 9cbfb32e0a163e521b2877a41409ce1be12e608b4bd646ce4175b5ff74fe82bd
[INFO] running `Command { std: "docker" "start" "-a" "9cbfb32e0a163e521b2877a41409ce1be12e608b4bd646ce4175b5ff74fe82bd", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.67
[INFO] [stderr]    Compiling jobserver v0.1.21
[INFO] [stderr]    Compiling cc v1.0.50
[INFO] [stderr]    Compiling cadical-sys v0.1.0 (/opt/rustwide/workdir/cadical-sys)
[INFO] [stderr] warning: cadical-sys@0.1.0: In file included from cadical-rel-1.2.1/src/internal.hpp:51,
[INFO] [stderr] warning: cadical-sys@0.1.0:                  from cadical-rel-1.2.1/src/solver.cpp:1:
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp: In destructor 'CaDiCaL::Solver::~Solver()':
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:30:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:    30 |   if ((COND)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:36:3: note: in expansion of macro 'REQUIRE'
[INFO] [stderr] warning: cadical-sys@0.1.0:    36 |   REQUIRE(this != 0, "solver not initialized"); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:49:3: note: in expansion of macro 'REQUIRE_INITIALIZED'
[INFO] [stderr] warning: cadical-sys@0.1.0:    49 |   REQUIRE_INITIALIZED (); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:328:3: note: in expansion of macro 'REQUIRE_VALID_OR_SOLVING_STATE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   328 |   REQUIRE_VALID_OR_SOLVING_STATE ();
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:255:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:   255 |   if ((this == 0)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:327:3: note: in expansion of macro 'TRACE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   327 |   TRACE ("reset");
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp: In member function 'int CaDiCaL::Solver::vars()':
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:30:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:    30 |   if ((COND)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:36:3: note: in expansion of macro 'REQUIRE'
[INFO] [stderr] warning: cadical-sys@0.1.0:    36 |   REQUIRE(this != 0, "solver not initialized"); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:49:3: note: in expansion of macro 'REQUIRE_INITIALIZED'
[INFO] [stderr] warning: cadical-sys@0.1.0:    49 |   REQUIRE_INITIALIZED (); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:374:3: note: in expansion of macro 'REQUIRE_VALID_OR_SOLVING_STATE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   374 |   REQUIRE_VALID_OR_SOLVING_STATE ();
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:255:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:   255 |   if ((this == 0)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:373:3: note: in expansion of macro 'TRACE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   373 |   TRACE ("vars");
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp: In member function 'void CaDiCaL::Solver::reserve(int)':
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:30:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:    30 |   if ((COND)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:36:3: note: in expansion of macro 'REQUIRE'
[INFO] [stderr] warning: cadical-sys@0.1.0:    36 |   REQUIRE(this != 0, "solver not initialized"); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:43:3: note: in expansion of macro 'REQUIRE_INITIALIZED'
[INFO] [stderr] warning: cadical-sys@0.1.0:    43 |   REQUIRE_INITIALIZED (); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:382:3: note: in expansion of macro 'REQUIRE_VALID_STATE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   382 |   REQUIRE_VALID_STATE ();
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:255:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:   255 |   if ((this == 0)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:381:3: note: in expansion of macro 'TRACE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   381 |   TRACE ("reserve", min_max_var);
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp: In member function 'void CaDiCaL::Solver::trace_api_calls(FILE*)':
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:30:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:    30 |   if ((COND)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:36:3: note: in expansion of macro 'REQUIRE'
[INFO] [stderr] warning: cadical-sys@0.1.0:    36 |   REQUIRE(this != 0, "solver not initialized"); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:43:3: note: in expansion of macro 'REQUIRE_INITIALIZED'
[INFO] [stderr] warning: cadical-sys@0.1.0:    43 |   REQUIRE_INITIALIZED (); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:393:3: note: in expansion of macro 'REQUIRE_VALID_STATE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   393 |   REQUIRE_VALID_STATE ();
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp: In member function 'int CaDiCaL::Solver::get(const char*)':
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:30:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:    30 |   if ((COND)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:36:3: note: in expansion of macro 'REQUIRE'
[INFO] [stderr] warning: cadical-sys@0.1.0:    36 |   REQUIRE(this != 0, "solver not initialized"); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:49:3: note: in expansion of macro 'REQUIRE_INITIALIZED'
[INFO] [stderr] warning: cadical-sys@0.1.0:    49 |   REQUIRE_INITIALIZED (); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:417:3: note: in expansion of macro 'REQUIRE_VALID_OR_SOLVING_STATE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   417 |   REQUIRE_VALID_OR_SOLVING_STATE ();
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp: In member function 'bool CaDiCaL::Solver::set(const char*, int)':
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:30:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:    30 |   if ((COND)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:36:3: note: in expansion of macro 'REQUIRE'
[INFO] [stderr] warning: cadical-sys@0.1.0:    36 |   REQUIRE(this != 0, "solver not initialized"); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:43:3: note: in expansion of macro 'REQUIRE_INITIALIZED'
[INFO] [stderr] warning: cadical-sys@0.1.0:    43 |   REQUIRE_INITIALIZED (); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:423:3: note: in expansion of macro 'REQUIRE_VALID_STATE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   423 |   REQUIRE_VALID_STATE ();
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:255:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:   255 |   if ((this == 0)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:422:3: note: in expansion of macro 'TRACE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   422 |   TRACE ("set", arg, val);
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp: In member function 'void CaDiCaL::Solver::optimize(int)':
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:30:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:    30 |   if ((COND)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:36:3: note: in expansion of macro 'REQUIRE'
[INFO] [stderr] warning: cadical-sys@0.1.0:    36 |   REQUIRE(this != 0, "solver not initialized"); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:43:3: note: in expansion of macro 'REQUIRE_INITIALIZED'
[INFO] [stderr] warning: cadical-sys@0.1.0:    43 |   REQUIRE_INITIALIZED (); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:455:3: note: in expansion of macro 'REQUIRE_VALID_STATE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   455 |   REQUIRE_VALID_STATE ();
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp: In member function 'bool CaDiCaL::Solver::limit(const char*, int)':
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:30:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:    30 |   if ((COND)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:36:3: note: in expansion of macro 'REQUIRE'
[INFO] [stderr] warning: cadical-sys@0.1.0:    36 |   REQUIRE(this != 0, "solver not initialized"); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:43:3: note: in expansion of macro 'REQUIRE_INITIALIZED'
[INFO] [stderr] warning: cadical-sys@0.1.0:    43 |   REQUIRE_INITIALIZED (); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:462:3: note: in expansion of macro 'REQUIRE_VALID_STATE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   462 |   REQUIRE_VALID_STATE ();
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:255:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:   255 |   if ((this == 0)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:461:3: note: in expansion of macro 'TRACE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   461 |   TRACE ("limit", arg, val);
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp: In member function 'void CaDiCaL::Solver::prefix(const char*)':
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:30:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:    30 |   if ((COND)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:36:3: note: in expansion of macro 'REQUIRE'
[INFO] [stderr] warning: cadical-sys@0.1.0:    36 |   REQUIRE(this != 0, "solver not initialized"); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:43:3: note: in expansion of macro 'REQUIRE_INITIALIZED'
[INFO] [stderr] warning: cadical-sys@0.1.0:    43 |   REQUIRE_INITIALIZED (); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:474:3: note: in expansion of macro 'REQUIRE_VALID_STATE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   474 |   REQUIRE_VALID_STATE ();
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp: In member function 'bool CaDiCaL::Solver::configure(const char*)':
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:30:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:    30 |   if ((COND)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:36:3: note: in expansion of macro 'REQUIRE'
[INFO] [stderr] warning: cadical-sys@0.1.0:    36 |   REQUIRE(this != 0, "solver not initialized"); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:43:3: note: in expansion of macro 'REQUIRE_INITIALIZED'
[INFO] [stderr] warning: cadical-sys@0.1.0:    43 |   REQUIRE_INITIALIZED (); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:485:3: note: in expansion of macro 'REQUIRE_VALID_STATE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   485 |   REQUIRE_VALID_STATE ();
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp: In member function 'void CaDiCaL::Solver::add(int)':
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:30:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:    30 |   if ((COND)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:36:3: note: in expansion of macro 'REQUIRE'
[INFO] [stderr] warning: cadical-sys@0.1.0:    36 |   REQUIRE(this != 0, "solver not initialized"); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:43:3: note: in expansion of macro 'REQUIRE_INITIALIZED'
[INFO] [stderr] warning: cadical-sys@0.1.0:    43 |   REQUIRE_INITIALIZED (); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:497:3: note: in expansion of macro 'REQUIRE_VALID_STATE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   497 |   REQUIRE_VALID_STATE ();
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:255:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:   255 |   if ((this == 0)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:496:3: note: in expansion of macro 'TRACE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   496 |   TRACE ("add", lit);
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp: In member function 'void CaDiCaL::Solver::assume(int)':
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:30:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:    30 |   if ((COND)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:36:3: note: in expansion of macro 'REQUIRE'
[INFO] [stderr] warning: cadical-sys@0.1.0:    36 |   REQUIRE(this != 0, "solver not initialized"); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:43:3: note: in expansion of macro 'REQUIRE_INITIALIZED'
[INFO] [stderr] warning: cadical-sys@0.1.0:    43 |   REQUIRE_INITIALIZED (); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:508:3: note: in expansion of macro 'REQUIRE_VALID_STATE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   508 |   REQUIRE_VALID_STATE ();
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:255:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:   255 |   if ((this == 0)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:507:3: note: in expansion of macro 'TRACE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   507 |   TRACE ("assume", lit);
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp: In member function 'int CaDiCaL::Solver::solve()':
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:30:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:    30 |   if ((COND)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:36:3: note: in expansion of macro 'REQUIRE'
[INFO] [stderr] warning: cadical-sys@0.1.0:    36 |   REQUIRE(this != 0, "solver not initialized"); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:43:3: note: in expansion of macro 'REQUIRE_INITIALIZED'
[INFO] [stderr] warning: cadical-sys@0.1.0:    43 |   REQUIRE_INITIALIZED (); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:550:3: note: in expansion of macro 'REQUIRE_VALID_STATE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   550 |   REQUIRE_VALID_STATE ();
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:255:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:   255 |   if ((this == 0)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:549:3: note: in expansion of macro 'TRACE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   549 |   TRACE ("solve");
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp: In member function 'int CaDiCaL::Solver::simplify(int)':
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:30:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:    30 |   if ((COND)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:36:3: note: in expansion of macro 'REQUIRE'
[INFO] [stderr] warning: cadical-sys@0.1.0:    36 |   REQUIRE(this != 0, "solver not initialized"); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:43:3: note: in expansion of macro 'REQUIRE_INITIALIZED'
[INFO] [stderr] warning: cadical-sys@0.1.0:    43 |   REQUIRE_INITIALIZED (); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:560:3: note: in expansion of macro 'REQUIRE_VALID_STATE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   560 |   REQUIRE_VALID_STATE ();
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:255:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:   255 |   if ((this == 0)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:559:3: note: in expansion of macro 'TRACE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   559 |   TRACE ("simplify", rounds);
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp: In member function 'bool CaDiCaL::Solver::failed(int)':
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:30:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:    30 |   if ((COND)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:36:3: note: in expansion of macro 'REQUIRE'
[INFO] [stderr] warning: cadical-sys@0.1.0:    36 |   REQUIRE(this != 0, "solver not initialized"); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:43:3: note: in expansion of macro 'REQUIRE_INITIALIZED'
[INFO] [stderr] warning: cadical-sys@0.1.0:    43 |   REQUIRE_INITIALIZED (); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:587:3: note: in expansion of macro 'REQUIRE_VALID_STATE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   587 |   REQUIRE_VALID_STATE ();
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:255:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:   255 |   if ((this == 0)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:586:3: note: in expansion of macro 'TRACE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   586 |   TRACE ("failed", lit);
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp: In member function 'void CaDiCaL::Solver::terminate()':
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:30:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:    30 |   if ((COND)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:36:3: note: in expansion of macro 'REQUIRE'
[INFO] [stderr] warning: cadical-sys@0.1.0:    36 |   REQUIRE(this != 0, "solver not initialized"); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:49:3: note: in expansion of macro 'REQUIRE_INITIALIZED'
[INFO] [stderr] warning: cadical-sys@0.1.0:    49 |   REQUIRE_INITIALIZED (); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:609:3: note: in expansion of macro 'REQUIRE_VALID_OR_SOLVING_STATE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   609 |   REQUIRE_VALID_OR_SOLVING_STATE ();
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp: In member function 'void CaDiCaL::Solver::connect_terminator(CaDiCaL::Terminator*)':
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:30:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:    30 |   if ((COND)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:36:3: note: in expansion of macro 'REQUIRE'
[INFO] [stderr] warning: cadical-sys@0.1.0:    36 |   REQUIRE(this != 0, "solver not initialized"); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:43:3: note: in expansion of macro 'REQUIRE_INITIALIZED'
[INFO] [stderr] warning: cadical-sys@0.1.0:    43 |   REQUIRE_INITIALIZED (); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:616:3: note: in expansion of macro 'REQUIRE_VALID_STATE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   616 |   REQUIRE_VALID_STATE ();
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp: In member function 'void CaDiCaL::Solver::disconnect_terminator()':
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:30:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:    30 |   if ((COND)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:36:3: note: in expansion of macro 'REQUIRE'
[INFO] [stderr] warning: cadical-sys@0.1.0:    36 |   REQUIRE(this != 0, "solver not initialized"); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:43:3: note: in expansion of macro 'REQUIRE_INITIALIZED'
[INFO] [stderr] warning: cadical-sys@0.1.0:    43 |   REQUIRE_INITIALIZED (); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:630:3: note: in expansion of macro 'REQUIRE_VALID_STATE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   630 |   REQUIRE_VALID_STATE ();
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp: In member function 'int CaDiCaL::Solver::active() const':
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:30:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:    30 |   if ((COND)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:36:3: note: in expansion of macro 'REQUIRE'
[INFO] [stderr] warning: cadical-sys@0.1.0:    36 |   REQUIRE(this != 0, "solver not initialized"); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:43:3: note: in expansion of macro 'REQUIRE_INITIALIZED'
[INFO] [stderr] warning: cadical-sys@0.1.0:    43 |   REQUIRE_INITIALIZED (); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:645:3: note: in expansion of macro 'REQUIRE_VALID_STATE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   645 |   REQUIRE_VALID_STATE ();
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:255:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:   255 |   if ((this == 0)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:644:3: note: in expansion of macro 'TRACE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   644 |   TRACE ("active");
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp: In member function 'int64_t CaDiCaL::Solver::redundant() const':
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:30:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:    30 |   if ((COND)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:36:3: note: in expansion of macro 'REQUIRE'
[INFO] [stderr] warning: cadical-sys@0.1.0:    36 |   REQUIRE(this != 0, "solver not initialized"); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:43:3: note: in expansion of macro 'REQUIRE_INITIALIZED'
[INFO] [stderr] warning: cadical-sys@0.1.0:    43 |   REQUIRE_INITIALIZED (); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:653:3: note: in expansion of macro 'REQUIRE_VALID_STATE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   653 |   REQUIRE_VALID_STATE ();
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:255:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:   255 |   if ((this == 0)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:652:3: note: in expansion of macro 'TRACE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   652 |   TRACE ("redundant");
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp: In member function 'int64_t CaDiCaL::Solver::irredundant() const':
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:30:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:    30 |   if ((COND)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:36:3: note: in expansion of macro 'REQUIRE'
[INFO] [stderr] warning: cadical-sys@0.1.0:    36 |   REQUIRE(this != 0, "solver not initialized"); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:43:3: note: in expansion of macro 'REQUIRE_INITIALIZED'
[INFO] [stderr] warning: cadical-sys@0.1.0:    43 |   REQUIRE_INITIALIZED (); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:661:3: note: in expansion of macro 'REQUIRE_VALID_STATE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   661 |   REQUIRE_VALID_STATE ();
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:255:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:   255 |   if ((this == 0)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:660:3: note: in expansion of macro 'TRACE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   660 |   TRACE ("irredundant");
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp: In member function 'void CaDiCaL::Solver::freeze(int)':
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:30:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:    30 |   if ((COND)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:36:3: note: in expansion of macro 'REQUIRE'
[INFO] [stderr] warning: cadical-sys@0.1.0:    36 |   REQUIRE(this != 0, "solver not initialized"); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:43:3: note: in expansion of macro 'REQUIRE_INITIALIZED'
[INFO] [stderr] warning: cadical-sys@0.1.0:    43 |   REQUIRE_INITIALIZED (); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:671:3: note: in expansion of macro 'REQUIRE_VALID_STATE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   671 |   REQUIRE_VALID_STATE ();
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:255:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:   255 |   if ((this == 0)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:670:3: note: in expansion of macro 'TRACE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   670 |   TRACE ("freeze", lit);
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp: In member function 'bool CaDiCaL::Solver::trace_proof(FILE*, const char*)':
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:30:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:    30 |   if ((COND)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:36:3: note: in expansion of macro 'REQUIRE'
[INFO] [stderr] warning: cadical-sys@0.1.0:    36 |   REQUIRE(this != 0, "solver not initialized"); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:43:3: note: in expansion of macro 'REQUIRE_INITIALIZED'
[INFO] [stderr] warning: cadical-sys@0.1.0:    43 |   REQUIRE_INITIALIZED (); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:700:3: note: in expansion of macro 'REQUIRE_VALID_STATE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   700 |   REQUIRE_VALID_STATE ();
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp: In member function 'bool CaDiCaL::Solver::trace_proof(const char*)':
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:30:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:    30 |   if ((COND)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:36:3: note: in expansion of macro 'REQUIRE'
[INFO] [stderr] warning: cadical-sys@0.1.0:    36 |   REQUIRE(this != 0, "solver not initialized"); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:43:3: note: in expansion of macro 'REQUIRE_INITIALIZED'
[INFO] [stderr] warning: cadical-sys@0.1.0:    43 |   REQUIRE_INITIALIZED (); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:714:3: note: in expansion of macro 'REQUIRE_VALID_STATE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   714 |   REQUIRE_VALID_STATE ();
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp: In member function 'void CaDiCaL::Solver::flush_proof_trace()':
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:30:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:    30 |   if ((COND)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:36:3: note: in expansion of macro 'REQUIRE'
[INFO] [stderr] warning: cadical-sys@0.1.0:    36 |   REQUIRE(this != 0, "solver not initialized"); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:43:3: note: in expansion of macro 'REQUIRE_INITIALIZED'
[INFO] [stderr] warning: cadical-sys@0.1.0:    43 |   REQUIRE_INITIALIZED (); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:728:3: note: in expansion of macro 'REQUIRE_VALID_STATE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   728 |   REQUIRE_VALID_STATE ();
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp: In member function 'void CaDiCaL::Solver::close_proof_trace()':
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:30:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:    30 |   if ((COND)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:36:3: note: in expansion of macro 'REQUIRE'
[INFO] [stderr] warning: cadical-sys@0.1.0:    36 |   REQUIRE(this != 0, "solver not initialized"); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:43:3: note: in expansion of macro 'REQUIRE_INITIALIZED'
[INFO] [stderr] warning: cadical-sys@0.1.0:    43 |   REQUIRE_INITIALIZED (); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:737:3: note: in expansion of macro 'REQUIRE_VALID_STATE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   737 |   REQUIRE_VALID_STATE ();
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp: In member function 'void CaDiCaL::Solver::options()':
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:30:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:    30 |   if ((COND)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:36:3: note: in expansion of macro 'REQUIRE'
[INFO] [stderr] warning: cadical-sys@0.1.0:    36 |   REQUIRE(this != 0, "solver not initialized"); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:43:3: note: in expansion of macro 'REQUIRE_INITIALIZED'
[INFO] [stderr] warning: cadical-sys@0.1.0:    43 |   REQUIRE_INITIALIZED (); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:805:3: note: in expansion of macro 'REQUIRE_VALID_STATE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   805 |   REQUIRE_VALID_STATE ();
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp: In member function 'void CaDiCaL::Solver::statistics()':
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:30:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:    30 |   if ((COND)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:36:3: note: in expansion of macro 'REQUIRE'
[INFO] [stderr] warning: cadical-sys@0.1.0:    36 |   REQUIRE(this != 0, "solver not initialized"); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:49:3: note: in expansion of macro 'REQUIRE_INITIALIZED'
[INFO] [stderr] warning: cadical-sys@0.1.0:    49 |   REQUIRE_INITIALIZED (); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:816:3: note: in expansion of macro 'REQUIRE_VALID_OR_SOLVING_STATE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   816 |   REQUIRE_VALID_OR_SOLVING_STATE ();
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:255:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:   255 |   if ((this == 0)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:815:3: note: in expansion of macro 'TRACE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   815 |   TRACE ("stats");
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp: In member function 'const char* CaDiCaL::Solver::read_dimacs(CaDiCaL::File*, int&, int)':
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:30:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:    30 |   if ((COND)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:36:3: note: in expansion of macro 'REQUIRE'
[INFO] [stderr] warning: cadical-sys@0.1.0:    36 |   REQUIRE(this != 0, "solver not initialized"); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:43:3: note: in expansion of macro 'REQUIRE_INITIALIZED'
[INFO] [stderr] warning: cadical-sys@0.1.0:    43 |   REQUIRE_INITIALIZED (); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:824:3: note: in expansion of macro 'REQUIRE_VALID_STATE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   824 |   REQUIRE_VALID_STATE ();
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp: In member function 'const char* CaDiCaL::Solver::read_dimacs(FILE*, const char*, int&, int)':
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:30:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:    30 |   if ((COND)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:36:3: note: in expansion of macro 'REQUIRE'
[INFO] [stderr] warning: cadical-sys@0.1.0:    36 |   REQUIRE(this != 0, "solver not initialized"); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:43:3: note: in expansion of macro 'REQUIRE_INITIALIZED'
[INFO] [stderr] warning: cadical-sys@0.1.0:    43 |   REQUIRE_INITIALIZED (); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:837:3: note: in expansion of macro 'REQUIRE_VALID_STATE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   837 |   REQUIRE_VALID_STATE ();
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp: In member function 'const char* CaDiCaL::Solver::read_dimacs(const char*, int&, int)':
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:30:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:    30 |   if ((COND)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:36:3: note: in expansion of macro 'REQUIRE'
[INFO] [stderr] warning: cadical-sys@0.1.0:    36 |   REQUIRE(this != 0, "solver not initialized"); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:43:3: note: in expansion of macro 'REQUIRE_INITIALIZED'
[INFO] [stderr] warning: cadical-sys@0.1.0:    43 |   REQUIRE_INITIALIZED (); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:851:3: note: in expansion of macro 'REQUIRE_VALID_STATE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   851 |   REQUIRE_VALID_STATE ();
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp: In member function 'const char* CaDiCaL::Solver::read_solution(const char*)':
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:30:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:    30 |   if ((COND)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:36:3: note: in expansion of macro 'REQUIRE'
[INFO] [stderr] warning: cadical-sys@0.1.0:    36 |   REQUIRE(this != 0, "solver not initialized"); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:43:3: note: in expansion of macro 'REQUIRE_INITIALIZED'
[INFO] [stderr] warning: cadical-sys@0.1.0:    43 |   REQUIRE_INITIALIZED (); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:866:3: note: in expansion of macro 'REQUIRE_VALID_STATE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   866 |   REQUIRE_VALID_STATE ();
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp: In member function 'void CaDiCaL::Solver::dump_cnf()':
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:30:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:    30 |   if ((COND)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:36:3: note: in expansion of macro 'REQUIRE'
[INFO] [stderr] warning: cadical-sys@0.1.0:    36 |   REQUIRE(this != 0, "solver not initialized"); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:883:3: note: in expansion of macro 'REQUIRE_INITIALIZED'
[INFO] [stderr] warning: cadical-sys@0.1.0:   883 |   REQUIRE_INITIALIZED ();
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:255:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:   255 |   if ((this == 0)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:882:3: note: in expansion of macro 'TRACE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   882 |   TRACE ("dump");
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp: In member function 'bool CaDiCaL::Solver::traverse_clauses(CaDiCaL::ClauseIterator&) const':
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:30:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:    30 |   if ((COND)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:36:3: note: in expansion of macro 'REQUIRE'
[INFO] [stderr] warning: cadical-sys@0.1.0:    36 |   REQUIRE(this != 0, "solver not initialized"); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:43:3: note: in expansion of macro 'REQUIRE_INITIALIZED'
[INFO] [stderr] warning: cadical-sys@0.1.0:    43 |   REQUIRE_INITIALIZED (); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:892:3: note: in expansion of macro 'REQUIRE_VALID_STATE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   892 |   REQUIRE_VALID_STATE ();
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp: In member function 'bool CaDiCaL::Solver::traverse_witnesses_backward(CaDiCaL::WitnessIterator&) const':
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:30:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:    30 |   if ((COND)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:36:3: note: in expansion of macro 'REQUIRE'
[INFO] [stderr] warning: cadical-sys@0.1.0:    36 |   REQUIRE(this != 0, "solver not initialized"); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:43:3: note: in expansion of macro 'REQUIRE_INITIALIZED'
[INFO] [stderr] warning: cadical-sys@0.1.0:    43 |   REQUIRE_INITIALIZED (); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:901:3: note: in expansion of macro 'REQUIRE_VALID_STATE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   901 |   REQUIRE_VALID_STATE ();
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp: In member function 'bool CaDiCaL::Solver::traverse_witnesses_forward(CaDiCaL::WitnessIterator&) const':
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:30:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:    30 |   if ((COND)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:36:3: note: in expansion of macro 'REQUIRE'
[INFO] [stderr] warning: cadical-sys@0.1.0:    36 |   REQUIRE(this != 0, "solver not initialized"); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:43:3: note: in expansion of macro 'REQUIRE_INITIALIZED'
[INFO] [stderr] warning: cadical-sys@0.1.0:    43 |   REQUIRE_INITIALIZED (); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:910:3: note: in expansion of macro 'REQUIRE_VALID_STATE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   910 |   REQUIRE_VALID_STATE ();
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp: In member function 'const char* CaDiCaL::Solver::write_dimacs(const char*, int)':
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:30:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:    30 |   if ((COND)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:36:3: note: in expansion of macro 'REQUIRE'
[INFO] [stderr] warning: cadical-sys@0.1.0:    36 |   REQUIRE(this != 0, "solver not initialized"); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:43:3: note: in expansion of macro 'REQUIRE_INITIALIZED'
[INFO] [stderr] warning: cadical-sys@0.1.0:    43 |   REQUIRE_INITIALIZED (); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:950:3: note: in expansion of macro 'REQUIRE_VALID_STATE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   950 |   REQUIRE_VALID_STATE ();
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp: In member function 'const char* CaDiCaL::Solver::write_extension(const char*)':
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:30:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:    30 |   if ((COND)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:36:3: note: in expansion of macro 'REQUIRE'
[INFO] [stderr] warning: cadical-sys@0.1.0:    36 |   REQUIRE(this != 0, "solver not initialized"); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:43:3: note: in expansion of macro 'REQUIRE_INITIALIZED'
[INFO] [stderr] warning: cadical-sys@0.1.0:    43 |   REQUIRE_INITIALIZED (); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:1014:3: note: in expansion of macro 'REQUIRE_VALID_STATE'
[INFO] [stderr] warning: cadical-sys@0.1.0:  1014 |   REQUIRE_VALID_STATE ();
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp: In member function 'void CaDiCaL::Solver::section(const char*)':
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:30:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:    30 |   if ((COND)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:36:3: note: in expansion of macro 'REQUIRE'
[INFO] [stderr] warning: cadical-sys@0.1.0:    36 |   REQUIRE(this != 0, "solver not initialized"); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:1078:3: note: in expansion of macro 'REQUIRE_INITIALIZED'
[INFO] [stderr] warning: cadical-sys@0.1.0:  1078 |   REQUIRE_INITIALIZED ();
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp: In member function 'void CaDiCaL::Solver::message(const char*, ...)':
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:30:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:    30 |   if ((COND)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:36:3: note: in expansion of macro 'REQUIRE'
[INFO] [stderr] warning: cadical-sys@0.1.0:    36 |   REQUIRE(this != 0, "solver not initialized"); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:1087:3: note: in expansion of macro 'REQUIRE_INITIALIZED'
[INFO] [stderr] warning: cadical-sys@0.1.0:  1087 |   REQUIRE_INITIALIZED ();
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp: In constructor 'CaDiCaL::Solver::Solver()':
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:255:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:   255 |   if ((this == 0)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:318:3: note: in expansion of macro 'TRACE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   318 |   TRACE ("init");
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp: In member function 'void CaDiCaL::Solver::message()':
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:30:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:    30 |   if ((COND)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:36:3: note: in expansion of macro 'REQUIRE'
[INFO] [stderr] warning: cadical-sys@0.1.0:    36 |   REQUIRE(this != 0, "solver not initialized"); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:1097:3: note: in expansion of macro 'REQUIRE_INITIALIZED'
[INFO] [stderr] warning: cadical-sys@0.1.0:  1097 |   REQUIRE_INITIALIZED ();
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp: In member function 'void CaDiCaL::Solver::verbose(int, const char*, ...)':
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:30:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:    30 |   if ((COND)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:36:3: note: in expansion of macro 'REQUIRE'
[INFO] [stderr] warning: cadical-sys@0.1.0:    36 |   REQUIRE(this != 0, "solver not initialized"); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:49:3: note: in expansion of macro 'REQUIRE_INITIALIZED'
[INFO] [stderr] warning: cadical-sys@0.1.0:    49 |   REQUIRE_INITIALIZED (); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:1105:3: note: in expansion of macro 'REQUIRE_VALID_OR_SOLVING_STATE'
[INFO] [stderr] warning: cadical-sys@0.1.0:  1105 |   REQUIRE_VALID_OR_SOLVING_STATE ();
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp: In member function 'void CaDiCaL::Solver::error(const char*, ...)':
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:30:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:    30 |   if ((COND)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:36:3: note: in expansion of macro 'REQUIRE'
[INFO] [stderr] warning: cadical-sys@0.1.0:    36 |   REQUIRE(this != 0, "solver not initialized"); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:1119:3: note: in expansion of macro 'REQUIRE_INITIALIZED'
[INFO] [stderr] warning: cadical-sys@0.1.0:  1119 |   REQUIRE_INITIALIZED ();
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp: In member function 'void CaDiCaL::Solver::melt(int)':
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:30:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:    30 |   if ((COND)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:36:3: note: in expansion of macro 'REQUIRE'
[INFO] [stderr] warning: cadical-sys@0.1.0:    36 |   REQUIRE(this != 0, "solver not initialized"); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:43:3: note: in expansion of macro 'REQUIRE_INITIALIZED'
[INFO] [stderr] warning: cadical-sys@0.1.0:    43 |   REQUIRE_INITIALIZED (); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:679:3: note: in expansion of macro 'REQUIRE_VALID_STATE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   679 |   REQUIRE_VALID_STATE ();
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:255:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:   255 |   if ((this == 0)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:678:3: note: in expansion of macro 'TRACE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   678 |   TRACE ("melt", lit);
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp: In member function 'bool CaDiCaL::Solver::frozen(int) const':
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:30:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:    30 |   if ((COND)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:36:3: note: in expansion of macro 'REQUIRE'
[INFO] [stderr] warning: cadical-sys@0.1.0:    36 |   REQUIRE(this != 0, "solver not initialized"); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:43:3: note: in expansion of macro 'REQUIRE_INITIALIZED'
[INFO] [stderr] warning: cadical-sys@0.1.0:    43 |   REQUIRE_INITIALIZED (); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:689:3: note: in expansion of macro 'REQUIRE_VALID_STATE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   689 |   REQUIRE_VALID_STATE ();
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:255:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:   255 |   if ((this == 0)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:688:3: note: in expansion of macro 'TRACE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   688 |   TRACE ("frozen", lit);
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp: In member function 'int CaDiCaL::Solver::fixed(int) const':
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:30:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:    30 |   if ((COND)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:36:3: note: in expansion of macro 'REQUIRE'
[INFO] [stderr] warning: cadical-sys@0.1.0:    36 |   REQUIRE(this != 0, "solver not initialized"); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:43:3: note: in expansion of macro 'REQUIRE_INITIALIZED'
[INFO] [stderr] warning: cadical-sys@0.1.0:    43 |   REQUIRE_INITIALIZED (); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:598:3: note: in expansion of macro 'REQUIRE_VALID_STATE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   598 |   REQUIRE_VALID_STATE ();
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:255:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:   255 |   if ((this == 0)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:597:3: note: in expansion of macro 'TRACE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   597 |   TRACE ("fixed", lit);
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp: In member function 'int CaDiCaL::Solver::val(int)':
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:30:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:    30 |   if ((COND)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:36:3: note: in expansion of macro 'REQUIRE'
[INFO] [stderr] warning: cadical-sys@0.1.0:    36 |   REQUIRE(this != 0, "solver not initialized"); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:43:3: note: in expansion of macro 'REQUIRE_INITIALIZED'
[INFO] [stderr] warning: cadical-sys@0.1.0:    43 |   REQUIRE_INITIALIZED (); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:576:3: note: in expansion of macro 'REQUIRE_VALID_STATE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   576 |   REQUIRE_VALID_STATE ();
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:255:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:   255 |   if ((this == 0)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:575:3: note: in expansion of macro 'TRACE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   575 |   TRACE ("val", lit);
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp: In member function 'bool CaDiCaL::Solver::set_long_option(const char*)':
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:30:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare]
[INFO] [stderr] warning: cadical-sys@0.1.0:    30 |   if ((COND)) break; \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:36:3: note: in expansion of macro 'REQUIRE'
[INFO] [stderr] warning: cadical-sys@0.1.0:    36 |   REQUIRE(this != 0, "solver not initialized"); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/contract.hpp:43:3: note: in expansion of macro 'REQUIRE_INITIALIZED'
[INFO] [stderr] warning: cadical-sys@0.1.0:    43 |   REQUIRE_INITIALIZED (); \
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: cadical-sys@0.1.0: cadical-rel-1.2.1/src/solver.cpp:438:3: note: in expansion of macro 'REQUIRE_VALID_STATE'
[INFO] [stderr] warning: cadical-sys@0.1.0:   438 |   REQUIRE_VALID_STATE ();
[INFO] [stderr] warning: cadical-sys@0.1.0:       |   ^~~~~~~~~~~~~~~~~~~
[INFO] [stderr]     Checking cadical v0.1.0 (/opt/rustwide/workdir/cadical)
[INFO] [stdout] warning: unused return value of `Box::<T>::from_raw` that must be used
[INFO] [stdout]    --> cadical/src/lib.rs:158:25
[INFO] [stdout]     |
[INFO] [stdout] 158 |                         Box::<T>::from_raw(state as *mut T);
[INFO] [stdout]     |                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: call `drop(Box::from_raw(ptr))` if you intend to drop the `Box`
[INFO] [stdout]     = note: `#[warn(unused_must_use)]` on by default
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 158 |                         let _ = Box::<T>::from_raw(state as *mut T);
[INFO] [stdout]     |                         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused return value of `Box::<T>::from_raw` that must be used
[INFO] [stdout]    --> cadical/src/lib.rs:158:25
[INFO] [stdout]     |
[INFO] [stdout] 158 |                         Box::<T>::from_raw(state as *mut T);
[INFO] [stdout]     |                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: call `drop(Box::from_raw(ptr))` if you intend to drop the `Box`
[INFO] [stdout]     = note: `#[warn(unused_must_use)]` on by default
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 158 |                         let _ = Box::<T>::from_raw(state as *mut T);
[INFO] [stdout]     |                         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 24.05s
[INFO] running `Command { std: "docker" "inspect" "9cbfb32e0a163e521b2877a41409ce1be12e608b4bd646ce4175b5ff74fe82bd", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "9cbfb32e0a163e521b2877a41409ce1be12e608b4bd646ce4175b5ff74fe82bd", kill_on_drop: false }`
[INFO] [stdout] 9cbfb32e0a163e521b2877a41409ce1be12e608b4bd646ce4175b5ff74fe82bd