[INFO] fetching crate cadical-sys 0.1.0... [INFO] checking cadical-sys-0.1.0 against try#65132f36b923285d5da381c2fbafee6ce899e841 for pr-132712-1 [INFO] extracting crate cadical-sys 0.1.0 into /workspace/builds/worker-7-tc2/source [INFO] validating manifest of crates.io crate cadical-sys 0.1.0 on toolchain 65132f36b923285d5da381c2fbafee6ce899e841 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+65132f36b923285d5da381c2fbafee6ce899e841" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking crates.io crate cadical-sys 0.1.0 [INFO] finished tweaking crates.io crate cadical-sys 0.1.0 [INFO] tweaked toml for crates.io crate cadical-sys 0.1.0 written to /workspace/builds/worker-7-tc2/source/Cargo.toml [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+65132f36b923285d5da381c2fbafee6ce899e841" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Locking 36 packages to latest compatible versions [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+65132f36b923285d5da381c2fbafee6ce899e841" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:4a844ea9eb2546a2d2c7022eacef16ef2e8229c7fbb2c7d4d55a9ceca922f72d" "/opt/rustwide/cargo-home/bin/cargo" "+65132f36b923285d5da381c2fbafee6ce899e841" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 09f0e55689c8051dba5865cc7cccbdd4cf34c321d249ff855590840bbd107699 [INFO] running `Command { std: "docker" "start" "-a" "09f0e55689c8051dba5865cc7cccbdd4cf34c321d249ff855590840bbd107699", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "09f0e55689c8051dba5865cc7cccbdd4cf34c321d249ff855590840bbd107699", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "09f0e55689c8051dba5865cc7cccbdd4cf34c321d249ff855590840bbd107699", kill_on_drop: false }` [INFO] [stdout] 09f0e55689c8051dba5865cc7cccbdd4cf34c321d249ff855590840bbd107699 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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=allow" "-e" "RUSTDOCFLAGS=--cap-lints=allow" "-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:4a844ea9eb2546a2d2c7022eacef16ef2e8229c7fbb2c7d4d55a9ceca922f72d" "/opt/rustwide/cargo-home/bin/cargo" "+65132f36b923285d5da381c2fbafee6ce899e841" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] ad60f36fd5eaf65ba2540f88219917adf00c95d9da7b955a03451dfc7e5511fc [INFO] running `Command { std: "docker" "start" "-a" "ad60f36fd5eaf65ba2540f88219917adf00c95d9da7b955a03451dfc7e5511fc", 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 libc v0.2.164 [INFO] [stderr] Compiling proc-macro2 v1.0.92 [INFO] [stderr] Compiling glob v0.3.1 [INFO] [stderr] Compiling unicode-ident v1.0.14 [INFO] [stderr] Compiling prettyplease v0.2.25 [INFO] [stderr] Compiling cfg-if v1.0.0 [INFO] [stderr] Compiling memchr v2.7.4 [INFO] [stderr] Compiling regex-syntax v0.8.5 [INFO] [stderr] Compiling minimal-lexical v0.2.1 [INFO] [stderr] Compiling shlex v1.3.0 [INFO] [stderr] Compiling either v1.13.0 [INFO] [stderr] Compiling bindgen v0.70.1 [INFO] [stderr] Compiling log v0.4.22 [INFO] [stderr] Compiling rustc-hash v1.1.0 [INFO] [stderr] Compiling bitflags v2.6.0 [INFO] [stderr] Compiling libloading v0.8.5 [INFO] [stderr] Compiling itertools v0.13.0 [INFO] [stderr] Compiling clang-sys v1.8.1 [INFO] [stderr] Compiling nom v7.1.3 [INFO] [stderr] Compiling quote v1.0.37 [INFO] [stderr] Compiling syn v2.0.89 [INFO] [stderr] Compiling jobserver v0.1.32 [INFO] [stderr] Compiling cc v1.2.1 [INFO] [stderr] Compiling regex-automata v0.4.9 [INFO] [stderr] Compiling cexpr v0.6.0 [INFO] [stderr] Compiling regex v1.11.1 [INFO] [stderr] Compiling cadical-sys v0.1.0 (/tmp/fixit) [INFO] [stderr] Migrating build.rs from 2021 edition to 2024 [INFO] [stderr] Migrating src/lib.rs from 2021 edition to 2024 [INFO] [stderr] Fixed /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs (185 fixes) [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 23.54s [INFO] [stderr] Running `cargo check` to verify 2024 [INFO] [stderr] Compiling cadical-sys v0.1.0 (/tmp/fixit) [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:9783 [INFO] [stdout] | [INFO] [stdout] 3 | ... ; extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6Solver31tracing_api_through_environmentE"] pub static mut Solver_tracing_api_through_environment : bool ; } # ... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:9783 [INFO] [stdout] | [INFO] [stdout] 3 | ... ; extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6Solver31tracing_api_through_environmentE"] pub static mut Solver_tracing_api_through_environment : bool ; } # ... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:10944 [INFO] [stdout] | [INFO] [stdout] 3 | ... ; extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6Solver9signatureEv"] pub fn Solver_signature () -> * const :: std :: os :: raw :: c_char ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:11083 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Add valid literal to clause or zero to terminate clause.\n\n require (VALID) // recall 'VALID = READY | ADDING'\n if (lit) ensure (ADDING) // and thus VALID but not READY\n if (!lit) ensure (STEADY ) // and thus READY\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver3addEi"] pub fn Solver_add (this : * mut root :: CaDiCaL :: Solver , lit : :: std :: os :: raw :: c_int) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:10944 [INFO] [stdout] | [INFO] [stdout] 3 | ... ; extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6Solver9signatureEv"] pub fn Solver_signature () -> * const :: std :: os :: raw :: c_char ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:11083 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Add valid literal to clause or zero to terminate clause.\n\n require (VALID) // recall 'VALID = READY | ADDING'\n if (lit) ensure (ADDING) // and thus VALID but not READY\n if (!lit) ensure (STEADY ) // and thus READY\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver3addEi"] pub fn Solver_add (this : * mut root :: CaDiCaL :: Solver , lit : :: std :: os :: raw :: c_int) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:11514 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Here are functions simplifying clause addition. The given literals\n should all be valid (different from 'INT_MIN' and different from '0').\n\n require (VALID)\n ensure (STEADY )\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver6clauseEi"] pub fn Solver_clause (this : * mut root :: CaDiCaL :: Solver , arg1 : :: std :: os :: raw :: c_int) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:11880 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6Solver6clauseEii"] pub fn Solver_clause1 (this : * mut root :: CaDiCaL :: Solver , arg1 : :: std :: os :: raw :: c_int , arg2 : :: std :: os :: raw :: c_int) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:11514 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Here are functions simplifying clause addition. The given literals\n should all be valid (different from 'INT_MIN' and different from '0').\n\n require (VALID)\n ensure (STEADY )\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver6clauseEi"] pub fn Solver_clause (this : * mut root :: CaDiCaL :: Solver , arg1 : :: std :: os :: raw :: c_int) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:11880 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6Solver6clauseEii"] pub fn Solver_clause1 (this : * mut root :: CaDiCaL :: Solver , arg1 : :: std :: os :: raw :: c_int , arg2 : :: std :: os :: raw :: c_int) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:12088 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6Solver6clauseEiii"] pub fn Solver_clause2 (this : * mut root :: CaDiCaL :: Solver , arg1 : :: std :: os :: raw :: c_int , arg2 : :: std :: os :: raw :: c_int , arg3 : :: std :: os :: raw :: c_int) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:12088 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6Solver6clauseEiii"] pub fn Solver_clause2 (this : * mut root :: CaDiCaL :: Solver , arg1 : :: std :: os :: raw :: c_int , arg2 : :: std :: os :: raw :: c_int , arg3 : :: std :: os :: raw :: c_int) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:12335 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6Solver6clauseEiiii"] pub fn Solver_clause3 (this : * mut root :: CaDiCaL :: Solver , arg1 : :: std :: os :: raw :: c_int , arg2 : :: std :: os :: raw :: c_int , arg3 : :: std :: os :: raw :: c_int , arg4 : :: std :: os :: raw :: c_int) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:12335 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6Solver6clauseEiiii"] pub fn Solver_clause3 (this : * mut root :: CaDiCaL :: Solver , arg1 : :: std :: os :: raw :: c_int , arg2 : :: std :: os :: raw :: c_int , arg3 : :: std :: os :: raw :: c_int , arg4 : :: std :: os :: raw :: c_int) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:12621 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6Solver6clauseEiiiii"] pub fn Solver_clause4 (this : * mut root :: CaDiCaL :: Solver , arg1 : :: std :: os :: raw :: c_int , arg2 : :: std :: os :: raw :: c_int , arg3 : :: std :: os :: raw :: c_int , arg4 : :: std :: os :: raw :: c_int , arg5 : :: std :: os :: raw :: c_int) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:12946 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6Solver6clauseERKSt6vectorIiSaIiEE"] pub fn Solver_clause5 (this : * mut root :: CaDiCaL :: Solver , arg1 : * const u8) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:12621 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6Solver6clauseEiiiii"] pub fn Solver_clause4 (this : * mut root :: CaDiCaL :: Solver , arg1 : :: std :: os :: raw :: c_int , arg2 : :: std :: os :: raw :: c_int , arg3 : :: std :: os :: raw :: c_int , arg4 : :: std :: os :: raw :: c_int , arg5 : :: std :: os :: raw :: c_int) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:12946 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6Solver6clauseERKSt6vectorIiSaIiEE"] pub fn Solver_clause5 (this : * mut root :: CaDiCaL :: Solver , arg1 : * const u8) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:13115 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6Solver6clauseEPKim"] pub fn Solver_clause6 (this : * mut root :: CaDiCaL :: Solver , arg1 : * const :: std :: os :: raw :: c_int , arg2 : usize) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:13115 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6Solver6clauseEPKim"] pub fn Solver_clause6 (this : * mut root :: CaDiCaL :: Solver , arg1 : * const :: std :: os :: raw :: c_int , arg2 : usize) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:13310 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " This function can be used to check if the formula is already\n inconsistent (contains the empty clause or was proven to be\n root-level unsatisfiable)."] # [link_name = "\u{1}_ZN7CaDiCaL6Solver12inconsistentEv"] pub fn Solver_inconsistent (this : * mut root :: CaDiCaL :: Solver) -> bool ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:13310 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " This function can be used to check if the formula is already\n inconsistent (contains the empty clause or was proven to be\n root-level unsatisfiable)."] # [link_name = "\u{1}_ZN7CaDiCaL6Solver12inconsistentEv"] pub fn Solver_inconsistent (this : * mut root :: CaDiCaL :: Solver) -> bool ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:13626 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Assume valid non zero literal for next call to 'solve'. These\n assumptions are reset after the call to 'solve' as well as after\n returning from 'simplify' and 'lookahead.\n\n require (READY)\n ensure (STEADY )\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver6assumeEi"] pub fn Solver_assume (this : * mut root :: CaDiCaL :: Solver , lit : :: std :: os :: raw :: c_int) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:14025 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Try to solve the current formula. Returns\n\n 0 = UNKNOWN (limit reached or interrupted through 'terminate')\n 10 = SATISFIABLE\n 20 = UNSATISFIABLE\n\n require (READY)\n ensure (STEADY | SATISFIED | UNSATISFIED)\n\n Note, that while in this call the solver actually transitions to state\n 'SOLVING', which however is only visible from a different context,\n i.e., from a different thread or from a signal handler. Only right\n before returning from this call it goes into a 'READY' state.\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver5solveEv"] pub fn Solver_solve (this : * mut root :: CaDiCaL :: Solver) -> :: std :: os :: raw :: c_int ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:13626 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Assume valid non zero literal for next call to 'solve'. These\n assumptions are reset after the call to 'solve' as well as after\n returning from 'simplify' and 'lookahead.\n\n require (READY)\n ensure (STEADY )\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver6assumeEi"] pub fn Solver_assume (this : * mut root :: CaDiCaL :: Solver , lit : :: std :: os :: raw :: c_int) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:14709 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Get value (-lit=false, lit=true) of valid non-zero literal.\n\n require (SATISFIED)\n ensure (SATISFIED)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver3valEi"] pub fn Solver_val (this : * mut root :: CaDiCaL :: Solver , lit : :: std :: os :: raw :: c_int) -> :: std :: os :: raw :: c_int ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:14025 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Try to solve the current formula. Returns\n\n 0 = UNKNOWN (limit reached or interrupted through 'terminate')\n 10 = SATISFIABLE\n 20 = UNSATISFIABLE\n\n require (READY)\n ensure (STEADY | SATISFIED | UNSATISFIED)\n\n Note, that while in this call the solver actually transitions to state\n 'SOLVING', which however is only visible from a different context,\n i.e., from a different thread or from a signal handler. Only right\n before returning from this call it goes into a 'READY' state.\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver5solveEv"] pub fn Solver_solve (this : * mut root :: CaDiCaL :: Solver) -> :: std :: os :: raw :: c_int ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:15026 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Try to flip the value of the given literal without falsifying the\n formula. Returns 'true' if this was successful. Otherwise the model is\n not changed and 'false' is returned. If a literal was eliminated or\n substituted flipping will fail on that literal and in particular the\n solver will not taint it nor restore any clauses.\n\n The 'flip' function can only flip the value of a variables not acting\n as witness on the reconstruction stack.\n\n As a side effect of calling this function first all assigned variables\n are propagated again without using blocking literal. Thus the first\n call to this function after obtaining a model adds a substantial\n overhead. Subsequent calls will not need to properly propagate again.\n\n Furthermore if the reconstruction stack is non-empty and has been\n traversed to reconstruct a full extended model for eliminated\n variables (and to satisfy removed blocked clauses), the values of these\n witness variables obtained via 'val' before become invalid. The user\n thus will need to call 'val' again after calling 'flip' which will\n trigger then a traversal of the reconstruction stack.\n\n So try to avoid mixing 'flip' and 'val' (for efficiency only).\n Further, this functionality is currently not supported in the presence\n of an external propagator.\n\n require (SATISFIED)\n ensure (SATISFIED)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver4flipEi"] pub fn Solver_flip (this : * mut root :: CaDiCaL :: Solver , lit : :: std :: os :: raw :: c_int) -> bool ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:16570 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Same as 'flip' without actually flipping it. This functionality is\n currently not supported in the presence of an external propagator.\n\n require (SATISFIED)\n ensure (SATISFIED)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver9flippableEi"] pub fn Solver_flippable (this : * mut root :: CaDiCaL :: Solver , lit : :: std :: os :: raw :: c_int) -> bool ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:14709 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Get value (-lit=false, lit=true) of valid non-zero literal.\n\n require (SATISFIED)\n ensure (SATISFIED)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver3valEi"] pub fn Solver_val (this : * mut root :: CaDiCaL :: Solver , lit : :: std :: os :: raw :: c_int) -> :: std :: os :: raw :: c_int ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:16951 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Determine whether the valid non-zero literal is in the core.\n Returns 'true' if the literal is in the core and 'false' otherwise.\n Note that the core does not have to be minimal.\n\n require (UNSATISFIED)\n ensure (UNSATISFIED)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver6failedEi"] pub fn Solver_failed (this : * mut root :: CaDiCaL :: Solver , lit : :: std :: os :: raw :: c_int) -> bool ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:15026 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Try to flip the value of the given literal without falsifying the\n formula. Returns 'true' if this was successful. Otherwise the model is\n not changed and 'false' is returned. If a literal was eliminated or\n substituted flipping will fail on that literal and in particular the\n solver will not taint it nor restore any clauses.\n\n The 'flip' function can only flip the value of a variables not acting\n as witness on the reconstruction stack.\n\n As a side effect of calling this function first all assigned variables\n are propagated again without using blocking literal. Thus the first\n call to this function after obtaining a model adds a substantial\n overhead. Subsequent calls will not need to properly propagate again.\n\n Furthermore if the reconstruction stack is non-empty and has been\n traversed to reconstruct a full extended model for eliminated\n variables (and to satisfy removed blocked clauses), the values of these\n witness variables obtained via 'val' before become invalid. The user\n thus will need to call 'val' again after calling 'flip' which will\n trigger then a traversal of the reconstruction stack.\n\n So try to avoid mixing 'flip' and 'val' (for efficiency only).\n Further, this functionality is currently not supported in the presence\n of an external propagator.\n\n require (SATISFIED)\n ensure (SATISFIED)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver4flipEi"] pub fn Solver_flip (this : * mut root :: CaDiCaL :: Solver , lit : :: std :: os :: raw :: c_int) -> bool ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:17375 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Add call-back which is checked regularly for termination. There can\n only be one terminator connected. If a second (non-zero) one is added\n the first one is implicitly disconnected.\n\n require (VALID)\n ensure (VALID)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver18connect_terminatorEPNS_10TerminatorE"] pub fn Solver_connect_terminator (this : * mut root :: CaDiCaL :: Solver , terminator : * mut root :: CaDiCaL :: Terminator) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:16570 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Same as 'flip' without actually flipping it. This functionality is\n currently not supported in the presence of an external propagator.\n\n require (SATISFIED)\n ensure (SATISFIED)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver9flippableEi"] pub fn Solver_flippable (this : * mut root :: CaDiCaL :: Solver , lit : :: std :: os :: raw :: c_int) -> bool ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:17839 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6Solver21disconnect_terminatorEv"] pub fn Solver_disconnect_terminator (this : * mut root :: CaDiCaL :: Solver) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:18000 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Add call-back which allows to export learned clauses.\n\n require (VALID)\n ensure (VALID)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver15connect_learnerEPNS_7LearnerE"] pub fn Solver_connect_learner (this : * mut root :: CaDiCaL :: Solver , learner : * mut root :: CaDiCaL :: Learner) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:16951 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Determine whether the valid non-zero literal is in the core.\n Returns 'true' if the literal is in the core and 'false' otherwise.\n Note that the core does not have to be minimal.\n\n require (UNSATISFIED)\n ensure (UNSATISFIED)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver6failedEi"] pub fn Solver_failed (this : * mut root :: CaDiCaL :: Solver , lit : :: std :: os :: raw :: c_int) -> bool ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:17375 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Add call-back which is checked regularly for termination. There can\n only be one terminator connected. If a second (non-zero) one is added\n the first one is implicitly disconnected.\n\n require (VALID)\n ensure (VALID)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver18connect_terminatorEPNS_10TerminatorE"] pub fn Solver_connect_terminator (this : * mut root :: CaDiCaL :: Solver , terminator : * mut root :: CaDiCaL :: Terminator) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:18316 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6Solver18disconnect_learnerEv"] pub fn Solver_disconnect_learner (this : * mut root :: CaDiCaL :: Solver) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:17839 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6Solver21disconnect_terminatorEv"] pub fn Solver_disconnect_terminator (this : * mut root :: CaDiCaL :: Solver) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:18471 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Add call-back which allows to observe when a variable is fixed.\n\n require (VALID)\n ensure (VALID)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver22connect_fixed_listenerEPNS_23FixedAssignmentListenerE"] pub fn Solver_connect_fixed_listener (this : * mut root :: CaDiCaL :: Solver , fixed_listener : * mut root :: CaDiCaL :: FixedAssignmentListener) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:18851 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6Solver25disconnect_fixed_listenerEv"] pub fn Solver_disconnect_fixed_listener (this : * mut root :: CaDiCaL :: Solver) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:18000 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Add call-back which allows to export learned clauses.\n\n require (VALID)\n ensure (VALID)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver15connect_learnerEPNS_7LearnerE"] pub fn Solver_connect_learner (this : * mut root :: CaDiCaL :: Solver , learner : * mut root :: CaDiCaL :: Learner) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:18316 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6Solver18disconnect_learnerEv"] pub fn Solver_disconnect_learner (this : * mut root :: CaDiCaL :: Solver) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:19020 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Add call-back which allows to learn, propagate and backtrack based on\n external constraints. Only one external propagator can be connected\n and after connection every related variables must be 'observed' (use\n 'add_observed_var' function).\n Disconnection of the external propagator resets all the observed\n variables.\n\n require (VALID)\n ensure (VALID)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver27connect_external_propagatorEPNS_18ExternalPropagatorE"] pub fn Solver_connect_external_propagator (this : * mut root :: CaDiCaL :: Solver , propagator : * mut root :: CaDiCaL :: ExternalPropagator) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:19655 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6Solver30disconnect_external_propagatorEv"] pub fn Solver_disconnect_external_propagator (this : * mut root :: CaDiCaL :: Solver) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:18471 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Add call-back which allows to observe when a variable is fixed.\n\n require (VALID)\n ensure (VALID)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver22connect_fixed_listenerEPNS_23FixedAssignmentListenerE"] pub fn Solver_connect_fixed_listener (this : * mut root :: CaDiCaL :: Solver , fixed_listener : * mut root :: CaDiCaL :: FixedAssignmentListener) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:19834 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Mark as 'observed' those variables that are relevant to the external\n propagator. External propagation, clause addition during search and\n notifications are all over these observed variabes.\n A variable can not be observed witouth having an external propagator\n connected. Observed variables are \"frozen\" internally, and so\n inprocessing will not consider them as candidates for elimination.\n An observed variable is allowed to be a fresh variable and it can be\n added also during solving.\n\n require (VALID_OR_SOLVING)\n ensure (VALID_OR_SOLVING)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver16add_observed_varEi"] pub fn Solver_add_observed_var (this : * mut root :: CaDiCaL :: Solver , var : :: std :: os :: raw :: c_int) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:20599 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Removes the 'observed' flag from the given variable. A variable can be\n set unobserved only between solve calls, not during it (to guarantee\n that no yet unexplained external propagation involves it).\n\n require (VALID)\n ensure (VALID)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver19remove_observed_varEi"] pub fn Solver_remove_observed_var (this : * mut root :: CaDiCaL :: Solver , var : :: std :: os :: raw :: c_int) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:18851 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6Solver25disconnect_fixed_listenerEv"] pub fn Solver_disconnect_fixed_listener (this : * mut root :: CaDiCaL :: Solver) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:19020 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Add call-back which allows to learn, propagate and backtrack based on\n external constraints. Only one external propagator can be connected\n and after connection every related variables must be 'observed' (use\n 'add_observed_var' function).\n Disconnection of the external propagator resets all the observed\n variables.\n\n require (VALID)\n ensure (VALID)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver27connect_external_propagatorEPNS_18ExternalPropagatorE"] pub fn Solver_connect_external_propagator (this : * mut root :: CaDiCaL :: Solver , propagator : * mut root :: CaDiCaL :: ExternalPropagator) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:21052 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Removes all the 'observed' flags from the variables. Disconnecting the\n propagator invokes this step as well.\n\n require (VALID)\n ensure (VALID)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver19reset_observed_varsEv"] pub fn Solver_reset_observed_vars (this : * mut root :: CaDiCaL :: Solver) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:21376 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Get reason of valid observed literal (true = it is an observed variable\n and it got assigned by a decision during the CDCL loop. Otherwise:\n false.\n\n require (VALID_OR_SOLVING)\n ensure (VALID_OR_SOLVING)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver11is_decisionEi"] pub fn Solver_is_decision (this : * mut root :: CaDiCaL :: Solver , lit : :: std :: os :: raw :: c_int) -> bool ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:19655 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6Solver30disconnect_external_propagatorEv"] pub fn Solver_disconnect_external_propagator (this : * mut root :: CaDiCaL :: Solver) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:19834 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Mark as 'observed' those variables that are relevant to the external\n propagator. External propagation, clause addition during search and\n notifications are all over these observed variabes.\n A variable can not be observed witouth having an external propagator\n connected. Observed variables are \"frozen\" internally, and so\n inprocessing will not consider them as candidates for elimination.\n An observed variable is allowed to be a fresh variable and it can be\n added also during solving.\n\n require (VALID_OR_SOLVING)\n ensure (VALID_OR_SOLVING)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver16add_observed_varEi"] pub fn Solver_add_observed_var (this : * mut root :: CaDiCaL :: Solver , var : :: std :: os :: raw :: c_int) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:21790 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Force solve to backtrack to certain decision level. Can be called only\n during 'cb_decide' of a connected External Propagator.\n Invoking in any other time will not have an effect.\n If the call had an effect, the External Propagator will be notified about\n the backtrack via 'notify_backtrack'.\n\n require (SOLVING)\n ensure (SOLVING)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver15force_backtrackEm"] pub fn Solver_force_backtrack (this : * mut root :: CaDiCaL :: Solver , new_level : usize) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:22317 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = "------------------------------------------------------------------------\n Adds a literal to the constraint clause. Same functionality as 'add'\n but the clause only exists for the next call to solve (same lifetime as\n assumptions). Only one constraint may exists at a time. A new\n constraint replaces the old. The main application of this functonality\n is the model checking algorithm IC3. See our FMCAD'21 paper\n [FroleyksBiere-FMCAD'19] for more details.\n\n Add valid literal to the constraint clause or zero to terminate it.\n\n require (VALID) // recall 'VALID = READY |\n ADDING' if (lit) ensure (ADDING) // and thus VALID but not\n READY if (!lit) && !adding_clause ensure (STEADY ) // and thus READY\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver9constrainEi"] pub fn Solver_constrain (this : * mut root :: CaDiCaL :: Solver , lit : :: std :: os :: raw :: c_int) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:20599 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Removes the 'observed' flag from the given variable. A variable can be\n set unobserved only between solve calls, not during it (to guarantee\n that no yet unexplained external propagation involves it).\n\n require (VALID)\n ensure (VALID)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver19remove_observed_varEi"] pub fn Solver_remove_observed_var (this : * mut root :: CaDiCaL :: Solver , var : :: std :: os :: raw :: c_int) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:23254 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Determine whether the constraint was used to proof the\n unsatisfiability. Note that the formula might still be unsatisfiable\n without the constraint.\n\n require (UNSATISFIED)\n ensure (UNSATISFIED)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver17constraint_failedEv"] pub fn Solver_constraint_failed (this : * mut root :: CaDiCaL :: Solver) -> bool ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:21052 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Removes all the 'observed' flags from the variables. Disconnecting the\n propagator invokes this step as well.\n\n require (VALID)\n ensure (VALID)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver19reset_observed_varsEv"] pub fn Solver_reset_observed_vars (this : * mut root :: CaDiCaL :: Solver) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:23635 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = "------------------------------------------------------------------------\n This function determines a good splitting literal. The result can be\n zero if the formula is proven to be satisfiable or unsatisfiable. This\n can then be checked by 'state ()'. If the formula is empty and\n the function is not able to determine satisfiability also zero is\n returned but the state remains steady.\n\n require (READY)\n ensure (STEADY |SATISFIED|UNSATISFIED)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver9lookaheadEv"] pub fn Solver_lookahead (this : * mut root :: CaDiCaL :: Solver) -> :: std :: os :: raw :: c_int ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:21376 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Get reason of valid observed literal (true = it is an observed variable\n and it got assigned by a decision during the CDCL loop. Otherwise:\n false.\n\n require (VALID_OR_SOLVING)\n ensure (VALID_OR_SOLVING)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver11is_decisionEi"] pub fn Solver_is_decision (this : * mut root :: CaDiCaL :: Solver , lit : :: std :: os :: raw :: c_int) -> bool ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:24276 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6Solver14generate_cubesEii"] pub fn Solver_generate_cubes (this : * mut root :: CaDiCaL :: Solver , arg1 : :: std :: os :: raw :: c_int , min_depth : :: std :: os :: raw :: c_int) -> root :: CaDiCaL :: Solver_CubesWithStatus ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:21790 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Force solve to backtrack to certain decision level. Can be called only\n during 'cb_decide' of a connected External Propagator.\n Invoking in any other time will not have an effect.\n If the call had an effect, the External Propagator will be notified about\n the backtrack via 'notify_backtrack'.\n\n require (SOLVING)\n ensure (SOLVING)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver15force_backtrackEm"] pub fn Solver_force_backtrack (this : * mut root :: CaDiCaL :: Solver , new_level : usize) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:24550 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6Solver17reset_assumptionsEv"] pub fn Solver_reset_assumptions (this : * mut root :: CaDiCaL :: Solver) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:22317 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = "------------------------------------------------------------------------\n Adds a literal to the constraint clause. Same functionality as 'add'\n but the clause only exists for the next call to solve (same lifetime as\n assumptions). Only one constraint may exists at a time. A new\n constraint replaces the old. The main application of this functonality\n is the model checking algorithm IC3. See our FMCAD'21 paper\n [FroleyksBiere-FMCAD'19] for more details.\n\n Add valid literal to the constraint clause or zero to terminate it.\n\n require (VALID) // recall 'VALID = READY |\n ADDING' if (lit) ensure (ADDING) // and thus VALID but not\n READY if (!lit) && !adding_clause ensure (STEADY ) // and thus READY\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver9constrainEi"] pub fn Solver_constrain (this : * mut root :: CaDiCaL :: Solver , lit : :: std :: os :: raw :: c_int) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:24703 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6Solver16reset_constraintEv"] pub fn Solver_reset_constraint (this : * mut root :: CaDiCaL :: Solver) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:23254 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Determine whether the constraint was used to proof the\n unsatisfiability. Note that the formula might still be unsatisfiable\n without the constraint.\n\n require (UNSATISFIED)\n ensure (UNSATISFIED)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver17constraint_failedEv"] pub fn Solver_constraint_failed (this : * mut root :: CaDiCaL :: Solver) -> bool ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:24854 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = "----------------------------------------------------------------------"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver7versionEv"] pub fn Solver_version () -> * const :: std :: os :: raw :: c_char ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:25072 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = "----------------------------------------------------------------------*/\n// Copy 'this' into a fresh 'other'. The copy procedure is not a deep\n// clone, but only copies irredundant clauses and units. It also makes\n// sure that witness reconstruction works with the copy as with the\n// original formula such that both solvers have the same models.\n// Assumptions are not copied. Options however are copied as well as\n// flags which remember the current state of variables in preprocessing.\n//\n// require (READY) // for 'this'\n// ensure (READY) // for 'this'\n//\n// other.require (CONFIGURING)\n// other.ensure (CONFIGURING | STEADY )"] # [link_name = "\u{1}_ZNK7CaDiCaL6Solver4copyERS0_"] pub fn Solver_copy (this : * const root :: CaDiCaL :: Solver , other : * mut root :: CaDiCaL :: Solver) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:23635 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = "------------------------------------------------------------------------\n This function determines a good splitting literal. The result can be\n zero if the formula is proven to be satisfiable or unsatisfiable. This\n can then be checked by 'state ()'. If the formula is empty and\n the function is not able to determine satisfiability also zero is\n returned but the state remains steady.\n\n require (READY)\n ensure (STEADY |SATISFIED|UNSATISFIED)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver9lookaheadEv"] pub fn Solver_lookahead (this : * mut root :: CaDiCaL :: Solver) -> :: std :: os :: raw :: c_int ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:24276 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6Solver14generate_cubesEii"] pub fn Solver_generate_cubes (this : * mut root :: CaDiCaL :: Solver , arg1 : :: std :: os :: raw :: c_int , min_depth : :: std :: os :: raw :: c_int) -> root :: CaDiCaL :: Solver_CubesWithStatus ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:25931 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = "----------------------------------------------------------------------*/\n// Variables are usually added and initialized implicitly whenever a\n// literal is used as an argument except for the functions 'val', 'fixed',\n// 'failed' and 'frozen'. However, the library internally keeps a maximum\n// variable index, which can be queried.\n//\n// require (VALID | SOLVING)\n// ensure (VALID | SOLVING)"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver4varsEv"] pub fn Solver_vars (this : * mut root :: CaDiCaL :: Solver) -> :: std :: os :: raw :: c_int ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:24550 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6Solver17reset_assumptionsEv"] pub fn Solver_reset_assumptions (this : * mut root :: CaDiCaL :: Solver) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:26505 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Increase the maximum variable index explicitly. This function makes\n sure that at least 'min_max_var' variables are initialized. Since it\n might need to reallocate tables, it destroys a satisfying assignment\n and has the same state transition and conditions as 'assume' etc.\n\n require (READY)\n ensure (STEADY )\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver7reserveEi"] pub fn Solver_reserve (this : * mut root :: CaDiCaL :: Solver , min_max_var : :: std :: os :: raw :: c_int) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:24703 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6Solver16reset_constraintEv"] pub fn Solver_reset_constraint (this : * mut root :: CaDiCaL :: Solver) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:27020 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = "------------------------------------------------------------------------\n This function can be used to write API calls to a file. The same\n format is used which 'mobical' can read, execute and also shrink\n through delta debugging.\n\n Tracing API calls can also be achieved by using the environment\n variable 'CADICAL_API_TRACE'. That alternative is useful if you do not\n want to change the source code using the solver, e.g., if you only have\n a binary with the solver linked in. However, that method only allows\n to trace one solver instance, while with the following function API\n tracing can be enabled for different solver instances individually.\n\n The solver will flush the file after every trace API call but does not\n close it during deletion. It remains owned by the user of the library.\n\n require (VALID)\n ensure (VALID)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver15trace_api_callsEP8_IO_FILE"] pub fn Solver_trace_api_calls (this : * mut root :: CaDiCaL :: Solver , file : * mut root :: FILE) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:24854 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = "----------------------------------------------------------------------"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver7versionEv"] pub fn Solver_version () -> * const :: std :: os :: raw :: c_char ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:25072 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = "----------------------------------------------------------------------*/\n// Copy 'this' into a fresh 'other'. The copy procedure is not a deep\n// clone, but only copies irredundant clauses and units. It also makes\n// sure that witness reconstruction works with the copy as with the\n// original formula such that both solvers have the same models.\n// Assumptions are not copied. Options however are copied as well as\n// flags which remember the current state of variables in preprocessing.\n//\n// require (READY) // for 'this'\n// ensure (READY) // for 'this'\n//\n// other.require (CONFIGURING)\n// other.ensure (CONFIGURING | STEADY )"] # [link_name = "\u{1}_ZNK7CaDiCaL6Solver4copyERS0_"] pub fn Solver_copy (this : * const root :: CaDiCaL :: Solver , other : * mut root :: CaDiCaL :: Solver) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:28072 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Determine whether 'name' is a valid option name.\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver15is_valid_optionEPKc"] pub fn Solver_is_valid_option (name : * const :: std :: os :: raw :: c_char) -> bool ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:25931 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = "----------------------------------------------------------------------*/\n// Variables are usually added and initialized implicitly whenever a\n// literal is used as an argument except for the functions 'val', 'fixed',\n// 'failed' and 'frozen'. However, the library internally keeps a maximum\n// variable index, which can be queried.\n//\n// require (VALID | SOLVING)\n// ensure (VALID | SOLVING)"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver4varsEv"] pub fn Solver_vars (this : * mut root :: CaDiCaL :: Solver) -> :: std :: os :: raw :: c_int ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:28301 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Determine whether 'name' enables a specific preprocessing technique.\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver23is_preprocessing_optionEPKc"] pub fn Solver_is_preprocessing_option (name : * const :: std :: os :: raw :: c_char) -> bool ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:26505 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Increase the maximum variable index explicitly. This function makes\n sure that at least 'min_max_var' variables are initialized. Since it\n might need to reallocate tables, it destroys a satisfying assignment\n and has the same state transition and conditions as 'assume' etc.\n\n require (READY)\n ensure (STEADY )\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver7reserveEi"] pub fn Solver_reserve (this : * mut root :: CaDiCaL :: Solver , min_max_var : :: std :: os :: raw :: c_int) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:27020 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = "------------------------------------------------------------------------\n This function can be used to write API calls to a file. The same\n format is used which 'mobical' can read, execute and also shrink\n through delta debugging.\n\n Tracing API calls can also be achieved by using the environment\n variable 'CADICAL_API_TRACE'. That alternative is useful if you do not\n want to change the source code using the solver, e.g., if you only have\n a binary with the solver linked in. However, that method only allows\n to trace one solver instance, while with the following function API\n tracing can be enabled for different solver instances individually.\n\n The solver will flush the file after every trace API call but does not\n close it during deletion. It remains owned by the user of the library.\n\n require (VALID)\n ensure (VALID)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver15trace_api_callsEP8_IO_FILE"] pub fn Solver_trace_api_calls (this : * mut root :: CaDiCaL :: Solver , file : * mut root :: FILE) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:28566 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Determine whether 'arg' is a valid long option of the form '--',\n '--=' or '--no-' similar to 'set_long_option' below.\n Legal values are 'true', 'false', or '[-][e]'."] # [link_name = "\u{1}_ZN7CaDiCaL6Solver20is_valid_long_optionEPKc"] pub fn Solver_is_valid_long_option (arg : * const :: std :: os :: raw :: c_char) -> bool ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:28072 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Determine whether 'name' is a valid option name.\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver15is_valid_optionEPKc"] pub fn Solver_is_valid_option (name : * const :: std :: os :: raw :: c_char) -> bool ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:28301 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Determine whether 'name' enables a specific preprocessing technique.\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver23is_preprocessing_optionEPKc"] pub fn Solver_is_preprocessing_option (name : * const :: std :: os :: raw :: c_char) -> bool ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:28965 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Get the current value of the option 'name'. If 'name' is invalid then\n zero is returned. Here '--...' arguments as invalid options.\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver3getEPKc"] pub fn Solver_get (this : * mut root :: CaDiCaL :: Solver , name : * const :: std :: os :: raw :: c_char) -> :: std :: os :: raw :: c_int ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:29320 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Set the default verbose message prefix (default \"c \").\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver6prefixEPKc"] pub fn Solver_prefix (this : * mut root :: CaDiCaL :: Solver , verbose_message_prefix : * const :: std :: os :: raw :: c_char) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:28566 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Determine whether 'arg' is a valid long option of the form '--',\n '--=' or '--no-' similar to 'set_long_option' below.\n Legal values are 'true', 'false', or '[-][e]'."] # [link_name = "\u{1}_ZN7CaDiCaL6Solver20is_valid_long_optionEPKc"] pub fn Solver_is_valid_long_option (arg : * const :: std :: os :: raw :: c_char) -> bool ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:28965 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Get the current value of the option 'name'. If 'name' is invalid then\n zero is returned. Here '--...' arguments as invalid options.\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver3getEPKc"] pub fn Solver_get (this : * mut root :: CaDiCaL :: Solver , name : * const :: std :: os :: raw :: c_char) -> :: std :: os :: raw :: c_int ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:29320 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Set the default verbose message prefix (default \"c \").\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver6prefixEPKc"] pub fn Solver_prefix (this : * mut root :: CaDiCaL :: Solver , verbose_message_prefix : * const :: std :: os :: raw :: c_char) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:29589 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Explicit version of setting an option. If the option '' exists\n and '' can be parsed then 'true' is returned. If the option value\n is out of range the actual value is computed as the closest (minimum or\n maximum) value possible, but still 'true' is returned.\n\n require (CONFIGURING)\n ensure (CONFIGURING)\n\n Thus options can only bet set right after initialization.\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver3setEPKci"] pub fn Solver_set (this : * mut root :: CaDiCaL :: Solver , name : * const :: std :: os :: raw :: c_char , val : :: std :: os :: raw :: c_int) -> bool ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:29589 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Explicit version of setting an option. If the option '' exists\n and '' can be parsed then 'true' is returned. If the option value\n is out of range the actual value is computed as the closest (minimum or\n maximum) value possible, but still 'true' is returned.\n\n require (CONFIGURING)\n ensure (CONFIGURING)\n\n Thus options can only bet set right after initialization.\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver3setEPKci"] pub fn Solver_set (this : * mut root :: CaDiCaL :: Solver , name : * const :: std :: os :: raw :: c_char , val : :: std :: os :: raw :: c_int) -> bool ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:30213 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " This function accepts options in command line syntax:\n\n '--=', '--', or '--no-'\n\n It actually calls the previous 'set' function after parsing 'arg'. The\n same values are expected as for 'is_valid_long_option' above and as\n with 'set' any value outside of the range of legal values for a\n particular option are set to either the minimum or maximum depending on\n which side of the valid interval they lie.\n\n require (CONFIGURING)\n ensure (CONFIGURING)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver15set_long_optionEPKc"] pub fn Solver_set_long_option (this : * mut root :: CaDiCaL :: Solver , arg : * const :: std :: os :: raw :: c_char) -> bool ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:30213 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " This function accepts options in command line syntax:\n\n '--=', '--', or '--no-'\n\n It actually calls the previous 'set' function after parsing 'arg'. The\n same values are expected as for 'is_valid_long_option' above and as\n with 'set' any value outside of the range of legal values for a\n particular option are set to either the minimum or maximum depending on\n which side of the valid interval they lie.\n\n require (CONFIGURING)\n ensure (CONFIGURING)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver15set_long_optionEPKc"] pub fn Solver_set_long_option (this : * mut root :: CaDiCaL :: Solver , arg : * const :: std :: os :: raw :: c_char) -> bool ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:30924 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Determine whether 'name' is a valid configuration.\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver22is_valid_configurationEPKc"] pub fn Solver_is_valid_configuration (arg1 : * const :: std :: os :: raw :: c_char) -> bool ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:31169 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Overwrite (some) options with the forced values of the configuration.\n The result is 'true' iff the 'name' is a valid configuration.\n\n require (CONFIGURING)\n ensure (CONFIGURING)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver9configureEPKc"] pub fn Solver_configure (this : * mut root :: CaDiCaL :: Solver , arg1 : * const :: std :: os :: raw :: c_char) -> bool ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:30924 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Determine whether 'name' is a valid configuration.\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver22is_valid_configurationEPKc"] pub fn Solver_is_valid_configuration (arg1 : * const :: std :: os :: raw :: c_char) -> bool ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:31169 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Overwrite (some) options with the forced values of the configuration.\n The result is 'true' iff the 'name' is a valid configuration.\n\n require (CONFIGURING)\n ensure (CONFIGURING)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver9configureEPKc"] pub fn Solver_configure (this : * mut root :: CaDiCaL :: Solver , arg1 : * const :: std :: os :: raw :: c_char) -> bool ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:31564 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Increase preprocessing and inprocessing limits by '10^'. Values\n below '0' are ignored and values above '9' are reduced to '9'.\n\n require (READY)\n ensure (READY)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver8optimizeEi"] pub fn Solver_optimize (this : * mut root :: CaDiCaL :: Solver , val : :: std :: os :: raw :: c_int) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:31926 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Specify search limits, where currently 'name' can be \"conflicts\",\n \"decisions\", \"preprocessing\", or \"localsearch\". The first two limits\n are unbounded by default. Thus using a negative limit for conflicts or\n decisions switches back to the default of unlimited search (for that\n particular limit). The preprocessing limit determines the number of\n preprocessing rounds, which is zero by default. Similarly, the local\n search limit determines the number of local search rounds (also zero by\n default). As with 'set', the return value denotes whether the limit\n 'name' is valid. These limits are only valid for the next 'solve' or\n 'simplify' call and reset to their default after 'solve' returns (as\n well as overwritten and reset during calls to 'simplify' and\n 'lookahead'). We actually also have an internal \"terminate\" limit\n which however should only be used for testing and debugging.\n\n require (READY)\n ensure (READY)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver5limitEPKci"] pub fn Solver_limit (this : * mut root :: CaDiCaL :: Solver , arg : * const :: std :: os :: raw :: c_char , val : :: std :: os :: raw :: c_int) -> bool ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:31564 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Increase preprocessing and inprocessing limits by '10^'. Values\n below '0' are ignored and values above '9' are reduced to '9'.\n\n require (READY)\n ensure (READY)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver8optimizeEi"] pub fn Solver_optimize (this : * mut root :: CaDiCaL :: Solver , val : :: std :: os :: raw :: c_int) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:31926 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Specify search limits, where currently 'name' can be \"conflicts\",\n \"decisions\", \"preprocessing\", or \"localsearch\". The first two limits\n are unbounded by default. Thus using a negative limit for conflicts or\n decisions switches back to the default of unlimited search (for that\n particular limit). The preprocessing limit determines the number of\n preprocessing rounds, which is zero by default. Similarly, the local\n search limit determines the number of local search rounds (also zero by\n default). As with 'set', the return value denotes whether the limit\n 'name' is valid. These limits are only valid for the next 'solve' or\n 'simplify' call and reset to their default after 'solve' returns (as\n well as overwritten and reset during calls to 'simplify' and\n 'lookahead'). We actually also have an internal \"terminate\" limit\n which however should only be used for testing and debugging.\n\n require (READY)\n ensure (READY)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver5limitEPKci"] pub fn Solver_limit (this : * mut root :: CaDiCaL :: Solver , arg : * const :: std :: os :: raw :: c_char , val : :: std :: os :: raw :: c_int) -> bool ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:33123 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6Solver14is_valid_limitEPKc"] pub fn Solver_is_valid_limit (this : * mut root :: CaDiCaL :: Solver , arg : * const :: std :: os :: raw :: c_char) -> bool ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:33123 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6Solver14is_valid_limitEPKc"] pub fn Solver_is_valid_limit (this : * mut root :: CaDiCaL :: Solver , arg : * const :: std :: os :: raw :: c_char) -> bool ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:33326 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " The number of currently active variables and clauses can be queried by\n these functions. Variables become active if a clause is added with it.\n They become inactive if they are eliminated or fixed at the root level\n Clauses become inactive if they are satisfied, subsumed, eliminated.\n Redundant clauses are reduced regularly and thus the 'redundant'\n function is less useful.\n\n require (VALID)\n ensure (VALID)\n"] # [link_name = "\u{1}_ZNK7CaDiCaL6Solver6activeEv"] pub fn Solver_active (this : * const root :: CaDiCaL :: Solver) -> :: std :: os :: raw :: c_int ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:33326 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " The number of currently active variables and clauses can be queried by\n these functions. Variables become active if a clause is added with it.\n They become inactive if they are eliminated or fixed at the root level\n Clauses become inactive if they are satisfied, subsumed, eliminated.\n Redundant clauses are reduced regularly and thus the 'redundant'\n function is less useful.\n\n require (VALID)\n ensure (VALID)\n"] # [link_name = "\u{1}_ZNK7CaDiCaL6Solver6activeEv"] pub fn Solver_active (this : * const root :: CaDiCaL :: Solver) -> :: std :: os :: raw :: c_int ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:33930 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZNK7CaDiCaL6Solver9redundantEv"] pub fn Solver_redundant (this : * const root :: CaDiCaL :: Solver) -> i64 ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:33930 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZNK7CaDiCaL6Solver9redundantEv"] pub fn Solver_redundant (this : * const root :: CaDiCaL :: Solver) -> i64 ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:34076 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZNK7CaDiCaL6Solver11irredundantEv"] pub fn Solver_irredundant (this : * const root :: CaDiCaL :: Solver) -> i64 ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:34076 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZNK7CaDiCaL6Solver11irredundantEv"] pub fn Solver_irredundant (this : * const root :: CaDiCaL :: Solver) -> i64 ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:34227 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = "------------------------------------------------------------------------\n This function executes the given number of preprocessing rounds. It is\n similar to 'solve' with 'limits (\"preprocessing\", rounds)' except that\n no CDCL nor local search, nor lucky phases are executed. The result\n values are also the same: 0=UNKNOWN, 10=SATISFIABLE, 20=UNSATISFIABLE.\n As 'solve' it resets current assumptions and limits before returning.\n The numbers of rounds should not be negative. If the number of rounds\n is zero only clauses are restored (if necessary) and top level unit\n propagation is performed, which both take some time.\n\n require (READY)\n ensure (STEADY | SATISFIED | UNSATISFIED)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver8simplifyEi"] pub fn Solver_simplify (this : * mut root :: CaDiCaL :: Solver , rounds : :: std :: os :: raw :: c_int) -> :: std :: os :: raw :: c_int ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:34227 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = "------------------------------------------------------------------------\n This function executes the given number of preprocessing rounds. It is\n similar to 'solve' with 'limits (\"preprocessing\", rounds)' except that\n no CDCL nor local search, nor lucky phases are executed. The result\n values are also the same: 0=UNKNOWN, 10=SATISFIABLE, 20=UNSATISFIABLE.\n As 'solve' it resets current assumptions and limits before returning.\n The numbers of rounds should not be negative. If the number of rounds\n is zero only clauses are restored (if necessary) and top level unit\n propagation is performed, which both take some time.\n\n require (READY)\n ensure (STEADY | SATISFIED | UNSATISFIED)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver8simplifyEi"] pub fn Solver_simplify (this : * mut root :: CaDiCaL :: Solver , rounds : :: std :: os :: raw :: c_int) -> :: std :: os :: raw :: c_int ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:35151 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = "------------------------------------------------------------------------\n Force termination of 'solve' asynchronously.\n\n require (SOLVING | READY)\n ensure (STEADY ) // actually not immediately (synchronously)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver9terminateEv"] pub fn Solver_terminate (this : * mut root :: CaDiCaL :: Solver) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:35151 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = "------------------------------------------------------------------------\n Force termination of 'solve' asynchronously.\n\n require (SOLVING | READY)\n ensure (STEADY ) // actually not immediately (synchronously)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver9terminateEv"] pub fn Solver_terminate (this : * mut root :: CaDiCaL :: Solver) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:35526 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " We have the following common reference counting functions, which avoid\n to restore clauses but require substantial user guidance. This was the\n only way to use inprocessing in incremental SAT solving in Lingeling\n (and before in MiniSAT's 'freeze' / 'thaw') and which did not use\n automatic clause restoring. In general this is slower than\n restoring clauses and should not be used.\n\n In essence the user freezes variables which potentially are still\n needed in clauses added or assumptions used after the next 'solve'\n call. As in Lingeling you can freeze a variable multiple times, but\n then have to melt it the same number of times again in order to enable\n variable eliminating on it etc. The arguments can be literals\n (negative indices) but conceptually variables are frozen.\n\n In the old way of doing things without restore you should not use a\n variable incrementally (in 'add' or 'assume'), which was used before\n and potentially could have been eliminated in a previous 'solve' call.\n This can lead to spurious satisfying assignment. In order to check\n this API contract one can use the 'checkfrozen' option. This has the\n drawback that restoring clauses implicitly would fail with a fatal\n error message even if in principle the solver could just restore\n clauses. Thus this option is disabled by default.\n\n See our SAT'19 paper [FazekasBiereScholl-SAT'19] for more details.\n\n require (VALID)\n ensure (VALID)\n"] # [link_name = "\u{1}_ZNK7CaDiCaL6Solver6frozenEi"] pub fn Solver_frozen (this : * const root :: CaDiCaL :: Solver , lit : :: std :: os :: raw :: c_int) -> bool ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:35526 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " We have the following common reference counting functions, which avoid\n to restore clauses but require substantial user guidance. This was the\n only way to use inprocessing in incremental SAT solving in Lingeling\n (and before in MiniSAT's 'freeze' / 'thaw') and which did not use\n automatic clause restoring. In general this is slower than\n restoring clauses and should not be used.\n\n In essence the user freezes variables which potentially are still\n needed in clauses added or assumptions used after the next 'solve'\n call. As in Lingeling you can freeze a variable multiple times, but\n then have to melt it the same number of times again in order to enable\n variable eliminating on it etc. The arguments can be literals\n (negative indices) but conceptually variables are frozen.\n\n In the old way of doing things without restore you should not use a\n variable incrementally (in 'add' or 'assume'), which was used before\n and potentially could have been eliminated in a previous 'solve' call.\n This can lead to spurious satisfying assignment. In order to check\n this API contract one can use the 'checkfrozen' option. This has the\n drawback that restoring clauses implicitly would fail with a fatal\n error message even if in principle the solver could just restore\n clauses. Thus this option is disabled by default.\n\n See our SAT'19 paper [FazekasBiereScholl-SAT'19] for more details.\n\n require (VALID)\n ensure (VALID)\n"] # [link_name = "\u{1}_ZNK7CaDiCaL6Solver6frozenEi"] pub fn Solver_frozen (this : * const root :: CaDiCaL :: Solver , lit : :: std :: os :: raw :: c_int) -> bool ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:37175 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6Solver6freezeEi"] pub fn Solver_freeze (this : * mut root :: CaDiCaL :: Solver , lit : :: std :: os :: raw :: c_int) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:37175 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6Solver6freezeEi"] pub fn Solver_freeze (this : * mut root :: CaDiCaL :: Solver , lit : :: std :: os :: raw :: c_int) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:37342 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6Solver4meltEi"] pub fn Solver_melt (this : * mut root :: CaDiCaL :: Solver , lit : :: std :: os :: raw :: c_int) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:37342 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6Solver4meltEi"] pub fn Solver_melt (this : * mut root :: CaDiCaL :: Solver , lit : :: std :: os :: raw :: c_int) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:37505 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Root level assigned variables can be queried with this function.\n It returns '1' if the literal is implied by the formula, '-1' if its\n negation is implied, or '0' if this is unclear at this point.\n\n require (VALID)\n ensure (VALID)\n"] # [link_name = "\u{1}_ZNK7CaDiCaL6Solver5fixedEi"] pub fn Solver_fixed (this : * const root :: CaDiCaL :: Solver , lit : :: std :: os :: raw :: c_int) -> :: std :: os :: raw :: c_int ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:37505 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Root level assigned variables can be queried with this function.\n It returns '1' if the literal is implied by the formula, '-1' if its\n negation is implied, or '0' if this is unclear at this point.\n\n require (VALID)\n ensure (VALID)\n"] # [link_name = "\u{1}_ZNK7CaDiCaL6Solver5fixedEi"] pub fn Solver_fixed (this : * const root :: CaDiCaL :: Solver , lit : :: std :: os :: raw :: c_int) -> :: std :: os :: raw :: c_int ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:37961 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = "------------------------------------------------------------------------\n Force the default decision phase of a variable to a certain value.\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver5phaseEi"] pub fn Solver_phase (this : * mut root :: CaDiCaL :: Solver , lit : :: std :: os :: raw :: c_int) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:37961 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = "------------------------------------------------------------------------\n Force the default decision phase of a variable to a certain value.\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver5phaseEi"] pub fn Solver_phase (this : * mut root :: CaDiCaL :: Solver , lit : :: std :: os :: raw :: c_int) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:38282 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6Solver7unphaseEi"] pub fn Solver_unphase (this : * mut root :: CaDiCaL :: Solver , lit : :: std :: os :: raw :: c_int) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:38282 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6Solver7unphaseEi"] pub fn Solver_unphase (this : * mut root :: CaDiCaL :: Solver , lit : :: std :: os :: raw :: c_int) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:38451 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Enables clausal proof tracing in DRAT format and returns 'true' if\n successfully opened for writing. Writing proofs has to be enabled\n before calling 'solve', 'add' and 'dimacs', that is in state\n 'CONFIGURING'. Otherwise only partial proofs would be written.\n\n require (CONFIGURING)\n ensure (CONFIGURING)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver11trace_proofEP8_IO_FILEPKc"] pub fn Solver_trace_proof (this : * mut root :: CaDiCaL :: Solver , file : * mut root :: FILE , name : * const :: std :: os :: raw :: c_char) -> bool ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:38451 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Enables clausal proof tracing in DRAT format and returns 'true' if\n successfully opened for writing. Writing proofs has to be enabled\n before calling 'solve', 'add' and 'dimacs', that is in state\n 'CONFIGURING'. Otherwise only partial proofs would be written.\n\n require (CONFIGURING)\n ensure (CONFIGURING)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver11trace_proofEP8_IO_FILEPKc"] pub fn Solver_trace_proof (this : * mut root :: CaDiCaL :: Solver , file : * mut root :: FILE , name : * const :: std :: os :: raw :: c_char) -> bool ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:39020 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6Solver11trace_proofEPKc"] pub fn Solver_trace_proof1 (this : * mut root :: CaDiCaL :: Solver , path : * const :: std :: os :: raw :: c_char) -> bool ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:39020 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6Solver11trace_proofEPKc"] pub fn Solver_trace_proof1 (this : * mut root :: CaDiCaL :: Solver , path : * const :: std :: os :: raw :: c_char) -> bool ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:39219 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Flushing the proof trace file eventually calls 'fflush' on the actual\n file or pipe and thus if this function returns all the proof steps\n should have been written (with the same guarantees as 'fflush').\n\n The additional optional argument forces to print the number of addition\n and deletion steps in the proof even if the verbosity level is zero but\n not if quiet is set as well. The default for the stand-alone solver is\n to print this information (in the 'closing proof' section) but for API\n usage of the library we want to stay silent unless explicitly requested\n or verbosity is non-zero (and as explained quiet is not set).\n\n This function can be called multiple times.\n\n require (VALID)\n ensure (VALID)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver17flush_proof_traceEb"] pub fn Solver_flush_proof_trace (this : * mut root :: CaDiCaL :: Solver , print : bool) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:39219 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Flushing the proof trace file eventually calls 'fflush' on the actual\n file or pipe and thus if this function returns all the proof steps\n should have been written (with the same guarantees as 'fflush').\n\n The additional optional argument forces to print the number of addition\n and deletion steps in the proof even if the verbosity level is zero but\n not if quiet is set as well. The default for the stand-alone solver is\n to print this information (in the 'closing proof' section) but for API\n usage of the library we want to stay silent unless explicitly requested\n or verbosity is non-zero (and as explained quiet is not set).\n\n This function can be called multiple times.\n\n require (VALID)\n ensure (VALID)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver17flush_proof_traceEb"] pub fn Solver_flush_proof_trace (this : * mut root :: CaDiCaL :: Solver , print : bool) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:40132 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Close proof trace early. Similar to 'flush' we allow the user to\n control with 'print' in a more fine-grained way whether statistics\n about the size of the written proof file and if compressed on-the-fly\n the number of actual bytes written (including deflation percentage) are\n printed. Before actually closing (or detaching in case of writing to\n '') we check whether 'flush_proof_trace' was called since the\n last time a proof step (addition or deletion) was traced. If this is\n not the case we would call 'flush_proof_trace' with the same 'print'\n argument.\n\n require (VALID)\n ensure (VALID)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver17close_proof_traceEb"] pub fn Solver_close_proof_trace (this : * mut root :: CaDiCaL :: Solver , print : bool) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:40132 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Close proof trace early. Similar to 'flush' we allow the user to\n control with 'print' in a more fine-grained way whether statistics\n about the size of the written proof file and if compressed on-the-fly\n the number of actual bytes written (including deflation percentage) are\n printed. Before actually closing (or detaching in case of writing to\n '') we check whether 'flush_proof_trace' was called since the\n last time a proof step (addition or deletion) was traced. If this is\n not the case we would call 'flush_proof_trace' with the same 'print'\n argument.\n\n require (VALID)\n ensure (VALID)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver17close_proof_traceEb"] pub fn Solver_close_proof_trace (this : * mut root :: CaDiCaL :: Solver , print : bool) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:40936 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Enables clausal proof tracing with or without antecedents using\n the Tracer interface defined in 'tracer.hpp'\n\n InternalTracer, StatTracer and FileTracer for internal use\n\n require (CONFIGURING)\n ensure (CONFIGURING)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver20connect_proof_tracerEPNS_6TracerEb"] pub fn Solver_connect_proof_tracer (this : * mut root :: CaDiCaL :: Solver , tracer : * mut root :: CaDiCaL :: Tracer , antecedents : bool) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:41413 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6Solver20connect_proof_tracerEPNS_14InternalTracerEb"] pub fn Solver_connect_proof_tracer1 (this : * mut root :: CaDiCaL :: Solver , tracer : * mut root :: CaDiCaL :: InternalTracer , antecedents : bool) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:40936 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Enables clausal proof tracing with or without antecedents using\n the Tracer interface defined in 'tracer.hpp'\n\n InternalTracer, StatTracer and FileTracer for internal use\n\n require (CONFIGURING)\n ensure (CONFIGURING)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver20connect_proof_tracerEPNS_6TracerEb"] pub fn Solver_connect_proof_tracer (this : * mut root :: CaDiCaL :: Solver , tracer : * mut root :: CaDiCaL :: Tracer , antecedents : bool) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:41666 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6Solver20connect_proof_tracerEPNS_10StatTracerEb"] pub fn Solver_connect_proof_tracer2 (this : * mut root :: CaDiCaL :: Solver , tracer : * mut root :: CaDiCaL :: StatTracer , antecedents : bool) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:41413 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6Solver20connect_proof_tracerEPNS_14InternalTracerEb"] pub fn Solver_connect_proof_tracer1 (this : * mut root :: CaDiCaL :: Solver , tracer : * mut root :: CaDiCaL :: InternalTracer , antecedents : bool) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:41666 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6Solver20connect_proof_tracerEPNS_10StatTracerEb"] pub fn Solver_connect_proof_tracer2 (this : * mut root :: CaDiCaL :: Solver , tracer : * mut root :: CaDiCaL :: StatTracer , antecedents : bool) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:41911 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6Solver20connect_proof_tracerEPNS_10FileTracerEb"] pub fn Solver_connect_proof_tracer3 (this : * mut root :: CaDiCaL :: Solver , tracer : * mut root :: CaDiCaL :: FileTracer , antecedents : bool) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:41911 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6Solver20connect_proof_tracerEPNS_10FileTracerEb"] pub fn Solver_connect_proof_tracer3 (this : * mut root :: CaDiCaL :: Solver , tracer : * mut root :: CaDiCaL :: FileTracer , antecedents : bool) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:42156 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Triggers the conclusion of incremental proofs.\n if the solver is SATISFIED it will trigger extend ()\n and give the model to the proof tracer through conclude_sat ()\n if the solver is UNSATISFIED it will trigger failing ()\n which will learn new clauses as explained below:\n In case of failed assumptions will provide a core negated\n as a clause through the proof tracer interface.\n With a failing contraint these can be multiple clauses.\n Then it will trigger a conclude_unsat event with the id(s)\n of the newly learnt clauses or the id of the global conflict.\n\n require (SATISFIED || UNSATISFIED)\n ensure (SATISFIED || UNSATISFIED)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver8concludeEv"] pub fn Solver_conclude (this : * mut root :: CaDiCaL :: Solver) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:42953 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Disconnect proof tracer. If this is not done before deleting\n the tracer will be deleted. Returns true if successful.\n\n require (VALID)\n ensure (VALID)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver23disconnect_proof_tracerEPNS_6TracerE"] pub fn Solver_disconnect_proof_tracer (this : * mut root :: CaDiCaL :: Solver , tracer : * mut root :: CaDiCaL :: Tracer) -> bool ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:42156 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Triggers the conclusion of incremental proofs.\n if the solver is SATISFIED it will trigger extend ()\n and give the model to the proof tracer through conclude_sat ()\n if the solver is UNSATISFIED it will trigger failing ()\n which will learn new clauses as explained below:\n In case of failed assumptions will provide a core negated\n as a clause through the proof tracer interface.\n With a failing contraint these can be multiple clauses.\n Then it will trigger a conclude_unsat event with the id(s)\n of the newly learnt clauses or the id of the global conflict.\n\n require (SATISFIED || UNSATISFIED)\n ensure (SATISFIED || UNSATISFIED)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver8concludeEv"] pub fn Solver_conclude (this : * mut root :: CaDiCaL :: Solver) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:43355 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6Solver23disconnect_proof_tracerEPNS_10StatTracerE"] pub fn Solver_disconnect_proof_tracer1 (this : * mut root :: CaDiCaL :: Solver , tracer : * mut root :: CaDiCaL :: StatTracer) -> bool ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:42953 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Disconnect proof tracer. If this is not done before deleting\n the tracer will be deleted. Returns true if successful.\n\n require (VALID)\n ensure (VALID)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver23disconnect_proof_tracerEPNS_6TracerE"] pub fn Solver_disconnect_proof_tracer (this : * mut root :: CaDiCaL :: Solver , tracer : * mut root :: CaDiCaL :: Tracer) -> bool ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:43355 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6Solver23disconnect_proof_tracerEPNS_10StatTracerE"] pub fn Solver_disconnect_proof_tracer1 (this : * mut root :: CaDiCaL :: Solver , tracer : * mut root :: CaDiCaL :: StatTracer) -> bool ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:43592 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6Solver23disconnect_proof_tracerEPNS_10FileTracerE"] pub fn Solver_disconnect_proof_tracer2 (this : * mut root :: CaDiCaL :: Solver , tracer : * mut root :: CaDiCaL :: FileTracer) -> bool ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:43592 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6Solver23disconnect_proof_tracerEPNS_10FileTracerE"] pub fn Solver_disconnect_proof_tracer2 (this : * mut root :: CaDiCaL :: Solver , tracer : * mut root :: CaDiCaL :: FileTracer) -> bool ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:43829 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = "------------------------------------------------------------------------"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver5usageEv"] pub fn Solver_usage () ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:43829 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = "------------------------------------------------------------------------"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver5usageEv"] pub fn Solver_usage () ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:44004 [INFO] [stdout] | [INFO] [stdout] 3 | ...usage () ; } extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6Solver14configurationsEv"] pub fn Solver_configurations () ; } extern "C" {... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:44004 [INFO] [stdout] | [INFO] [stdout] 3 | ...usage () ; } extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6Solver14configurationsEv"] pub fn Solver_configurations () ; } extern "C" {... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:44113 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " require (!DELETING)\n ensure (!DELETING)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver10statisticsEv"] pub fn Solver_statistics (this : * mut root :: CaDiCaL :: Solver) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:44113 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " require (!DELETING)\n ensure (!DELETING)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver10statisticsEv"] pub fn Solver_statistics (this : * mut root :: CaDiCaL :: Solver) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:44312 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6Solver9resourcesEv"] pub fn Solver_resources (this : * mut root :: CaDiCaL :: Solver) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:44448 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " require (VALID)\n ensure (VALID)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver7optionsEv"] pub fn Solver_options (this : * mut root :: CaDiCaL :: Solver) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:44312 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6Solver9resourcesEv"] pub fn Solver_resources (this : * mut root :: CaDiCaL :: Solver) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:44448 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " require (VALID)\n ensure (VALID)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver7optionsEv"] pub fn Solver_options (this : * mut root :: CaDiCaL :: Solver) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:44632 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = "------------------------------------------------------------------------\n Traverse irredundant clauses or the extension stack in reverse order.\n\n The return value is false if traversal is aborted early due to one of\n the visitor functions returning false. See description of the\n iterators below for more details on how to use these functions.\n\n require (VALID)\n ensure (VALID)\n"] # [link_name = "\u{1}_ZNK7CaDiCaL6Solver16traverse_clausesERNS_14ClauseIteratorE"] pub fn Solver_traverse_clauses (this : * const root :: CaDiCaL :: Solver , arg1 : * mut root :: CaDiCaL :: ClauseIterator) -> bool ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:44632 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = "------------------------------------------------------------------------\n Traverse irredundant clauses or the extension stack in reverse order.\n\n The return value is false if traversal is aborted early due to one of\n the visitor functions returning false. See description of the\n iterators below for more details on how to use these functions.\n\n require (VALID)\n ensure (VALID)\n"] # [link_name = "\u{1}_ZNK7CaDiCaL6Solver16traverse_clausesERNS_14ClauseIteratorE"] pub fn Solver_traverse_clauses (this : * const root :: CaDiCaL :: Solver , arg1 : * mut root :: CaDiCaL :: ClauseIterator) -> bool ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:45268 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZNK7CaDiCaL6Solver27traverse_witnesses_backwardERNS_15WitnessIteratorE"] pub fn Solver_traverse_witnesses_backward (this : * const root :: CaDiCaL :: Solver , arg1 : * mut root :: CaDiCaL :: WitnessIterator) -> bool ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:45268 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZNK7CaDiCaL6Solver27traverse_witnesses_backwardERNS_15WitnessIteratorE"] pub fn Solver_traverse_witnesses_backward (this : * const root :: CaDiCaL :: Solver , arg1 : * mut root :: CaDiCaL :: WitnessIterator) -> bool ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:45523 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZNK7CaDiCaL6Solver26traverse_witnesses_forwardERNS_15WitnessIteratorE"] pub fn Solver_traverse_witnesses_forward (this : * const root :: CaDiCaL :: Solver , arg1 : * mut root :: CaDiCaL :: WitnessIterator) -> bool ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:45523 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZNK7CaDiCaL6Solver26traverse_witnesses_forwardERNS_15WitnessIteratorE"] pub fn Solver_traverse_witnesses_forward (this : * const root :: CaDiCaL :: Solver , arg1 : * mut root :: CaDiCaL :: WitnessIterator) -> bool ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:45776 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = "------------------------------------------------------------------------\n Files with explicit path argument support compressed input and output\n if appropriate helper functions 'gzip' etc. are available. They are\n called through opening a pipe to an external command.\n\n If the 'strict' argument is zero then the number of variables and\n clauses specified in the DIMACS headers are ignored, i.e., the header\n 'p cnf 0 0' is always legal. If the 'strict' argument is larger '1'\n strict formatting of the header is required, i.e., single spaces\n everywhere and no trailing white space.\n\n Returns zero if successful and otherwise an error message.\n\n require (VALID)\n ensure (VALID)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver11read_dimacsEP8_IO_FILEPKcRii"] pub fn Solver_read_dimacs (this : * mut root :: CaDiCaL :: Solver , file : * mut root :: FILE , name : * const :: std :: os :: raw :: c_char , vars : * mut :: std :: os :: raw :: c_int , strict : :: std :: os :: raw :: c_int) -> * const :: std :: os :: raw :: c_char ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:45776 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = "------------------------------------------------------------------------\n Files with explicit path argument support compressed input and output\n if appropriate helper functions 'gzip' etc. are available. They are\n called through opening a pipe to an external command.\n\n If the 'strict' argument is zero then the number of variables and\n clauses specified in the DIMACS headers are ignored, i.e., the header\n 'p cnf 0 0' is always legal. If the 'strict' argument is larger '1'\n strict formatting of the header is required, i.e., single spaces\n everywhere and no trailing white space.\n\n Returns zero if successful and otherwise an error message.\n\n require (VALID)\n ensure (VALID)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver11read_dimacsEP8_IO_FILEPKcRii"] pub fn Solver_read_dimacs (this : * mut root :: CaDiCaL :: Solver , file : * mut root :: FILE , name : * const :: std :: os :: raw :: c_char , vars : * mut :: std :: os :: raw :: c_int , strict : :: std :: os :: raw :: c_int) -> * const :: std :: os :: raw :: c_char ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:46844 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6Solver11read_dimacsEPKcRii"] pub fn Solver_read_dimacs1 (this : * mut root :: CaDiCaL :: Solver , path : * const :: std :: os :: raw :: c_char , vars : * mut :: std :: os :: raw :: c_int , strict : :: std :: os :: raw :: c_int) -> * const :: std :: os :: raw :: c_char ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:47163 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " The following routines work the same way but parse both DIMACS and\n INCCNF files (with 'p inccnf' header and 'a ' lines). If the\n parser finds and 'p inccnf' header or cubes then '*incremental' is set\n to true and the cubes are stored in the given vector (each cube\n terminated by a zero)."] # [link_name = "\u{1}_ZN7CaDiCaL6Solver11read_dimacsEP8_IO_FILEPKcRiiRbRSt6vectorIiSaIiEE"] pub fn Solver_read_dimacs2 (this : * mut root :: CaDiCaL :: Solver , file : * mut root :: FILE , name : * const :: std :: os :: raw :: c_char , vars : * mut :: std :: os :: raw :: c_int , strict : :: std :: os :: raw :: c_int , incremental : * mut bool , cubes : * mut u8) -> * const :: std :: os :: raw :: c_char ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:46844 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6Solver11read_dimacsEPKcRii"] pub fn Solver_read_dimacs1 (this : * mut root :: CaDiCaL :: Solver , path : * const :: std :: os :: raw :: c_char , vars : * mut :: std :: os :: raw :: c_int , strict : :: std :: os :: raw :: c_int) -> * const :: std :: os :: raw :: c_char ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:47900 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6Solver11read_dimacsEPKcRiiRbRSt6vectorIiSaIiEE"] pub fn Solver_read_dimacs3 (this : * mut root :: CaDiCaL :: Solver , path : * const :: std :: os :: raw :: c_char , vars : * mut :: std :: os :: raw :: c_int , strict : :: std :: os :: raw :: c_int , incremental : * mut bool , cubes : * mut u8) -> * const :: std :: os :: raw :: c_char ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:47163 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " The following routines work the same way but parse both DIMACS and\n INCCNF files (with 'p inccnf' header and 'a ' lines). If the\n parser finds and 'p inccnf' header or cubes then '*incremental' is set\n to true and the cubes are stored in the given vector (each cube\n terminated by a zero)."] # [link_name = "\u{1}_ZN7CaDiCaL6Solver11read_dimacsEP8_IO_FILEPKcRiiRbRSt6vectorIiSaIiEE"] pub fn Solver_read_dimacs2 (this : * mut root :: CaDiCaL :: Solver , file : * mut root :: FILE , name : * const :: std :: os :: raw :: c_char , vars : * mut :: std :: os :: raw :: c_int , strict : :: std :: os :: raw :: c_int , incremental : * mut bool , cubes : * mut u8) -> * const :: std :: os :: raw :: c_char ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:48285 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = "------------------------------------------------------------------------\n Write current irredundant clauses and all derived unit clauses\n to a file in DIMACS format. Clauses on the extension stack are\n not included, nor any redundant clauses.\n\n The 'min_max_var' parameter gives a lower bound on the number ''\n of variables used in the DIMACS 'p cnf ...' header.\n\n Returns zero if successful and otherwise an error message.\n\n require (VALID)\n ensure (VALID)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver12write_dimacsEPKci"] pub fn Solver_write_dimacs (this : * mut root :: CaDiCaL :: Solver , path : * const :: std :: os :: raw :: c_char , min_max_var : :: std :: os :: raw :: c_int) -> * const :: std :: os :: raw :: c_char ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:49065 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " The extension stack for reconstruction a solution can be written too.\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver15write_extensionEPKc"] pub fn Solver_write_extension (this : * mut root :: CaDiCaL :: Solver , path : * const :: std :: os :: raw :: c_char) -> * const :: std :: os :: raw :: c_char ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:47900 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6Solver11read_dimacsEPKcRiiRbRSt6vectorIiSaIiEE"] pub fn Solver_read_dimacs3 (this : * mut root :: CaDiCaL :: Solver , path : * const :: std :: os :: raw :: c_char , vars : * mut :: std :: os :: raw :: c_int , strict : :: std :: os :: raw :: c_int , incremental : * mut bool , cubes : * mut u8) -> * const :: std :: os :: raw :: c_char ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:49389 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Print build configuration to a file with prefix 'c '. If the file\n is '' or '' then terminal color codes might be used.\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver5buildEP8_IO_FILEPKc"] pub fn Solver_build (file : * mut root :: FILE , prefix : * const :: std :: os :: raw :: c_char) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:48285 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = "------------------------------------------------------------------------\n Write current irredundant clauses and all derived unit clauses\n to a file in DIMACS format. Clauses on the extension stack are\n not included, nor any redundant clauses.\n\n The 'min_max_var' parameter gives a lower bound on the number ''\n of variables used in the DIMACS 'p cnf ...' header.\n\n Returns zero if successful and otherwise an error message.\n\n require (VALID)\n ensure (VALID)\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver12write_dimacsEPKci"] pub fn Solver_write_dimacs (this : * mut root :: CaDiCaL :: Solver , path : * const :: std :: os :: raw :: c_char , min_max_var : :: std :: os :: raw :: c_int) -> * const :: std :: os :: raw :: c_char ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:49718 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " This section implements the corresponding IPASIR functionality."] # [link_name = "\u{1}_ZN7CaDiCaL6SolverC1Ev"] pub fn Solver_Solver (this : * mut root :: CaDiCaL :: Solver) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:49065 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " The extension stack for reconstruction a solution can be written too.\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver15write_extensionEPKc"] pub fn Solver_write_extension (this : * mut root :: CaDiCaL :: Solver , path : * const :: std :: os :: raw :: c_char) -> * const :: std :: os :: raw :: c_char ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:49920 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6SolverD1Ev"] pub fn Solver_Solver_destructor (this : * mut root :: CaDiCaL :: Solver) ; } im... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:49389 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Print build configuration to a file with prefix 'c '. If the file\n is '' or '' then terminal color codes might be used.\n"] # [link_name = "\u{1}_ZN7CaDiCaL6Solver5buildEP8_IO_FILEPKc"] pub fn Solver_build (file : * mut root :: FILE , prefix : * const :: std :: os :: raw :: c_char) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:49718 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " This section implements the corresponding IPASIR functionality."] # [link_name = "\u{1}_ZN7CaDiCaL6SolverC1Ev"] pub fn Solver_Solver (this : * mut root :: CaDiCaL :: Solver) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/cadical-sys-f011d8a4c0b7c6f3/out/bindings.rs:3:49920 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [link_name = "\u{1}_ZN7CaDiCaL6SolverD1Ev"] pub fn Solver_Solver_destructor (this : * mut root :: CaDiCaL :: Solver) ; } im... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `cadical-sys` (lib) due to 93 previous errors [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stderr] error: could not compile `cadical-sys` (lib test) due to 93 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" "ad60f36fd5eaf65ba2540f88219917adf00c95d9da7b955a03451dfc7e5511fc", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "ad60f36fd5eaf65ba2540f88219917adf00c95d9da7b955a03451dfc7e5511fc", kill_on_drop: false }` [INFO] [stdout] ad60f36fd5eaf65ba2540f88219917adf00c95d9da7b955a03451dfc7e5511fc