[INFO] fetching crate logicng-open-wbo-sys 0.1.0-alpha.3... [INFO] testing logicng-open-wbo-sys-0.1.0-alpha.3 against beta-2024-12-08 for beta-1.84.0-4 [INFO] extracting crate logicng-open-wbo-sys 0.1.0-alpha.3 into /workspace/builds/worker-0-tc2/source [INFO] validating manifest of crates.io crate logicng-open-wbo-sys 0.1.0-alpha.3 on toolchain beta-2024-12-08 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2024-12-08" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking crates.io crate logicng-open-wbo-sys 0.1.0-alpha.3 [INFO] finished tweaking crates.io crate logicng-open-wbo-sys 0.1.0-alpha.3 [INFO] tweaked toml for crates.io crate logicng-open-wbo-sys 0.1.0-alpha.3 written to /workspace/builds/worker-0-tc2/source/Cargo.toml [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2024-12-08" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Locking 34 packages to latest compatible versions [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2024-12-08" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2024-12-08" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] e33cc490c4ed577d889443110d2b30237a4b5d2bb48964fa37c1e01a2ea68493 [INFO] running `Command { std: "docker" "start" "-a" "e33cc490c4ed577d889443110d2b30237a4b5d2bb48964fa37c1e01a2ea68493", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "e33cc490c4ed577d889443110d2b30237a4b5d2bb48964fa37c1e01a2ea68493", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "e33cc490c4ed577d889443110d2b30237a4b5d2bb48964fa37c1e01a2ea68493", kill_on_drop: false }` [INFO] [stdout] e33cc490c4ed577d889443110d2b30237a4b5d2bb48964fa37c1e01a2ea68493 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2024-12-08" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 13fc5913b590617d9d73f62705764b69bb0fb90c9fbe8e5a3439dd8ed54623b5 [INFO] running `Command { std: "docker" "start" "-a" "13fc5913b590617d9d73f62705764b69bb0fb90c9fbe8e5a3439dd8ed54623b5", kill_on_drop: false }` [INFO] [stderr] Compiling shlex v1.3.0 [INFO] [stderr] Compiling proc-macro2 v1.0.92 [INFO] [stderr] Compiling unicode-ident v1.0.14 [INFO] [stderr] Compiling scratch v1.0.7 [INFO] [stderr] Compiling termcolor v1.4.1 [INFO] [stderr] Compiling cxxbridge-flags v1.0.134 [INFO] [stderr] Compiling unicode-width v0.1.14 [INFO] [stderr] Compiling rustversion v1.0.18 [INFO] [stderr] Compiling foldhash v0.1.3 [INFO] [stderr] Compiling cc v1.2.3 [INFO] [stderr] Compiling codespan-reporting v0.11.1 [INFO] [stderr] Compiling quote v1.0.37 [INFO] [stderr] Compiling syn v2.0.90 [INFO] [stderr] Compiling link-cplusplus v1.0.9 [INFO] [stderr] Compiling cxx v1.0.134 [INFO] [stderr] Compiling cxx-build v1.0.134 [INFO] [stderr] Compiling cxxbridge-macro v1.0.134 [INFO] [stderr] Compiling logicng-open-wbo-sys v0.1.0-alpha.3 (/opt/rustwide/workdir) [INFO] [stderr] error: failed to run custom build command for `logicng-open-wbo-sys v0.1.0-alpha.3 (/opt/rustwide/workdir)` [INFO] [stderr] note: To improve backtraces for build dependencies, set the CARGO_PROFILE_DEV_BUILD_OVERRIDE_DEBUG=true environment variable to enable debug information generation. [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] process didn't exit successfully: `/opt/rustwide/target/debug/build/logicng-open-wbo-sys-0c802725488d30b6/build-script-build` (exit status: 101) [INFO] [stderr] --- stdout [INFO] [stderr] cargo:rerun-if-changed=src/lib.rs [INFO] [stderr] cargo:rerun-if-changed=open_wbo_wrapper/library.cpp [INFO] [stderr] cargo:rerun-if-changed=open_wbo_wrapper/include/library.h [INFO] [stderr] Making dependencies [INFO] [stderr] Compiling: /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/Encoder.or [INFO] [stderr] Compiling: /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/MaxSAT.or [INFO] [stderr] Compiling: /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/MaxSATFormula.or [INFO] [stderr] Compiling: /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/MaxSAT_Partition.or [INFO] [stderr] Compiling: /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/ParserPB.or [INFO] [stderr] Compiling: utils/Options.or [INFO] [stderr] Compiling: utils/System.or [INFO] [stderr] Compiling: core/Solver.or [INFO] [stderr] Compiling: ../../encodings/Enc_Adder.or [INFO] [stderr] Compiling: ../../encodings/Enc_CNetworks.or [INFO] [stderr] [INFO] [stderr] --- stderr [INFO] [stderr] In file included from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/utils/Options.h:30, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/core/Solver.h:55, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/Encoder.h:35, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/Encoder.cc:28: [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)': [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/utils/ParseUtils.h:99:5: warning: this 'while' clause does not guard... [-Wmisleading-indentation] [INFO] [stderr] 99 | while (*in >= '0' && *in <= '9') [INFO] [stderr] | ^~~~~ [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/utils/ParseUtils.h:103:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'while' [INFO] [stderr] 103 | if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3); [INFO] [stderr] | ^~ [INFO] [stderr] In file included from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Heap.h:24, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/core/Solver.h:53, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/Encoder.h:35, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/Encoder.cc:28: [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Vec.h: In instantiation of 'void Glucose::vec::capacity(int) [with T = Glucose::Map, long unsigned int>::Pair]': [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Vec.h:74:65: required from 'void Glucose::vec::push() [with T = Glucose::Map, long unsigned int>::Pair]' [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Map.h:81:16: required from 'void Glucose::Map::_insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]' [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Map.h:140:76: required from 'void Glucose::Map::insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]' [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/core/SolverStats.h:73:23: required from here [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Vec.h:121:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'struct Glucose::Map, long unsigned int>::Pair'; use 'new' and 'delete' instead [-Wclass-memaccess] [INFO] [stderr] 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) [INFO] [stderr] | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] In file included from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/core/SolverTypes.h:61, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/core/Solver.h:56, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/Encoder.h:35, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/Encoder.cc:28: [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Map.h:62:12: note: 'struct Glucose::Map, long unsigned int>::Pair' declared here [INFO] [stderr] 62 | struct Pair { K key; D data; }; [INFO] [stderr] | ^~~~ [INFO] [stderr] In file included from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/utils/Options.h:30, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/core/Solver.h:55, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/MaxSAT.h:36, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/MaxSAT.cc:28: [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)': [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/utils/ParseUtils.h:99:5: warning: this 'while' clause does not guard... [-Wmisleading-indentation] [INFO] [stderr] 99 | while (*in >= '0' && *in <= '9') [INFO] [stderr] | ^~~~~ [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/utils/ParseUtils.h:103:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'while' [INFO] [stderr] 103 | if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3); [INFO] [stderr] | ^~ [INFO] [stderr] In file included from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Heap.h:24, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/core/Solver.h:53, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/MaxSAT.h:36, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/MaxSAT.cc:28: [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Vec.h: In instantiation of 'void Glucose::vec::capacity(int) [with T = Glucose::Map, long unsigned int>::Pair]': [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Vec.h:74:65: required from 'void Glucose::vec::push() [with T = Glucose::Map, long unsigned int>::Pair]' [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Map.h:81:16: required from 'void Glucose::Map::_insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]' [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Map.h:140:76: required from 'void Glucose::Map::insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]' [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/core/SolverStats.h:73:23: required from here [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Vec.h:121:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'struct Glucose::Map, long unsigned int>::Pair'; use 'new' and 'delete' instead [-Wclass-memaccess] [INFO] [stderr] 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) [INFO] [stderr] | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] In file included from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/core/SolverTypes.h:61, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/core/Solver.h:56, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/MaxSAT.h:36, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/MaxSAT.cc:28: [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Map.h:62:12: note: 'struct Glucose::Map, long unsigned int>::Pair' declared here [INFO] [stderr] 62 | struct Pair { K key; D data; }; [INFO] [stderr] | ^~~~ [INFO] [stderr] In file included from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/utils/Options.h:30, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/core/Solver.h:55, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/MaxSATFormula.h:34, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/MaxSATFormula.cc:30: [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)': [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/utils/ParseUtils.h:99:5: warning: this 'while' clause does not guard... [-Wmisleading-indentation] [INFO] [stderr] 99 | while (*in >= '0' && *in <= '9') [INFO] [stderr] | ^~~~~ [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/utils/ParseUtils.h:103:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'while' [INFO] [stderr] 103 | if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3); [INFO] [stderr] | ^~ [INFO] [stderr] In file included from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Heap.h:24, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/core/Solver.h:53, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/MaxSATFormula.h:34, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/MaxSATFormula.cc:30: [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Vec.h: In instantiation of 'void Glucose::vec::capacity(int) [with T = openwbo::Hard]': [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Vec.h:74:65: required from 'void Glucose::vec::push() [with T = openwbo::Hard]' [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/MaxSATFormula.cc:59:20: required from here [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Vec.h:121:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class openwbo::Hard'; use 'new' and 'delete' instead [-Wclass-memaccess] [INFO] [stderr] 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) [INFO] [stderr] | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] In file included from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/MaxSATFormula.cc:30: [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/MaxSATFormula.h:78:7: note: 'class openwbo::Hard' declared here [INFO] [stderr] 78 | class Hard { [INFO] [stderr] | ^~~~ [INFO] [stderr] In file included from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Heap.h:24, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/core/Solver.h:53, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/MaxSATFormula.h:34, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/MaxSATFormula.cc:30: [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Vec.h: In instantiation of 'void Glucose::vec::capacity(int) [with T = openwbo::Soft]': [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Vec.h:74:65: required from 'void Glucose::vec::push() [with T = openwbo::Soft]' [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/MaxSATFormula.cc:68:20: required from here [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Vec.h:121:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class openwbo::Soft'; use 'new' and 'delete' instead [-Wclass-memaccess] [INFO] [stderr] 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) [INFO] [stderr] | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] In file included from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/MaxSATFormula.cc:30: [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/MaxSATFormula.h:53:7: note: 'class openwbo::Soft' declared here [INFO] [stderr] 53 | class Soft { [INFO] [stderr] | ^~~~ [INFO] [stderr] In file included from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Heap.h:24, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/core/Solver.h:53, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/MaxSATFormula.h:34, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/MaxSATFormula.cc:30: [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Vec.h: In instantiation of 'void Glucose::vec::capacity(int) [with T = Glucose::Map, long unsigned int>::Pair]': [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Vec.h:74:65: required from 'void Glucose::vec::push() [with T = Glucose::Map, long unsigned int>::Pair]' [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Map.h:81:16: required from 'void Glucose::Map::_insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]' [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Map.h:140:76: required from 'void Glucose::Map::insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]' [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/core/SolverStats.h:73:23: required from here [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Vec.h:121:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'struct Glucose::Map, long unsigned int>::Pair'; use 'new' and 'delete' instead [-Wclass-memaccess] [INFO] [stderr] 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) [INFO] [stderr] | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] In file included from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/core/SolverTypes.h:61, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/core/Solver.h:56, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/MaxSATFormula.h:34, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/MaxSATFormula.cc:30: [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Map.h:62:12: note: 'struct Glucose::Map, long unsigned int>::Pair' declared here [INFO] [stderr] 62 | struct Pair { K key; D data; }; [INFO] [stderr] | ^~~~ [INFO] [stderr] In file included from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/utils/Options.h:30, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/core/Solver.h:55, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/MaxSAT.h:36, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/MaxSAT_Partition.h:31, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/MaxSAT_Partition.cc:30: [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)': [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/utils/ParseUtils.h:99:5: warning: this 'while' clause does not guard... [-Wmisleading-indentation] [INFO] [stderr] 99 | while (*in >= '0' && *in <= '9') [INFO] [stderr] | ^~~~~ [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/utils/ParseUtils.h:103:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'while' [INFO] [stderr] 103 | if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3); [INFO] [stderr] | ^~ [INFO] [stderr] In file included from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Alg.h:24, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/core/SolverTypes.h:59, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/MaxSAT_Partition.cc:28: [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Vec.h: In instantiation of 'void Glucose::vec::capacity(int) [with T = openwbo::Partition]': [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Vec.h:137:13: required from 'void Glucose::vec::growTo(int) [with T = openwbo::Partition]' [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/MaxSAT_Partition.cc:118:21: required from here [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Vec.h:121:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'struct openwbo::Partition'; use 'new' and 'delete' instead [-Wclass-memaccess] [INFO] [stderr] 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) [INFO] [stderr] | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] In file included from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/MaxSAT_Partition.cc:30: [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/MaxSAT_Partition.h:44:16: note: 'struct openwbo::Partition' declared here [INFO] [stderr] 44 | typedef struct { [INFO] [stderr] | ^ [INFO] [stderr] In file included from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Alg.h:24, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/core/SolverTypes.h:59, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/MaxSAT_Partition.cc:28: [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Vec.h: In instantiation of 'void Glucose::vec::capacity(int) [with T = Glucose::Map, long unsigned int>::Pair]': [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Vec.h:74:65: required from 'void Glucose::vec::push() [with T = Glucose::Map, long unsigned int>::Pair]' [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Map.h:81:16: required from 'void Glucose::Map::_insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]' [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Map.h:140:76: required from 'void Glucose::Map::insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]' [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/core/SolverStats.h:73:23: required from here [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Vec.h:121:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'struct Glucose::Map, long unsigned int>::Pair'; use 'new' and 'delete' instead [-Wclass-memaccess] [INFO] [stderr] 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) [INFO] [stderr] | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] In file included from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/core/SolverTypes.h:61, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/MaxSAT_Partition.cc:28: [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Map.h:62:12: note: 'struct Glucose::Map, long unsigned int>::Pair' declared here [INFO] [stderr] 62 | struct Pair { K key; D data; }; [INFO] [stderr] | ^~~~ [INFO] [stderr] In file included from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/utils/Options.h:30, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/core/Solver.h:55, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/MaxSATFormula.h:34, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/ParserPB.h:41, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/ParserPB.cc:33: [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)': [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/utils/ParseUtils.h:99:5: warning: this 'while' clause does not guard... [-Wmisleading-indentation] [INFO] [stderr] 99 | while (*in >= '0' && *in <= '9') [INFO] [stderr] | ^~~~~ [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/utils/ParseUtils.h:103:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'while' [INFO] [stderr] 103 | if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3); [INFO] [stderr] | ^~ [INFO] [stderr] In file included from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Heap.h:24, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/core/Solver.h:53, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/MaxSATFormula.h:34, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/ParserPB.h:41, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/ParserPB.cc:33: [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Vec.h: In instantiation of 'void Glucose::vec::capacity(int) [with T = Glucose::Map, long unsigned int>::Pair]': [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Vec.h:74:65: required from 'void Glucose::vec::push() [with T = Glucose::Map, long unsigned int>::Pair]' [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Map.h:81:16: required from 'void Glucose::Map::_insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]' [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Map.h:140:76: required from 'void Glucose::Map::insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]' [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/core/SolverStats.h:73:23: required from here [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Vec.h:121:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'struct Glucose::Map, long unsigned int>::Pair'; use 'new' and 'delete' instead [-Wclass-memaccess] [INFO] [stderr] 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) [INFO] [stderr] | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] In file included from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/core/SolverTypes.h:61, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/core/Solver.h:56, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/MaxSATFormula.h:34, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/ParserPB.h:41, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/ParserPB.cc:33: [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Map.h:62:12: note: 'struct Glucose::Map, long unsigned int>::Pair' declared here [INFO] [stderr] 62 | struct Pair { K key; D data; }; [INFO] [stderr] | ^~~~ [INFO] [stderr] In file included from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/utils/Options.h:30, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/utils/Options.cc:21: [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)': [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/utils/ParseUtils.h:99:5: warning: this 'while' clause does not guard... [-Wmisleading-indentation] [INFO] [stderr] 99 | while (*in >= '0' && *in <= '9') [INFO] [stderr] | ^~~~~ [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/utils/ParseUtils.h:103:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'while' [INFO] [stderr] 103 | if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3); [INFO] [stderr] | ^~ [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/utils/Options.cc: In function 'void Glucose::printUsageAndExit(int, char**, bool)': [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/utils/Options.cc:62:5: warning: this 'if' clause does not guard... [-Wmisleading-indentation] [INFO] [stderr] 62 | if (usage != NULL) [INFO] [stderr] | ^~ [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/utils/Options.cc:65:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' [INFO] [stderr] 65 | sort(Option::getOptionList(), Option::OptionLt()); [INFO] [stderr] | ^~~~ [INFO] [stderr] In file included from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/utils/Options.h:30, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/core/Solver.h:55, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/core/Solver.cc:54: [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)': [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/utils/ParseUtils.h:99:5: warning: this 'while' clause does not guard... [-Wmisleading-indentation] [INFO] [stderr] 99 | while (*in >= '0' && *in <= '9') [INFO] [stderr] | ^~~~~ [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/utils/ParseUtils.h:103:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'while' [INFO] [stderr] 103 | if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3); [INFO] [stderr] | ^~ [INFO] [stderr] In file included from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Sort.h:24, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/core/Solver.cc:53: [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Vec.h: In instantiation of 'void Glucose::vec::capacity(int) [with T = Glucose::vec]': [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Vec.h:137:13: required from 'void Glucose::vec::growTo(int) [with T = Glucose::vec]' [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/core/SolverTypes.h:376:18: required from 'void Glucose::OccLists::copyTo(Glucose::OccLists&) const [with Idx = Glucose::Lit; Vec = Glucose::vec; Deleted = Glucose::Solver::WatcherDeleted]' [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/core/Solver.cc:293:21: required from here [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Vec.h:121:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Glucose::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] [INFO] [stderr] 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) [INFO] [stderr] | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] In file included from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Sort.h:24, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/core/Solver.cc:53: [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Vec.h:39:7: note: 'class Glucose::vec' declared here [INFO] [stderr] 39 | class vec { [INFO] [stderr] | ^~~ [INFO] [stderr] In file included from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Sort.h:24, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/core/Solver.cc:53: [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Vec.h: In instantiation of 'void Glucose::vec::capacity(int) [with T = Glucose::Map, long unsigned int>::Pair]': [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Vec.h:74:65: required from 'void Glucose::vec::push() [with T = Glucose::Map, long unsigned int>::Pair]' [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Map.h:81:16: required from 'void Glucose::Map::_insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]' [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Map.h:140:76: required from 'void Glucose::Map::insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]' [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/core/SolverStats.h:73:23: required from here [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Vec.h:121:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'struct Glucose::Map, long unsigned int>::Pair'; use 'new' and 'delete' instead [-Wclass-memaccess] [INFO] [stderr] 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) [INFO] [stderr] | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] In file included from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/core/SolverTypes.h:61, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/core/Solver.h:56, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/core/Solver.cc:54: [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Map.h:62:12: note: 'struct Glucose::Map, long unsigned int>::Pair' declared here [INFO] [stderr] 62 | struct Pair { K key; D data; }; [INFO] [stderr] | ^~~~ [INFO] [stderr] In file included from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/utils/Options.h:30, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/core/Solver.h:55, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/../../encodings/Enc_Adder.h:35, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/../../encodings/Enc_Adder.cc:29: [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)': [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/utils/ParseUtils.h:99:5: warning: this 'while' clause does not guard... [-Wmisleading-indentation] [INFO] [stderr] 99 | while (*in >= '0' && *in <= '9') [INFO] [stderr] | ^~~~~ [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/utils/ParseUtils.h:103:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'while' [INFO] [stderr] 103 | if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3); [INFO] [stderr] | ^~ [INFO] [stderr] In file included from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Heap.h:24, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/core/Solver.h:53, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/../../encodings/Enc_Adder.h:35, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/../../encodings/Enc_Adder.cc:29: [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Vec.h: In instantiation of 'void Glucose::vec::capacity(int) [with T = Glucose::Map, long unsigned int>::Pair]': [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Vec.h:74:65: required from 'void Glucose::vec::push() [with T = Glucose::Map, long unsigned int>::Pair]' [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Map.h:81:16: required from 'void Glucose::Map::_insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]' [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Map.h:140:76: required from 'void Glucose::Map::insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]' [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/core/SolverStats.h:73:23: required from here [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Vec.h:121:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'struct Glucose::Map, long unsigned int>::Pair'; use 'new' and 'delete' instead [-Wclass-memaccess] [INFO] [stderr] 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) [INFO] [stderr] | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] In file included from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/core/SolverTypes.h:61, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/core/Solver.h:56, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/../../encodings/Enc_Adder.h:35, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/../../encodings/Enc_Adder.cc:29: [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Map.h:62:12: note: 'struct Glucose::Map, long unsigned int>::Pair' declared here [INFO] [stderr] 62 | struct Pair { K key; D data; }; [INFO] [stderr] | ^~~~ [INFO] [stderr] In file included from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/utils/Options.h:30, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/core/Solver.h:55, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/../../encodings/Enc_CNetworks.h:28, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/../../encodings/Enc_CNetworks.cc:28: [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)': [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/utils/ParseUtils.h:99:5: warning: this 'while' clause does not guard... [-Wmisleading-indentation] [INFO] [stderr] 99 | while (*in >= '0' && *in <= '9') [INFO] [stderr] | ^~~~~ [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/utils/ParseUtils.h:103:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'while' [INFO] [stderr] 103 | if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3); [INFO] [stderr] | ^~ [INFO] [stderr] In file included from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Heap.h:24, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/core/Solver.h:53, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/../../encodings/Enc_CNetworks.h:28, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/../../encodings/Enc_CNetworks.cc:28: [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Vec.h: In instantiation of 'void Glucose::vec::capacity(int) [with T = Glucose::Map, long unsigned int>::Pair]': [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Vec.h:74:65: required from 'void Glucose::vec::push() [with T = Glucose::Map, long unsigned int>::Pair]' [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Map.h:81:16: required from 'void Glucose::Map::_insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]' [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Map.h:140:76: required from 'void Glucose::Map::insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]' [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/core/SolverStats.h:73:23: required from here [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Vec.h:121:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'struct Glucose::Map, long unsigned int>::Pair'; use 'new' and 'delete' instead [-Wclass-memaccess] [INFO] [stderr] 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) [INFO] [stderr] | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] In file included from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/core/SolverTypes.h:61, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/core/Solver.h:56, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/../../encodings/Enc_CNetworks.h:28, [INFO] [stderr] from /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/../../encodings/Enc_CNetworks.cc:28: [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/Map.h:62:12: note: 'struct Glucose::Map, long unsigned int>::Pair' declared here [INFO] [stderr] 62 | struct Pair { K key; D data; }; [INFO] [stderr] | ^~~~ [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/../../encodings/Enc_CNetworks.cc: At global scope: [INFO] [stderr] /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/../../encodings/Enc_CNetworks.cc:346:1: fatal error: error writing to /tmp/ccqEXG1V.s: No space left on device [INFO] [stderr] 346 | } [INFO] [stderr] | ^ [INFO] [stderr] compilation terminated. [INFO] [stderr] make: *** [/opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/mtl/template.mk:70: /opt/rustwide/target/debug/build/logicng-open-wbo-sys-e7c787cbca790c8f/out/logicng-open-wbo-src/solvers/glucose4.1/../../encodings/Enc_CNetworks.or] Error 1 [INFO] [stderr] thread 'main' panicked at build.rs:70:9: [INFO] [stderr] Building OpenWBO failed with: No such file or directory (os error 2) [INFO] [stderr] stack backtrace: [INFO] [stderr] 0: 0x644df6fab78a - std::backtrace_rs::backtrace::libunwind::trace::h8810477743020387 [INFO] [stderr] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/../../backtrace/src/backtrace/libunwind.rs:116:5 [INFO] [stderr] 1: 0x644df6fab78a - std::backtrace_rs::backtrace::trace_unsynchronized::h3aa55355dd6c54a6 [INFO] [stderr] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stderr] 2: 0x644df6fab78a - std::sys::backtrace::_print_fmt::h8588b0f62410823f [INFO] [stderr] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/sys/backtrace.rs:66:9 [INFO] [stderr] 3: 0x644df6fab78a - ::fmt::h98c26ac25ffe89bb [INFO] [stderr] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/sys/backtrace.rs:39:26 [INFO] [stderr] 4: 0x644df6fcf8b3 - core::fmt::rt::Argument::fmt::hf95377f4aebd453b [INFO] [stderr] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/core/src/fmt/rt.rs:177:76 [INFO] [stderr] 5: 0x644df6fcf8b3 - core::fmt::write::h0dd5f6e2238c7982 [INFO] [stderr] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/core/src/fmt/mod.rs:1189:21 [INFO] [stderr] 6: 0x644df6fa7d83 - std::io::Write::write_fmt::hc00bff0a88e08857 [INFO] [stderr] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/io/mod.rs:1884:15 [INFO] [stderr] 7: 0x644df6fab5d2 - std::sys::backtrace::BacktraceLock::print::h5c19c1c038ee186d [INFO] [stderr] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/sys/backtrace.rs:42:9 [INFO] [stderr] 8: 0x644df6fac7cc - std::panicking::default_hook::{{closure}}::h77172f079a1fcb13 [INFO] [stderr] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/panicking.rs:268:22 [INFO] [stderr] 9: 0x644df6fac612 - std::panicking::default_hook::he5f8e3b203ccddba [INFO] [stderr] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/panicking.rs:295:9 [INFO] [stderr] 10: 0x644df6facda7 - std::panicking::rust_panic_with_hook::h53863d4e9018df39 [INFO] [stderr] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/panicking.rs:801:13 [INFO] [stderr] 11: 0x644df6facc3a - std::panicking::begin_panic_handler::{{closure}}::h67280e6fa0757873 [INFO] [stderr] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/panicking.rs:674:13 [INFO] [stderr] 12: 0x644df6fabc69 - std::sys::backtrace::__rust_end_short_backtrace::h1dac3f54d6fbbeb2 [INFO] [stderr] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/sys/backtrace.rs:170:18 [INFO] [stderr] 13: 0x644df6fac8cc - rust_begin_unwind [INFO] [stderr] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/panicking.rs:665:5 [INFO] [stderr] 14: 0x644df6ccd520 - core::panicking::panic_fmt::h6792bd1b2bf01041 [INFO] [stderr] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/core/src/panicking.rs:76:14 [INFO] [stderr] 15: 0x644df6cd2155 - build_script_build::build_open_wbo::h4df354d3e23972d6 [INFO] [stderr] 16: 0x644df6cd17c6 - build_script_build::main::he4e3d125c262ea7e [INFO] [stderr] 17: 0x644df6cce9e3 - core::ops::function::FnOnce::call_once::ha8646d26b7e8e53f [INFO] [stderr] 18: 0x644df6cce636 - std::sys::backtrace::__rust_begin_short_backtrace::hc74ef604afc9a068 [INFO] [stderr] 19: 0x644df6cce5d9 - std::rt::lang_start::{{closure}}::h41bcd2f9e57e5b92 [INFO] [stderr] 20: 0x644df6fa2b07 - core::ops::function::impls:: for &F>::call_once::hba2470d01d3f5e41 [INFO] [stderr] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/core/src/ops/function.rs:284:13 [INFO] [stderr] 21: 0x644df6fa2b07 - std::panicking::try::do_call::hc063fb73159aab72 [INFO] [stderr] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/panicking.rs:557:40 [INFO] [stderr] 22: 0x644df6fa2b07 - std::panicking::try::h2767c6d245d3a3bb [INFO] [stderr] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/panicking.rs:520:19 [INFO] [stderr] 23: 0x644df6fa2b07 - std::panic::catch_unwind::h061c6ef75790da63 [INFO] [stderr] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/panic.rs:358:14 [INFO] [stderr] 24: 0x644df6fa2b07 - std::rt::lang_start_internal::{{closure}}::h5c5e35b11a4b8c4e [INFO] [stderr] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/rt.rs:174:48 [INFO] [stderr] 25: 0x644df6fa2b07 - std::panicking::try::do_call::h705e99690a8109cc [INFO] [stderr] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/panicking.rs:557:40 [INFO] [stderr] 26: 0x644df6fa2b07 - std::panicking::try::he5f4452754ed9a34 [INFO] [stderr] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/panicking.rs:520:19 [INFO] [stderr] 27: 0x644df6fa2b07 - std::panic::catch_unwind::h5db61b3bcbe883e5 [INFO] [stderr] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/panic.rs:358:14 [INFO] [stderr] 28: 0x644df6fa2b07 - std::rt::lang_start_internal::h81da9b59bab665c6 [INFO] [stderr] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/rt.rs:174:20 [INFO] [stderr] 29: 0x644df6cce5b7 - std::rt::lang_start::hee9b08d62a4bcd00 [INFO] [stderr] 30: 0x644df6cd27d5 - main [INFO] [stderr] 31: 0x77bd1cc39d90 - [INFO] [stderr] 32: 0x77bd1cc39e40 - __libc_start_main [INFO] [stderr] 33: 0x644df6ccdcd5 - _start [INFO] [stderr] 34: 0x0 - [INFO] running `Command { std: "docker" "inspect" "13fc5913b590617d9d73f62705764b69bb0fb90c9fbe8e5a3439dd8ed54623b5", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "13fc5913b590617d9d73f62705764b69bb0fb90c9fbe8e5a3439dd8ed54623b5", kill_on_drop: false }` [INFO] [stdout] 13fc5913b590617d9d73f62705764b69bb0fb90c9fbe8e5a3439dd8ed54623b5