[INFO] fetching crate ipafair-sys 1.0.0... [INFO] checking ipafair-sys-1.0.0 against try#ccf408f4326a858c00dd845a64a86b16f360a801 for pr-129466-2 [INFO] extracting crate ipafair-sys 1.0.0 into /workspace/builds/worker-0-tc2/source [INFO] validating manifest of crates.io crate ipafair-sys 1.0.0 on toolchain ccf408f4326a858c00dd845a64a86b16f360a801 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ccf408f4326a858c00dd845a64a86b16f360a801" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking crates.io crate ipafair-sys 1.0.0 [INFO] finished tweaking crates.io crate ipafair-sys 1.0.0 [INFO] tweaked toml for crates.io crate ipafair-sys 1.0.0 written to /workspace/builds/worker-0-tc2/source/Cargo.toml [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ccf408f4326a858c00dd845a64a86b16f360a801" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Locking 43 packages to latest compatible versions [INFO] [stderr] Adding bindgen v0.61.0 (available: v0.70.1) [INFO] [stderr] Adding bitflags v1.3.2 (available: v2.6.0) [INFO] [stderr] Adding linux-raw-sys v0.4.14 (available: v0.6.5) [INFO] [stderr] Adding peeking_take_while v0.1.2 (available: v1.0.0) [INFO] [stderr] Adding rustc-hash v1.1.0 (available: v2.0.0) [INFO] [stderr] Adding syn v1.0.109 (available: v2.0.77) [INFO] [stderr] Adding which v4.4.2 (available: v6.0.3) [INFO] [stderr] Adding windows-sys v0.52.0 (available: v0.59.0) [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ccf408f4326a858c00dd845a64a86b16f360a801" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:ceb6ea022f8a89cebbe621bb4987e73a935bd40dfbb726f832cfff4742a5b95a" "/opt/rustwide/cargo-home/bin/cargo" "+ccf408f4326a858c00dd845a64a86b16f360a801" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 90c4ed2424d81d84857bcfb5f5cb9e61b1ea79043bd79c86cfcc036a8029aeee [INFO] running `Command { std: "docker" "start" "-a" "90c4ed2424d81d84857bcfb5f5cb9e61b1ea79043bd79c86cfcc036a8029aeee", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "90c4ed2424d81d84857bcfb5f5cb9e61b1ea79043bd79c86cfcc036a8029aeee", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "90c4ed2424d81d84857bcfb5f5cb9e61b1ea79043bd79c86cfcc036a8029aeee", kill_on_drop: false }` [INFO] [stdout] 90c4ed2424d81d84857bcfb5f5cb9e61b1ea79043bd79c86cfcc036a8029aeee [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:ceb6ea022f8a89cebbe621bb4987e73a935bd40dfbb726f832cfff4742a5b95a" "/opt/rustwide/cargo-home/bin/cargo" "+ccf408f4326a858c00dd845a64a86b16f360a801" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 32c68e9f25105b8dbedfa682041a9a97b5d598386babda0338a93af97332af8a [INFO] running `Command { std: "docker" "start" "-a" "32c68e9f25105b8dbedfa682041a9a97b5d598386babda0338a93af97332af8a", 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 glob v0.3.1 [INFO] [stderr] Compiling rustix v0.38.37 [INFO] [stderr] Compiling libc v0.2.159 [INFO] [stderr] Compiling regex-syntax v0.8.4 [INFO] [stderr] Compiling linux-raw-sys v0.4.14 [INFO] [stderr] Compiling minimal-lexical v0.2.1 [INFO] [stderr] Compiling proc-macro2 v1.0.86 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling bitflags v2.6.0 [INFO] [stderr] Compiling memchr v2.7.4 [INFO] [stderr] Compiling libloading v0.8.5 [INFO] [stderr] Compiling clang-sys v1.8.1 [INFO] [stderr] Compiling bindgen v0.61.0 [INFO] [stderr] Compiling quote v1.0.37 [INFO] [stderr] Compiling either v1.13.0 [INFO] [stderr] Compiling home v0.5.9 [INFO] [stderr] Compiling nom v7.1.3 [INFO] [stderr] Compiling lazycell v1.3.0 [INFO] [stderr] Compiling bitflags v1.3.2 [INFO] [stderr] Compiling peeking_take_while v0.1.2 [INFO] [stderr] Compiling regex-automata v0.4.7 [INFO] [stderr] Compiling which v4.4.2 [INFO] [stderr] Compiling cexpr v0.6.0 [INFO] [stderr] Compiling regex v1.10.6 [INFO] [stderr] Compiling ipafair-sys v1.0.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/ipafair-sys-4058e5366701655d/out/bindings.rs (12 fixes) [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 6.26s [INFO] [stderr] Running `cargo check` to verify 2024 [INFO] [stderr] Compiling ipafair-sys v1.0.0 (/tmp/fixit) [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/ipafair-sys-4058e5366701655d/out/bindings.rs:3:9283 [INFO] [stdout] | [INFO] [stdout] 3 | ... ; extern "C" { # [doc = " Return the name and the version of the dynamic AF solver."] pub fn ipafair_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/ipafair-sys-4058e5366701655d/out/bindings.rs:3:9440 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Construct a new solver and return a pointer to it. Use the returned pointer"] # [doc = " as the first parameter in each of the following functions."] # [doc = ""] # [doc = " Required state: N/A"] # [doc = " State after: INPUT"] pub fn ipafair_init () -> * mut :: std :: os :: raw :: c_void ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/ipafair-sys-4058e5366701655d/out/bindings.rs:3:9758 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Release the solver, i.e., all its resources and allocated memory. The solver"] # [doc = " pointer cannot be used for any purposes after this call."] # [doc = ""] # [doc = " Required state: INPUT or SAT or UNSAT or ERROR"] # [doc = " State after: undefined"] pub fn ipafair_release (solver : * mut :: std :: os :: raw :: c_void) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/ipafair-sys-4058e5366701655d/out/bindings.rs:3:9283 [INFO] [stdout] | [INFO] [stdout] 3 | ... ; extern "C" { # [doc = " Return the name and the version of the dynamic AF solver."] pub fn ipafair_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/ipafair-sys-4058e5366701655d/out/bindings.rs:3:10114 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Set the argumentation semantics for the next calls of 'ipafair_solve'."] # [doc = ""] # [doc = " If the semantics is not supported by the solver, enter state ERROR."] # [doc = ""] # [doc = " Required state: INPUT or SAT or UNSAT"] # [doc = " State after: INPUT or ERROR"] pub fn ipafair_set_semantics (solver : * mut :: std :: os :: raw :: c_void , sem : semantics) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/ipafair-sys-4058e5366701655d/out/bindings.rs:3:10508 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Add the given argument to the current argumentation framework."] # [doc = ""] # [doc = " If the argument already exists, enter state ERROR."] # [doc = ""] # [doc = " Arguments are encoded as positive integers. They have to be smaller or equal"] # [doc = " to INT32_MAX. This applies to all the literal arguments in API functions."] # [doc = ""] # [doc = " Required state: INPUT or SAT or UNSAT"] # [doc = " State after: INPUT or ERROR"] pub fn ipafair_add_argument (solver : * mut :: std :: os :: raw :: c_void , arg : i32) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/ipafair-sys-4058e5366701655d/out/bindings.rs:3:9440 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Construct a new solver and return a pointer to it. Use the returned pointer"] # [doc = " as the first parameter in each of the following functions."] # [doc = ""] # [doc = " Required state: N/A"] # [doc = " State after: INPUT"] pub fn ipafair_init () -> * mut :: std :: os :: raw :: c_void ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/ipafair-sys-4058e5366701655d/out/bindings.rs:3:9758 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Release the solver, i.e., all its resources and allocated memory. The solver"] # [doc = " pointer cannot be used for any purposes after this call."] # [doc = ""] # [doc = " Required state: INPUT or SAT or UNSAT or ERROR"] # [doc = " State after: undefined"] pub fn ipafair_release (solver : * mut :: std :: os :: raw :: c_void) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/ipafair-sys-4058e5366701655d/out/bindings.rs:3:11060 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Delete the given argument from the current argumentation framework."] # [doc = ""] # [doc = " If the argument does not exist, enter state ERROR."] # [doc = ""] # [doc = " Required state: INPUT or SAT or UNSAT"] # [doc = " State after: INPUT or ERROR"] pub fn ipafair_del_argument (solver : * mut :: std :: os :: raw :: c_void , arg : i32) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/ipafair-sys-4058e5366701655d/out/bindings.rs:3:10114 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Set the argumentation semantics for the next calls of 'ipafair_solve'."] # [doc = ""] # [doc = " If the semantics is not supported by the solver, enter state ERROR."] # [doc = ""] # [doc = " Required state: INPUT or SAT or UNSAT"] # [doc = " State after: INPUT or ERROR"] pub fn ipafair_set_semantics (solver : * mut :: std :: os :: raw :: c_void , sem : semantics) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/ipafair-sys-4058e5366701655d/out/bindings.rs:3:11427 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Add the given attack (s,t) to the current argumentation framework."] # [doc = ""] # [doc = " If the attack already exists, or if s or t is not an existing argument"] # [doc = " added via 'ipafair_add_argument', enter state ERROR."] # [doc = ""] # [doc = " Required state: INPUT or SAT or UNSAT"] # [doc = " State after: INPUT or ERROR"] pub fn ipafair_add_attack (solver : * mut :: std :: os :: raw :: c_void , s : i32 , t : i32) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/ipafair-sys-4058e5366701655d/out/bindings.rs:3:10508 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Add the given argument to the current argumentation framework."] # [doc = ""] # [doc = " If the argument already exists, enter state ERROR."] # [doc = ""] # [doc = " Arguments are encoded as positive integers. They have to be smaller or equal"] # [doc = " to INT32_MAX. This applies to all the literal arguments in API functions."] # [doc = ""] # [doc = " Required state: INPUT or SAT or UNSAT"] # [doc = " State after: INPUT or ERROR"] pub fn ipafair_add_argument (solver : * mut :: std :: os :: raw :: c_void , arg : i32) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/ipafair-sys-4058e5366701655d/out/bindings.rs:3:11885 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Delete the given attack (s,t) from the current argumentation framework."] # [doc = ""] # [doc = " If the attack does not exist, enter state ERROR."] # [doc = ""] # [doc = " Required state: INPUT or SAT or UNSAT"] # [doc = " State after: INPUT or ERROR"] pub fn ipafair_del_attack (solver : * mut :: std :: os :: raw :: c_void , s : i32 , t : i32) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/ipafair-sys-4058e5366701655d/out/bindings.rs:3:11060 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Delete the given argument from the current argumentation framework."] # [doc = ""] # [doc = " If the argument does not exist, enter state ERROR."] # [doc = ""] # [doc = " Required state: INPUT or SAT or UNSAT"] # [doc = " State after: INPUT or ERROR"] pub fn ipafair_del_argument (solver : * mut :: std :: os :: raw :: c_void , arg : i32) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/ipafair-sys-4058e5366701655d/out/bindings.rs:3:12260 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Add an assumption for the next call of 'ipafair_solve'. After calling"] # [doc = " 'ipafair_solve' all previously added assumptions are cleared."] # [doc = ""] # [doc = " The assumption is provided as a positive integer whose value is an argument"] # [doc = " previously added via 'ipafair_add_argument'."] # [doc = ""] # [doc = " If such an argument does not exist, enter state ERROR."] # [doc = ""] # [doc = " Required state: INPUT or SAT or UNSAT"] # [doc = " State after: INPUT or ERROR"] pub fn ipafair_assume (solver : * mut :: std :: os :: raw :: c_void , arg : i32) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/ipafair-sys-4058e5366701655d/out/bindings.rs:3:11427 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Add the given attack (s,t) to the current argumentation framework."] # [doc = ""] # [doc = " If the attack already exists, or if s or t is not an existing argument"] # [doc = " added via 'ipafair_add_argument', enter state ERROR."] # [doc = ""] # [doc = " Required state: INPUT or SAT or UNSAT"] # [doc = " State after: INPUT or ERROR"] pub fn ipafair_add_attack (solver : * mut :: std :: os :: raw :: c_void , s : i32 , t : i32) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/ipafair-sys-4058e5366701655d/out/bindings.rs:3:12862 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Solve the current instance, as defined by previous calls to"] # [doc = " 'ipafair_set_semantics', 'ipafair_add_argument', 'ipafair_del_argument',"] # [doc = " 'ipafair_add_attack', 'ipafair_del_attack', and 'ipafair_assume'"] # [doc = " in the credulous reasoning mode."] # [doc = ""] # [doc = " That is, decide whether arguments assumed via 'ipafair_assume' are contained"] # [doc = " in *an extension* under semantics specified by 'ipafair_set_semantics' in"] # [doc = " the current argumentation framework constructed by calls to"] # [doc = " 'ipafair_add_argument', 'ipafair_del_argument', 'ipafair_add_attack', and"] # [doc = " 'ipafair_del_attack'."] # [doc = ""] # [doc = " If the answer is 'yes', return 10 and change the state of the solver to SAT."] # [doc = " If the answer is 'no', return 20 and change the state of the solver to UNSAT."] # [doc = " If the solver does not support the sequence of API calls performed, return -1"] # [doc = " and change the state of the solver to ERROR."] # [doc = ""] # [doc = " This function can be called in any defined state of the solver. Note that"] # [doc = " the state of the solver _during_ execution of 'ipafair_solve' is undefined."] # [doc = ""] # [doc = " Required state: INPUT or SAT or UNSAT"] # [doc = " State after: SAT or UNSAT or ERROR"] pub fn ipafair_solve_cred (solver : * mut :: std :: os :: raw :: c_void) -> :: 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/ipafair-sys-4058e5366701655d/out/bindings.rs:3:11885 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Delete the given attack (s,t) from the current argumentation framework."] # [doc = ""] # [doc = " If the attack does not exist, enter state ERROR."] # [doc = ""] # [doc = " Required state: INPUT or SAT or UNSAT"] # [doc = " State after: INPUT or ERROR"] pub fn ipafair_del_attack (solver : * mut :: std :: os :: raw :: c_void , s : i32 , t : i32) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/ipafair-sys-4058e5366701655d/out/bindings.rs:3:14296 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Solve the current instance, as defined by previous calls to"] # [doc = " 'ipafair_set_semantics', 'ipafair_add_argument', 'ipafair_del_argument',"] # [doc = " 'ipafair_add_attack', 'ipafair_del_attack', and 'ipafair_assume'"] # [doc = " in the skeptical reasoning mode."] # [doc = ""] # [doc = " That is, decide whether arguments assumed via 'ipafair_assume' are contained"] # [doc = " in *all extensions* under semantics specified by 'ipafair_set_semantics' in"] # [doc = " the current argumentation framework constructed by calls to"] # [doc = " 'ipafair_add_argument', 'ipafair_del_argument', 'ipafair_add_attack', and"] # [doc = " 'ipafair_del_attack'."] # [doc = ""] # [doc = " If the answer is 'yes', return 10 and change the state of the solver to SAT."] # [doc = " If the answer is 'no', return 20 and change the state of the solver to UNSAT."] # [doc = " If the solver does not support the sequence of API calls performed, return -1"] # [doc = " and change the state of the solver to ERROR."] # [doc = ""] # [doc = " This function can be called in any defined state of the solver. Note that"] # [doc = " the state of the solver _during_ execution of 'ipafair_solve' is undefined."] # [doc = ""] # [doc = " Required state: INPUT or SAT or UNSAT"] # [doc = " State after: SAT or UNSAT or ERROR"] pub fn ipafair_solve_skept (solver : * mut :: std :: os :: raw :: c_void) -> :: 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/ipafair-sys-4058e5366701655d/out/bindings.rs:3:12260 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Add an assumption for the next call of 'ipafair_solve'. After calling"] # [doc = " 'ipafair_solve' all previously added assumptions are cleared."] # [doc = ""] # [doc = " The assumption is provided as a positive integer whose value is an argument"] # [doc = " previously added via 'ipafair_add_argument'."] # [doc = ""] # [doc = " If such an argument does not exist, enter state ERROR."] # [doc = ""] # [doc = " Required state: INPUT or SAT or UNSAT"] # [doc = " State after: INPUT or ERROR"] pub fn ipafair_assume (solver : * mut :: std :: os :: raw :: c_void , arg : i32) ; } ex... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/ipafair-sys-4058e5366701655d/out/bindings.rs:3:15733 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Determine whether the given argument is contained in a solution or"] # [doc = " counterexample extension. Return 'arg' if the answer is 'yes', and '-arg'"] # [doc = " if the answer is 'no'."] # [doc = ""] # [doc = " This function can only be used if 'ipafair_solve_cred' has returned 10, or"] # [doc = " 'ipafair_solve_skept' has returned 20, and the state of the solver has not"] # [doc = " changed."] # [doc = ""] # [doc = " Required state: SAT or UNSAT"] # [doc = " State after: SAT or UNSAT (unchanged)"] pub fn ipafair_val (solver : * mut :: std :: os :: raw :: c_void , arg : i32) -> i32 ; } [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: extern blocks must be unsafe [INFO] [stdout] --> /opt/rustwide/target/debug/build/ipafair-sys-4058e5366701655d/out/bindings.rs:3:12862 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Solve the current instance, as defined by previous calls to"] # [doc = " 'ipafair_set_semantics', 'ipafair_add_argument', 'ipafair_del_argument',"] # [doc = " 'ipafair_add_attack', 'ipafair_del_attack', and 'ipafair_assume'"] # [doc = " in the credulous reasoning mode."] # [doc = ""] # [doc = " That is, decide whether arguments assumed via 'ipafair_assume' are contained"] # [doc = " in *an extension* under semantics specified by 'ipafair_set_semantics' in"] # [doc = " the current argumentation framework constructed by calls to"] # [doc = " 'ipafair_add_argument', 'ipafair_del_argument', 'ipafair_add_attack', and"] # [doc = " 'ipafair_del_attack'."] # [doc = ""] # [doc = " If the answer is 'yes', return 10 and change the state of the solver to SAT."] # [doc = " If the answer is 'no', return 20 and change the state of the solver to UNSAT."] # [doc = " If the solver does not support the sequence of API calls performed, return -1"] # [doc = " and change the state of the solver to ERROR."] # [doc = ""] # [doc = " This function can be called in any defined state of the solver. Note that"] # [doc = " the state of the solver _during_ execution of 'ipafair_solve' is undefined."] # [doc = ""] # [doc = " Required state: INPUT or SAT or UNSAT"] # [doc = " State after: SAT or UNSAT or ERROR"] pub fn ipafair_solve_cred (solver : * mut :: std :: os :: raw :: c_void) -> :: 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/ipafair-sys-4058e5366701655d/out/bindings.rs:3:14296 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Solve the current instance, as defined by previous calls to"] # [doc = " 'ipafair_set_semantics', 'ipafair_add_argument', 'ipafair_del_argument',"] # [doc = " 'ipafair_add_attack', 'ipafair_del_attack', and 'ipafair_assume'"] # [doc = " in the skeptical reasoning mode."] # [doc = ""] # [doc = " That is, decide whether arguments assumed via 'ipafair_assume' are contained"] # [doc = " in *all extensions* under semantics specified by 'ipafair_set_semantics' in"] # [doc = " the current argumentation framework constructed by calls to"] # [doc = " 'ipafair_add_argument', 'ipafair_del_argument', 'ipafair_add_attack', and"] # [doc = " 'ipafair_del_attack'."] # [doc = ""] # [doc = " If the answer is 'yes', return 10 and change the state of the solver to SAT."] # [doc = " If the answer is 'no', return 20 and change the state of the solver to UNSAT."] # [doc = " If the solver does not support the sequence of API calls performed, return -1"] # [doc = " and change the state of the solver to ERROR."] # [doc = ""] # [doc = " This function can be called in any defined state of the solver. Note that"] # [doc = " the state of the solver _during_ execution of 'ipafair_solve' is undefined."] # [doc = ""] # [doc = " Required state: INPUT or SAT or UNSAT"] # [doc = " State after: SAT or UNSAT or ERROR"] pub fn ipafair_solve_skept (solver : * mut :: std :: os :: raw :: c_void) -> :: 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/ipafair-sys-4058e5366701655d/out/bindings.rs:3:15733 [INFO] [stdout] | [INFO] [stdout] 3 | ... } extern "C" { # [doc = " Determine whether the given argument is contained in a solution or"] # [doc = " counterexample extension. Return 'arg' if the answer is 'yes', and '-arg'"] # [doc = " if the answer is 'no'."] # [doc = ""] # [doc = " This function can only be used if 'ipafair_solve_cred' has returned 10, or"] # [doc = " 'ipafair_solve_skept' has returned 20, and the state of the solver has not"] # [doc = " changed."] # [doc = ""] # [doc = " Required state: SAT or UNSAT"] # [doc = " State after: SAT or UNSAT (unchanged)"] pub fn ipafair_val (solver : * mut :: std :: os :: raw :: c_void , arg : i32) -> i32 ; } [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 12 previous errors [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `ipafair-sys` (lib) due to 13 previous errors [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] error: aborting due to 12 previous errors [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `ipafair-sys` (lib test) due to 13 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" "32c68e9f25105b8dbedfa682041a9a97b5d598386babda0338a93af97332af8a", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "32c68e9f25105b8dbedfa682041a9a97b5d598386babda0338a93af97332af8a", kill_on_drop: false }` [INFO] [stdout] 32c68e9f25105b8dbedfa682041a9a97b5d598386babda0338a93af97332af8a