[INFO] fetching crate logicng-open-wbo-sys 0.1.0-alpha.3... [INFO] checking logicng-open-wbo-sys-0.1.0-alpha.3 against try#ccf408f4326a858c00dd845a64a86b16f360a801 for pr-129466-2 [INFO] extracting crate logicng-open-wbo-sys 0.1.0-alpha.3 into /workspace/builds/worker-5-tc2/source [INFO] validating manifest of crates.io crate logicng-open-wbo-sys 0.1.0-alpha.3 on toolchain ccf408f4326a858c00dd845a64a86b16f360a801 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ccf408f4326a858c00dd845a64a86b16f360a801" "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-5-tc2/source/Cargo.toml [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ccf408f4326a858c00dd845a64a86b16f360a801" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Locking 27 packages to latest compatible versions [INFO] [stderr] Adding unicode-width v0.1.14 (available: v0.2.0) [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ccf408f4326a858c00dd845a64a86b16f360a801" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:ceb6ea022f8a89cebbe621bb4987e73a935bd40dfbb726f832cfff4742a5b95a" "/opt/rustwide/cargo-home/bin/cargo" "+ccf408f4326a858c00dd845a64a86b16f360a801" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 3fe4c64ff54932b348235c53facfb54a0a50cbe887c4b36e698ed53072f37c9a [INFO] running `Command { std: "docker" "start" "-a" "3fe4c64ff54932b348235c53facfb54a0a50cbe887c4b36e698ed53072f37c9a", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "3fe4c64ff54932b348235c53facfb54a0a50cbe887c4b36e698ed53072f37c9a", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "3fe4c64ff54932b348235c53facfb54a0a50cbe887c4b36e698ed53072f37c9a", kill_on_drop: false }` [INFO] [stdout] 3fe4c64ff54932b348235c53facfb54a0a50cbe887c4b36e698ed53072f37c9a [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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=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:ceb6ea022f8a89cebbe621bb4987e73a935bd40dfbb726f832cfff4742a5b95a" "/opt/rustwide/cargo-home/bin/cargo" "+ccf408f4326a858c00dd845a64a86b16f360a801" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 1de0e2f47db67b7b4c85eb0e9ab25c74700911fd2e0e4d887c964f0ffd1c0505 [INFO] running `Command { std: "docker" "start" "-a" "1de0e2f47db67b7b4c85eb0e9ab25c74700911fd2e0e4d887c964f0ffd1c0505", kill_on_drop: false }` [INFO] [stderr] Copying to /tmp/fixit [INFO] [stderr] Running `cargo fix --edition` [INFO] [stderr] Migrating Cargo.toml from 2021 edition to 2024 [INFO] [stderr] Compiling shlex v1.3.0 [INFO] [stderr] Compiling proc-macro2 v1.0.86 [INFO] [stderr] Compiling unicode-ident v1.0.13 [INFO] [stderr] Compiling scratch v1.0.7 [INFO] [stderr] Compiling cxxbridge-flags v1.0.128 [INFO] [stderr] Compiling unicode-width v0.1.14 [INFO] [stderr] Compiling termcolor v1.4.1 [INFO] [stderr] Compiling once_cell v1.19.0 [INFO] [stderr] Compiling cc v1.1.21 [INFO] [stderr] Compiling codespan-reporting v0.11.1 [INFO] [stderr] Compiling quote v1.0.37 [INFO] [stderr] Compiling syn v2.0.77 [INFO] [stderr] Compiling link-cplusplus v1.0.9 [INFO] [stderr] Compiling cxx v1.0.128 [INFO] [stderr] Compiling cxx-build v1.0.128 [INFO] [stderr] Compiling cxxbridge-macro v1.0.128 [INFO] [stderr] Compiling logicng-open-wbo-sys v0.1.0-alpha.3 (/tmp/fixit) [INFO] [stderr] Migrating build.rs from 2021 edition to 2024 [INFO] [stderr] Fixed build.rs (1 fix) [INFO] [stderr] Migrating src/lib.rs from 2021 edition to 2024 [INFO] [stderr] warning: failed to automatically apply fixes suggested by rustc to crate `logicng_open_wbo_sys` [INFO] [stderr] [INFO] [stderr] after fixes were automatically applied the compiler reported errors within these files: [INFO] [stderr] [INFO] [stderr] * src/lib.rs [INFO] [stderr] [INFO] [stderr] This likely indicates a bug in either rustc or cargo itself, [INFO] [stderr] and we would appreciate a bug report! You're likely to see [INFO] [stderr] a number of compiler warnings after this message which cargo [INFO] [stderr] attempted to fix but failed. If you could open an issue at [INFO] [stderr] https://github.com/rust-lang/rust/issues [INFO] [stderr] quoting the full output of this command we'd be very appreciative! [INFO] [stderr] Note that you may be able to make some more progress in the near-term [INFO] [stderr] fixing code with the `--broken-code` flag [INFO] [stderr] [INFO] [stderr] The following errors were reported: [INFO] [stderr] error: expected one of `->`, `;`, `where`, or `{`, found keyword `unsafe` [INFO] [stderr] --> src/lib.rs:170:94 [INFO] [stderr] | [INFO] [stderr] 72 | extern "C++" { [INFO] [stderr] | - while parsing this item list starting here [INFO] [stderr] ... [INFO] [stderr] 170 | pub unsafe fn add_literal(formula: *mut MaxSATFormula, clause: *mut Clause, var: i32)unsafe ; [INFO] [stderr] | ^^^^^^ expected one of `->`, `;`, `where`, or `{` [INFO] [stderr] ... [INFO] [stderr] 315 | } [INFO] [stderr] | - the item list ends here [INFO] [stderr] [INFO] [stderr] error: expected `;` [INFO] [stderr] --> src/lib.rs:170:94 [INFO] [stderr] | [INFO] [stderr] 170 | pub unsafe fn add_literal(formula: *mut MaxSATFormula, clause: *mut Clause, var: i32)unsafe ; [INFO] [stderr] | ^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared crate or module `ffi` [INFO] [stderr] --> src/lib.rs:318:18 [INFO] [stderr] | [INFO] [stderr] 318 | impl Display for ffi::OpenWboError { [INFO] [stderr] | ^^^ use of undeclared crate or module `ffi` [INFO] [stderr] [INFO] [stderr] error: aborting due to 3 previous errors [INFO] [stderr] [INFO] [stderr] For more information about this error, try `rustc --explain E0433`. [INFO] [stderr] Original diagnostics will follow. [INFO] [stderr] [INFO] [stdout] warning: extern blocks should be unsafe [INFO] [stdout] --> src/lib.rs:98:107 [INFO] [stdout] | [INFO] [stdout] 98 | pub unsafe fn linear_su(verbosity: Verbosity, bmo: bool, enc: CardEncoding, pb: PB) -> *mut MaxSAT; [INFO] [stdout] | ^ [INFO] [stdout] | | [INFO] [stdout] | help: needs `unsafe` before the extern keyword: `unsafe` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2021) but is a hard error in Rust 2024! [INFO] [stdout] = note: for more information, see issue #123743 [INFO] [stdout] = note: `--force-warn missing-unsafe-on-extern` implied by `--force-warn rust-2024-compatibility` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: extern blocks should be unsafe [INFO] [stdout] --> src/lib.rs:108:107 [INFO] [stdout] | [INFO] [stdout] 108 | pub unsafe fn wbo(verbosity: Verbosity, weight: Weight, symmetry: bool, limit: i32) -> *mut MaxSAT; [INFO] [stdout] | ^ [INFO] [stdout] | | [INFO] [stdout] | help: needs `unsafe` before the extern keyword: `unsafe` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2021) but is a hard error in Rust 2024! [INFO] [stdout] = note: for more information, see issue #123743 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: extern blocks should be unsafe [INFO] [stdout] --> src/lib.rs:118:82 [INFO] [stdout] | [INFO] [stdout] 118 | pub unsafe fn oll(verbosity: Verbosity, enc: CardEncoding) -> *mut MaxSAT; [INFO] [stdout] | ^ [INFO] [stdout] | | [INFO] [stdout] | help: needs `unsafe` before the extern keyword: `unsafe` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2021) but is a hard error in Rust 2024! [INFO] [stdout] = note: for more information, see issue #123743 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: extern blocks should be unsafe [INFO] [stdout] --> src/lib.rs:128:121 [INFO] [stdout] | [INFO] [stdout] 128 | pub unsafe fn part_msu_3(verbosity: Verbosity, merge: Merge, graph: GraphType, enc: CardEncoding) -> *mut MaxSAT; [INFO] [stdout] | ^ [INFO] [stdout] | | [INFO] [stdout] | help: needs `unsafe` before the extern keyword: `unsafe` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2021) but is a hard error in Rust 2024! [INFO] [stdout] = note: for more information, see issue #123743 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: extern blocks should be unsafe [INFO] [stdout] --> src/lib.rs:138:65 [INFO] [stdout] | [INFO] [stdout] 138 | pub unsafe fn msu_3(verbosity: Verbosity) -> *mut MaxSAT; [INFO] [stdout] | ^ [INFO] [stdout] | | [INFO] [stdout] | help: needs `unsafe` before the extern keyword: `unsafe` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2021) but is a hard error in Rust 2024! [INFO] [stdout] = note: for more information, see issue #123743 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: extern blocks should be unsafe [INFO] [stdout] --> src/lib.rs:148:58 [INFO] [stdout] | [INFO] [stdout] 148 | pub unsafe fn new_formula() -> *mut MaxSATFormula; [INFO] [stdout] | ^ [INFO] [stdout] | | [INFO] [stdout] | help: needs `unsafe` before the extern keyword: `unsafe` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2021) but is a hard error in Rust 2024! [INFO] [stdout] = note: for more information, see issue #123743 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: extern blocks should be unsafe [INFO] [stdout] --> src/lib.rs:158:50 [INFO] [stdout] | [INFO] [stdout] 158 | pub unsafe fn new_clause() -> *mut Clause; [INFO] [stdout] | ^ [INFO] [stdout] | | [INFO] [stdout] | help: needs `unsafe` before the extern keyword: `unsafe` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2021) but is a hard error in Rust 2024! [INFO] [stdout] = note: for more information, see issue #123743 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: extern blocks should be unsafe [INFO] [stdout] --> src/lib.rs:170:94 [INFO] [stdout] | [INFO] [stdout] 170 | pub unsafe fn add_literal(formula: *mut MaxSATFormula, clause: *mut Clause, var: i32); [INFO] [stdout] | ^ [INFO] [stdout] | | [INFO] [stdout] | help: needs `unsafe` before the extern keyword: `unsafe` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2021) but is a hard error in Rust 2024! [INFO] [stdout] = note: for more information, see issue #123743 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: extern blocks should be unsafe [INFO] [stdout] --> src/lib.rs:179:88 [INFO] [stdout] | [INFO] [stdout] 179 | pub unsafe fn add_hard_clause(formula: *mut MaxSATFormula, clause: *mut Clause); [INFO] [stdout] | ^ [INFO] [stdout] | | [INFO] [stdout] | help: needs `unsafe` before the extern keyword: `unsafe` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2021) but is a hard error in Rust 2024! [INFO] [stdout] = note: for more information, see issue #123743 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: extern blocks should be unsafe [INFO] [stdout] --> src/lib.rs:189:101 [INFO] [stdout] | [INFO] [stdout] 189 | pub unsafe fn add_soft_clause(formula: *mut MaxSATFormula, weight: u64, clause: *mut Clause); [INFO] [stdout] | ^ [INFO] [stdout] | | [INFO] [stdout] | help: needs `unsafe` before the extern keyword: `unsafe` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2021) but is a hard error in Rust 2024! [INFO] [stdout] = note: for more information, see issue #123743 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: extern blocks should be unsafe [INFO] [stdout] --> src/lib.rs:199:88 [INFO] [stdout] | [INFO] [stdout] 199 | pub unsafe fn load_formula(algorithm: *mut MaxSAT, formula: *mut MaxSATFormula); [INFO] [stdout] | ^ [INFO] [stdout] | | [INFO] [stdout] | help: needs `unsafe` before the extern keyword: `unsafe` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2021) but is a hard error in Rust 2024! [INFO] [stdout] = note: for more information, see issue #123743 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: extern blocks should be unsafe [INFO] [stdout] --> src/lib.rs:211:67 [INFO] [stdout] | [INFO] [stdout] 211 | pub unsafe fn search(algorithm: *mut MaxSAT) -> StatusCode; [INFO] [stdout] | ^ [INFO] [stdout] | | [INFO] [stdout] | help: needs `unsafe` before the extern keyword: `unsafe` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2021) but is a hard error in Rust 2024! [INFO] [stdout] = note: for more information, see issue #123743 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: extern blocks should be unsafe [INFO] [stdout] --> src/lib.rs:223:69 [INFO] [stdout] | [INFO] [stdout] 223 | pub unsafe fn get_model(algorithm: *mut MaxSAT) -> *mut bool; [INFO] [stdout] | ^ [INFO] [stdout] | | [INFO] [stdout] | help: needs `unsafe` before the extern keyword: `unsafe` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2021) but is a hard error in Rust 2024! [INFO] [stdout] = note: for more information, see issue #123743 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: extern blocks should be unsafe [INFO] [stdout] --> src/lib.rs:232:68 [INFO] [stdout] | [INFO] [stdout] 232 | pub unsafe fn get_model_size(algorithm: *mut MaxSAT) -> u32; [INFO] [stdout] | ^ [INFO] [stdout] | | [INFO] [stdout] | help: needs `unsafe` before the extern keyword: `unsafe` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2021) but is a hard error in Rust 2024! [INFO] [stdout] = note: for more information, see issue #123743 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: extern blocks should be unsafe [INFO] [stdout] --> src/lib.rs:241:61 [INFO] [stdout] | [INFO] [stdout] 241 | pub unsafe fn drop_algorithm(algorithm: *mut MaxSAT); [INFO] [stdout] | ^ [INFO] [stdout] | | [INFO] [stdout] | help: needs `unsafe` before the extern keyword: `unsafe` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2021) but is a hard error in Rust 2024! [INFO] [stdout] = note: for more information, see issue #123743 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: extern blocks should be unsafe [INFO] [stdout] --> src/lib.rs:250:51 [INFO] [stdout] | [INFO] [stdout] 250 | pub unsafe fn drop_model(model: *mut bool); [INFO] [stdout] | ^ [INFO] [stdout] | | [INFO] [stdout] | help: needs `unsafe` before the extern keyword: `unsafe` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2021) but is a hard error in Rust 2024! [INFO] [stdout] = note: for more information, see issue #123743 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: extern blocks should be unsafe [INFO] [stdout] --> src/lib.rs:260:64 [INFO] [stdout] | [INFO] [stdout] 260 | pub unsafe fn drop_formula(formula: *mut MaxSATFormula); [INFO] [stdout] | ^ [INFO] [stdout] | | [INFO] [stdout] | help: needs `unsafe` before the extern keyword: `unsafe` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2021) but is a hard error in Rust 2024! [INFO] [stdout] = note: for more information, see issue #123743 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: extern blocks should be unsafe [INFO] [stdout] --> src/lib.rs:270:56 [INFO] [stdout] | [INFO] [stdout] 270 | pub unsafe fn drop_clause(formula: *mut Clause); [INFO] [stdout] | ^ [INFO] [stdout] | | [INFO] [stdout] | help: needs `unsafe` before the extern keyword: `unsafe` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2021) but is a hard error in Rust 2024! [INFO] [stdout] = note: for more information, see issue #123743 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: extern blocks should be unsafe [INFO] [stdout] --> src/lib.rs:277:62 [INFO] [stdout] | [INFO] [stdout] 277 | pub unsafe fn nb_cores(algorithm: *mut MaxSAT) -> i32; [INFO] [stdout] | ^ [INFO] [stdout] | | [INFO] [stdout] | help: needs `unsafe` before the extern keyword: `unsafe` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2021) but is a hard error in Rust 2024! [INFO] [stdout] = note: for more information, see issue #123743 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: extern blocks should be unsafe [INFO] [stdout] --> src/lib.rs:284:73 [INFO] [stdout] | [INFO] [stdout] 284 | pub unsafe fn nb_symmetry_clauses(algorithm: *mut MaxSAT) -> i32; [INFO] [stdout] | ^ [INFO] [stdout] | | [INFO] [stdout] | help: needs `unsafe` before the extern keyword: `unsafe` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2021) but is a hard error in Rust 2024! [INFO] [stdout] = note: for more information, see issue #123743 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: extern blocks should be unsafe [INFO] [stdout] --> src/lib.rs:291:68 [INFO] [stdout] | [INFO] [stdout] 291 | pub unsafe fn nb_satisfiable(algorithm: *mut MaxSAT) -> i32; [INFO] [stdout] | ^ [INFO] [stdout] | | [INFO] [stdout] | help: needs `unsafe` before the extern keyword: `unsafe` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2021) but is a hard error in Rust 2024! [INFO] [stdout] = note: for more information, see issue #123743 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: extern blocks should be unsafe [INFO] [stdout] --> src/lib.rs:298:68 [INFO] [stdout] | [INFO] [stdout] 298 | pub unsafe fn sum_size_cores(algorithm: *mut MaxSAT) -> u64; [INFO] [stdout] | ^ [INFO] [stdout] | | [INFO] [stdout] | help: needs `unsafe` before the extern keyword: `unsafe` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2021) but is a hard error in Rust 2024! [INFO] [stdout] = note: for more information, see issue #123743 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: extern blocks should be unsafe [INFO] [stdout] --> src/lib.rs:305:61 [INFO] [stdout] | [INFO] [stdout] 305 | pub unsafe fn ub_cost(algorithm: *mut MaxSAT) -> u64; [INFO] [stdout] | ^ [INFO] [stdout] | | [INFO] [stdout] | help: needs `unsafe` before the extern keyword: `unsafe` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2021) but is a hard error in Rust 2024! [INFO] [stdout] = note: for more information, see issue #123743 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: extern blocks should be unsafe [INFO] [stdout] --> src/lib.rs:314:50 [INFO] [stdout] | [INFO] [stdout] 314 | pub unsafe fn get_error() -> OpenWboError; [INFO] [stdout] | ^ [INFO] [stdout] | | [INFO] [stdout] | help: needs `unsafe` before the extern keyword: `unsafe` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2021) but is a hard error in Rust 2024! [INFO] [stdout] = note: for more information, see issue #123743 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 24 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] warning: failed to automatically apply fixes suggested by rustc to crate `logicng_open_wbo_sys` [INFO] [stderr] [INFO] [stderr] after fixes were automatically applied the compiler reported errors within these files: [INFO] [stderr] [INFO] [stderr] * src/lib.rs [INFO] [stderr] [INFO] [stderr] This likely indicates a bug in either rustc or cargo itself, [INFO] [stderr] and we would appreciate a bug report! You're likely to see [INFO] [stderr] a number of compiler warnings after this message which cargo [INFO] [stderr] attempted to fix but failed. If you could open an issue at [INFO] [stderr] https://github.com/rust-lang/rust/issues [INFO] [stderr] quoting the full output of this command we'd be very appreciative! [INFO] [stderr] Note that you may be able to make some more progress in the near-term [INFO] [stderr] fixing code with the `--broken-code` flag [INFO] [stderr] [INFO] [stderr] The following errors were reported: [INFO] [stderr] error: expected one of `->`, `;`, `where`, or `{`, found keyword `unsafe` [INFO] [stderr] --> src/lib.rs:170:94 [INFO] [stderr] | [INFO] [stderr] 72 | extern "C++" { [INFO] [stderr] | - while parsing this item list starting here [INFO] [stderr] ... [INFO] [stderr] 170 | pub unsafe fn add_literal(formula: *mut MaxSATFormula, clause: *mut Clause, var: i32)unsafe ; [INFO] [stderr] | ^^^^^^ expected one of `->`, `;`, `where`, or `{` [INFO] [stderr] ... [INFO] [stderr] 315 | } [INFO] [stderr] | - the item list ends here [INFO] [stderr] [INFO] [stderr] error: expected `;` [INFO] [stderr] --> src/lib.rs:170:94 [INFO] [stderr] | [INFO] [stderr] 170 | pub unsafe fn add_literal(formula: *mut MaxSATFormula, clause: *mut Clause, var: i32)unsafe ; [INFO] [stderr] | ^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared crate or module `ffi` [INFO] [stderr] --> src/lib.rs:318:18 [INFO] [stderr] | [INFO] [stderr] 318 | impl Display for ffi::OpenWboError { [INFO] [stderr] | ^^^ use of undeclared crate or module `ffi` [INFO] [stderr] [INFO] [stderr] error: aborting due to 3 previous errors [INFO] [stderr] [INFO] [stderr] For more information about this error, try `rustc --explain E0433`. [INFO] [stderr] Original diagnostics will follow. [INFO] [stderr] [INFO] [stdout] warning: extern blocks should be unsafe [INFO] [stdout] --> src/lib.rs:98:107 [INFO] [stdout] | [INFO] [stdout] 98 | pub unsafe fn linear_su(verbosity: Verbosity, bmo: bool, enc: CardEncoding, pb: PB) -> *mut MaxSAT; [INFO] [stdout] | ^ [INFO] [stdout] | | [INFO] [stdout] | help: needs `unsafe` before the extern keyword: `unsafe` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2021) but is a hard error in Rust 2024! [INFO] [stdout] = note: for more information, see issue #123743 [INFO] [stdout] = note: `--force-warn missing-unsafe-on-extern` implied by `--force-warn rust-2024-compatibility` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: extern blocks should be unsafe [INFO] [stdout] --> src/lib.rs:108:107 [INFO] [stdout] | [INFO] [stdout] 108 | pub unsafe fn wbo(verbosity: Verbosity, weight: Weight, symmetry: bool, limit: i32) -> *mut MaxSAT; [INFO] [stdout] | ^ [INFO] [stdout] | | [INFO] [stdout] | help: needs `unsafe` before the extern keyword: `unsafe` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2021) but is a hard error in Rust 2024! [INFO] [stdout] = note: for more information, see issue #123743 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: extern blocks should be unsafe [INFO] [stdout] --> src/lib.rs:118:82 [INFO] [stdout] | [INFO] [stdout] 118 | pub unsafe fn oll(verbosity: Verbosity, enc: CardEncoding) -> *mut MaxSAT; [INFO] [stdout] | ^ [INFO] [stdout] | | [INFO] [stdout] | help: needs `unsafe` before the extern keyword: `unsafe` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2021) but is a hard error in Rust 2024! [INFO] [stdout] = note: for more information, see issue #123743 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: extern blocks should be unsafe [INFO] [stdout] --> src/lib.rs:128:121 [INFO] [stdout] | [INFO] [stdout] 128 | pub unsafe fn part_msu_3(verbosity: Verbosity, merge: Merge, graph: GraphType, enc: CardEncoding) -> *mut MaxSAT; [INFO] [stdout] | ^ [INFO] [stdout] | | [INFO] [stdout] | help: needs `unsafe` before the extern keyword: `unsafe` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2021) but is a hard error in Rust 2024! [INFO] [stdout] = note: for more information, see issue #123743 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: extern blocks should be unsafe [INFO] [stdout] --> src/lib.rs:138:65 [INFO] [stdout] | [INFO] [stdout] 138 | pub unsafe fn msu_3(verbosity: Verbosity) -> *mut MaxSAT; [INFO] [stdout] | ^ [INFO] [stdout] | | [INFO] [stdout] | help: needs `unsafe` before the extern keyword: `unsafe` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2021) but is a hard error in Rust 2024! [INFO] [stdout] = note: for more information, see issue #123743 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: extern blocks should be unsafe [INFO] [stdout] --> src/lib.rs:148:58 [INFO] [stdout] | [INFO] [stdout] 148 | pub unsafe fn new_formula() -> *mut MaxSATFormula; [INFO] [stdout] | ^ [INFO] [stdout] | | [INFO] [stdout] | help: needs `unsafe` before the extern keyword: `unsafe` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2021) but is a hard error in Rust 2024! [INFO] [stdout] = note: for more information, see issue #123743 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: extern blocks should be unsafe [INFO] [stdout] --> src/lib.rs:158:50 [INFO] [stdout] | [INFO] [stdout] 158 | pub unsafe fn new_clause() -> *mut Clause; [INFO] [stdout] | ^ [INFO] [stdout] | | [INFO] [stdout] | help: needs `unsafe` before the extern keyword: `unsafe` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2021) but is a hard error in Rust 2024! [INFO] [stdout] = note: for more information, see issue #123743 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: extern blocks should be unsafe [INFO] [stdout] --> src/lib.rs:170:94 [INFO] [stdout] | [INFO] [stdout] 170 | pub unsafe fn add_literal(formula: *mut MaxSATFormula, clause: *mut Clause, var: i32); [INFO] [stdout] | ^ [INFO] [stdout] | | [INFO] [stdout] | help: needs `unsafe` before the extern keyword: `unsafe` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2021) but is a hard error in Rust 2024! [INFO] [stdout] = note: for more information, see issue #123743 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: extern blocks should be unsafe [INFO] [stdout] --> src/lib.rs:179:88 [INFO] [stdout] | [INFO] [stdout] 179 | pub unsafe fn add_hard_clause(formula: *mut MaxSATFormula, clause: *mut Clause); [INFO] [stdout] | ^ [INFO] [stdout] | | [INFO] [stdout] | help: needs `unsafe` before the extern keyword: `unsafe` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2021) but is a hard error in Rust 2024! [INFO] [stdout] = note: for more information, see issue #123743 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: extern blocks should be unsafe [INFO] [stdout] --> src/lib.rs:189:101 [INFO] [stdout] | [INFO] [stdout] 189 | pub unsafe fn add_soft_clause(formula: *mut MaxSATFormula, weight: u64, clause: *mut Clause); [INFO] [stdout] | ^ [INFO] [stdout] | | [INFO] [stdout] | help: needs `unsafe` before the extern keyword: `unsafe` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2021) but is a hard error in Rust 2024! [INFO] [stdout] = note: for more information, see issue #123743 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: extern blocks should be unsafe [INFO] [stdout] --> src/lib.rs:199:88 [INFO] [stdout] | [INFO] [stdout] 199 | pub unsafe fn load_formula(algorithm: *mut MaxSAT, formula: *mut MaxSATFormula); [INFO] [stdout] | ^ [INFO] [stdout] | | [INFO] [stdout] | help: needs `unsafe` before the extern keyword: `unsafe` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2021) but is a hard error in Rust 2024! [INFO] [stdout] = note: for more information, see issue #123743 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: extern blocks should be unsafe [INFO] [stdout] --> src/lib.rs:211:67 [INFO] [stdout] | [INFO] [stdout] 211 | pub unsafe fn search(algorithm: *mut MaxSAT) -> StatusCode; [INFO] [stdout] | ^ [INFO] [stdout] | | [INFO] [stdout] | help: needs `unsafe` before the extern keyword: `unsafe` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2021) but is a hard error in Rust 2024! [INFO] [stdout] = note: for more information, see issue #123743 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: extern blocks should be unsafe [INFO] [stdout] --> src/lib.rs:223:69 [INFO] [stdout] | [INFO] [stdout] 223 | pub unsafe fn get_model(algorithm: *mut MaxSAT) -> *mut bool; [INFO] [stdout] | ^ [INFO] [stdout] | | [INFO] [stdout] | help: needs `unsafe` before the extern keyword: `unsafe` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2021) but is a hard error in Rust 2024! [INFO] [stdout] = note: for more information, see issue #123743 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: extern blocks should be unsafe [INFO] [stdout] --> src/lib.rs:232:68 [INFO] [stdout] | [INFO] [stdout] 232 | pub unsafe fn get_model_size(algorithm: *mut MaxSAT) -> u32; [INFO] [stdout] | ^ [INFO] [stdout] | | [INFO] [stdout] | help: needs `unsafe` before the extern keyword: `unsafe` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2021) but is a hard error in Rust 2024! [INFO] [stdout] = note: for more information, see issue #123743 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: extern blocks should be unsafe [INFO] [stdout] --> src/lib.rs:241:61 [INFO] [stdout] | [INFO] [stdout] 241 | pub unsafe fn drop_algorithm(algorithm: *mut MaxSAT); [INFO] [stdout] | ^ [INFO] [stdout] | | [INFO] [stdout] | help: needs `unsafe` before the extern keyword: `unsafe` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2021) but is a hard error in Rust 2024! [INFO] [stdout] = note: for more information, see issue #123743 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: extern blocks should be unsafe [INFO] [stdout] --> src/lib.rs:250:51 [INFO] [stdout] | [INFO] [stdout] 250 | pub unsafe fn drop_model(model: *mut bool); [INFO] [stdout] | ^ [INFO] [stdout] | | [INFO] [stdout] | help: needs `unsafe` before the extern keyword: `unsafe` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2021) but is a hard error in Rust 2024! [INFO] [stdout] = note: for more information, see issue #123743 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: extern blocks should be unsafe [INFO] [stdout] --> src/lib.rs:260:64 [INFO] [stdout] | [INFO] [stdout] 260 | pub unsafe fn drop_formula(formula: *mut MaxSATFormula); [INFO] [stdout] | ^ [INFO] [stdout] | | [INFO] [stdout] | help: needs `unsafe` before the extern keyword: `unsafe` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2021) but is a hard error in Rust 2024! [INFO] [stdout] = note: for more information, see issue #123743 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: extern blocks should be unsafe [INFO] [stdout] --> src/lib.rs:270:56 [INFO] [stdout] | [INFO] [stdout] 270 | pub unsafe fn drop_clause(formula: *mut Clause); [INFO] [stdout] | ^ [INFO] [stdout] | | [INFO] [stdout] | help: needs `unsafe` before the extern keyword: `unsafe` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2021) but is a hard error in Rust 2024! [INFO] [stdout] = note: for more information, see issue #123743 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: extern blocks should be unsafe [INFO] [stdout] --> src/lib.rs:277:62 [INFO] [stdout] | [INFO] [stdout] 277 | pub unsafe fn nb_cores(algorithm: *mut MaxSAT) -> i32; [INFO] [stdout] | ^ [INFO] [stdout] | | [INFO] [stdout] | help: needs `unsafe` before the extern keyword: `unsafe` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2021) but is a hard error in Rust 2024! [INFO] [stdout] = note: for more information, see issue #123743 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: extern blocks should be unsafe [INFO] [stdout] --> src/lib.rs:284:73 [INFO] [stdout] | [INFO] [stdout] 284 | pub unsafe fn nb_symmetry_clauses(algorithm: *mut MaxSAT) -> i32; [INFO] [stdout] | ^ [INFO] [stdout] | | [INFO] [stdout] | help: needs `unsafe` before the extern keyword: `unsafe` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2021) but is a hard error in Rust 2024! [INFO] [stdout] = note: for more information, see issue #123743 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: extern blocks should be unsafe [INFO] [stdout] --> src/lib.rs:291:68 [INFO] [stdout] | [INFO] [stdout] 291 | pub unsafe fn nb_satisfiable(algorithm: *mut MaxSAT) -> i32; [INFO] [stdout] | ^ [INFO] [stdout] | | [INFO] [stdout] | help: needs `unsafe` before the extern keyword: `unsafe` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2021) but is a hard error in Rust 2024! [INFO] [stdout] = note: for more information, see issue #123743 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: extern blocks should be unsafe [INFO] [stdout] --> src/lib.rs:298:68 [INFO] [stdout] | [INFO] [stdout] 298 | pub unsafe fn sum_size_cores(algorithm: *mut MaxSAT) -> u64; [INFO] [stdout] | ^ [INFO] [stdout] | | [INFO] [stdout] | help: needs `unsafe` before the extern keyword: `unsafe` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2021) but is a hard error in Rust 2024! [INFO] [stdout] = note: for more information, see issue #123743 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: extern blocks should be unsafe [INFO] [stdout] --> src/lib.rs:305:61 [INFO] [stdout] | [INFO] [stdout] 305 | pub unsafe fn ub_cost(algorithm: *mut MaxSAT) -> u64; [INFO] [stdout] | ^ [INFO] [stdout] | | [INFO] [stdout] | help: needs `unsafe` before the extern keyword: `unsafe` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2021) but is a hard error in Rust 2024! [INFO] [stdout] = note: for more information, see issue #123743 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: extern blocks should be unsafe [INFO] [stdout] --> src/lib.rs:314:50 [INFO] [stdout] | [INFO] [stdout] 314 | pub unsafe fn get_error() -> OpenWboError; [INFO] [stdout] | ^ [INFO] [stdout] | | [INFO] [stdout] | help: needs `unsafe` before the extern keyword: `unsafe` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2021) but is a hard error in Rust 2024! [INFO] [stdout] = note: for more information, see issue #123743 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 24 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 29.37s [INFO] [stderr] Running `cargo check` to verify 2024 [INFO] [stderr] Compiling logicng-open-wbo-sys v0.1.0-alpha.3 (/tmp/fixit) [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> src/lib.rs:98:107 [INFO] [stdout] | [INFO] [stdout] 98 | pub unsafe fn linear_su(verbosity: Verbosity, bmo: bool, enc: CardEncoding, pb: PB) -> *mut MaxSAT; [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> src/lib.rs:108:107 [INFO] [stdout] | [INFO] [stdout] 108 | pub unsafe fn wbo(verbosity: Verbosity, weight: Weight, symmetry: bool, limit: i32) -> *mut MaxSAT; [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> src/lib.rs:118:82 [INFO] [stdout] | [INFO] [stdout] 118 | pub unsafe fn oll(verbosity: Verbosity, enc: CardEncoding) -> *mut MaxSAT; [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> src/lib.rs:128:121 [INFO] [stdout] | [INFO] [stdout] 128 | pub unsafe fn part_msu_3(verbosity: Verbosity, merge: Merge, graph: GraphType, enc: CardEncoding) -> *mut MaxSAT; [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> src/lib.rs:138:65 [INFO] [stdout] | [INFO] [stdout] 138 | pub unsafe fn msu_3(verbosity: Verbosity) -> *mut MaxSAT; [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> src/lib.rs:148:58 [INFO] [stdout] | [INFO] [stdout] 148 | pub unsafe fn new_formula() -> *mut MaxSATFormula; [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> src/lib.rs:158:50 [INFO] [stdout] | [INFO] [stdout] 158 | pub unsafe fn new_clause() -> *mut Clause; [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> src/lib.rs:170:94 [INFO] [stdout] | [INFO] [stdout] 170 | pub unsafe fn add_literal(formula: *mut MaxSATFormula, clause: *mut Clause, var: i32); [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> src/lib.rs:179:88 [INFO] [stdout] | [INFO] [stdout] 179 | pub unsafe fn add_hard_clause(formula: *mut MaxSATFormula, clause: *mut Clause); [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> src/lib.rs:189:101 [INFO] [stdout] | [INFO] [stdout] 189 | pub unsafe fn add_soft_clause(formula: *mut MaxSATFormula, weight: u64, clause: *mut Clause); [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> src/lib.rs:199:88 [INFO] [stdout] | [INFO] [stdout] 199 | pub unsafe fn load_formula(algorithm: *mut MaxSAT, formula: *mut MaxSATFormula); [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> src/lib.rs:211:67 [INFO] [stdout] | [INFO] [stdout] 211 | pub unsafe fn search(algorithm: *mut MaxSAT) -> StatusCode; [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> src/lib.rs:223:69 [INFO] [stdout] | [INFO] [stdout] 223 | pub unsafe fn get_model(algorithm: *mut MaxSAT) -> *mut bool; [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> src/lib.rs:232:68 [INFO] [stdout] | [INFO] [stdout] 232 | pub unsafe fn get_model_size(algorithm: *mut MaxSAT) -> u32; [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> src/lib.rs:241:61 [INFO] [stdout] | [INFO] [stdout] 241 | pub unsafe fn drop_algorithm(algorithm: *mut MaxSAT); [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> src/lib.rs:250:51 [INFO] [stdout] | [INFO] [stdout] 250 | pub unsafe fn drop_model(model: *mut bool); [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> src/lib.rs:260:64 [INFO] [stdout] | [INFO] [stdout] 260 | pub unsafe fn drop_formula(formula: *mut MaxSATFormula); [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> src/lib.rs:98:107 [INFO] [stdout] | [INFO] [stdout] 98 | pub unsafe fn linear_su(verbosity: Verbosity, bmo: bool, enc: CardEncoding, pb: PB) -> *mut MaxSAT; [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> src/lib.rs:270:56 [INFO] [stdout] | [INFO] [stdout] 270 | pub unsafe fn drop_clause(formula: *mut Clause); [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> src/lib.rs:277:62 [INFO] [stdout] | [INFO] [stdout] 277 | pub unsafe fn nb_cores(algorithm: *mut MaxSAT) -> i32; [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> src/lib.rs:284:73 [INFO] [stdout] | [INFO] [stdout] 284 | pub unsafe fn nb_symmetry_clauses(algorithm: *mut MaxSAT) -> i32; [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> src/lib.rs:291:68 [INFO] [stdout] | [INFO] [stdout] 291 | pub unsafe fn nb_satisfiable(algorithm: *mut MaxSAT) -> i32; [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> src/lib.rs:298:68 [INFO] [stdout] | [INFO] [stdout] 298 | pub unsafe fn sum_size_cores(algorithm: *mut MaxSAT) -> u64; [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> src/lib.rs:108:107 [INFO] [stdout] | [INFO] [stdout] 108 | pub unsafe fn wbo(verbosity: Verbosity, weight: Weight, symmetry: bool, limit: i32) -> *mut MaxSAT; [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> src/lib.rs:305:61 [INFO] [stdout] | [INFO] [stdout] 305 | pub unsafe fn ub_cost(algorithm: *mut MaxSAT) -> u64; [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> src/lib.rs:118:82 [INFO] [stdout] | [INFO] [stdout] 118 | pub unsafe fn oll(verbosity: Verbosity, enc: CardEncoding) -> *mut MaxSAT; [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> src/lib.rs:314:50 [INFO] [stdout] | [INFO] [stdout] 314 | pub unsafe fn get_error() -> OpenWboError; [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> src/lib.rs:128:121 [INFO] [stdout] | [INFO] [stdout] 128 | pub unsafe fn part_msu_3(verbosity: Verbosity, merge: Merge, graph: GraphType, enc: CardEncoding) -> *mut MaxSAT; [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> src/lib.rs:138:65 [INFO] [stdout] | [INFO] [stdout] 138 | pub unsafe fn msu_3(verbosity: Verbosity) -> *mut MaxSAT; [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> src/lib.rs:148:58 [INFO] [stdout] | [INFO] [stdout] 148 | pub unsafe fn new_formula() -> *mut MaxSATFormula; [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> src/lib.rs:158:50 [INFO] [stdout] | [INFO] [stdout] 158 | pub unsafe fn new_clause() -> *mut Clause; [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> src/lib.rs:170:94 [INFO] [stdout] | [INFO] [stdout] 170 | pub unsafe fn add_literal(formula: *mut MaxSATFormula, clause: *mut Clause, var: i32); [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> src/lib.rs:179:88 [INFO] [stdout] | [INFO] [stdout] 179 | pub unsafe fn add_hard_clause(formula: *mut MaxSATFormula, clause: *mut Clause); [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> src/lib.rs:189:101 [INFO] [stdout] | [INFO] [stdout] 189 | pub unsafe fn add_soft_clause(formula: *mut MaxSATFormula, weight: u64, clause: *mut Clause); [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> src/lib.rs:199:88 [INFO] [stdout] | [INFO] [stdout] 199 | pub unsafe fn load_formula(algorithm: *mut MaxSAT, formula: *mut MaxSATFormula); [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> src/lib.rs:211:67 [INFO] [stdout] | [INFO] [stdout] 211 | pub unsafe fn search(algorithm: *mut MaxSAT) -> StatusCode; [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> src/lib.rs:223:69 [INFO] [stdout] | [INFO] [stdout] 223 | pub unsafe fn get_model(algorithm: *mut MaxSAT) -> *mut bool; [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> src/lib.rs:232:68 [INFO] [stdout] | [INFO] [stdout] 232 | pub unsafe fn get_model_size(algorithm: *mut MaxSAT) -> u32; [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> src/lib.rs:241:61 [INFO] [stdout] | [INFO] [stdout] 241 | pub unsafe fn drop_algorithm(algorithm: *mut MaxSAT); [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> src/lib.rs:250:51 [INFO] [stdout] | [INFO] [stdout] 250 | pub unsafe fn drop_model(model: *mut bool); [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> src/lib.rs:260:64 [INFO] [stdout] | [INFO] [stdout] 260 | pub unsafe fn drop_formula(formula: *mut MaxSATFormula); [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> src/lib.rs:270:56 [INFO] [stdout] | [INFO] [stdout] 270 | pub unsafe fn drop_clause(formula: *mut Clause); [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> src/lib.rs:277:62 [INFO] [stdout] | [INFO] [stdout] 277 | pub unsafe fn nb_cores(algorithm: *mut MaxSAT) -> i32; [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> src/lib.rs:284:73 [INFO] [stdout] | [INFO] [stdout] 284 | pub unsafe fn nb_symmetry_clauses(algorithm: *mut MaxSAT) -> i32; [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> src/lib.rs:291:68 [INFO] [stdout] | [INFO] [stdout] 291 | pub unsafe fn nb_satisfiable(algorithm: *mut MaxSAT) -> i32; [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> src/lib.rs:298:68 [INFO] [stdout] | [INFO] [stdout] 298 | pub unsafe fn sum_size_cores(algorithm: *mut MaxSAT) -> u64; [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> src/lib.rs:305:61 [INFO] [stdout] | [INFO] [stdout] 305 | pub unsafe fn ub_cost(algorithm: *mut MaxSAT) -> u64; [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> src/lib.rs:314:50 [INFO] [stdout] | [INFO] [stdout] 314 | pub unsafe fn get_error() -> OpenWboError; [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 24 previous errors [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 24 previous errors [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `logicng-open-wbo-sys` (lib test) due to 25 previous errors [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stderr] error: could not compile `logicng-open-wbo-sys` (lib) due to 25 previous errors [INFO] [stderr] error: failed to check after updating to 2024 [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] process didn't exit successfully: `cargo check --frozen --all --all-targets --message-format=json` (exit status: 101) [INFO] running `Command { std: "docker" "inspect" "1de0e2f47db67b7b4c85eb0e9ab25c74700911fd2e0e4d887c964f0ffd1c0505", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "1de0e2f47db67b7b4c85eb0e9ab25c74700911fd2e0e4d887c964f0ffd1c0505", kill_on_drop: false }` [INFO] [stdout] 1de0e2f47db67b7b4c85eb0e9ab25c74700911fd2e0e4d887c964f0ffd1c0505