[INFO] fetching crate crustabri 1.1.1...
[INFO] testing crustabri-1.1.1 against 1.83.0 for beta-1.84.0-4-retry
[INFO] extracting crate crustabri 1.1.1 into /workspace/builds/worker-5-tc1/source
[INFO] validating manifest of crates.io crate crustabri 1.1.1 on toolchain 1.83.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.83.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate crustabri 1.1.1
[INFO] finished tweaking crates.io crate crustabri 1.1.1
[INFO] tweaked toml for crates.io crate crustabri 1.1.1 written to /workspace/builds/worker-5-tc1/source/Cargo.toml
[INFO] crate crates.io crate crustabri 1.1.1 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.83.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded sysinfo v0.23.13
[INFO] [stderr]   Downloaded chrono v0.4.29
[INFO] [stderr]   Downloaded assert_fs v1.0.13
[INFO] [stderr]   Downloaded cadical v0.1.14
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+1.83.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] ce0beab6de1021d3995a9442b9f765faf381bad1874ed42ee2dfa58706d72283
[INFO] running `Command { std: "docker" "start" "-a" "ce0beab6de1021d3995a9442b9f765faf381bad1874ed42ee2dfa58706d72283", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "ce0beab6de1021d3995a9442b9f765faf381bad1874ed42ee2dfa58706d72283", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ce0beab6de1021d3995a9442b9f765faf381bad1874ed42ee2dfa58706d72283", kill_on_drop: false }`
[INFO] [stdout] ce0beab6de1021d3995a9442b9f765faf381bad1874ed42ee2dfa58706d72283
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+1.83.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 48cd57a87235112db38defb836e38e3a45ed86fc1ebf5de4debc75342f219967
[INFO] running `Command { std: "docker" "start" "-a" "48cd57a87235112db38defb836e38e3a45ed86fc1ebf5de4debc75342f219967", kill_on_drop: false }`
[INFO] [stderr]    Compiling autocfg v1.1.0
[INFO] [stderr]    Compiling libc v0.2.147
[INFO] [stderr]    Compiling crossbeam-utils v0.8.16
[INFO] [stderr]    Compiling cfg-if v1.0.0
[INFO] [stderr]    Compiling scopeguard v1.2.0
[INFO] [stderr]    Compiling rustix v0.38.11
[INFO] [stderr]    Compiling proc-macro2 v1.0.66
[INFO] [stderr]    Compiling linux-raw-sys v0.4.5
[INFO] [stderr]    Compiling unicode-ident v1.0.11
[INFO] [stderr]    Compiling rayon-core v1.11.0
[INFO] [stderr]    Compiling bitflags v2.4.0
[INFO] [stderr]    Compiling rustversion v1.0.14
[INFO] [stderr]    Compiling memchr v2.6.3
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling sysinfo v0.23.13
[INFO] [stderr]    Compiling lazy_static v1.4.0
[INFO] [stderr]    Compiling either v1.9.0
[INFO] [stderr]    Compiling anyhow v1.0.75
[INFO] [stderr]    Compiling unicode-width v0.1.10
[INFO] [stderr]    Compiling regex-syntax v0.7.5
[INFO] [stderr]    Compiling textwrap v0.11.0
[INFO] [stderr]    Compiling once_cell v1.18.0
[INFO] [stderr]    Compiling iana-time-zone v0.1.57
[INFO] [stderr]    Compiling vec_map v0.8.2
[INFO] [stderr]    Compiling bitflags v1.3.2
[INFO] [stderr]    Compiling ansi_term v0.12.1
[INFO] [stderr]    Compiling num-traits v0.2.16
[INFO] [stderr]    Compiling num-integer v0.1.45
[INFO] [stderr]    Compiling memoffset v0.9.0
[INFO] [stderr]    Compiling crossbeam-epoch v0.9.15
[INFO] [stderr]    Compiling num-bigint v0.2.6
[INFO] [stderr]    Compiling num-rational v0.2.4
[INFO] [stderr]    Compiling num-iter v0.1.43
[INFO] [stderr]    Compiling num-complex v0.2.4
[INFO] [stderr]    Compiling strsim v0.8.0
[INFO] [stderr]    Compiling aho-corasick v1.0.5
[INFO] [stderr]    Compiling log v0.4.20
[INFO] [stderr]    Compiling heck v0.4.1
[INFO] [stderr]    Compiling crossbeam-channel v0.5.8
[INFO] [stderr]    Compiling crossbeam-deque v0.8.3
[INFO] [stderr]    Compiling quote v1.0.33
[INFO] [stderr]    Compiling strum v0.24.1
[INFO] [stderr]    Compiling jobserver v0.1.26
[INFO] [stderr]    Compiling num_cpus v1.16.0
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling time v0.1.45
[INFO] [stderr]    Compiling clap v2.34.0
[INFO] [stderr]    Compiling cc v1.0.83
[INFO] [stderr]    Compiling is-terminal v0.4.9
[INFO] [stderr]    Compiling colored v1.9.4
[INFO] [stderr]    Compiling fern v0.6.2
[INFO] [stderr]    Compiling rayon v1.7.0
[INFO] [stderr]    Compiling regex-automata v0.3.8
[INFO] [stderr]    Compiling chrono v0.4.29
[INFO] [stderr]    Compiling cadical v0.1.14
[INFO] [stderr]    Compiling num v0.2.1
[INFO] [stderr]    Compiling permutator v0.4.3
[INFO] [stderr]    Compiling strum_macros v0.24.3
[INFO] [stderr]    Compiling regex v1.9.5
[INFO] [stderr]    Compiling crustabri v1.1.1 (/opt/rustwide/workdir)
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]   --> src/dynamics/assumptions_on_attacks/dynamic_constraints_encoder_attacks.rs:23:28
[INFO] [stdout]    |
[INFO] [stdout] 23 |     AttackerDisjunctionVar(usize),
[INFO] [stdout]    |     ---------------------- ^^^^^
[INFO] [stdout]    |     |
[INFO] [stdout]    |     field in this variant
[INFO] [stdout]    |
[INFO] [stdout]    = note: `SolverVarType` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]    |
[INFO] [stdout] 23 |     AttackerDisjunctionVar(()),
[INFO] [stdout]    |                            ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]   --> src/dynamics/dynamic_constraints_encoder.rs:22:28
[INFO] [stdout]    |
[INFO] [stdout] 22 |     AttackerDisjunctionVar(usize),
[INFO] [stdout]    |     ---------------------- ^^^^^
[INFO] [stdout]    |     |
[INFO] [stdout]    |     field in this variant
[INFO] [stdout]    |
[INFO] [stdout]    = note: `SolverVarType` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]    |
[INFO] [stdout] 22 |     AttackerDisjunctionVar(()),
[INFO] [stdout]    |                            ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]   --> src/dynamics/dynamic_constraints_encoder.rs:23:25
[INFO] [stdout]    |
[INFO] [stdout] 23 |     AttackerSetSelector(usize),
[INFO] [stdout]    |     ------------------- ^^^^^
[INFO] [stdout]    |     |
[INFO] [stdout]    |     field in this variant
[INFO] [stdout]    |
[INFO] [stdout]    = note: `SolverVarType` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]    |
[INFO] [stdout] 23 |     AttackerSetSelector(()),
[INFO] [stdout]    |                         ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `AssignmentIterator` is never constructed
[INFO] [stdout]    --> src/sat/sat_solver.rs:207:19
[INFO] [stdout]     |
[INFO] [stdout] 207 | pub(crate) struct AssignmentIterator<'a> {
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 48.77s
[INFO] running `Command { std: "docker" "inspect" "48cd57a87235112db38defb836e38e3a45ed86fc1ebf5de4debc75342f219967", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "48cd57a87235112db38defb836e38e3a45ed86fc1ebf5de4debc75342f219967", kill_on_drop: false }`
[INFO] [stdout] 48cd57a87235112db38defb836e38e3a45ed86fc1ebf5de4debc75342f219967
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+1.83.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] cebae276e475f978ccc66600bf70e92e19c4e0fa54eb32ae01ef56bde1089041
[INFO] running `Command { std: "docker" "start" "-a" "cebae276e475f978ccc66600bf70e92e19c4e0fa54eb32ae01ef56bde1089041", kill_on_drop: false }`
[INFO] [stderr]    Compiling either v1.9.0
[INFO] [stderr]    Compiling rustix v0.38.11
[INFO] [stderr]    Compiling regex-automata v0.3.8
[INFO] [stderr]    Compiling predicates-core v1.0.6
[INFO] [stderr]    Compiling doc-comment v0.3.3
[INFO] [stderr]    Compiling same-file v1.0.6
[INFO] [stderr]    Compiling fnv v1.0.7
[INFO] [stderr]    Compiling difflib v0.4.0
[INFO] [stderr]    Compiling thread_local v1.1.7
[INFO] [stderr]    Compiling termtree v0.4.1
[INFO] [stderr]    Compiling anstyle v1.0.2
[INFO] [stderr]    Compiling fastrand v2.0.0
[INFO] [stderr]    Compiling paste v1.0.14
[INFO] [stderr]    Compiling wait-timeout v0.2.0
[INFO] [stderr]    Compiling float-cmp v0.9.0
[INFO] [stderr]    Compiling normalize-line-endings v0.3.0
[INFO] [stderr]    Compiling predicates-tree v1.0.9
[INFO] [stderr]    Compiling walkdir v2.4.0
[INFO] [stderr]    Compiling rayon v1.7.0
[INFO] [stderr]    Compiling itertools v0.10.5
[INFO] [stderr]    Compiling predicates v3.0.3
[INFO] [stderr]    Compiling is-terminal v0.4.9
[INFO] [stderr]    Compiling tempfile v3.8.0
[INFO] [stderr]    Compiling colored v1.9.4
[INFO] [stderr]    Compiling sysinfo v0.23.13
[INFO] [stderr]    Compiling fern v0.6.2
[INFO] [stderr]    Compiling regex v1.9.5
[INFO] [stderr]    Compiling bstr v1.6.2
[INFO] [stderr]    Compiling predicates v2.1.5
[INFO] [stderr]    Compiling globset v0.4.13
[INFO] [stderr]    Compiling assert_cmd v2.0.12
[INFO] [stderr]    Compiling ignore v0.4.20
[INFO] [stderr]    Compiling crustabri v1.1.1 (/opt/rustwide/workdir)
[INFO] [stderr]    Compiling globwalk v0.8.1
[INFO] [stderr]    Compiling assert_fs v1.0.13
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]   --> src/dynamics/assumptions_on_attacks/dynamic_constraints_encoder_attacks.rs:23:28
[INFO] [stdout]    |
[INFO] [stdout] 23 |     AttackerDisjunctionVar(usize),
[INFO] [stdout]    |     ---------------------- ^^^^^
[INFO] [stdout]    |     |
[INFO] [stdout]    |     field in this variant
[INFO] [stdout]    |
[INFO] [stdout]    = note: `SolverVarType` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]    |
[INFO] [stdout] 23 |     AttackerDisjunctionVar(()),
[INFO] [stdout]    |                            ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]   --> src/dynamics/dynamic_constraints_encoder.rs:22:28
[INFO] [stdout]    |
[INFO] [stdout] 22 |     AttackerDisjunctionVar(usize),
[INFO] [stdout]    |     ---------------------- ^^^^^
[INFO] [stdout]    |     |
[INFO] [stdout]    |     field in this variant
[INFO] [stdout]    |
[INFO] [stdout]    = note: `SolverVarType` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]    |
[INFO] [stdout] 22 |     AttackerDisjunctionVar(()),
[INFO] [stdout]    |                            ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]   --> src/dynamics/dynamic_constraints_encoder.rs:23:25
[INFO] [stdout]    |
[INFO] [stdout] 23 |     AttackerSetSelector(usize),
[INFO] [stdout]    |     ------------------- ^^^^^
[INFO] [stdout]    |     |
[INFO] [stdout]    |     field in this variant
[INFO] [stdout]    |
[INFO] [stdout]    = note: `SolverVarType` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]    |
[INFO] [stdout] 23 |     AttackerSetSelector(()),
[INFO] [stdout]    |                         ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `AssignmentIterator` is never constructed
[INFO] [stdout]    --> src/sat/sat_solver.rs:207:19
[INFO] [stdout]     |
[INFO] [stdout] 207 | pub(crate) struct AssignmentIterator<'a> {
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]   --> src/dynamics/assumptions_on_attacks/dynamic_constraints_encoder_attacks.rs:23:28
[INFO] [stdout]    |
[INFO] [stdout] 23 |     AttackerDisjunctionVar(usize),
[INFO] [stdout]    |     ---------------------- ^^^^^
[INFO] [stdout]    |     |
[INFO] [stdout]    |     field in this variant
[INFO] [stdout]    |
[INFO] [stdout]    = note: `SolverVarType` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]    |
[INFO] [stdout] 23 |     AttackerDisjunctionVar(()),
[INFO] [stdout]    |                            ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]   --> src/dynamics/dynamic_constraints_encoder.rs:22:28
[INFO] [stdout]    |
[INFO] [stdout] 22 |     AttackerDisjunctionVar(usize),
[INFO] [stdout]    |     ---------------------- ^^^^^
[INFO] [stdout]    |     |
[INFO] [stdout]    |     field in this variant
[INFO] [stdout]    |
[INFO] [stdout]    = note: `SolverVarType` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]    |
[INFO] [stdout] 22 |     AttackerDisjunctionVar(()),
[INFO] [stdout]    |                            ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]   --> src/dynamics/dynamic_constraints_encoder.rs:23:25
[INFO] [stdout]    |
[INFO] [stdout] 23 |     AttackerSetSelector(usize),
[INFO] [stdout]    |     ------------------- ^^^^^
[INFO] [stdout]    |     |
[INFO] [stdout]    |     field in this variant
[INFO] [stdout]    |
[INFO] [stdout]    = note: `SolverVarType` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]    |
[INFO] [stdout] 23 |     AttackerSetSelector(()),
[INFO] [stdout]    |                         ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `AssignmentIterator` is never constructed
[INFO] [stdout]    --> src/sat/sat_solver.rs:207:19
[INFO] [stdout]     |
[INFO] [stdout] 207 | pub(crate) struct AssignmentIterator<'a> {
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 16.63s
[INFO] running `Command { std: "docker" "inspect" "cebae276e475f978ccc66600bf70e92e19c4e0fa54eb32ae01ef56bde1089041", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "cebae276e475f978ccc66600bf70e92e19c4e0fa54eb32ae01ef56bde1089041", kill_on_drop: false }`
[INFO] [stdout] cebae276e475f978ccc66600bf70e92e19c4e0fa54eb32ae01ef56bde1089041
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+1.83.0" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] ae33666e9931a27f61dc87531f9514cbd029820b98eab436629b5bd38a9fd55a
[INFO] running `Command { std: "docker" "start" "-a" "ae33666e9931a27f61dc87531f9514cbd029820b98eab436629b5bd38a9fd55a", kill_on_drop: false }`
[INFO] [stderr] warning: field `0` is never read
[INFO] [stderr]   --> src/dynamics/assumptions_on_attacks/dynamic_constraints_encoder_attacks.rs:23:28
[INFO] [stderr]    |
[INFO] [stderr] 23 |     AttackerDisjunctionVar(usize),
[INFO] [stderr]    |     ---------------------- ^^^^^
[INFO] [stderr]    |     |
[INFO] [stderr]    |     field in this variant
[INFO] [stderr]    |
[INFO] [stderr]    = note: `SolverVarType` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stderr]    = note: `#[warn(dead_code)]` on by default
[INFO] [stderr] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stderr]    |
[INFO] [stderr] 23 |     AttackerDisjunctionVar(()),
[INFO] [stderr]    |                            ~~
[INFO] [stderr] 
[INFO] [stderr] warning: field `0` is never read
[INFO] [stderr]   --> src/dynamics/dynamic_constraints_encoder.rs:22:28
[INFO] [stderr]    |
[INFO] [stderr] 22 |     AttackerDisjunctionVar(usize),
[INFO] [stderr]    |     ---------------------- ^^^^^
[INFO] [stderr]    |     |
[INFO] [stderr]    |     field in this variant
[INFO] [stderr]    |
[INFO] [stderr]    = note: `SolverVarType` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stderr] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stderr]    |
[INFO] [stderr] 22 |     AttackerDisjunctionVar(()),
[INFO] [stderr]    |                            ~~
[INFO] [stderr] 
[INFO] [stderr] warning: field `0` is never read
[INFO] [stderr]   --> src/dynamics/dynamic_constraints_encoder.rs:23:25
[INFO] [stderr]    |
[INFO] [stderr] 23 |     AttackerSetSelector(usize),
[INFO] [stderr]    |     ------------------- ^^^^^
[INFO] [stderr]    |     |
[INFO] [stderr]    |     field in this variant
[INFO] [stderr]    |
[INFO] [stderr]    = note: `SolverVarType` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stderr] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stderr]    |
[INFO] [stderr] 23 |     AttackerSetSelector(()),
[INFO] [stderr]    |                         ~~
[INFO] [stderr] 
[INFO] [stderr] warning: struct `AssignmentIterator` is never constructed
[INFO] [stderr]    --> src/sat/sat_solver.rs:207:19
[INFO] [stderr]     |
[INFO] [stderr] 207 | pub(crate) struct AssignmentIterator<'a> {
[INFO] [stderr]     |                   ^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `crustabri` (lib) generated 4 warnings
[INFO] [stderr] warning: `crustabri` (lib test) generated 4 warnings (4 duplicates)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.10s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/crustabri-ed33e519ebf642f9)
[INFO] [stdout] 
[INFO] [stdout] running 314 tests
[INFO] [stdout] test aa::aa_framework::tests::test_n_args ... ok
[INFO] [stdout] test aa::aa_framework::tests::test_new_argument ... ok
[INFO] [stdout] test aa::aa_framework::tests::test_new_attack_already_exists ... ok
[INFO] [stdout] test aa::aa_framework::tests::test_new_attack_by_ids_ok ... ok
[INFO] [stdout] test aa::aa_framework::tests::test_new_attack_by_ids_unknown_id_1 ... ok
[INFO] [stdout] test aa::aa_framework::tests::test_new_attack_by_ids_unknown_id_2 ... ok
[INFO] [stdout] test aa::aa_framework::tests::test_add_attack_on_new_arg_after_att_removal ... ok
[INFO] [stdout] test aa::aa_framework::tests::test_new_attack_unknown_label_1 ... ok
[INFO] [stdout] test aa::aa_framework::tests::test_new_attack_unknown_label_2 ... ok
[INFO] [stdout] test aa::aa_framework::tests::test_remove_attack ... ok
[INFO] [stdout] test aa::problem::tests::test_read_problem_no_hyphen ... ok
[INFO] [stdout] test aa::problem::tests::test_iter_as_strings ... ok
[INFO] [stdout] test aa::aa_framework::tests::test_remove_argument ... ok
[INFO] [stdout] test aa::aa_framework::tests::test_new_attack_ok ... ok
[INFO] [stdout] test aa::problem::tests::test_read_problem_ok ... ok
[INFO] [stdout] test aa::problem::tests::test_read_problem_unknown_query ... ok
[INFO] [stdout] test aa::problem::tests::test_read_problem_unknown_semantics ... ok
[INFO] [stdout] test dynamics::dynamic_preferred_semantics_solver::tests::test_wrong_witness ... ok
[INFO] [stdout] test encodings::aux_var_constraints_encoder::tests::test_no_attacks_admissibility ... ok
[INFO] [stdout] test dynamics::assumptions_on_attacks::dynamic_stable_semantics_solver_attacks::tests::coreo_test_1_25 ... ok
[INFO] [stdout] test dynamics::assumptions_on_attacks::dynamic_complete_semantics_solver_attacks::tests::coreo_test_1_25 ... ok
[INFO] [stdout] test dynamics::buffered_dynamic_constraints_encoder::tests::test_one_new_var_for_multiple_attacks_to_arg ... ok
[INFO] [stdout] test dynamics::dynamic_complete_semantics_solver::tests::test_del_unencoded_arg ... ok
[INFO] [stdout] test dynamics::assumptions_on_attacks::dynamic_stable_semantics_solver_attacks::tests::coreo_test ... ok
[INFO] [stdout] test dynamics::assumptions_on_attacks::dynamic_complete_semantics_solver_attacks::tests::coreo_test_1_5 ... ok
[INFO] [stdout] test dynamics::assumptions_on_attacks::dynamic_stable_semantics_solver_attacks::tests::coreo_test_1_5 ... ok
[INFO] [stdout] test dynamics::assumptions_on_attacks::dynamic_complete_semantics_solver_attacks::tests::test_del_unencoded_arg ... ok
[INFO] [stdout] test dynamics::dynamic_complete_semantics_solver::tests::coreo_test ... ok
[INFO] [stdout] test dynamics::assumptions_on_attacks::dynamic_complete_semantics_solver_attacks::tests::coreo_test ... ok
[INFO] [stdout] test dynamics::dynamic_preferred_semantics_solver::tests::coreo_test ... ok
[INFO] [stdout] test encodings::aux_var_constraints_encoder::tests::test_no_attacks_conflict_freeness ... ok
[INFO] [stdout] test dynamics::dynamic_stable_semantics_solver::tests::coreo_test ... ok
[INFO] [stdout] test encodings::aux_var_constraints_encoder::tests::test_no_attacks_complete_semantics ... ok
[INFO] [stdout] test encodings::exp_constraints_encoder::tests::test_no_attacks_complete_semantics ... ok
[INFO] [stdout] test encodings::exp_constraints_encoder::tests::test_no_attacks_conflict_freeness ... ok
[INFO] [stdout] test encodings::hybrid_complete_constraints_encoder::tests::test_no_attacks ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_read_empty ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_arg_line_pattern_ok ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_arg_line_pattern_not_ok ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_read_syntax_error ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_att_line_pattern_not_ok ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_try_read_arg_line_wrong_line_pattern ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_att_line_pattern_ok ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_try_read_att_line_wrong_line_pattern ... ok
[INFO] [stdout] test io::aspartix_writer::tests::test_write_acceptance_status_no ... ok
[INFO] [stdout] test io::aspartix_writer::tests::test_write_acceptance_status_yes ... ok
[INFO] [stdout] test io::aspartix_writer::tests::test_write_empty_extension ... ok
[INFO] [stdout] test io::aspartix_writer::tests::test_write_no_extension ... ok
[INFO] [stdout] test io::aspartix_writer::tests::test_write_single_extension ... ok
[INFO] [stdout] test io::aspartix_writer::tests::test_write_af ... ok
[INFO] [stdout] test io::iccma23_reader::tests::test_arg_in_no_attack ... ok
[INFO] [stdout] test io::iccma23_reader::tests::test_empty_instance ... ok
[INFO] [stdout] test io::iccma23_reader::tests::test_empty_line_in_the_middle ... ok
[INFO] [stdout] test io::iccma23_reader::tests::test_error_in_attack_word_0 ... ok
[INFO] [stdout] test io::iccma23_reader::tests::test_error_in_attack_word_1 ... ok
[INFO] [stdout] test io::iccma23_reader::tests::test_error_in_attack_word_2 ... ok
[INFO] [stdout] test io::iccma23_reader::tests::test_error_in_preamble_word_0 ... ok
[INFO] [stdout] test io::iccma23_reader::tests::test_error_in_preamble_word_2 ... ok
[INFO] [stdout] test io::iccma23_reader::tests::test_empty_line_at_the_beginning ... ok
[INFO] [stdout] test io::iccma23_reader::tests::test_error_in_preamble_word_3 ... ok
[INFO] [stdout] test io::iccma23_reader::tests::test_ok ... ok
[INFO] [stdout] test io::iccma23_reader::tests::test_error_in_preamble_word_1 ... ok
[INFO] [stdout] test io::iccma23_reader::tests::test_ok_empty_lines_at_the_end ... ok
[INFO] [stdout] test io::iccma23_reader::tests::test_read_arg_from_str ... ok
[INFO] [stdout] test io::iccma23_writer::tests::test_write_empty_extension ... ok
[INFO] [stdout] test io::iccma23_reader::tests::test_comment ... ok
[INFO] [stdout] test io::iccma23_reader::tests::test_ok_missing_last_lf ... ok
[INFO] [stdout] test io::iccma23_writer::tests::test_write_acceptance_status_yes ... ok
[INFO] [stdout] test io::iccma23_writer::tests::test_write_acceptance_status_no ... ok
[INFO] [stdout] test io::iccma23_writer::tests::test_write_no_extension ... ok
[INFO] [stdout] test io::iccma23_writer::tests::test_write_single_extension ... ok
[INFO] [stdout] test io::warning_result::tests::test_consume_warnings_ok ... ok
[INFO] [stdout] test io::warning_result::tests::test_zip_ww ... ok
[INFO] [stdout] test io::warning_result::tests::test_zip_ow ... ok
[INFO] [stdout] test io::warning_result::tests::test_zip_wo ... ok
[INFO] [stdout] test sat::buffered_sat_solver::tests::test_input_ok ... ok
[INFO] [stdout] test sat::buffered_sat_solver::tests::test_output_comment ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_arg_in_no_attack ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_try_read_arg_line_wrong_name ... ok
[INFO] [stdout] test sat::buffered_sat_solver::tests::test_output_no_s_line ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_try_read_att_line_ok ... ok
[INFO] [stdout] test io::warning_result::tests::test_zip_oo ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_read_ok ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_read_arg_from_str ... ok
[INFO] [stdout] test sat::buffered_sat_solver::tests::test_output_comment_with_no_message ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_try_read_att_line_wrong_name ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_read_unknown_arg_in_att ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_read_arg_after_att ... ok
[INFO] [stdout] test sat::buffered_sat_solver::tests::test_output_sat_no_s_line ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_try_read_arg_line_ok ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_read_warn_arg_left_space ... ok
[INFO] [stdout] test sat::buffered_sat_solver::tests::test_output_sat_no_v_line ... ok
[INFO] [stdout] test io::warning_result::tests::test_consume_warnings_warned ... ok
[INFO] [stdout] test sat::buffered_sat_solver::tests::test_output_sat_ok_multiple_v_lines ... ok
[INFO] [stdout] test sat::buffered_sat_solver::tests::test_output_sat_ok ... ok
[INFO] [stdout] test sat::buffered_sat_solver::tests::test_output_sat_ok_with_v_lines_without_lits ... ok
[INFO] [stdout] test sat::buffered_sat_solver::tests::test_output_unsat_ok ... ok
[INFO] [stdout] test sat::sat_solver::tests::test_lit_from_neg ... ok
[INFO] [stdout] test sat::cadical_solver::tests::test_unsat ... ok
[INFO] [stdout] test sat::sat_solver::tests::test_negate_lit ... ok
[INFO] [stdout] test sat::cadical_solver::tests::test_iterative ... ok
[INFO] [stdout] test sat::cadical_solver::tests::test_reserve ... ok
[INFO] [stdout] test sat::sat_solver::tests::test_solving_result_unwrap_model_none ... ok
[INFO] [stdout] test sat::cadical_solver::tests::test_sat ... ok
[INFO] [stdout] test sat::cadical_solver::tests::test_solve_under_assumptions ... ok
[INFO] [stdout] test sat::sat_solver::tests::test_lit_from_pos ... ok
[INFO] [stdout] test sat::sat_solver::tests::test_var_from_pos ... ok
[INFO] [stdout] test solvers::complete_semantics_solver::tests::test_acceptance_1_hybrid ... ok
[INFO] [stdout] test solvers::complete_semantics_solver::tests::test_acceptance_1_exp ... ok
[INFO] [stdout] test solvers::complete_semantics_solver::tests::test_acceptance_2_auxvar ... ok
[INFO] [stdout] test sat::external_sat_solver::tests::test_solve_under_assumptions_output ... ok
[INFO] [stdout] test sat::sat_solver::tests::test_solving_result_unwrap_model_some ... ok
[INFO] [stdout] test solvers::complete_semantics_solver::tests::test_acceptance_2_exp ... ok
[INFO] [stdout] test solvers::complete_semantics_solver::tests::test_acceptance_2_hybrid ... ok
[INFO] [stdout] test solvers::complete_semantics_solver::tests::test_certificates_auxvar ... ok
[INFO] [stdout] test solvers::complete_semantics_solver::tests::test_acceptance_1_auxvar ... ok
[INFO] [stdout] test sat::external_sat_solver::tests::test_solve_output ... ok
[INFO] [stdout] test solvers::complete_semantics_solver::tests::test_certificates_exp ... ok
[INFO] [stdout] test solvers::complete_semantics_solver::tests::test_certificates_hybrid ... ok
[INFO] [stdout] test solvers::complete_semantics_solver::tests::test_credulous_acceptance_after_arg_removal_auxvar ... ok
[INFO] [stdout] test solvers::complete_semantics_solver::tests::test_credulous_acceptance_after_arg_removal_exp ... ok
[INFO] [stdout] test solvers::complete_semantics_solver::tests::test_acceptance_3_auxvar ... ok
[INFO] [stdout] test solvers::complete_semantics_solver::tests::test_acceptance_3_exp ... ok
[INFO] [stdout] test solvers::complete_semantics_solver::tests::test_acceptance_3_hybrid ... ok
[INFO] [stdout] test solvers::complete_semantics_solver::tests::test_credulous_acceptance_after_arg_removal_hybrid ... ok
[INFO] [stdout] test solvers::complete_semantics_solver::tests::test_disj_credulous_acceptance_auxvar ... ok
[INFO] [stdout] test solvers::complete_semantics_solver::tests::test_funnel_hybrid ... ok
[INFO] [stdout] test solvers::complete_semantics_solver::tests::test_disj_credulous_acceptance_exp ... ok
[INFO] [stdout] test solvers::grounded_semantics_solver::tests::test_certificates ... ok
[INFO] [stdout] test solvers::complete_semantics_solver::tests::test_funnel_auxvar ... ok
[INFO] [stdout] test solvers::grounded_semantics_solver::tests::test_disj_credulous_acceptance ... ok
[INFO] [stdout] test solvers::complete_semantics_solver::tests::test_disj_credulous_acceptance_hybrid ... ok
[INFO] [stdout] test solvers::grounded_semantics_solver::tests::test_grounded_solver ... ok
[INFO] [stdout] test solvers::grounded_semantics_solver::tests::test_disj_skeptical_acceptance ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_compute_ideal_ext_is_grounded_auxvar ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_compute_ideal_ext_is_grounded_exp ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_compute_ideal_ext_is_grounded_hybrid ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_compute_ideal_ext_is_not_grounded_auxvar ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_compute_ideal_ext_is_single_preferred_hybrid ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_compute_ideal_ext_is_not_grounded_hybrid ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_compute_ideal_ext_is_single_preferred_auxvar ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_compute_ideal_ext_is_not_grounded_exp ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_compute_ideal_ext_is_single_preferred_exp ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_disj_credulous_acceptance_auxvar ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_disj_credulous_acceptance_exp ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_disj_skeptical_acceptance_auxvar ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_funnel_auxvar ... ok
[INFO] [stdout] test solvers::complete_semantics_solver::tests::test_funnel_exp ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_disj_credulous_acceptance_hybrid ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_disj_skeptical_acceptance_hybrid ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_disj_skeptical_acceptance_exp ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_ideal_acceptance_ext_is_grounded_auxvar ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_funnel_hybrid ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_ideal_acceptance_ext_is_grounded_exp ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_ideal_acceptance_ext_is_single_preferred_auxvar ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_ideal_acceptance_ext_is_single_preferred_exp ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_ideal_acceptance_ext_is_single_preferred_hybrid ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_ideal_acceptance_ext_is_grounded_hybrid ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_ideal_acceptance_exp ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_ideal_acceptance_auxvar ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_ideal_acceptance_in_all_preferred_but_not_in_ideal_auxvar ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_ideal_acceptance_hybrid ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_ideal_acceptance_in_all_preferred_but_not_in_ideal_hybrid ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_ideal_acceptance_in_all_preferred_but_not_in_ideal_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_compute_one_semi_stable_after_arg_removal_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_compute_one_semi_stable_after_arg_removal_hybrid ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_compute_one_semi_stable_after_arg_removal_auxvar ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_compute_one_semi_stable_ext_is_grounded_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_compute_one_semi_stable_ext_is_grounded_auxvar ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_compute_one_semi_stable_ext_is_not_grounded_auxvar ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_with_certificate_hybrid ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_compute_one_semi_stable_ext_is_grounded_hybrid ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_compute_one_stage_after_arg_removal_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_compute_one_semi_stable_ext_is_not_grounded_hybrid ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_with_certificate_auxvar ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_compute_one_stage_ext_is_grounded_auxvar ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_with_certificate_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_compute_one_stage_after_arg_removal_auxvar ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_compute_one_semi_stable_ext_is_not_grounded_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_compute_one_stage_ext_is_grounded_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_compute_one_stage_ext_is_not_grounded_auxvar ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_compute_one_stage_ext_is_not_grounded_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_check_certificate_involve_var_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_check_certificate_involve_var_auxvar ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_check_certificate_involve_var_hybrid ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_credulous_acceptance_after_arg_removal_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_credulous_acceptance_auto_attack_auxvar ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_credulous_acceptance_auto_attack_hybrid ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_credulous_acceptance_after_arg_removal_hybrid ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_credulous_acceptance_auxvar ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_credulous_acceptance_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_credulous_acceptance_after_arg_removal_auxvar ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_credulous_acceptance_auto_attack_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_credulous_acceptance_hybrid ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_disj_credulous_acceptance_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_disj_credulous_acceptance_auxvar ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_skeptical_acceptance_after_arg_removal_auxvar ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_disj_skeptical_acceptance_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_disj_credulous_acceptance_hybrid ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_skeptical_acceptance_after_arg_removal_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_disj_skeptical_acceptance_hybrid ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_skeptical_acceptance_auto_attack_auxvar ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_skeptical_acceptance_auto_attack_hybrid ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_skeptical_acceptance_auto_attack_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_skeptical_acceptance_auxvar ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_skeptical_acceptance_hybrid ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_skeptical_acceptance_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_disj_skeptical_acceptance_auxvar ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_stage_credulous_acceptance_auto_attack_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_stage_credulous_acceptance_after_arg_removal_auxvar ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_skeptical_acceptance_after_arg_removal_hybrid ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_stage_credulous_acceptance_after_arg_removal_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_stage_credulous_acceptance_auto_attack_auxvar ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_stage_credulous_acceptance_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_stage_credulous_acceptance_auxvar ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_funnel_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_stage_skeptical_acceptance_after_arg_removal_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_stage_skeptical_acceptance_after_arg_removal_auxvar ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_stage_skeptical_acceptance_auto_attackauxvar ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_stage_disj_skeptical_acceptance_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_stage_skeptical_acceptance_auto_attackexp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_stage_disj_credulous_acceptance_auxvar ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_stage_disj_credulous_acceptance_exp ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_allow_ds_shortcut_auxvar ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_allow_ds_shortcut_hybrid ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_certificates_auxvar ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_stage_skeptical_acceptance_auxvar ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_certificates_connected_components_hybrid ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_certificates_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_stage_disj_skeptical_acceptance_auxvar ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_certificates_connected_components_exp ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_certificates_hybrid ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_certificates_connected_components_auxvar ... ok
[INFO] [stdout] test sat::buffered_sat_solver::tests::test_output_sat_multiple_status_lines - should panic ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_compute_one_preferred_after_arg_removal_auxvar ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_allow_ds_shortcut_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_stage_skeptical_acceptance_exp ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_compute_one_preferred_after_arg_removal_exp ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_compute_one_preferred_ext_is_grounded_auxvar ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_compute_one_preferred_ext_is_grounded_exp ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_compute_one_preferred_after_arg_removal_hybrid ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_compute_one_preferred_ext_is_not_grounded_auxvar ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_enumerate_extensions_auxvar ... ok
[INFO] [stdout] test sat::buffered_sat_solver::tests::test_output_sat_not_a_var - should panic ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_compute_one_preferred_ext_is_grounded_hybrid ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_compute_one_preferred_ext_is_not_grounded_exp ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_enumerate_extensions_exp ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_compute_one_preferred_ext_is_not_grounded_hybrid ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_disj_skeptical_acceptance_exp ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_enumerate_extensions_with_autoattack_auxvar ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_enumerate_extensions_hybrid ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_skeptical_acceptance_after_arg_removal_auxvar ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_disj_skeptical_acceptance_hybrid ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_enumerate_extensions_with_autoattack_exp ... ok
[INFO] [stdout] test sat::buffered_sat_solver::tests::test_output_sat_multiple_zeroes_in_v_lines - should panic ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_funnel_auxvar ... ok
[INFO] [stdout] test sat::buffered_sat_solver::tests::test_output_unexpected_line - should panic ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_skeptical_acceptance_auto_attack_exp ... ok
[INFO] [stdout] test sat::buffered_sat_solver::tests::test_output_sat_var_out_of_bounds - should panic ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_skeptical_acceptance_after_arg_removal_exp ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_funnel_hybrid ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_skeptical_acceptance_after_arg_removal_hybrid ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_skeptical_acceptance_auto_attack_hybrid ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_skeptical_acceptance_auto_attack_auxvar ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_enumerate_extensions_with_autoattack_hybrid ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_disj_skeptical_acceptance_auxvar ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_skeptical_acceptance_hybrid ... ok
[INFO] [stdout] test sat::sat_solver::tests::test_var_from_neg - should panic ... ok
[INFO] [stdout] test sat::sat_solver::tests::test_lit_from_null - should panic ... ok
[INFO] [stdout] test sat::sat_solver::tests::test_solving_result_unwrap_model_unknown - should panic ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_skeptical_acceptance_exp ... ok
[INFO] [stdout] test sat::sat_solver::tests::test_var_from_null - should panic ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_skeptical_acceptance_with_autoattack_auxvar ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_funnel_exp ... ok
[INFO] [stdout] test solvers::stable_semantics_solver::tests::test_certificates ... ok
[INFO] [stdout] test solvers::stable_semantics_solver::tests::test_compute_one_auto_attack ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_skeptical_acceptance_with_autoattack_hybrid ... ok
[INFO] [stdout] test solvers::stable_semantics_solver::tests::test_acceptance_connected_components_shortcut ... ok
[INFO] [stdout] test solvers::stable_semantics_solver::tests::test_acceptance_2 ... ok
[INFO] [stdout] test solvers::stable_semantics_solver::tests::test_compute_one ... ok
[INFO] [stdout] test solvers::stable_semantics_solver::tests::test_compute_one_no_exists ... ok
[INFO] [stdout] test solvers::stable_semantics_solver::tests::test_disj_credulous_acceptance ... ok
[INFO] [stdout] test solvers::stable_semantics_solver::tests::test_acceptance_1 ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_skeptical_acceptance_auxvar ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_skeptical_acceptance_with_autoattack_exp ... ok
[INFO] [stdout] test solvers::stable_semantics_solver::tests::test_certificates_connected_components ... ok
[INFO] [stdout] test solvers::stable_semantics_solver::tests::test_disj_skeptical_acceptance ... ok
[INFO] [stdout] test utils::connected_components_computer::tests::test_connected_components ... ok
[INFO] [stdout] test utils::connected_components_computer::tests::test_connected_components_after_arg_removal ... ok
[INFO] [stdout] test utils::connected_components_computer::tests::test_connected_components_of ... ok
[INFO] [stdout] test utils::equivalency_computer::tests::test_autoattack ... ok
[INFO] [stdout] test utils::equivalency_computer::tests::test_compute_classes_ring_of_3 ... ok
[INFO] [stdout] test utils::equivalency_computer::tests::test_grounded_classes_path ... ok
[INFO] [stdout] test utils::equivalency_computer::tests::test_propagate_ring_of_3 ... ok
[INFO] [stdout] test utils::equivalency_computer::tests::test_grounded_classes_with_ring_of_4 ... ok
[INFO] [stdout] test utils::equivalency_computer::tests::test_reduce_grounded_path ... ok
[INFO] [stdout] test utils::grounded_extension_computer::tests::test_grounded_extension_1 ... ok
[INFO] [stdout] test utils::label::tests::test_add_labels ... ok
[INFO] [stdout] test utils::grounded_extension_computer::tests::test_grounded_extension_2 ... ok
[INFO] [stdout] test utils::label::tests::test_into_iterator ... ok
[INFO] [stdout] test utils::label::tests::test_get_label ... ok
[INFO] [stdout] test utils::label::tests::test_new_repeated_labels ... ok
[INFO] [stdout] test utils::equivalency_computer::tests::test_propagate_ring_of_4 ... ok
[INFO] [stdout] test utils::label::tests::test_remove_label ... ok
[INFO] [stdout] test utils::grounded_extension_computer::tests::test_grounded_extension_empty_af ... ok
[INFO] [stdout] test utils::label::tests::test_new_with_empty_labels ... ok
[INFO] [stdout] test utils::label::tests::test_max_id ... ok
[INFO] [stdout] test utils::equivalency_computer::tests::test_grounded_classes_hierarchy ... ok
[INFO] [stdout] test utils::equivalency_computer::tests::test_compute_classes_ring_of_4 ... ok
[INFO] [stdout] test utils::equivalency_computer::tests::test_grounded_classes_with_ring_of_3 ... ok
[INFO] [stdout] test utils::grounded_extension_computer::tests::test_grounded_extension_after_arg_removal ... ok
[INFO] [stdout] test utils::connected_components_computer::tests::test_connected_components_of_twice - should panic ... ok
[INFO] [stdout] test utils::label::tests::test_remove_nonexisting_label - should panic ... ok
[INFO] [stdout] test utils::label::tests::test_new_with_labels ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 314 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.10s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/crustabri-8b58964608d5d067)
[INFO] [stdout] 
[INFO] [stdout] running 15 tests
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] crustabri 1.1.1
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] crustabri 1.1.1
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] ----------------------------------------
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] crustabri 1.1.1
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] app_name app_version
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] ----------------------------------------
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] crustabri 1.1.1
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] ----------------------------------------
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] app_name app_version
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] app_name app_version
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] ----------------------------------------
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] author
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] about
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] 
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] USAGE:
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33]     app_name <SUBCOMMAND>
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] 
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] FLAGS:
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33]     -h, --help    
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] app_name app_version
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] local_command_name 
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] local_command_about
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] 
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33]             Prints help information
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] 
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] USAGE:
[INFO] [stdout] test app::app_helper::tests::test_no_args ... ![[36mINFO [0m] [2024-12-15 03:32:33] 
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] SUBCOMMANDS:
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33]     help                  Prints this message or the help of the given subcommand(s)
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33]     local_command_name [FLAGS]
[INFO] [stdout] ok
[INFO] [stdout] test app::app_helper::tests::test_no_subcommand ... ok
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] 
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33]     local_command_name    local_command_about
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] 
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] FLAGS:
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33]     -a            
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33]             
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] 
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33]     -h, --help    
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33]             Prints help information
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] 
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] 
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] app_name app_version
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] author
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] about
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] 
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] USAGE:
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33]     app_name <SUBCOMMAND>
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] 
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] FLAGS:
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33]     -h, --help    
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33]             Prints help information
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] 
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] 
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] SUBCOMMANDS:
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33]     help                  Prints this message or the help of the given subcommand(s)
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33]     local_command_name    local_command_about
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] 
[INFO] [stdout] test app::cli_manager::tests::test_wrong_subcommand ... ok
[INFO] [stdout] test app::writable_string::tests::test_debug ... ok
[INFO] [stdout] test app::cli_manager::tests::test_help ... ok
[INFO] [stdout] test app::cli_manager::tests::test_help_for_subcommand ... ok
[INFO] [stdout] test app::cli_manager::tests::test_help_subcommand ... ok
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] app_name app_version
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] app_name app_version
[INFO] [stdout] test app::writable_string::tests::test_display ... ok
[INFO] [stdout] test app::cli_manager::tests::test_no_subcommand ... ok
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] local_command_name 
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] local_command_about
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] 
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] USAGE:
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33]     local_command_name [FLAGS]
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] 
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] FLAGS:
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33]     -a            
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33]             
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] 
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33]     -h, --help    
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33]             Prints help information
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] 
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] 
[INFO] [stdout] test app::cli_manager::tests::test_wrong_arg ... ok
[INFO] [stdout] test app::cli_manager::tests::test_subcommand_help ... ok
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] running on ae33666e9931
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] running on ae33666e9931
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] running on ae33666e9931
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] OS is Ubuntu 22.04 with kernel 6.8.0-1015-gcp
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] OS is Ubuntu 22.04 with kernel 6.8.0-1015-gcp
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] OS is Ubuntu 22.04 with kernel 6.8.0-1015-gcp
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] running on ae33666e9931
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] physical core count: 8 ["AMD EPYC 7B13"]
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] total memory: 16763056 KB
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] OS is Ubuntu 22.04 with kernel 6.8.0-1015-gcp
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] ----------------------------------------
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] exiting successfully after 53.436595ms
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] physical core count: 8 ["AMD EPYC 7B13"]
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] physical core count: 8 ["AMD EPYC 7B13"]
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] total memory: 16763056 KB
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] ----------------------------------------
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] physical core count: 8 ["AMD EPYC 7B13"]
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] total memory: 16763056 KB
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] ----------------------------------------
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] total memory: 16763056 KB
[INFO] [stdout] test app::app_helper::tests::test_subcommand_ok ... ok
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] ----------------------------------------
[INFO] [stdout] test app::cli_manager::tests::test_command_involved ... ok
[INFO] [stdout] test app::app_helper::tests::test_subcommand_err ... ok
[INFO] [stdout] test app::cli_manager::tests::test_command_and_arg_involved ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 15 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.06s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/main_iccma23.rs (/opt/rustwide/target/debug/deps/crustabri_iccma23-403d6abe423b28e4)
[INFO] [stdout] 
[INFO] [stdout] running 15 tests
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] crustabri 1.1.1
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] app_name app_version
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] ----------------------------------------
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] crustabri 1.1.1
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] ----------------------------------------
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] crustabri 1.1.1
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] crustabri 1.1.1
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] ----------------------------------------
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] app_name app_version
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] author
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] about
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] local_command_name 
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] local_command_about
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] 
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] USAGE:
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33]     local_command_name [FLAGS]
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] 
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] FLAGS:
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33]     -a            
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33]             
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] 
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33]     -h, --help    
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33]             Prints help information
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] 
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] USAGE:
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33]     app_name <SUBCOMMAND>
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] 
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] FLAGS:
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33]     -h, --help    
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33]             Prints help information
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] 
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] 
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] SUBCOMMANDS:
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33]     help                  Prints this message or the help of the given subcommand(s)
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33]     local_command_name    local_command_about
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] 
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] app_name app_version
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] author
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] about
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] 
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] USAGE:
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33]     app_name <SUBCOMMAND>
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] 
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] 
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] 
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] FLAGS:
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33]     -h, --help    
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33]             Prints help information
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] 
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] 
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] SUBCOMMANDS:
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33]     help                  Prints this message or the help of the given subcommand(s)
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33]     local_command_name    local_command_about
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] 
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] app_name app_version
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] ----------------------------------------
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] app_name app_version
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] local_command_name 
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] local_command_about
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] 
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] USAGE:
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33]     local_command_name [FLAGS]
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] 
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] FLAGS:
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33]     -a            
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33]             
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] 
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33]     -h, --help    
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33]             Prints help information
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] 
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] 
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] app_name app_version
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] app_name app_version
[INFO] [stdout] test app::app_helper::tests::test_no_args ... ok
[INFO] [stdout] test app::app_helper::tests::test_no_subcommand ... ok
[INFO] [stdout] test app::cli_manager::tests::test_help ... ok
[INFO] [stdout] test app::cli_manager::tests::test_help_for_subcommand ... ok
[INFO] [stdout] test app::cli_manager::tests::test_help_subcommand ... ok
[INFO] [stdout] test app::cli_manager::tests::test_no_subcommand ... ok
[INFO] [stdout] test app::cli_manager::tests::test_subcommand_help ... ok
[INFO] [stdout] test app::cli_manager::tests::test_wrong_subcommand ... ok
[INFO] [stdout] test app::cli_manager::tests::test_wrong_arg ... ok
[INFO] [stdout] test app::writable_string::tests::test_display ... ok
[INFO] [stdout] test app::writable_string::tests::test_debug ... ok
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] running on ae33666e9931
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] OS is Ubuntu 22.04 with kernel 6.8.0-1015-gcp
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] running on ae33666e9931
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] OS is Ubuntu 22.04 with kernel 6.8.0-1015-gcp
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] physical core count: 8 ["AMD EPYC 7B13"]
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] total memory: 16763056 KB
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] ----------------------------------------
[INFO] [stdout] test app::cli_manager::tests::test_command_and_arg_involved ... ok
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] running on ae33666e9931
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] OS is Ubuntu 22.04 with kernel 6.8.0-1015-gcp
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] physical core count: 8 ["AMD EPYC 7B13"]
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] total memory: 16763056 KB
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] ----------------------------------------
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] physical core count: 8 ["AMD EPYC 7B13"]
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] total memory: 16763056 KB
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] ----------------------------------------
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] exiting successfully after 50.032186ms
[INFO] [stdout] test app::app_helper::tests::test_subcommand_ok ... ok
[INFO] [stdout] test app::cli_manager::tests::test_command_involved ... ok
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] running on ae33666e9931
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] OS is Ubuntu 22.04 with kernel 6.8.0-1015-gcp
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] physical core count: 8 ["AMD EPYC 7B13"]
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] total memory: 16763056 KB
[INFO] [stdout] ![[36mINFO [0m] [2024-12-15 03:32:33] ----------------------------------------
[INFO] [stdout] test app::app_helper::tests::test_subcommand_err ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 15 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.05s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_iccma23_aa.rs (/opt/rustwide/target/debug/deps/test_iccma23_aa-4c46e055e0690767)
[INFO] [stdout] 
[INFO] [stdout] running 55 tests
[INFO] [stdout] test test_complete_ds_2 ... ok
[INFO] [stdout] test test_complete_ds_3 ... ok
[INFO] [stdout] test test_complete_dc_2 ... ok
[INFO] [stdout] test test_complete_dc_1 ... ok
[INFO] [stdout] test test_ideal_dc_4 ... ok
[INFO] [stdout] test test_complete_dc_3 ... ok
[INFO] [stdout] test test_complete_se ... ok
[INFO] [stdout] test test_ideal_dc_1 ... ok
[INFO] [stdout] test test_ideal_ds_2 ... ok
[INFO] [stdout] test test_complete_ds_4 ... ok
[INFO] [stdout] test test_ideal_dc_3 ... ok
[INFO] [stdout] test test_complete_ds_1 ... ok
[INFO] [stdout] test test_preferred_dc_1 ... ok
[INFO] [stdout] test test_ideal_se ... ok
[INFO] [stdout] test test_ideal_ds_3 ... ok
[INFO] [stdout] test test_ideal_dc_2 ... ok
[INFO] [stdout] test test_complete_dc_4 ... ok
[INFO] [stdout] test test_ideal_ds_4 ... ok
[INFO] [stdout] test test_preferred_ds_3 ... ok
[INFO] [stdout] test test_preferred_dc_3 ... ok
[INFO] [stdout] test test_preferred_dc_4 ... ok
[INFO] [stdout] test test_ideal_ds_1 ... ok
[INFO] [stdout] test test_preferred_ds_2 ... ok
[INFO] [stdout] test test_preferred_dc_2 ... ok
[INFO] [stdout] test test_semistable_ds_1 ... ok
[INFO] [stdout] test test_preferred_se ... ok
[INFO] [stdout] test test_semistable_dc_1 ... ok
[INFO] [stdout] test test_semistable_ds_2 ... ok
[INFO] [stdout] test test_semistable_dc_4 ... ok
[INFO] [stdout] test test_semistable_dc_2 ... ok
[INFO] [stdout] test test_semistable_dc_3 ... ok
[INFO] [stdout] test test_preferred_ds_4 ... ok
[INFO] [stdout] test test_preferred_ds_1 ... ok
[INFO] [stdout] test test_semistable_ds_4 ... ok
[INFO] [stdout] test test_semistable_ds_3 ... ok
[INFO] [stdout] test test_stable_dc_2 ... ok
[INFO] [stdout] test test_stable_dc_3 ... ok
[INFO] [stdout] test test_semistable_se ... ok
[INFO] [stdout] test test_stable_dc_4 ... ok
[INFO] [stdout] test test_stable_dc_1 ... ok
[INFO] [stdout] test test_stable_ds_4 ... ok
[INFO] [stdout] test test_stable_se ... ok
[INFO] [stdout] test test_stable_ds_2 ... ok
[INFO] [stdout] test test_stage_ds_1 ... ok
[INFO] [stdout] test test_stage_dc_3 ... ok
[INFO] [stdout] test test_stage_dc_2 ... ok
[INFO] [stdout] test test_stable_ds_1 ... ok
[INFO] [stdout] test test_stable_ds_3 ... ok
[INFO] [stdout] test test_stage_dc_1 ... ok
[INFO] [stdout] test test_stage_ds_2 ... ok
[INFO] [stdout] test test_stage_dc_4 ... ok
[INFO] [stdout] test test_stage_se ... ok
[INFO] [stdout] test test_stage_ds_4 ... ok
[INFO] [stdout] test test_stage_ds_3 ... ok
[INFO] [stdout] test test_stg_se_no_constraints ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 55 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.64s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_iccma23_authors.rs (/opt/rustwide/target/debug/deps/test_iccma23_authors-3e0da544e8df9007)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stderr]      Running tests/test_iccma23_problems.rs (/opt/rustwide/target/debug/deps/test_iccma23_problems-6902197c00264126)
[INFO] [stdout] test test_iccma23 ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test test_iccma23 ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests crustabri
[INFO] [stdout] 
[INFO] [stdout] running 68 tests
[INFO] [stdout] test src/aa/aa_framework.rs - aa::aa_framework::Attack (line 34) ... ok
[INFO] [stdout] test src/aa/aa_framework.rs - aa::aa_framework::Attack<'a,T>::attacked (line 70) ... ok
[INFO] [stdout] test src/aa/aa_framework.rs - aa::aa_framework::Attack<'a,T>::attacker (line 55) ... ok
[INFO] [stdout] test src/aa/arguments.rs - aa::arguments::Argument (line 18) ... ok
[INFO] [stdout] test src/aa/aa_framework.rs - aa::aa_framework::AAFramework<T>::n_arguments (line 395) ... FAILED
[INFO] [stdout] test src/aa/aa_framework.rs - aa::aa_framework::AAFramework<T>::n_attacks (line 419) ... FAILED
[INFO] [stdout] test src/aa/aa_framework.rs - aa::aa_framework::AAFramework<T>::grounded_extension (line 441) ... FAILED
[INFO] [stdout] test src/aa/aa_framework.rs - aa::aa_framework::AAFramework<T>::new_attack (line 192) ... FAILED
[INFO] [stdout] test src/aa/aa_framework.rs - aa::aa_framework::AAFramework<T>::iter_attacks (line 311) ... FAILED
[INFO] [stdout] test src/aa/arguments.rs - aa::arguments::ArgumentSet<T>::new_argument (line 71) ... FAILED
[INFO] [stdout] test src/aa/aa_framework.rs - aa::aa_framework::AAFramework<T>::remove_attack (line 226) ... FAILED
[INFO] [stdout] test src/aa/aa_framework.rs - aa::aa_framework::AAFramework<T>::argument_set (line 296) ... FAILED
[INFO] [stdout] test src/aa/aa_framework.rs - aa::aa_framework::AAFramework<T>::remove_argument (line 145) ... FAILED
[INFO] [stdout] test src/aa/aa_framework.rs - aa::aa_framework::AAFramework<T>::iter_attacks_from (line 336) ... FAILED
[INFO] [stdout] test src/io/specs.rs - io::specs::InstanceReader::read (line 30) ... FAILED
[INFO] [stdout] test src/aa/aa_framework.rs - aa::aa_framework::AAFramework<T>::new_with_argument_set (line 92) ... FAILED
[INFO] [stdout] test src/aa/aa_framework.rs - aa::aa_framework::AAFramework<T>::iter_attacks_to (line 368) ... ok
[INFO] [stdout] test src/aa/aa_framework.rs - aa::aa_framework::AAFramework<T>::new_argument (line 117) ... ok
[INFO] [stdout] test src/sat/external_sat_solver.rs - sat::external_sat_solver::ExternalSatSolver::new (line 29) - compile ... ok
[INFO] [stdout] test src/aa/arguments.rs - aa::arguments::ArgumentSet<T>::get_argument_by_id (line 190) ... ok
[INFO] [stdout] test src/aa/arguments.rs - aa::arguments::ArgumentSet<T>::get_argument (line 168) ... ok
[INFO] [stdout] test src/aa/arguments.rs - aa::arguments::ArgumentSet<T>::max_id (line 133) ... ok
[INFO] [stdout] test src/aa/arguments.rs - aa::arguments::ArgumentSet<T>::is_empty (line 149) ... ok
[INFO] [stdout] test src/aa/arguments.rs - aa::arguments::ArgumentSet<T>::has_argument_with_id (line 208) ... ok
[INFO] [stdout] test src/aa/arguments.rs - aa::arguments::ArgumentSet<T>::iter (line 225) ... ok
[INFO] [stdout] test src/aa/arguments.rs - aa::arguments::ArgumentSet<T>::len (line 115) ... ok
[INFO] [stdout] test src/aa/arguments.rs - aa::arguments::ArgumentSet<T>::remove_argument (line 92) ... ok
[INFO] [stdout] test src/aa/arguments.rs - aa::arguments::ArgumentSet<T>::new_with_labels (line 54) ... ok
[INFO] [stdout] test src/io/aspartix_writer.rs - io::aspartix_writer::AspartixWriter (line 35) ... ok
[INFO] [stdout] test src/io/specs.rs - io::specs::InstanceReader::read_arg_from_str (line 48) ... ok
[INFO] [stdout] test src/io/aspartix_writer.rs - io::aspartix_writer::AspartixWriter::write_framework (line 57) ... ok
[INFO] [stdout] test src/io/aspartix_reader.rs - io::aspartix_reader::AspartixReader (line 87) ... ok
[INFO] [stdout] test src/sat/sat_solver.rs - sat::sat_solver::Assignment::iter (line 191) ... ok
[INFO] [stdout] test src/sat/sat_solver.rs - sat::sat_solver::SatSolver::n_vars (line 329) ... ok
[INFO] [stdout] test src/sat/sat_solver.rs - sat::sat_solver::Literal::negate (line 69) ... ok
[INFO] [stdout] test src/sat/sat_solver.rs - sat::sat_solver::Literal::var (line 85) ... ok
[INFO] [stdout] test src/sat/sat_solver.rs - sat::sat_solver::Assignment::value_of (line 163) ... ok
[INFO] [stdout] test src/sat/sat_solver.rs - sat::sat_solver::SatSolver::solve_under_assumptions (line 300) ... ok
[INFO] [stdout] test src/lib.rs - (line 8) ... ok
[INFO] [stdout] test src/sat/sat_solver.rs - sat::sat_solver::SatSolver::solve (line 272) ... ok
[INFO] [stdout] test src/solvers/grounded_semantics_solver.rs - solvers::grounded_semantics_solver::GroundedSemanticsSolver<'a,T>::new (line 31) ... ok
[INFO] [stdout] test src/solvers/complete_semantics_solver.rs - solvers::complete_semantics_solver::CompleteSemanticsSolver<'a,T>::new (line 40) ... ok
[INFO] [stdout] test src/solvers/ideal_semantics_solver.rs - solvers::ideal_semantics_solver::IdealSemanticsSolver<'a,T>::new (line 41) ... ok
[INFO] [stdout] test src/solvers/complete_semantics_solver.rs - solvers::complete_semantics_solver::CompleteSemanticsSolver<'a,T>::new_with_sat_solver_factory (line 68) ... ok
[INFO] [stdout] test src/solvers/complete_semantics_solver.rs - solvers::complete_semantics_solver::CompleteSemanticsSolver<'a,T>::new_with_sat_solver_factory_and_constraints_encoder (line 107) ... FAILED
[INFO] [stdout] test src/solvers/maximal_range_semantics_solvers.rs - solvers::maximal_range_semantics_solvers::SemiStableSemanticsSolver<'a,T>::new_with_sat_solver_factory (line 64) ... FAILED
[INFO] [stdout] test src/utils/label.rs - utils::label::LabelSet<T>::has_label_with_id (line 264) ... FAILED
[INFO] [stdout] test src/solvers/ideal_semantics_solver.rs - solvers::ideal_semantics_solver::IdealSemanticsSolver<'a,T>::new_with_sat_solver_factory (line 62) ... FAILED
[INFO] [stdout] test src/solvers/preferred_semantics_solver.rs - solvers::preferred_semantics_solver::PreferredSemanticsSolver<'a,T>::new (line 40) ... FAILED
[INFO] [stdout] test src/utils/label.rs - utils::label::LabelSet<T>::len (line 164) ... FAILED
[INFO] [stdout] test src/solvers/preferred_semantics_solver.rs - solvers::preferred_semantics_solver::PreferredSemanticsSolver<'a,T>::new_with_sat_solver_factory_and_constraints_encoder (line 93) ... FAILED
[INFO] [stdout] test src/utils/label.rs - utils::label::LabelSet<T>::new_label (line 110) ... FAILED
[INFO] [stdout] test src/solvers/maximal_range_semantics_solvers.rs - solvers::maximal_range_semantics_solvers::StageSemanticsSolver<'a,T>::new_with_sat_solver_factory (line 64) ... FAILED
[INFO] [stdout] test src/solvers/maximal_range_semantics_solvers.rs - solvers::maximal_range_semantics_solvers::SemiStableSemanticsSolver<'a,T>::new (line 41) ... FAILED
[INFO] [stdout] test src/solvers/maximal_range_semantics_solvers.rs - solvers::maximal_range_semantics_solvers::SemiStableSemanticsSolver<'a,T>::new_with_sat_solver_factory_and_constraints_encoder (line 100) ... ok
[INFO] [stdout] test src/solvers/ideal_semantics_solver.rs - solvers::ideal_semantics_solver::IdealSemanticsSolver<'a,T>::new_with_sat_solver_factory_and_constraints_encoder (line 94) ... ok
[INFO] [stdout] test src/utils/label.rs - utils::label::LabelSet<T>::get_label (line 221) ... ok
[INFO] [stdout] test src/solvers/maximal_range_semantics_solvers.rs - solvers::maximal_range_semantics_solvers::StageSemanticsSolver<'a,T>::new_with_sat_solver_factory_and_constraints_encoder (line 100) ... ok
[INFO] [stdout] test src/solvers/stable_semantics_solver.rs - solvers::stable_semantics_solver::StableSemanticsSolver<'a,T>::new_with_sat_solver_factory (line 65) ... ok
[INFO] [stdout] test src/utils/label.rs - utils::label::LabelSet<T>::is_empty (line 202) ... ok
[INFO] [stdout] test src/solvers/preferred_semantics_solver.rs - solvers::preferred_semantics_solver::PreferredSemanticsSolver<'a,T>::new_with_sat_solver_factory (line 61) ... ok
[INFO] [stdout] test src/solvers/maximal_range_semantics_solvers.rs - solvers::maximal_range_semantics_solvers::StageSemanticsSolver<'a,T>::new (line 41) ... ok
[INFO] [stdout] test src/utils/label.rs - utils::label::LabelSet<T>::get_label_by_id (line 246) ... ok
[INFO] [stdout] test src/solvers/stable_semantics_solver.rs - solvers::stable_semantics_solver::StableSemanticsSolver<'a,T>::new (line 40) ... ok
[INFO] [stdout] test src/utils/label.rs - utils::label::LabelSet<T>::iter (line 281) ... ok
[INFO] [stdout] test src/utils/label.rs - utils::label::LabelSet<T>::max_id (line 182) ... ok
[INFO] [stdout] test src/utils/label.rs - utils::label::LabelSet<T>::remove_label (line 135) ... ok
[INFO] [stdout] test src/utils/label.rs - utils::label::LabelSet<T>::new_with_labels (line 85) ... ok
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- src/aa/aa_framework.rs - aa::aa_framework::AAFramework<T>::n_arguments (line 395) stdout ----
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note: LC_ALL="C" PATH="/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/bin:/opt/rustwide/cargo-home/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin" VSLANG="1033" "cc" "-m64" "/tmp/rustclqd6ED/symbols.o" "/tmp/rustdoctestl3Yfsf/rust_out.rust_out.cb03291d53e4e161-cgu.0.rcgu.o" "/tmp/rustdoctestl3Yfsf/rust_out.1s7umcihpz0t7nkz1uc2ifee9.rcgu.o" "-Wl,--as-needed" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libcrustabri-9b4c22680294f86d.rlib" "/opt/rustwide/target/debug/deps/libcadical-45e6f673794e4b1e.rlib" "/opt/rustwide/target/debug/deps/libregex-ee15762020a10305.rlib" "/opt/rustwide/target/debug/deps/libregex_automata-bbf71d4d27c431df.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-61dd1ef11431377e.rlib" "/opt/rustwide/target/debug/deps/libmemchr-ac4a08e2ef670a01.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-dd61d2291c59640d.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-8c0bb59ebbb3df6c.rlib" "/opt/rustwide/target/debug/deps/libpermutator-390cd23ef2915c49.rlib" "/opt/rustwide/target/debug/deps/libnum-2ba683ce6e609466.rlib" "/opt/rustwide/target/debug/deps/libnum_rational-dfcc04609e70867d.rlib" "/opt/rustwide/target/debug/deps/libnum_iter-13c44b3fcc32dcea.rlib" "/opt/rustwide/target/debug/deps/libnum_complex-ade0570af1564649.rlib" "/opt/rustwide/target/debug/deps/libnum_bigint-9151f0258a3c1d1e.rlib" "/opt/rustwide/target/debug/deps/libnum_integer-27a23e4b309910e3.rlib" "/opt/rustwide/target/debug/deps/libnum_traits-45baf79f7ef28b7e.rlib" "/opt/rustwide/target/debug/deps/libstrum-bc9995c7f97c927f.rlib" "/opt/rustwide/target/debug/deps/libanyhow-316ed3bfd08c7353.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-ca74a2d9c5166d9f.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-e31ab23316ed5080.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libobject-27dc4aa955912662.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libmemchr-bd0d6cccce077b99.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libaddr2line-8d001680935b5e3c.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgimli-ba8ce71964f984f4.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-99a73526abcec14b.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd_detect-63ac0d22cff92579.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-9057355c92c922d5.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-358be9bc1f6bab04.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libminiz_oxide-aca15549d5bff974.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libadler-8251d2cef7072448.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-7d50b86011c66411.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-51ea098fce5006bf.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-5a14e0d0b712e731.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-8b83dbf3a7b8f999.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-c6fd227bdc7b39ff.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-959d3389fa3da8a5.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-abe05db089cc2c62.rlib" "-Wl,-Bdynamic" "-lstdc++" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/cadical-be35fdb317d15334/out" "-L" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/tmp/rustdoctestl3Yfsf/rust_out" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: collect2: fatal error: ld terminated with signal 9 [Killed]
[INFO] [stdout]           compilation terminated.
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 1 previous error
[INFO] [stdout] 
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/aa/aa_framework.rs - aa::aa_framework::AAFramework<T>::n_attacks (line 419) stdout ----
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note: LC_ALL="C" PATH="/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/bin:/opt/rustwide/cargo-home/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin" VSLANG="1033" "cc" "-m64" "/tmp/rustcTtoEun/symbols.o" "/tmp/rustdoctestaxAf46/rust_out.rust_out.cb03291d53e4e161-cgu.0.rcgu.o" "/tmp/rustdoctestaxAf46/rust_out.1s7umcihpz0t7nkz1uc2ifee9.rcgu.o" "-Wl,--as-needed" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libcrustabri-9b4c22680294f86d.rlib" "/opt/rustwide/target/debug/deps/libcadical-45e6f673794e4b1e.rlib" "/opt/rustwide/target/debug/deps/libregex-ee15762020a10305.rlib" "/opt/rustwide/target/debug/deps/libregex_automata-bbf71d4d27c431df.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-61dd1ef11431377e.rlib" "/opt/rustwide/target/debug/deps/libmemchr-ac4a08e2ef670a01.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-dd61d2291c59640d.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-8c0bb59ebbb3df6c.rlib" "/opt/rustwide/target/debug/deps/libpermutator-390cd23ef2915c49.rlib" "/opt/rustwide/target/debug/deps/libnum-2ba683ce6e609466.rlib" "/opt/rustwide/target/debug/deps/libnum_rational-dfcc04609e70867d.rlib" "/opt/rustwide/target/debug/deps/libnum_iter-13c44b3fcc32dcea.rlib" "/opt/rustwide/target/debug/deps/libnum_complex-ade0570af1564649.rlib" "/opt/rustwide/target/debug/deps/libnum_bigint-9151f0258a3c1d1e.rlib" "/opt/rustwide/target/debug/deps/libnum_integer-27a23e4b309910e3.rlib" "/opt/rustwide/target/debug/deps/libnum_traits-45baf79f7ef28b7e.rlib" "/opt/rustwide/target/debug/deps/libstrum-bc9995c7f97c927f.rlib" "/opt/rustwide/target/debug/deps/libanyhow-316ed3bfd08c7353.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-ca74a2d9c5166d9f.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-e31ab23316ed5080.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libobject-27dc4aa955912662.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libmemchr-bd0d6cccce077b99.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libaddr2line-8d001680935b5e3c.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgimli-ba8ce71964f984f4.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-99a73526abcec14b.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd_detect-63ac0d22cff92579.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-9057355c92c922d5.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-358be9bc1f6bab04.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libminiz_oxide-aca15549d5bff974.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libadler-8251d2cef7072448.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-7d50b86011c66411.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-51ea098fce5006bf.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-5a14e0d0b712e731.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-8b83dbf3a7b8f999.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-c6fd227bdc7b39ff.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-959d3389fa3da8a5.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-abe05db089cc2c62.rlib" "-Wl,-Bdynamic" "-lstdc++" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/cadical-be35fdb317d15334/out" "-L" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/tmp/rustdoctestaxAf46/rust_out" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: collect2: fatal error: ld terminated with signal 9 [Killed]
[INFO] [stdout]           compilation terminated.
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 1 previous error
[INFO] [stdout] 
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/aa/aa_framework.rs - aa::aa_framework::AAFramework<T>::grounded_extension (line 441) stdout ----
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note: LC_ALL="C" PATH="/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/bin:/opt/rustwide/cargo-home/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin" VSLANG="1033" "cc" "-m64" "/tmp/rustcd60wF5/symbols.o" "/tmp/rustdoctestIHiUiH/rust_out.rust_out.cb03291d53e4e161-cgu.0.rcgu.o" "/tmp/rustdoctestIHiUiH/rust_out.1s7umcihpz0t7nkz1uc2ifee9.rcgu.o" "-Wl,--as-needed" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libcrustabri-9b4c22680294f86d.rlib" "/opt/rustwide/target/debug/deps/libcadical-45e6f673794e4b1e.rlib" "/opt/rustwide/target/debug/deps/libregex-ee15762020a10305.rlib" "/opt/rustwide/target/debug/deps/libregex_automata-bbf71d4d27c431df.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-61dd1ef11431377e.rlib" "/opt/rustwide/target/debug/deps/libmemchr-ac4a08e2ef670a01.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-dd61d2291c59640d.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-8c0bb59ebbb3df6c.rlib" "/opt/rustwide/target/debug/deps/libpermutator-390cd23ef2915c49.rlib" "/opt/rustwide/target/debug/deps/libnum-2ba683ce6e609466.rlib" "/opt/rustwide/target/debug/deps/libnum_rational-dfcc04609e70867d.rlib" "/opt/rustwide/target/debug/deps/libnum_iter-13c44b3fcc32dcea.rlib" "/opt/rustwide/target/debug/deps/libnum_complex-ade0570af1564649.rlib" "/opt/rustwide/target/debug/deps/libnum_bigint-9151f0258a3c1d1e.rlib" "/opt/rustwide/target/debug/deps/libnum_integer-27a23e4b309910e3.rlib" "/opt/rustwide/target/debug/deps/libnum_traits-45baf79f7ef28b7e.rlib" "/opt/rustwide/target/debug/deps/libstrum-bc9995c7f97c927f.rlib" "/opt/rustwide/target/debug/deps/libanyhow-316ed3bfd08c7353.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-ca74a2d9c5166d9f.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-e31ab23316ed5080.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libobject-27dc4aa955912662.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libmemchr-bd0d6cccce077b99.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libaddr2line-8d001680935b5e3c.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgimli-ba8ce71964f984f4.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-99a73526abcec14b.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd_detect-63ac0d22cff92579.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-9057355c92c922d5.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-358be9bc1f6bab04.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libminiz_oxide-aca15549d5bff974.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libadler-8251d2cef7072448.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-7d50b86011c66411.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-51ea098fce5006bf.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-5a14e0d0b712e731.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-8b83dbf3a7b8f999.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-c6fd227bdc7b39ff.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-959d3389fa3da8a5.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-abe05db089cc2c62.rlib" "-Wl,-Bdynamic" "-lstdc++" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/cadical-be35fdb317d15334/out" "-L" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/tmp/rustdoctestIHiUiH/rust_out" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: collect2: fatal error: ld terminated with signal 9 [Killed]
[INFO] [stdout]           compilation terminated.
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 1 previous error
[INFO] [stdout] 
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/aa/aa_framework.rs - aa::aa_framework::AAFramework<T>::new_attack (line 192) stdout ----
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note: LC_ALL="C" PATH="/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/bin:/opt/rustwide/cargo-home/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin" VSLANG="1033" "cc" "-m64" "/tmp/rustceWn8KB/symbols.o" "/tmp/rustdoctesteq5JlS/rust_out.rust_out.cb03291d53e4e161-cgu.0.rcgu.o" "/tmp/rustdoctesteq5JlS/rust_out.1s7umcihpz0t7nkz1uc2ifee9.rcgu.o" "-Wl,--as-needed" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libcrustabri-9b4c22680294f86d.rlib" "/opt/rustwide/target/debug/deps/libcadical-45e6f673794e4b1e.rlib" "/opt/rustwide/target/debug/deps/libregex-ee15762020a10305.rlib" "/opt/rustwide/target/debug/deps/libregex_automata-bbf71d4d27c431df.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-61dd1ef11431377e.rlib" "/opt/rustwide/target/debug/deps/libmemchr-ac4a08e2ef670a01.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-dd61d2291c59640d.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-8c0bb59ebbb3df6c.rlib" "/opt/rustwide/target/debug/deps/libpermutator-390cd23ef2915c49.rlib" "/opt/rustwide/target/debug/deps/libnum-2ba683ce6e609466.rlib" "/opt/rustwide/target/debug/deps/libnum_rational-dfcc04609e70867d.rlib" "/opt/rustwide/target/debug/deps/libnum_iter-13c44b3fcc32dcea.rlib" "/opt/rustwide/target/debug/deps/libnum_complex-ade0570af1564649.rlib" "/opt/rustwide/target/debug/deps/libnum_bigint-9151f0258a3c1d1e.rlib" "/opt/rustwide/target/debug/deps/libnum_integer-27a23e4b309910e3.rlib" "/opt/rustwide/target/debug/deps/libnum_traits-45baf79f7ef28b7e.rlib" "/opt/rustwide/target/debug/deps/libstrum-bc9995c7f97c927f.rlib" "/opt/rustwide/target/debug/deps/libanyhow-316ed3bfd08c7353.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-ca74a2d9c5166d9f.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-e31ab23316ed5080.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libobject-27dc4aa955912662.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libmemchr-bd0d6cccce077b99.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libaddr2line-8d001680935b5e3c.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgimli-ba8ce71964f984f4.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-99a73526abcec14b.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd_detect-63ac0d22cff92579.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-9057355c92c922d5.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-358be9bc1f6bab04.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libminiz_oxide-aca15549d5bff974.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libadler-8251d2cef7072448.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-7d50b86011c66411.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-51ea098fce5006bf.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-5a14e0d0b712e731.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-8b83dbf3a7b8f999.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-c6fd227bdc7b39ff.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-959d3389fa3da8a5.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-abe05db089cc2c62.rlib" "-Wl,-Bdynamic" "-lstdc++" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/cadical-be35fdb317d15334/out" "-L" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/tmp/rustdoctesteq5JlS/rust_out" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: collect2: fatal error: ld terminated with signal 9 [Killed]
[INFO] [stdout]           compilation terminated.
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 1 previous error
[INFO] [stdout] 
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/aa/aa_framework.rs - aa::aa_framework::AAFramework<T>::iter_attacks (line 311) stdout ----
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note: LC_ALL="C" PATH="/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/bin:/opt/rustwide/cargo-home/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin" VSLANG="1033" "cc" "-m64" "/tmp/rustcx86fZz/symbols.o" "/tmp/rustdoctest5o3cBv/rust_out.rust_out.cb03291d53e4e161-cgu.0.rcgu.o" "/tmp/rustdoctest5o3cBv/rust_out.1s7umcihpz0t7nkz1uc2ifee9.rcgu.o" "-Wl,--as-needed" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libcrustabri-9b4c22680294f86d.rlib" "/opt/rustwide/target/debug/deps/libcadical-45e6f673794e4b1e.rlib" "/opt/rustwide/target/debug/deps/libregex-ee15762020a10305.rlib" "/opt/rustwide/target/debug/deps/libregex_automata-bbf71d4d27c431df.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-61dd1ef11431377e.rlib" "/opt/rustwide/target/debug/deps/libmemchr-ac4a08e2ef670a01.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-dd61d2291c59640d.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-8c0bb59ebbb3df6c.rlib" "/opt/rustwide/target/debug/deps/libpermutator-390cd23ef2915c49.rlib" "/opt/rustwide/target/debug/deps/libnum-2ba683ce6e609466.rlib" "/opt/rustwide/target/debug/deps/libnum_rational-dfcc04609e70867d.rlib" "/opt/rustwide/target/debug/deps/libnum_iter-13c44b3fcc32dcea.rlib" "/opt/rustwide/target/debug/deps/libnum_complex-ade0570af1564649.rlib" "/opt/rustwide/target/debug/deps/libnum_bigint-9151f0258a3c1d1e.rlib" "/opt/rustwide/target/debug/deps/libnum_integer-27a23e4b309910e3.rlib" "/opt/rustwide/target/debug/deps/libnum_traits-45baf79f7ef28b7e.rlib" "/opt/rustwide/target/debug/deps/libstrum-bc9995c7f97c927f.rlib" "/opt/rustwide/target/debug/deps/libanyhow-316ed3bfd08c7353.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-ca74a2d9c5166d9f.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-e31ab23316ed5080.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libobject-27dc4aa955912662.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libmemchr-bd0d6cccce077b99.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libaddr2line-8d001680935b5e3c.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgimli-ba8ce71964f984f4.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-99a73526abcec14b.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd_detect-63ac0d22cff92579.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-9057355c92c922d5.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-358be9bc1f6bab04.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libminiz_oxide-aca15549d5bff974.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libadler-8251d2cef7072448.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-7d50b86011c66411.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-51ea098fce5006bf.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-5a14e0d0b712e731.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-8b83dbf3a7b8f999.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-c6fd227bdc7b39ff.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-959d3389fa3da8a5.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-abe05db089cc2c62.rlib" "-Wl,-Bdynamic" "-lstdc++" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/cadical-be35fdb317d15334/out" "-L" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/tmp/rustdoctest5o3cBv/rust_out" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: collect2: fatal error: ld terminated with signal 9 [Killed]
[INFO] [stdout]           compilation terminated.
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 1 previous error
[INFO] [stdout] 
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/aa/arguments.rs - aa::arguments::ArgumentSet<T>::new_argument (line 71) stdout ----
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/aa/aa_framework.rs - aa::aa_framework::AAFramework<T>::remove_attack (line 226) stdout ----
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note: LC_ALL="C" PATH="/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/bin:/opt/rustwide/cargo-home/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin" VSLANG="1033" "cc" "-m64" "/tmp/rustco6TaEY/symbols.o" "/tmp/rustdoctest6FNuDb/rust_out.rust_out.cb03291d53e4e161-cgu.0.rcgu.o" "/tmp/rustdoctest6FNuDb/rust_out.1s7umcihpz0t7nkz1uc2ifee9.rcgu.o" "-Wl,--as-needed" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libcrustabri-9b4c22680294f86d.rlib" "/opt/rustwide/target/debug/deps/libcadical-45e6f673794e4b1e.rlib" "/opt/rustwide/target/debug/deps/libregex-ee15762020a10305.rlib" "/opt/rustwide/target/debug/deps/libregex_automata-bbf71d4d27c431df.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-61dd1ef11431377e.rlib" "/opt/rustwide/target/debug/deps/libmemchr-ac4a08e2ef670a01.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-dd61d2291c59640d.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-8c0bb59ebbb3df6c.rlib" "/opt/rustwide/target/debug/deps/libpermutator-390cd23ef2915c49.rlib" "/opt/rustwide/target/debug/deps/libnum-2ba683ce6e609466.rlib" "/opt/rustwide/target/debug/deps/libnum_rational-dfcc04609e70867d.rlib" "/opt/rustwide/target/debug/deps/libnum_iter-13c44b3fcc32dcea.rlib" "/opt/rustwide/target/debug/deps/libnum_complex-ade0570af1564649.rlib" "/opt/rustwide/target/debug/deps/libnum_bigint-9151f0258a3c1d1e.rlib" "/opt/rustwide/target/debug/deps/libnum_integer-27a23e4b309910e3.rlib" "/opt/rustwide/target/debug/deps/libnum_traits-45baf79f7ef28b7e.rlib" "/opt/rustwide/target/debug/deps/libstrum-bc9995c7f97c927f.rlib" "/opt/rustwide/target/debug/deps/libanyhow-316ed3bfd08c7353.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-ca74a2d9c5166d9f.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-e31ab23316ed5080.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libobject-27dc4aa955912662.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libmemchr-bd0d6cccce077b99.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libaddr2line-8d001680935b5e3c.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgimli-ba8ce71964f984f4.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-99a73526abcec14b.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd_detect-63ac0d22cff92579.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-9057355c92c922d5.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-358be9bc1f6bab04.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libminiz_oxide-aca15549d5bff974.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libadler-8251d2cef7072448.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-7d50b86011c66411.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-51ea098fce5006bf.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-5a14e0d0b712e731.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-8b83dbf3a7b8f999.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-c6fd227bdc7b39ff.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-959d3389fa3da8a5.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-abe05db089cc2c62.rlib" "-Wl,-Bdynamic" "-lstdc++" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/cadical-be35fdb317d15334/out" "-L" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/tmp/rustdoctest6FNuDb/rust_out" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: collect2: fatal error: ld terminated with signal 9 [Killed]
[INFO] [stdout]           compilation terminated.
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 1 previous error
[INFO] [stdout] 
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/aa/aa_framework.rs - aa::aa_framework::AAFramework<T>::argument_set (line 296) stdout ----
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note: LC_ALL="C" PATH="/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/bin:/opt/rustwide/cargo-home/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin" VSLANG="1033" "cc" "-m64" "/tmp/rustcUk1nK3/symbols.o" "/tmp/rustdoctestRqkFv0/rust_out.rust_out.cb03291d53e4e161-cgu.0.rcgu.o" "/tmp/rustdoctestRqkFv0/rust_out.1s7umcihpz0t7nkz1uc2ifee9.rcgu.o" "-Wl,--as-needed" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libcrustabri-9b4c22680294f86d.rlib" "/opt/rustwide/target/debug/deps/libcadical-45e6f673794e4b1e.rlib" "/opt/rustwide/target/debug/deps/libregex-ee15762020a10305.rlib" "/opt/rustwide/target/debug/deps/libregex_automata-bbf71d4d27c431df.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-61dd1ef11431377e.rlib" "/opt/rustwide/target/debug/deps/libmemchr-ac4a08e2ef670a01.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-dd61d2291c59640d.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-8c0bb59ebbb3df6c.rlib" "/opt/rustwide/target/debug/deps/libpermutator-390cd23ef2915c49.rlib" "/opt/rustwide/target/debug/deps/libnum-2ba683ce6e609466.rlib" "/opt/rustwide/target/debug/deps/libnum_rational-dfcc04609e70867d.rlib" "/opt/rustwide/target/debug/deps/libnum_iter-13c44b3fcc32dcea.rlib" "/opt/rustwide/target/debug/deps/libnum_complex-ade0570af1564649.rlib" "/opt/rustwide/target/debug/deps/libnum_bigint-9151f0258a3c1d1e.rlib" "/opt/rustwide/target/debug/deps/libnum_integer-27a23e4b309910e3.rlib" "/opt/rustwide/target/debug/deps/libnum_traits-45baf79f7ef28b7e.rlib" "/opt/rustwide/target/debug/deps/libstrum-bc9995c7f97c927f.rlib" "/opt/rustwide/target/debug/deps/libanyhow-316ed3bfd08c7353.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-ca74a2d9c5166d9f.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-e31ab23316ed5080.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libobject-27dc4aa955912662.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libmemchr-bd0d6cccce077b99.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libaddr2line-8d001680935b5e3c.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgimli-ba8ce71964f984f4.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-99a73526abcec14b.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd_detect-63ac0d22cff92579.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-9057355c92c922d5.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-358be9bc1f6bab04.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libminiz_oxide-aca15549d5bff974.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libadler-8251d2cef7072448.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-7d50b86011c66411.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-51ea098fce5006bf.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-5a14e0d0b712e731.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-8b83dbf3a7b8f999.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-c6fd227bdc7b39ff.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-959d3389fa3da8a5.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-abe05db089cc2c62.rlib" "-Wl,-Bdynamic" "-lstdc++" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/cadical-be35fdb317d15334/out" "-L" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/tmp/rustdoctestRqkFv0/rust_out" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: collect2: fatal error: ld terminated with signal 9 [Killed]
[INFO] [stdout]           compilation terminated.
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 1 previous error
[INFO] [stdout] 
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/aa/aa_framework.rs - aa::aa_framework::AAFramework<T>::remove_argument (line 145) stdout ----
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note: LC_ALL="C" PATH="/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/bin:/opt/rustwide/cargo-home/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin" VSLANG="1033" "cc" "-m64" "/tmp/rustc2ub1cB/symbols.o" "/tmp/rustdoctest9d9v5Z/rust_out.rust_out.cb03291d53e4e161-cgu.0.rcgu.o" "/tmp/rustdoctest9d9v5Z/rust_out.1s7umcihpz0t7nkz1uc2ifee9.rcgu.o" "-Wl,--as-needed" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libcrustabri-9b4c22680294f86d.rlib" "/opt/rustwide/target/debug/deps/libcadical-45e6f673794e4b1e.rlib" "/opt/rustwide/target/debug/deps/libregex-ee15762020a10305.rlib" "/opt/rustwide/target/debug/deps/libregex_automata-bbf71d4d27c431df.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-61dd1ef11431377e.rlib" "/opt/rustwide/target/debug/deps/libmemchr-ac4a08e2ef670a01.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-dd61d2291c59640d.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-8c0bb59ebbb3df6c.rlib" "/opt/rustwide/target/debug/deps/libpermutator-390cd23ef2915c49.rlib" "/opt/rustwide/target/debug/deps/libnum-2ba683ce6e609466.rlib" "/opt/rustwide/target/debug/deps/libnum_rational-dfcc04609e70867d.rlib" "/opt/rustwide/target/debug/deps/libnum_iter-13c44b3fcc32dcea.rlib" "/opt/rustwide/target/debug/deps/libnum_complex-ade0570af1564649.rlib" "/opt/rustwide/target/debug/deps/libnum_bigint-9151f0258a3c1d1e.rlib" "/opt/rustwide/target/debug/deps/libnum_integer-27a23e4b309910e3.rlib" "/opt/rustwide/target/debug/deps/libnum_traits-45baf79f7ef28b7e.rlib" "/opt/rustwide/target/debug/deps/libstrum-bc9995c7f97c927f.rlib" "/opt/rustwide/target/debug/deps/libanyhow-316ed3bfd08c7353.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-ca74a2d9c5166d9f.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-e31ab23316ed5080.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libobject-27dc4aa955912662.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libmemchr-bd0d6cccce077b99.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libaddr2line-8d001680935b5e3c.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgimli-ba8ce71964f984f4.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-99a73526abcec14b.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd_detect-63ac0d22cff92579.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-9057355c92c922d5.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-358be9bc1f6bab04.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libminiz_oxide-aca15549d5bff974.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libadler-8251d2cef7072448.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-7d50b86011c66411.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-51ea098fce5006bf.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-5a14e0d0b712e731.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-8b83dbf3a7b8f999.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-c6fd227bdc7b39ff.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-959d3389fa3da8a5.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-abe05db089cc2c62.rlib" "-Wl,-Bdynamic" "-lstdc++" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/cadical-be35fdb317d15334/out" "-L" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/tmp/rustdoctest9d9v5Z/rust_out" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: collect2: fatal error: ld terminated with signal 9 [Killed]
[INFO] [stdout]           compilation terminated.
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 1 previous error
[INFO] [stdout] 
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/aa/aa_framework.rs - aa::aa_framework::AAFramework<T>::iter_attacks_from (line 336) stdout ----
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note: LC_ALL="C" PATH="/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/bin:/opt/rustwide/cargo-home/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin" VSLANG="1033" "cc" "-m64" "/tmp/rustcacLYVl/symbols.o" "/tmp/rustdoctestzJMvjk/rust_out.rust_out.cb03291d53e4e161-cgu.0.rcgu.o" "/tmp/rustdoctestzJMvjk/rust_out.1s7umcihpz0t7nkz1uc2ifee9.rcgu.o" "-Wl,--as-needed" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libcrustabri-9b4c22680294f86d.rlib" "/opt/rustwide/target/debug/deps/libcadical-45e6f673794e4b1e.rlib" "/opt/rustwide/target/debug/deps/libregex-ee15762020a10305.rlib" "/opt/rustwide/target/debug/deps/libregex_automata-bbf71d4d27c431df.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-61dd1ef11431377e.rlib" "/opt/rustwide/target/debug/deps/libmemchr-ac4a08e2ef670a01.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-dd61d2291c59640d.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-8c0bb59ebbb3df6c.rlib" "/opt/rustwide/target/debug/deps/libpermutator-390cd23ef2915c49.rlib" "/opt/rustwide/target/debug/deps/libnum-2ba683ce6e609466.rlib" "/opt/rustwide/target/debug/deps/libnum_rational-dfcc04609e70867d.rlib" "/opt/rustwide/target/debug/deps/libnum_iter-13c44b3fcc32dcea.rlib" "/opt/rustwide/target/debug/deps/libnum_complex-ade0570af1564649.rlib" "/opt/rustwide/target/debug/deps/libnum_bigint-9151f0258a3c1d1e.rlib" "/opt/rustwide/target/debug/deps/libnum_integer-27a23e4b309910e3.rlib" "/opt/rustwide/target/debug/deps/libnum_traits-45baf79f7ef28b7e.rlib" "/opt/rustwide/target/debug/deps/libstrum-bc9995c7f97c927f.rlib" "/opt/rustwide/target/debug/deps/libanyhow-316ed3bfd08c7353.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-ca74a2d9c5166d9f.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-e31ab23316ed5080.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libobject-27dc4aa955912662.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libmemchr-bd0d6cccce077b99.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libaddr2line-8d001680935b5e3c.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgimli-ba8ce71964f984f4.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-99a73526abcec14b.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd_detect-63ac0d22cff92579.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-9057355c92c922d5.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-358be9bc1f6bab04.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libminiz_oxide-aca15549d5bff974.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libadler-8251d2cef7072448.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-7d50b86011c66411.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-51ea098fce5006bf.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-5a14e0d0b712e731.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-8b83dbf3a7b8f999.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-c6fd227bdc7b39ff.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-959d3389fa3da8a5.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-abe05db089cc2c62.rlib" "-Wl,-Bdynamic" "-lstdc++" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/cadical-be35fdb317d15334/out" "-L" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/tmp/rustdoctestzJMvjk/rust_out" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: collect2: fatal error: ld terminated with signal 9 [Killed]
[INFO] [stdout]           compilation terminated.
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 1 previous error
[INFO] [stdout] 
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/io/specs.rs - io::specs::InstanceReader::read (line 30) stdout ----
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/aa/aa_framework.rs - aa::aa_framework::AAFramework<T>::new_with_argument_set (line 92) stdout ----
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note: LC_ALL="C" PATH="/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/bin:/opt/rustwide/cargo-home/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin" VSLANG="1033" "cc" "-m64" "/tmp/rustcCvSXq3/symbols.o" "/tmp/rustdoctestvT1GV6/rust_out.rust_out.cb03291d53e4e161-cgu.0.rcgu.o" "/tmp/rustdoctestvT1GV6/rust_out.1s7umcihpz0t7nkz1uc2ifee9.rcgu.o" "-Wl,--as-needed" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libcrustabri-9b4c22680294f86d.rlib" "/opt/rustwide/target/debug/deps/libcadical-45e6f673794e4b1e.rlib" "/opt/rustwide/target/debug/deps/libregex-ee15762020a10305.rlib" "/opt/rustwide/target/debug/deps/libregex_automata-bbf71d4d27c431df.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-61dd1ef11431377e.rlib" "/opt/rustwide/target/debug/deps/libmemchr-ac4a08e2ef670a01.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-dd61d2291c59640d.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-8c0bb59ebbb3df6c.rlib" "/opt/rustwide/target/debug/deps/libpermutator-390cd23ef2915c49.rlib" "/opt/rustwide/target/debug/deps/libnum-2ba683ce6e609466.rlib" "/opt/rustwide/target/debug/deps/libnum_rational-dfcc04609e70867d.rlib" "/opt/rustwide/target/debug/deps/libnum_iter-13c44b3fcc32dcea.rlib" "/opt/rustwide/target/debug/deps/libnum_complex-ade0570af1564649.rlib" "/opt/rustwide/target/debug/deps/libnum_bigint-9151f0258a3c1d1e.rlib" "/opt/rustwide/target/debug/deps/libnum_integer-27a23e4b309910e3.rlib" "/opt/rustwide/target/debug/deps/libnum_traits-45baf79f7ef28b7e.rlib" "/opt/rustwide/target/debug/deps/libstrum-bc9995c7f97c927f.rlib" "/opt/rustwide/target/debug/deps/libanyhow-316ed3bfd08c7353.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-ca74a2d9c5166d9f.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-e31ab23316ed5080.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libobject-27dc4aa955912662.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libmemchr-bd0d6cccce077b99.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libaddr2line-8d001680935b5e3c.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgimli-ba8ce71964f984f4.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-99a73526abcec14b.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd_detect-63ac0d22cff92579.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-9057355c92c922d5.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-358be9bc1f6bab04.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libminiz_oxide-aca15549d5bff974.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libadler-8251d2cef7072448.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-7d50b86011c66411.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-51ea098fce5006bf.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-5a14e0d0b712e731.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-8b83dbf3a7b8f999.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-c6fd227bdc7b39ff.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-959d3389fa3da8a5.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-abe05db089cc2c62.rlib" "-Wl,-Bdynamic" "-lstdc++" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/cadical-be35fdb317d15334/out" "-L" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/tmp/rustdoctestvT1GV6/rust_out" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: collect2: fatal error: ld terminated with signal 9 [Killed]
[INFO] [stdout]           compilation terminated.
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 1 previous error
[INFO] [stdout] 
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/solvers/complete_semantics_solver.rs - solvers::complete_semantics_solver::CompleteSemanticsSolver<'a,T>::new_with_sat_solver_factory_and_constraints_encoder (line 107) stdout ----
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note: LC_ALL="C" PATH="/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/bin:/opt/rustwide/cargo-home/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin" VSLANG="1033" "cc" "-m64" "/tmp/rustckpgeuI/symbols.o" "/tmp/rustdoctestWFZUJS/rust_out.rust_out.cb03291d53e4e161-cgu.0.rcgu.o" "/tmp/rustdoctestWFZUJS/rust_out.1s7umcihpz0t7nkz1uc2ifee9.rcgu.o" "-Wl,--as-needed" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libcrustabri-9b4c22680294f86d.rlib" "/opt/rustwide/target/debug/deps/libcadical-45e6f673794e4b1e.rlib" "/opt/rustwide/target/debug/deps/libregex-ee15762020a10305.rlib" "/opt/rustwide/target/debug/deps/libregex_automata-bbf71d4d27c431df.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-61dd1ef11431377e.rlib" "/opt/rustwide/target/debug/deps/libmemchr-ac4a08e2ef670a01.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-dd61d2291c59640d.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-8c0bb59ebbb3df6c.rlib" "/opt/rustwide/target/debug/deps/libpermutator-390cd23ef2915c49.rlib" "/opt/rustwide/target/debug/deps/libnum-2ba683ce6e609466.rlib" "/opt/rustwide/target/debug/deps/libnum_rational-dfcc04609e70867d.rlib" "/opt/rustwide/target/debug/deps/libnum_iter-13c44b3fcc32dcea.rlib" "/opt/rustwide/target/debug/deps/libnum_complex-ade0570af1564649.rlib" "/opt/rustwide/target/debug/deps/libnum_bigint-9151f0258a3c1d1e.rlib" "/opt/rustwide/target/debug/deps/libnum_integer-27a23e4b309910e3.rlib" "/opt/rustwide/target/debug/deps/libnum_traits-45baf79f7ef28b7e.rlib" "/opt/rustwide/target/debug/deps/libstrum-bc9995c7f97c927f.rlib" "/opt/rustwide/target/debug/deps/libanyhow-316ed3bfd08c7353.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-ca74a2d9c5166d9f.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-e31ab23316ed5080.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libobject-27dc4aa955912662.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libmemchr-bd0d6cccce077b99.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libaddr2line-8d001680935b5e3c.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgimli-ba8ce71964f984f4.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-99a73526abcec14b.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd_detect-63ac0d22cff92579.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-9057355c92c922d5.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-358be9bc1f6bab04.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libminiz_oxide-aca15549d5bff974.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libadler-8251d2cef7072448.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-7d50b86011c66411.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-51ea098fce5006bf.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-5a14e0d0b712e731.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-8b83dbf3a7b8f999.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-c6fd227bdc7b39ff.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-959d3389fa3da8a5.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-abe05db089cc2c62.rlib" "-Wl,-Bdynamic" "-lstdc++" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/cadical-be35fdb317d15334/out" "-L" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/tmp/rustdoctestWFZUJS/rust_out" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: collect2: fatal error: ld terminated with signal 9 [Killed]
[INFO] [stdout]           compilation terminated.
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 1 previous error
[INFO] [stdout] 
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/solvers/maximal_range_semantics_solvers.rs - solvers::maximal_range_semantics_solvers::SemiStableSemanticsSolver<'a,T>::new_with_sat_solver_factory (line 64) stdout ----
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note: LC_ALL="C" PATH="/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/bin:/opt/rustwide/cargo-home/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin" VSLANG="1033" "cc" "-m64" "/tmp/rustcw6hxxF/symbols.o" "/tmp/rustdoctestjKW911/rust_out.rust_out.cb03291d53e4e161-cgu.0.rcgu.o" "/tmp/rustdoctestjKW911/rust_out.1s7umcihpz0t7nkz1uc2ifee9.rcgu.o" "-Wl,--as-needed" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libcrustabri-9b4c22680294f86d.rlib" "/opt/rustwide/target/debug/deps/libcadical-45e6f673794e4b1e.rlib" "/opt/rustwide/target/debug/deps/libregex-ee15762020a10305.rlib" "/opt/rustwide/target/debug/deps/libregex_automata-bbf71d4d27c431df.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-61dd1ef11431377e.rlib" "/opt/rustwide/target/debug/deps/libmemchr-ac4a08e2ef670a01.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-dd61d2291c59640d.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-8c0bb59ebbb3df6c.rlib" "/opt/rustwide/target/debug/deps/libpermutator-390cd23ef2915c49.rlib" "/opt/rustwide/target/debug/deps/libnum-2ba683ce6e609466.rlib" "/opt/rustwide/target/debug/deps/libnum_rational-dfcc04609e70867d.rlib" "/opt/rustwide/target/debug/deps/libnum_iter-13c44b3fcc32dcea.rlib" "/opt/rustwide/target/debug/deps/libnum_complex-ade0570af1564649.rlib" "/opt/rustwide/target/debug/deps/libnum_bigint-9151f0258a3c1d1e.rlib" "/opt/rustwide/target/debug/deps/libnum_integer-27a23e4b309910e3.rlib" "/opt/rustwide/target/debug/deps/libnum_traits-45baf79f7ef28b7e.rlib" "/opt/rustwide/target/debug/deps/libstrum-bc9995c7f97c927f.rlib" "/opt/rustwide/target/debug/deps/libanyhow-316ed3bfd08c7353.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-ca74a2d9c5166d9f.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-e31ab23316ed5080.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libobject-27dc4aa955912662.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libmemchr-bd0d6cccce077b99.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libaddr2line-8d001680935b5e3c.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgimli-ba8ce71964f984f4.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-99a73526abcec14b.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd_detect-63ac0d22cff92579.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-9057355c92c922d5.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-358be9bc1f6bab04.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libminiz_oxide-aca15549d5bff974.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libadler-8251d2cef7072448.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-7d50b86011c66411.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-51ea098fce5006bf.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-5a14e0d0b712e731.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-8b83dbf3a7b8f999.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-c6fd227bdc7b39ff.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-959d3389fa3da8a5.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-abe05db089cc2c62.rlib" "-Wl,-Bdynamic" "-lstdc++" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/cadical-be35fdb317d15334/out" "-L" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/tmp/rustdoctestjKW911/rust_out" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: collect2: fatal error: ld terminated with signal 9 [Killed]
[INFO] [stdout]           compilation terminated.
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 1 previous error
[INFO] [stdout] 
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/utils/label.rs - utils::label::LabelSet<T>::has_label_with_id (line 264) stdout ----
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/solvers/ideal_semantics_solver.rs - solvers::ideal_semantics_solver::IdealSemanticsSolver<'a,T>::new_with_sat_solver_factory (line 62) stdout ----
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note: LC_ALL="C" PATH="/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/bin:/opt/rustwide/cargo-home/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin" VSLANG="1033" "cc" "-m64" "/tmp/rustc235xCl/symbols.o" "/tmp/rustdoctestxfte9n/rust_out.rust_out.cb03291d53e4e161-cgu.0.rcgu.o" "/tmp/rustdoctestxfte9n/rust_out.1s7umcihpz0t7nkz1uc2ifee9.rcgu.o" "-Wl,--as-needed" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libcrustabri-9b4c22680294f86d.rlib" "/opt/rustwide/target/debug/deps/libcadical-45e6f673794e4b1e.rlib" "/opt/rustwide/target/debug/deps/libregex-ee15762020a10305.rlib" "/opt/rustwide/target/debug/deps/libregex_automata-bbf71d4d27c431df.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-61dd1ef11431377e.rlib" "/opt/rustwide/target/debug/deps/libmemchr-ac4a08e2ef670a01.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-dd61d2291c59640d.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-8c0bb59ebbb3df6c.rlib" "/opt/rustwide/target/debug/deps/libpermutator-390cd23ef2915c49.rlib" "/opt/rustwide/target/debug/deps/libnum-2ba683ce6e609466.rlib" "/opt/rustwide/target/debug/deps/libnum_rational-dfcc04609e70867d.rlib" "/opt/rustwide/target/debug/deps/libnum_iter-13c44b3fcc32dcea.rlib" "/opt/rustwide/target/debug/deps/libnum_complex-ade0570af1564649.rlib" "/opt/rustwide/target/debug/deps/libnum_bigint-9151f0258a3c1d1e.rlib" "/opt/rustwide/target/debug/deps/libnum_integer-27a23e4b309910e3.rlib" "/opt/rustwide/target/debug/deps/libnum_traits-45baf79f7ef28b7e.rlib" "/opt/rustwide/target/debug/deps/libstrum-bc9995c7f97c927f.rlib" "/opt/rustwide/target/debug/deps/libanyhow-316ed3bfd08c7353.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-ca74a2d9c5166d9f.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-e31ab23316ed5080.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libobject-27dc4aa955912662.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libmemchr-bd0d6cccce077b99.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libaddr2line-8d001680935b5e3c.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgimli-ba8ce71964f984f4.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-99a73526abcec14b.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd_detect-63ac0d22cff92579.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-9057355c92c922d5.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-358be9bc1f6bab04.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libminiz_oxide-aca15549d5bff974.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libadler-8251d2cef7072448.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-7d50b86011c66411.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-51ea098fce5006bf.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-5a14e0d0b712e731.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-8b83dbf3a7b8f999.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-c6fd227bdc7b39ff.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-959d3389fa3da8a5.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-abe05db089cc2c62.rlib" "-Wl,-Bdynamic" "-lstdc++" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/cadical-be35fdb317d15334/out" "-L" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/tmp/rustdoctestxfte9n/rust_out" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: collect2: fatal error: ld terminated with signal 9 [Killed]
[INFO] [stdout]           compilation terminated.
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 1 previous error
[INFO] [stdout] 
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/solvers/preferred_semantics_solver.rs - solvers::preferred_semantics_solver::PreferredSemanticsSolver<'a,T>::new (line 40) stdout ----
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note: LC_ALL="C" PATH="/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/bin:/opt/rustwide/cargo-home/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin" VSLANG="1033" "cc" "-m64" "/tmp/rustcBVlW7S/symbols.o" "/tmp/rustdoctestQ1cZ8h/rust_out.rust_out.cb03291d53e4e161-cgu.0.rcgu.o" "/tmp/rustdoctestQ1cZ8h/rust_out.1s7umcihpz0t7nkz1uc2ifee9.rcgu.o" "-Wl,--as-needed" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libcrustabri-9b4c22680294f86d.rlib" "/opt/rustwide/target/debug/deps/libcadical-45e6f673794e4b1e.rlib" "/opt/rustwide/target/debug/deps/libregex-ee15762020a10305.rlib" "/opt/rustwide/target/debug/deps/libregex_automata-bbf71d4d27c431df.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-61dd1ef11431377e.rlib" "/opt/rustwide/target/debug/deps/libmemchr-ac4a08e2ef670a01.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-dd61d2291c59640d.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-8c0bb59ebbb3df6c.rlib" "/opt/rustwide/target/debug/deps/libpermutator-390cd23ef2915c49.rlib" "/opt/rustwide/target/debug/deps/libnum-2ba683ce6e609466.rlib" "/opt/rustwide/target/debug/deps/libnum_rational-dfcc04609e70867d.rlib" "/opt/rustwide/target/debug/deps/libnum_iter-13c44b3fcc32dcea.rlib" "/opt/rustwide/target/debug/deps/libnum_complex-ade0570af1564649.rlib" "/opt/rustwide/target/debug/deps/libnum_bigint-9151f0258a3c1d1e.rlib" "/opt/rustwide/target/debug/deps/libnum_integer-27a23e4b309910e3.rlib" "/opt/rustwide/target/debug/deps/libnum_traits-45baf79f7ef28b7e.rlib" "/opt/rustwide/target/debug/deps/libstrum-bc9995c7f97c927f.rlib" "/opt/rustwide/target/debug/deps/libanyhow-316ed3bfd08c7353.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-ca74a2d9c5166d9f.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-e31ab23316ed5080.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libobject-27dc4aa955912662.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libmemchr-bd0d6cccce077b99.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libaddr2line-8d001680935b5e3c.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgimli-ba8ce71964f984f4.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-99a73526abcec14b.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd_detect-63ac0d22cff92579.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-9057355c92c922d5.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-358be9bc1f6bab04.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libminiz_oxide-aca15549d5bff974.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libadler-8251d2cef7072448.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-7d50b86011c66411.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-51ea098fce5006bf.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-5a14e0d0b712e731.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-8b83dbf3a7b8f999.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-c6fd227bdc7b39ff.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-959d3389fa3da8a5.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-abe05db089cc2c62.rlib" "-Wl,-Bdynamic" "-lstdc++" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/cadical-be35fdb317d15334/out" "-L" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/tmp/rustdoctestQ1cZ8h/rust_out" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: collect2: fatal error: ld terminated with signal 9 [Killed]
[INFO] [stdout]           compilation terminated.
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 1 previous error
[INFO] [stdout] 
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/utils/label.rs - utils::label::LabelSet<T>::len (line 164) stdout ----
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/solvers/preferred_semantics_solver.rs - solvers::preferred_semantics_solver::PreferredSemanticsSolver<'a,T>::new_with_sat_solver_factory_and_constraints_encoder (line 93) stdout ----
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note: LC_ALL="C" PATH="/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/bin:/opt/rustwide/cargo-home/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin" VSLANG="1033" "cc" "-m64" "/tmp/rustcYFIHqY/symbols.o" "/tmp/rustdoctesti10NJG/rust_out.rust_out.cb03291d53e4e161-cgu.0.rcgu.o" "/tmp/rustdoctesti10NJG/rust_out.1s7umcihpz0t7nkz1uc2ifee9.rcgu.o" "-Wl,--as-needed" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libcrustabri-9b4c22680294f86d.rlib" "/opt/rustwide/target/debug/deps/libcadical-45e6f673794e4b1e.rlib" "/opt/rustwide/target/debug/deps/libregex-ee15762020a10305.rlib" "/opt/rustwide/target/debug/deps/libregex_automata-bbf71d4d27c431df.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-61dd1ef11431377e.rlib" "/opt/rustwide/target/debug/deps/libmemchr-ac4a08e2ef670a01.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-dd61d2291c59640d.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-8c0bb59ebbb3df6c.rlib" "/opt/rustwide/target/debug/deps/libpermutator-390cd23ef2915c49.rlib" "/opt/rustwide/target/debug/deps/libnum-2ba683ce6e609466.rlib" "/opt/rustwide/target/debug/deps/libnum_rational-dfcc04609e70867d.rlib" "/opt/rustwide/target/debug/deps/libnum_iter-13c44b3fcc32dcea.rlib" "/opt/rustwide/target/debug/deps/libnum_complex-ade0570af1564649.rlib" "/opt/rustwide/target/debug/deps/libnum_bigint-9151f0258a3c1d1e.rlib" "/opt/rustwide/target/debug/deps/libnum_integer-27a23e4b309910e3.rlib" "/opt/rustwide/target/debug/deps/libnum_traits-45baf79f7ef28b7e.rlib" "/opt/rustwide/target/debug/deps/libstrum-bc9995c7f97c927f.rlib" "/opt/rustwide/target/debug/deps/libanyhow-316ed3bfd08c7353.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-ca74a2d9c5166d9f.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-e31ab23316ed5080.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libobject-27dc4aa955912662.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libmemchr-bd0d6cccce077b99.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libaddr2line-8d001680935b5e3c.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgimli-ba8ce71964f984f4.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-99a73526abcec14b.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd_detect-63ac0d22cff92579.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-9057355c92c922d5.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-358be9bc1f6bab04.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libminiz_oxide-aca15549d5bff974.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libadler-8251d2cef7072448.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-7d50b86011c66411.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-51ea098fce5006bf.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-5a14e0d0b712e731.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-8b83dbf3a7b8f999.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-c6fd227bdc7b39ff.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-959d3389fa3da8a5.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-abe05db089cc2c62.rlib" "-Wl,-Bdynamic" "-lstdc++" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/cadical-be35fdb317d15334/out" "-L" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/tmp/rustdoctesti10NJG/rust_out" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: collect2: fatal error: ld terminated with signal 9 [Killed]
[INFO] [stdout]           compilation terminated.
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 1 previous error
[INFO] [stdout] 
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/utils/label.rs - utils::label::LabelSet<T>::new_label (line 110) stdout ----
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/solvers/maximal_range_semantics_solvers.rs - solvers::maximal_range_semantics_solvers::StageSemanticsSolver<'a,T>::new_with_sat_solver_factory (line 64) stdout ----
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note: LC_ALL="C" PATH="/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/bin:/opt/rustwide/cargo-home/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin" VSLANG="1033" "cc" "-m64" "/tmp/rustctk6yVi/symbols.o" "/tmp/rustdoctesttTeSks/rust_out.rust_out.cb03291d53e4e161-cgu.0.rcgu.o" "/tmp/rustdoctesttTeSks/rust_out.1s7umcihpz0t7nkz1uc2ifee9.rcgu.o" "-Wl,--as-needed" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libcrustabri-9b4c22680294f86d.rlib" "/opt/rustwide/target/debug/deps/libcadical-45e6f673794e4b1e.rlib" "/opt/rustwide/target/debug/deps/libregex-ee15762020a10305.rlib" "/opt/rustwide/target/debug/deps/libregex_automata-bbf71d4d27c431df.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-61dd1ef11431377e.rlib" "/opt/rustwide/target/debug/deps/libmemchr-ac4a08e2ef670a01.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-dd61d2291c59640d.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-8c0bb59ebbb3df6c.rlib" "/opt/rustwide/target/debug/deps/libpermutator-390cd23ef2915c49.rlib" "/opt/rustwide/target/debug/deps/libnum-2ba683ce6e609466.rlib" "/opt/rustwide/target/debug/deps/libnum_rational-dfcc04609e70867d.rlib" "/opt/rustwide/target/debug/deps/libnum_iter-13c44b3fcc32dcea.rlib" "/opt/rustwide/target/debug/deps/libnum_complex-ade0570af1564649.rlib" "/opt/rustwide/target/debug/deps/libnum_bigint-9151f0258a3c1d1e.rlib" "/opt/rustwide/target/debug/deps/libnum_integer-27a23e4b309910e3.rlib" "/opt/rustwide/target/debug/deps/libnum_traits-45baf79f7ef28b7e.rlib" "/opt/rustwide/target/debug/deps/libstrum-bc9995c7f97c927f.rlib" "/opt/rustwide/target/debug/deps/libanyhow-316ed3bfd08c7353.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-ca74a2d9c5166d9f.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-e31ab23316ed5080.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libobject-27dc4aa955912662.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libmemchr-bd0d6cccce077b99.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libaddr2line-8d001680935b5e3c.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgimli-ba8ce71964f984f4.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-99a73526abcec14b.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd_detect-63ac0d22cff92579.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-9057355c92c922d5.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-358be9bc1f6bab04.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libminiz_oxide-aca15549d5bff974.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libadler-8251d2cef7072448.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-7d50b86011c66411.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-51ea098fce5006bf.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-5a14e0d0b712e731.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-8b83dbf3a7b8f999.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-c6fd227bdc7b39ff.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-959d3389fa3da8a5.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-abe05db089cc2c62.rlib" "-Wl,-Bdynamic" "-lstdc++" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/cadical-be35fdb317d15334/out" "-L" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/tmp/rustdoctesttTeSks/rust_out" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: collect2: fatal error: ld terminated with signal 9 [Killed]
[INFO] [stdout]           compilation terminated.
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 1 previous error
[INFO] [stdout] 
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/solvers/maximal_range_semantics_solvers.rs - solvers::maximal_range_semantics_solvers::SemiStableSemanticsSolver<'a,T>::new (line 41) stdout ----
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note: LC_ALL="C" PATH="/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/bin:/opt/rustwide/cargo-home/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin" VSLANG="1033" "cc" "-m64" "/tmp/rustccqSRoI/symbols.o" "/tmp/rustdoctestQw6QJB/rust_out.rust_out.cb03291d53e4e161-cgu.0.rcgu.o" "/tmp/rustdoctestQw6QJB/rust_out.1s7umcihpz0t7nkz1uc2ifee9.rcgu.o" "-Wl,--as-needed" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libcrustabri-9b4c22680294f86d.rlib" "/opt/rustwide/target/debug/deps/libcadical-45e6f673794e4b1e.rlib" "/opt/rustwide/target/debug/deps/libregex-ee15762020a10305.rlib" "/opt/rustwide/target/debug/deps/libregex_automata-bbf71d4d27c431df.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-61dd1ef11431377e.rlib" "/opt/rustwide/target/debug/deps/libmemchr-ac4a08e2ef670a01.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-dd61d2291c59640d.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-8c0bb59ebbb3df6c.rlib" "/opt/rustwide/target/debug/deps/libpermutator-390cd23ef2915c49.rlib" "/opt/rustwide/target/debug/deps/libnum-2ba683ce6e609466.rlib" "/opt/rustwide/target/debug/deps/libnum_rational-dfcc04609e70867d.rlib" "/opt/rustwide/target/debug/deps/libnum_iter-13c44b3fcc32dcea.rlib" "/opt/rustwide/target/debug/deps/libnum_complex-ade0570af1564649.rlib" "/opt/rustwide/target/debug/deps/libnum_bigint-9151f0258a3c1d1e.rlib" "/opt/rustwide/target/debug/deps/libnum_integer-27a23e4b309910e3.rlib" "/opt/rustwide/target/debug/deps/libnum_traits-45baf79f7ef28b7e.rlib" "/opt/rustwide/target/debug/deps/libstrum-bc9995c7f97c927f.rlib" "/opt/rustwide/target/debug/deps/libanyhow-316ed3bfd08c7353.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-ca74a2d9c5166d9f.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-e31ab23316ed5080.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libobject-27dc4aa955912662.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libmemchr-bd0d6cccce077b99.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libaddr2line-8d001680935b5e3c.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgimli-ba8ce71964f984f4.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-99a73526abcec14b.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd_detect-63ac0d22cff92579.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-9057355c92c922d5.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-358be9bc1f6bab04.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libminiz_oxide-aca15549d5bff974.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libadler-8251d2cef7072448.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-7d50b86011c66411.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-51ea098fce5006bf.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-5a14e0d0b712e731.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-8b83dbf3a7b8f999.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-c6fd227bdc7b39ff.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-959d3389fa3da8a5.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-abe05db089cc2c62.rlib" "-Wl,-Bdynamic" "-lstdc++" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/cadical-be35fdb317d15334/out" "-L" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/tmp/rustdoctestQw6QJB/rust_out" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: collect2: fatal error: ld terminated with signal 9 [Killed]
[INFO] [stdout]           compilation terminated.
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 1 previous error
[INFO] [stdout] 
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     src/aa/aa_framework.rs - aa::aa_framework::AAFramework<T>::argument_set (line 296)
[INFO] [stdout]     src/aa/aa_framework.rs - aa::aa_framework::AAFramework<T>::grounded_extension (line 441)
[INFO] [stdout]     src/aa/aa_framework.rs - aa::aa_framework::AAFramework<T>::iter_attacks (line 311)
[INFO] [stdout]     src/aa/aa_framework.rs - aa::aa_framework::AAFramework<T>::iter_attacks_from (line 336)
[INFO] [stdout]     src/aa/aa_framework.rs - aa::aa_framework::AAFramework<T>::n_arguments (line 395)
[INFO] [stdout]     src/aa/aa_framework.rs - aa::aa_framework::AAFramework<T>::n_attacks (line 419)
[INFO] [stdout]     src/aa/aa_framework.rs - aa::aa_framework::AAFramework<T>::new_attack (line 192)
[INFO] [stdout]     src/aa/aa_framework.rs - aa::aa_framework::AAFramework<T>::new_with_argument_set (line 92)
[INFO] [stdout]     src/aa/aa_framework.rs - aa::aa_framework::AAFramework<T>::remove_argument (line 145)
[INFO] [stdout]     src/aa/aa_framework.rs - aa::aa_framework::AAFramework<T>::remove_attack (line 226)
[INFO] [stdout]     src/aa/arguments.rs - aa::arguments::ArgumentSet<T>::new_argument (line 71)
[INFO] [stdout]     src/io/specs.rs - io::specs::InstanceReader::read (line 30)
[INFO] [stdout]     src/solvers/complete_semantics_solver.rs - solvers::complete_semantics_solver::CompleteSemanticsSolver<'a,T>::new_with_sat_solver_factory_and_constraints_encoder (line 107)
[INFO] [stdout]     src/solvers/ideal_semantics_solver.rs - solvers::ideal_semantics_solver::IdealSemanticsSolver<'a,T>::new_with_sat_solver_factory (line 62)
[INFO] [stdout]     src/solvers/maximal_range_semantics_solvers.rs - solvers::maximal_range_semantics_solvers::SemiStableSemanticsSolver<'a,T>::new (line 41)
[INFO] [stdout]     src/solvers/maximal_range_semantics_solvers.rs - solvers::maximal_range_semantics_solvers::SemiStableSemanticsSolver<'a,T>::new_with_sat_solver_factory (line 64)
[INFO] [stdout]     src/solvers/maximal_range_semantics_solvers.rs - solvers::maximal_range_semantics_solvers::StageSemanticsSolver<'a,T>::new_with_sat_solver_factory (line 64)
[INFO] [stdout]     src/solvers/preferred_semantics_solver.rs - solvers::preferred_semantics_solver::PreferredSemanticsSolver<'a,T>::new (line 40)
[INFO] [stdout]     src/solvers/preferred_semantics_solver.rs - solvers::preferred_semantics_solver::PreferredSemanticsSolver<'a,T>::new_with_sat_solver_factory_and_constraints_encoder (line 93)
[INFO] [stdout]     src/utils/label.rs - utils::label::LabelSet<T>::has_label_with_id (line 264)
[INFO] [stdout]     src/utils/label.rs - utils::label::LabelSet<T>::len (line 164)
[INFO] [stdout]     src/utils/label.rs - utils::label::LabelSet<T>::new_label (line 110)
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 46 passed; 22 failed; 0 ignored; 0 measured; 0 filtered out; finished in 11.38s
[INFO] [stdout] 
[INFO] [stderr] error: doctest failed, to rerun pass `--doc`
[INFO] running `Command { std: "docker" "inspect" "ae33666e9931a27f61dc87531f9514cbd029820b98eab436629b5bd38a9fd55a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ae33666e9931a27f61dc87531f9514cbd029820b98eab436629b5bd38a9fd55a", kill_on_drop: false }`
[INFO] [stdout] ae33666e9931a27f61dc87531f9514cbd029820b98eab436629b5bd38a9fd55a
