[INFO] fetching crate crustabri 1.1.1... [INFO] testing crustabri-1.1.1 against master#cdb45c87e2cd43495379f7e867e3cc15dcee9f93 for pr-145838-1 [INFO] extracting crate crustabri 1.1.1 into /workspace/builds/worker-3-tc1/source [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-3-tc1/source/Cargo.toml [INFO] validating manifest of crates.io crate crustabri 1.1.1 on toolchain cdb45c87e2cd43495379f7e867e3cc15dcee9f93 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [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" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded assert_fs v1.0.13 [INFO] [stderr] Downloaded permutator v0.4.3 [INFO] [stderr] Downloaded cadical v0.1.14 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] c0e8df2d423a15f1ddaf6181670f46256570f591ee063b75153105ef3a1689cb [INFO] running `Command { std: "docker" "start" "-a" "c0e8df2d423a15f1ddaf6181670f46256570f591ee063b75153105ef3a1689cb", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "c0e8df2d423a15f1ddaf6181670f46256570f591ee063b75153105ef3a1689cb", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "c0e8df2d423a15f1ddaf6181670f46256570f591ee063b75153105ef3a1689cb", kill_on_drop: false }` [INFO] [stdout] c0e8df2d423a15f1ddaf6181670f46256570f591ee063b75153105ef3a1689cb [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] d5de326c3d3ddd6f77f0570c083c23291bc1840ac2a99ef135fe6b65025e8dd2 [INFO] running `Command { std: "docker" "start" "-a" "d5de326c3d3ddd6f77f0570c083c23291bc1840ac2a99ef135fe6b65025e8dd2", 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 rustix v0.38.11 [INFO] [stderr] Compiling proc-macro2 v1.0.66 [INFO] [stderr] Compiling linux-raw-sys v0.4.5 [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 syn v1.0.109 [INFO] [stderr] Compiling memchr v2.6.3 [INFO] [stderr] Compiling unicode-width v0.1.10 [INFO] [stderr] Compiling regex-syntax v0.7.5 [INFO] [stderr] Compiling sysinfo v0.23.13 [INFO] [stderr] Compiling anyhow v1.0.75 [INFO] [stderr] Compiling either v1.9.0 [INFO] [stderr] Compiling textwrap v0.11.0 [INFO] [stderr] Compiling log v0.4.20 [INFO] [stderr] Compiling iana-time-zone v0.1.57 [INFO] [stderr] Compiling once_cell v1.18.0 [INFO] [stderr] Compiling aho-corasick v1.0.5 [INFO] [stderr] Compiling strum v0.24.1 [INFO] [stderr] Compiling num-traits v0.2.16 [INFO] [stderr] Compiling memoffset v0.9.0 [INFO] [stderr] Compiling num-integer v0.1.45 [INFO] [stderr] Compiling crossbeam-epoch v0.9.15 [INFO] [stderr] Compiling num-bigint v0.2.6 [INFO] [stderr] Compiling num-complex v0.2.4 [INFO] [stderr] Compiling num-iter v0.1.43 [INFO] [stderr] Compiling num-rational v0.2.4 [INFO] [stderr] Compiling crossbeam-channel v0.5.8 [INFO] [stderr] Compiling quote v1.0.33 [INFO] [stderr] Compiling crossbeam-deque v0.8.3 [INFO] [stderr] Compiling jobserver v0.1.26 [INFO] [stderr] Compiling num_cpus v1.16.0 [INFO] [stderr] Compiling time v0.1.45 [INFO] [stderr] Compiling atty v0.2.14 [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 chrono v0.4.29 [INFO] [stderr] Compiling cadical v0.1.14 [INFO] [stderr] Compiling regex-automata v0.3.8 [INFO] [stderr] Compiling strum_macros v0.24.3 [INFO] [stderr] Compiling num v0.2.1 [INFO] [stderr] Compiling permutator v0.4.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)]` (part of `#[warn(unused)]`) 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(usize), [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(usize), [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(usize), [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: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/solvers/maximal_extension_computer.rs:171:30 [INFO] [stdout] | [INFO] [stdout] 171 | pub(crate) fn state_data(&mut self) -> MaximalExtensionComputerStateData { [INFO] [stdout] | ^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 171 | pub(crate) fn state_data(&mut self) -> MaximalExtensionComputerStateData<'_, T> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/utils/connected_components_computer.rs:137:42 [INFO] [stdout] | [INFO] [stdout] 137 | pub fn iter_connected_components(af: &AAFramework) -> ConnectedComponentsIterator [INFO] [stdout] | ^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 137 | pub fn iter_connected_components(af: &AAFramework) -> ConnectedComponentsIterator<'_, T> [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 55.86s [INFO] running `Command { std: "docker" "inspect" "d5de326c3d3ddd6f77f0570c083c23291bc1840ac2a99ef135fe6b65025e8dd2", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "d5de326c3d3ddd6f77f0570c083c23291bc1840ac2a99ef135fe6b65025e8dd2", kill_on_drop: false }` [INFO] [stdout] d5de326c3d3ddd6f77f0570c083c23291bc1840ac2a99ef135fe6b65025e8dd2 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] eeffcc8b67b9f65107aaf476d0ca729c19daa68abcfaff5c348c3a743f202be2 [INFO] running `Command { std: "docker" "start" "-a" "eeffcc8b67b9f65107aaf476d0ca729c19daa68abcfaff5c348c3a743f202be2", kill_on_drop: false }` [INFO] [stderr] Compiling rustix v0.38.11 [INFO] [stderr] Compiling either v1.9.0 [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 difflib v0.4.0 [INFO] [stderr] Compiling walkdir v2.4.0 [INFO] [stderr] Compiling thread_local v1.1.7 [INFO] [stderr] Compiling anstyle v1.0.2 [INFO] [stderr] Compiling termtree v0.4.1 [INFO] [stderr] Compiling fastrand v2.0.0 [INFO] [stderr] Compiling paste v1.0.14 [INFO] [stderr] Compiling float-cmp v0.9.0 [INFO] [stderr] Compiling wait-timeout v0.2.0 [INFO] [stderr] Compiling predicates-tree v1.0.9 [INFO] [stderr] Compiling itertools v0.10.5 [INFO] [stderr] Compiling rayon v1.7.0 [INFO] [stderr] Compiling predicates v3.0.3 [INFO] [stderr] Compiling sysinfo v0.23.13 [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 fern v0.6.2 [INFO] [stderr] Compiling regex v1.9.5 [INFO] [stderr] Compiling bstr v1.6.2 [INFO] [stderr] Compiling crustabri v1.1.1 (/opt/rustwide/workdir) [INFO] [stderr] Compiling predicates v2.1.5 [INFO] [stderr] Compiling globset v0.4.13 [INFO] [stderr] Compiling assert_cmd v2.0.12 [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)]` (part of `#[warn(unused)]`) 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(usize), [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(usize), [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(usize), [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] Compiling ignore v0.4.20 [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/solvers/maximal_extension_computer.rs:171:30 [INFO] [stdout] | [INFO] [stdout] 171 | pub(crate) fn state_data(&mut self) -> MaximalExtensionComputerStateData { [INFO] [stdout] | ^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 171 | pub(crate) fn state_data(&mut self) -> MaximalExtensionComputerStateData<'_, T> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/utils/connected_components_computer.rs:137:42 [INFO] [stdout] | [INFO] [stdout] 137 | pub fn iter_connected_components(af: &AAFramework) -> ConnectedComponentsIterator [INFO] [stdout] | ^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 137 | pub fn iter_connected_components(af: &AAFramework) -> ConnectedComponentsIterator<'_, T> [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [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)]` (part of `#[warn(unused)]`) 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(usize), [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(usize), [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(usize), [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: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/solvers/maximal_extension_computer.rs:171:30 [INFO] [stdout] | [INFO] [stdout] 171 | pub(crate) fn state_data(&mut self) -> MaximalExtensionComputerStateData { [INFO] [stdout] | ^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 171 | pub(crate) fn state_data(&mut self) -> MaximalExtensionComputerStateData<'_, T> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/utils/connected_components_computer.rs:137:42 [INFO] [stdout] | [INFO] [stdout] 137 | pub fn iter_connected_components(af: &AAFramework) -> ConnectedComponentsIterator [INFO] [stdout] | ^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 137 | pub fn iter_connected_components(af: &AAFramework) -> ConnectedComponentsIterator<'_, T> [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 24.14s [INFO] running `Command { std: "docker" "inspect" "eeffcc8b67b9f65107aaf476d0ca729c19daa68abcfaff5c348c3a743f202be2", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "eeffcc8b67b9f65107aaf476d0ca729c19daa68abcfaff5c348c3a743f202be2", kill_on_drop: false }` [INFO] [stdout] eeffcc8b67b9f65107aaf476d0ca729c19daa68abcfaff5c348c3a743f202be2 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 560d3c88c5715aa75e9abe991a167484be764e80fd15deab45c86614da72bcbe [INFO] running `Command { std: "docker" "start" "-a" "560d3c88c5715aa75e9abe991a167484be764e80fd15deab45c86614da72bcbe", 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)]` (part of `#[warn(unused)]`) 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(usize), [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(usize), [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(usize), [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: hiding a lifetime that's elided elsewhere is confusing [INFO] [stderr] --> src/solvers/maximal_extension_computer.rs:171:30 [INFO] [stderr] | [INFO] [stderr] 171 | pub(crate) fn state_data(&mut self) -> MaximalExtensionComputerStateData { [INFO] [stderr] | ^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stderr] | | [INFO] [stderr] | the lifetime is elided here [INFO] [stderr] | [INFO] [stderr] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stderr] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stderr] help: use `'_` for type paths [INFO] [stderr] | [INFO] [stderr] 171 | pub(crate) fn state_data(&mut self) -> MaximalExtensionComputerStateData<'_, T> { [INFO] [stderr] | +++ [INFO] [stderr] [INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stderr] --> src/utils/connected_components_computer.rs:137:42 [INFO] [stderr] | [INFO] [stderr] 137 | pub fn iter_connected_components(af: &AAFramework) -> ConnectedComponentsIterator [INFO] [stderr] | ^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stderr] | | [INFO] [stderr] | the lifetime is elided here [INFO] [stderr] | [INFO] [stderr] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stderr] help: use `'_` for type paths [INFO] [stderr] | [INFO] [stderr] 137 | pub fn iter_connected_components(af: &AAFramework) -> ConnectedComponentsIterator<'_, T> [INFO] [stderr] | +++ [INFO] [stderr] [INFO] [stderr] warning: `crustabri` (lib) generated 6 warnings (run `cargo fix --lib -p crustabri` to apply 2 suggestions) [INFO] [stderr] warning: `crustabri` (lib test) generated 6 warnings (6 duplicates) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.14s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/crustabri-884d1c0c89fea46d) [INFO] [stdout] [INFO] [stdout] running 314 tests [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_add_attack_on_new_arg_after_att_removal ... 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_new_attack_ok ... ok [INFO] [stdout] test aa::aa_framework::tests::test_new_attack_unknown_label_1 ... ok [INFO] [stdout] test aa::aa_framework::tests::test_remove_attack ... ok [INFO] [stdout] test aa::aa_framework::tests::test_remove_argument ... 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::problem::tests::test_read_problem_ok ... ok [INFO] [stdout] test aa::aa_framework::tests::test_new_argument ... 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 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 encodings::aux_var_constraints_encoder::tests::test_no_attacks_complete_semantics ... 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_complete_semantics_solver_attacks::tests::coreo_test ... ok [INFO] [stdout] test dynamics::assumptions_on_attacks::dynamic_complete_semantics_solver_attacks::tests::coreo_test_1_25 ... 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 encodings::aux_var_constraints_encoder::tests::test_no_attacks_conflict_freeness ... ok [INFO] [stdout] test dynamics::dynamic_complete_semantics_solver::tests::coreo_test ... ok [INFO] [stdout] test dynamics::dynamic_preferred_semantics_solver::tests::coreo_test ... ok [INFO] [stdout] test dynamics::assumptions_on_attacks::dynamic_stable_semantics_solver_attacks::tests::coreo_test ... ok [INFO] [stdout] test aa::aa_framework::tests::test_n_args ... ok [INFO] [stdout] test encodings::hybrid_complete_constraints_encoder::tests::test_no_attacks ... ok [INFO] [stdout] test encodings::exp_constraints_encoder::tests::test_no_attacks_complete_semantics ... ok [INFO] [stdout] test io::aspartix_reader::tests::test_arg_line_pattern_not_ok ... ok [INFO] [stdout] test io::aspartix_reader::tests::test_arg_line_pattern_ok ... ok [INFO] [stdout] test aa::aa_framework::tests::test_new_attack_unknown_label_2 ... ok [INFO] [stdout] test dynamics::dynamic_preferred_semantics_solver::tests::test_wrong_witness ... ok [INFO] [stdout] test io::aspartix_reader::tests::test_arg_in_no_attack ... ok [INFO] [stdout] test dynamics::buffered_dynamic_constraints_encoder::tests::test_one_new_var_for_multiple_attacks_to_arg ... ok [INFO] [stdout] test encodings::exp_constraints_encoder::tests::test_no_attacks_conflict_freeness ... ok [INFO] [stdout] test dynamics::dynamic_complete_semantics_solver::tests::test_del_unencoded_arg ... ok [INFO] [stdout] test io::aspartix_reader::tests::test_read_empty ... ok [INFO] [stdout] test io::aspartix_writer::tests::test_write_acceptance_status_no ... ok [INFO] [stdout] test io::aspartix_reader::tests::test_try_read_arg_line_wrong_name ... ok [INFO] [stdout] test io::aspartix_reader::tests::test_try_read_arg_line_ok ... ok [INFO] [stdout] test io::aspartix_reader::tests::test_try_read_arg_line_wrong_line_pattern ... ok [INFO] [stdout] test dynamics::dynamic_stable_semantics_solver::tests::coreo_test ... 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_af ... ok [INFO] [stdout] test io::aspartix_writer::tests::test_write_single_extension ... ok [INFO] [stdout] test io::iccma23_reader::tests::test_empty_instance ... ok [INFO] [stdout] test io::aspartix_writer::tests::test_write_no_extension ... ok [INFO] [stdout] test io::iccma23_reader::tests::test_empty_line_at_the_beginning ... 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_preamble_word_0 ... ok [INFO] [stdout] test io::iccma23_reader::tests::test_error_in_preamble_word_1 ... ok [INFO] [stdout] test io::iccma23_reader::tests::test_error_in_preamble_word_2 ... ok [INFO] [stdout] test io::iccma23_reader::tests::test_error_in_attack_word_1 ... ok [INFO] [stdout] test io::iccma23_reader::tests::test_ok ... ok [INFO] [stdout] test io::iccma23_reader::tests::test_ok_empty_lines_at_the_end ... ok [INFO] [stdout] test io::iccma23_reader::tests::test_error_in_attack_word_2 ... ok [INFO] [stdout] test io::iccma23_reader::tests::test_ok_missing_last_lf ... ok [INFO] [stdout] test io::iccma23_reader::tests::test_arg_in_no_attack ... ok [INFO] [stdout] test io::iccma23_writer::tests::test_write_acceptance_status_yes ... ok [INFO] [stdout] test io::iccma23_reader::tests::test_comment ... ok [INFO] [stdout] test io::aspartix_reader::tests::test_read_syntax_error ... ok [INFO] [stdout] test io::iccma23_reader::tests::test_error_in_preamble_word_3 ... ok [INFO] [stdout] test io::iccma23_reader::tests::test_read_arg_from_str ... ok [INFO] [stdout] test io::iccma23_writer::tests::test_write_acceptance_status_no ... ok [INFO] [stdout] test io::aspartix_reader::tests::test_try_read_att_line_wrong_line_pattern ... ok [INFO] [stdout] test io::aspartix_reader::tests::test_att_line_pattern_not_ok ... ok [INFO] [stdout] test io::aspartix_reader::tests::test_att_line_pattern_ok ... ok [INFO] [stdout] test io::warning_result::tests::test_zip_oo ... ok [INFO] [stdout] test io::warning_result::tests::test_zip_ow ... ok [INFO] [stdout] test io::iccma23_writer::tests::test_write_empty_extension ... 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_consume_warnings_warned ... 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 sat::buffered_sat_solver::tests::test_output_comment_with_no_message ... ok [INFO] [stdout] test sat::buffered_sat_solver::tests::test_output_no_s_line ... ok [INFO] [stdout] test sat::buffered_sat_solver::tests::test_output_sat_no_s_line ... ok [INFO] [stdout] test io::warning_result::tests::test_zip_ww ... 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_with_v_lines_without_lits ... ok [INFO] [stdout] test sat::buffered_sat_solver::tests::test_output_sat_no_v_line ... ok [INFO] [stdout] test io::aspartix_reader::tests::test_read_warn_arg_left_space ... ok [INFO] [stdout] test io::aspartix_reader::tests::test_read_ok ... ok [INFO] [stdout] test sat::buffered_sat_solver::tests::test_output_unsat_ok ... ok [INFO] [stdout] test sat::cadical_solver::tests::test_reserve ... ok [INFO] [stdout] test sat::buffered_sat_solver::tests::test_output_sat_ok ... ok [INFO] [stdout] test sat::cadical_solver::tests::test_sat ... ok [INFO] [stdout] test io::aspartix_reader::tests::test_try_read_att_line_ok ... ok [INFO] [stdout] test sat::cadical_solver::tests::test_iterative ... ok [INFO] [stdout] test sat::cadical_solver::tests::test_unsat ... ok [INFO] [stdout] test sat::sat_solver::tests::test_lit_from_neg ... ok [INFO] [stdout] test sat::sat_solver::tests::test_lit_from_pos ... ok [INFO] [stdout] test sat::sat_solver::tests::test_negate_lit ... ok [INFO] [stdout] test sat::cadical_solver::tests::test_solve_under_assumptions ... ok [INFO] [stdout] test sat::sat_solver::tests::test_solving_result_unwrap_model_some ... ok [INFO] [stdout] test sat::sat_solver::tests::test_solving_result_unwrap_model_none ... ok [INFO] [stdout] test sat::sat_solver::tests::test_var_from_pos ... ok [INFO] [stdout] test sat::external_sat_solver::tests::test_solve_under_assumptions_output ... ok [INFO] [stdout] test sat::external_sat_solver::tests::test_solve_output ... ok [INFO] [stdout] test solvers::complete_semantics_solver::tests::test_acceptance_1_hybrid ... ok [INFO] [stdout] test solvers::complete_semantics_solver::tests::test_acceptance_2_auxvar ... 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_exp ... ok [INFO] [stdout] test solvers::complete_semantics_solver::tests::test_acceptance_1_auxvar ... 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_hybrid ... ok [INFO] [stdout] test solvers::complete_semantics_solver::tests::test_acceptance_3_exp ... ok [INFO] [stdout] test solvers::complete_semantics_solver::tests::test_certificates_auxvar ... 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_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_disj_credulous_acceptance_exp ... ok [INFO] [stdout] test solvers::complete_semantics_solver::tests::test_funnel_auxvar ... ok [INFO] [stdout] test sat::buffered_sat_solver::tests::test_output_sat_multiple_status_lines - should panic ... ok [INFO] [stdout] test solvers::complete_semantics_solver::tests::test_funnel_hybrid ... ok [INFO] [stdout] test sat::buffered_sat_solver::tests::test_output_sat_multiple_zeroes_in_v_lines - should panic ... ok [INFO] [stdout] test solvers::grounded_semantics_solver::tests::test_certificates ... ok [INFO] [stdout] test io::aspartix_reader::tests::test_read_arg_from_str ... ok [INFO] [stdout] test io::aspartix_reader::tests::test_read_arg_after_att ... ok [INFO] [stdout] test io::aspartix_reader::tests::test_read_unknown_arg_in_att ... 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::complete_semantics_solver::tests::test_funnel_exp ... ok [INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_compute_ideal_ext_is_not_grounded_auxvar ... ok [INFO] [stdout] test sat::buffered_sat_solver::tests::test_output_sat_var_out_of_bounds - should panic ... ok [INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_compute_ideal_ext_is_not_grounded_exp ... ok [INFO] [stdout] test sat::buffered_sat_solver::tests::test_output_sat_not_a_var - should panic ... ok [INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_compute_ideal_ext_is_grounded_hybrid ... ok [INFO] [stdout] test solvers::grounded_semantics_solver::tests::test_disj_credulous_acceptance ... ok [INFO] [stdout] test io::aspartix_reader::tests::test_try_read_att_line_wrong_name ... ok [INFO] [stdout] test sat::buffered_sat_solver::tests::test_output_unexpected_line - should panic ... 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_hybrid ... 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_single_preferred_exp ... ok [INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_disj_skeptical_acceptance_auxvar ... ok [INFO] [stdout] test sat::sat_solver::tests::test_solving_result_unwrap_model_unknown - should panic ... ok [INFO] [stdout] test sat::sat_solver::tests::test_var_from_neg - should panic ... ok [INFO] [stdout] test solvers::complete_semantics_solver::tests::test_disj_credulous_acceptance_hybrid ... ok [INFO] [stdout] test sat::sat_solver::tests::test_var_from_null - should panic ... ok [INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_disj_skeptical_acceptance_exp ... ok [INFO] [stdout] test sat::sat_solver::tests::test_lit_from_null - should panic ... ok [INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_ideal_acceptance_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_skeptical_acceptance_hybrid ... 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_ideal_acceptance_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_funnel_auxvar ... 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_in_all_preferred_but_not_in_ideal_exp ... 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_single_preferred_exp ... 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_hybrid ... 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_semi_stable_after_arg_removal_hybrid ... ok [INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_ideal_acceptance_ext_is_grounded_exp ... 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_after_arg_removal_exp ... 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_with_certificate_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_funnel_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_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_stage_ext_is_not_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::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_hybrid ... 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_compute_one_semi_stable_ext_is_grounded_exp ... 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_compute_one_semi_stable_ext_is_not_grounded_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_exp ... ok [INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_compute_one_stage_ext_is_grounded_auxvar ... 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_after_arg_removal_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_semi_stable_credulous_acceptance_auto_attack_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_after_arg_removal_hybrid ... 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_credulous_acceptance_exp ... 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_auxvar ... 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_skeptical_acceptance_after_arg_removal_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_semi_stable_skeptical_acceptance_after_arg_removal_exp ... 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_exp ... 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_disj_skeptical_acceptance_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_auxvar ... 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_stage_credulous_acceptance_auto_attack_auxvar ... 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_hybrid ... 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_stage_credulous_acceptance_after_arg_removal_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_stage_credulous_acceptance_auto_attack_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_credulous_acceptance_auxvar ... 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_stage_credulous_acceptance_exp ... ok [INFO] [stdout] test solvers::complete_semantics_solver::tests::test_acceptance_2_hybrid ... 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_disj_skeptical_acceptance_auxvar ... ok [INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_stage_disj_credulous_acceptance_exp ... 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_credulous_acceptance_auxvar ... 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_certificates_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_exp ... ok [INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_certificates_connected_components_exp ... 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::ideal_semantics_solver::tests::test_disj_credulous_acceptance_hybrid ... ok [INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_stage_disj_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_certificates_hybrid ... ok [INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_stage_skeptical_acceptance_auto_attackexp ... ok [INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_allow_ds_shortcut_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_grounded_auxvar ... ok [INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_allow_ds_shortcut_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_ext_is_grounded_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_exp ... ok [INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_enumerate_extensions_hybrid ... ok [INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_enumerate_extensions_with_autoattack_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_compute_one_preferred_ext_is_not_grounded_exp ... ok [INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_enumerate_extensions_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_disj_skeptical_acceptance_exp ... ok [INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_certificates_connected_components_auxvar ... 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_skeptical_acceptance_after_arg_removal_hybrid ... ok [INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_funnel_auxvar ... 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_skeptical_acceptance_auto_attack_hybrid ... ok [INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_skeptical_acceptance_exp ... ok [INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_funnel_exp ... ok [INFO] [stdout] test solvers::stable_semantics_solver::tests::test_acceptance_1 ... ok [INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_skeptical_acceptance_with_autoattack_hybrid ... ok [INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_skeptical_acceptance_auxvar ... ok [INFO] [stdout] test solvers::stable_semantics_solver::tests::test_acceptance_2 ... ok [INFO] [stdout] test solvers::stable_semantics_solver::tests::test_certificates ... ok [INFO] [stdout] test solvers::stable_semantics_solver::tests::test_compute_one ... ok [INFO] [stdout] test solvers::stable_semantics_solver::tests::test_certificates_connected_components ... 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_exp ... ok [INFO] [stdout] test solvers::stable_semantics_solver::tests::test_acceptance_connected_components_shortcut ... ok [INFO] [stdout] test utils::connected_components_computer::tests::test_connected_components ... ok [INFO] [stdout] test solvers::stable_semantics_solver::tests::test_compute_one_no_exists ... 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 solvers::stable_semantics_solver::tests::test_disj_credulous_acceptance ... ok [INFO] [stdout] test solvers::stable_semantics_solver::tests::test_disj_skeptical_acceptance ... 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_path ... ok [INFO] [stdout] test utils::equivalency_computer::tests::test_grounded_classes_hierarchy ... ok [INFO] [stdout] test utils::equivalency_computer::tests::test_grounded_classes_with_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_propagate_ring_of_3 ... ok [INFO] [stdout] test utils::equivalency_computer::tests::test_compute_classes_ring_of_3 ... ok [INFO] [stdout] test utils::equivalency_computer::tests::test_propagate_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::grounded_extension_computer::tests::test_grounded_extension_2 ... ok [INFO] [stdout] test utils::grounded_extension_computer::tests::test_grounded_extension_after_arg_removal ... ok [INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_enumerate_extensions_with_autoattack_hybrid ... ok [INFO] [stdout] test utils::grounded_extension_computer::tests::test_grounded_extension_empty_af ... 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::label::tests::test_new_with_empty_labels ... ok [INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_skeptical_acceptance_with_autoattack_auxvar ... ok [INFO] [stdout] test utils::label::tests::test_add_labels ... ok [INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_funnel_hybrid ... ok [INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_skeptical_acceptance_auto_attack_exp ... ok [INFO] [stdout] test utils::label::tests::test_into_iterator ... ok [INFO] [stdout] test utils::label::tests::test_new_with_labels ... ok [INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_skeptical_acceptance_hybrid ... ok [INFO] [stdout] test utils::label::tests::test_remove_label ... ok [INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_disj_skeptical_acceptance_auxvar ... ok [INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_compute_one_preferred_ext_is_not_grounded_hybrid ... ok [INFO] [stdout] test utils::label::tests::test_remove_nonexisting_label - should panic ... ok [INFO] [stdout] test utils::label::tests::test_max_id ... 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_ideal_acceptance_ext_is_single_preferred_hybrid ... ok [INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_skeptical_acceptance_after_arg_removal_auxvar ... ok [INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_disj_credulous_acceptance_exp ... ok [INFO] [stdout] test utils::connected_components_computer::tests::test_connected_components_of_twice - should panic ... ok [INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_skeptical_acceptance_after_arg_removal_exp ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 314 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.45s [INFO] [stdout] [INFO] [stderr] Running unittests src/main.rs (/opt/rustwide/target/debug/deps/crustabri-6401f9610273b80c) [INFO] [stdout] [INFO] [stdout] running 15 tests [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] crustabri 1.1.1 [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] ---------------------------------------- [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] crustabri 1.1.1 [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] ---------------------------------------- [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] app_name app_version [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] ---------------------------------------- [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] crustabri 1.1.1 [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] app_name app_version [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] ---------------------------------------- [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] local_command_name [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] local_command_about [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] USAGE: [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] local_command_name [FLAGS] [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] FLAGS: [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] -a [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] app_name app_version [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] author [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] about [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] -h, --help [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] Prints help information [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] USAGE: [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] app_name [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] FLAGS: [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] -h, --help [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] Prints help information [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] SUBCOMMANDS: [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] help Prints this message or the help of the given subcommand(s) [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] local_command_name local_command_about [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] app_name app_version [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] local_command_name [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] local_command_about [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] USAGE: [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] local_command_name [FLAGS] [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] FLAGS: [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] -a [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] -h, --help [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] Prints help information [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] app_name app_version [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] author [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] about [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] USAGE: [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] app_name [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] FLAGS: [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] -h, --help [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] Prints help information [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] SUBCOMMANDS: [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] help Prints this message or the help of the given subcommand(s) [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] local_command_name local_command_about [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] app_name app_version [INFO] [stdout] test app::app_helper::tests::test_no_subcommand ... ok [INFO] [stdout] test app::cli_manager::tests::test_help_for_subcommand ... ok [INFO] [stdout] test app::cli_manager::tests::test_help ... 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_help_subcommand ... ok [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] app_name app_version [INFO] [stdout] test app::cli_manager::tests::test_wrong_arg ... ok [INFO] [stdout] test app::writable_string::tests::test_debug ... ok [INFO] [stdout] test app::cli_manager::tests::test_wrong_subcommand ... ok [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] running on 560d3c88c571 [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] running on 560d3c88c571 [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] OS is Ubuntu 24.04 with kernel 6.14.0-1014-gcp [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] physical core count: 8 ["AMD EPYC 7B13"] [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] total memory: 16762830 KB [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] ---------------------------------------- [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] OS is Ubuntu 24.04 with kernel 6.14.0-1014-gcp [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] physical core count: 8 ["AMD EPYC 7B13"] [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] total memory: 16762830 KB [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] ---------------------------------------- [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] exiting successfully after 71.317924ms [INFO] [stdout] test app::app_helper::tests::test_subcommand_err ... ok [INFO] [stdout] test app::app_helper::tests::test_subcommand_ok ... ok [INFO] [stdout] test app::writable_string::tests::test_display ... ok [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] crustabri 1.1.1 [INFO] [stdout] test app::app_helper::tests::test_no_args ... ok [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] running on 560d3c88c571 [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] OS is Ubuntu 24.04 with kernel 6.14.0-1014-gcp [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] physical core count: 8 ["AMD EPYC 7B13"] [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] total memory: 16762830 KB [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] ---------------------------------------- [INFO] [stdout] test app::cli_manager::tests::test_command_and_arg_involved ... ok [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] running on 560d3c88c571 [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] OS is Ubuntu 24.04 with kernel 6.14.0-1014-gcp [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] physical core count: 8 ["AMD EPYC 7B13"] [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] total memory: 16762830 KB [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] ---------------------------------------- [INFO] [stdout] test app::cli_manager::tests::test_command_involved ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 15 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.11s [INFO] [stdout] [INFO] [stderr] Running unittests src/main_iccma23.rs (/opt/rustwide/target/debug/deps/crustabri_iccma23-5f70e86607c448d0) [INFO] [stdout] [INFO] [stdout] running 15 tests [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] app_name app_version [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] ---------------------------------------- [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] crustabri 1.1.1 [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] ---------------------------------------- [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] crustabri 1.1.1 [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] ---------------------------------------- [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] app_name app_version [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] author [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] about [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] USAGE: [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] app_name [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] FLAGS: [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] -h, --help [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] Prints help information [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] SUBCOMMANDS: [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] help Prints this message or the help of the given subcommand(s) [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] local_command_name local_command_about [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] crustabri 1.1.1 [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] app_name app_version [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] crustabri 1.1.1 [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] local_command_name [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] local_command_about [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] USAGE: [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] local_command_name [FLAGS] [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] FLAGS: [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] app_name app_version [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] -a [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] -h, --help [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] Prints help information [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] [INFO] [stdout] test app::app_helper::tests::test_no_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::app_helper::tests::test_no_args ... ok [INFO] [stdout] test app::cli_manager::tests::test_wrong_arg ... ok [INFO] [stdout] test app::cli_manager::tests::test_help_for_subcommand ... ok [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] app_name app_version [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] ---------------------------------------- [INFO] [stdout] test app::writable_string::tests::test_display ... ok [INFO] [stdout] test app::writable_string::tests::test_debug ... ok [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] running on 560d3c88c571 [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] OS is Ubuntu 24.04 with kernel 6.14.0-1014-gcp [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] physical core count: 8 ["AMD EPYC 7B13"] [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] total memory: 16762830 KB [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] ---------------------------------------- [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] running on 560d3c88c571 [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] OS is Ubuntu 24.04 with kernel 6.14.0-1014-gcp [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] physical core count: 8 ["AMD EPYC 7B13"] [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] total memory: 16762830 KB [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] ---------------------------------------- [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 ] [2025-09-01 08:03:33] running on 560d3c88c571 [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] OS is Ubuntu 24.04 with kernel 6.14.0-1014-gcp [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] physical core count: 8 ["AMD EPYC 7B13"] [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] total memory: 16762830 KB [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] ---------------------------------------- [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] exiting successfully after 50.791806ms [INFO] [stdout] test app::app_helper::tests::test_subcommand_ok ... ok [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] app_name app_version [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] author [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] about [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] USAGE: [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] app_name [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] FLAGS: [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] -h, --help [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] Prints help information [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] SUBCOMMANDS: [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] help Prints this message or the help of the given subcommand(s) [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] local_command_name local_command_about [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] [INFO] [stdout] test app::cli_manager::tests::test_help ... ok [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] local_command_name [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] local_command_about [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] USAGE: [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] local_command_name [FLAGS] [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] FLAGS: [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] -a [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] -h, --help [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] Prints help information [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] [INFO] [stdout] test app::cli_manager::tests::test_subcommand_help ... ok [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] app_name app_version [INFO] [stdout] test app::cli_manager::tests::test_wrong_subcommand ... ok [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] running on 560d3c88c571 [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] OS is Ubuntu 24.04 with kernel 6.14.0-1014-gcp [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] physical core count: 8 ["AMD EPYC 7B13"] [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] total memory: 16762830 KB [INFO] [stdout] ![INFO ] [2025-09-01 08:03:33] ---------------------------------------- [INFO] [stdout] test app::cli_manager::tests::test_command_involved ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 15 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.15s [INFO] [stdout] [INFO] [stderr] Running tests/test_iccma23_aa.rs (/opt/rustwide/target/debug/deps/test_iccma23_aa-f961a828118ea33f) [INFO] [stdout] [INFO] [stdout] running 55 tests [INFO] [stdout] test test_complete_dc_1 ... ok [INFO] [stdout] test test_complete_ds_1 ... ok [INFO] [stdout] test test_complete_ds_2 ... ok [INFO] [stdout] test test_ideal_dc_4 ... ok [INFO] [stdout] test test_complete_dc_4 ... ok [INFO] [stdout] test test_complete_dc_3 ... ok [INFO] [stdout] test test_complete_ds_4 ... ok [INFO] [stdout] test test_ideal_ds_2 ... ok [INFO] [stdout] test test_complete_dc_2 ... ok [INFO] [stdout] test test_ideal_ds_3 ... ok [INFO] [stdout] test test_ideal_dc_1 ... ok [INFO] [stdout] test test_complete_se ... ok [INFO] [stdout] test test_ideal_ds_1 ... ok [INFO] [stdout] test test_ideal_dc_2 ... ok [INFO] [stdout] test test_complete_ds_3 ... ok [INFO] [stdout] test test_ideal_ds_4 ... ok [INFO] [stdout] test test_preferred_dc_3 ... ok [INFO] [stdout] test test_ideal_se ... ok [INFO] [stdout] test test_preferred_dc_2 ... ok [INFO] [stdout] test test_semistable_dc_1 ... ok [INFO] [stdout] test test_preferred_ds_2 ... ok [INFO] [stdout] test test_preferred_ds_4 ... ok [INFO] [stdout] test test_preferred_dc_4 ... ok [INFO] [stdout] test test_ideal_dc_3 ... ok [INFO] [stdout] test test_preferred_se ... ok [INFO] [stdout] test test_semistable_dc_3 ... ok [INFO] [stdout] test test_preferred_ds_3 ... ok [INFO] [stdout] test test_semistable_ds_2 ... ok [INFO] [stdout] test test_semistable_dc_2 ... ok [INFO] [stdout] test test_semistable_dc_4 ... ok [INFO] [stdout] test test_preferred_dc_1 ... ok [INFO] [stdout] test test_preferred_ds_1 ... ok [INFO] [stdout] test test_stable_dc_1 ... ok [INFO] [stdout] test test_semistable_ds_1 ... ok [INFO] [stdout] test test_semistable_ds_3 ... ok [INFO] [stdout] test test_stable_dc_2 ... ok [INFO] [stdout] test test_stable_ds_3 ... ok [INFO] [stdout] test test_stable_ds_4 ... ok [INFO] [stdout] test test_stable_dc_3 ... ok [INFO] [stdout] test test_stable_dc_4 ... ok [INFO] [stdout] test test_stable_ds_1 ... ok [INFO] [stdout] test test_semistable_se ... ok [INFO] [stdout] test test_semistable_ds_4 ... ok [INFO] [stdout] test test_stable_se ... ok [INFO] [stdout] test test_stable_ds_2 ... ok [INFO] [stdout] test test_stage_dc_1 ... ok [INFO] [stdout] test test_stage_se ... ok [INFO] [stdout] test test_stg_se_no_constraints ... ok [INFO] [stdout] test test_stage_ds_4 ... ok [INFO] [stdout] test test_stage_ds_1 ... ok [INFO] [stdout] test test_stage_dc_2 ... ok [INFO] [stdout] test test_stage_ds_2 ... ok [INFO] [stdout] test test_stage_dc_3 ... ok [INFO] [stdout] test test_stage_ds_3 ... ok [INFO] [stdout] test test_stage_dc_4 ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 55 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 1.07s [INFO] [stdout] [INFO] [stderr] Running tests/test_iccma23_authors.rs (/opt/rustwide/target/debug/deps/test_iccma23_authors-b8ae5afc76660689) [INFO] [stdout] [INFO] [stdout] running 1 test [INFO] [stderr] Running tests/test_iccma23_problems.rs (/opt/rustwide/target/debug/deps/test_iccma23_problems-7fca638828bdb8e3) [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.05s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 1 test [INFO] [stdout] test test_iccma23 ... ok [INFO] [stderr] Doc-tests crustabri [INFO] [stdout] [INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.04s [INFO] [stdout] [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>::attacker (line 55) ... ok [INFO] [stdout] test src/aa/aa_framework.rs - aa::aa_framework::AAFramework::n_arguments (line 395) ... ok [INFO] [stdout] test src/aa/aa_framework.rs - aa::aa_framework::AAFramework::iter_attacks_from (line 336) ... 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::remove_attack (line 226) ... ok [INFO] [stdout] test src/aa/aa_framework.rs - aa::aa_framework::AAFramework::new_with_argument_set (line 92) ... 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::AAFramework::iter_attacks_to (line 368) ... ok [INFO] [stdout] test src/aa/aa_framework.rs - aa::aa_framework::AAFramework::argument_set (line 296) ... ok [INFO] [stdout] test src/aa/aa_framework.rs - aa::aa_framework::AAFramework::remove_argument (line 145) ... ok [INFO] [stdout] test src/aa/aa_framework.rs - aa::aa_framework::AAFramework::n_attacks (line 419) ... ok [INFO] [stdout] test src/aa/aa_framework.rs - aa::aa_framework::AAFramework::new_argument (line 117) ... ok [INFO] [stdout] test src/aa/aa_framework.rs - aa::aa_framework::AAFramework::iter_attacks (line 311) ... ok [INFO] [stdout] test src/aa/aa_framework.rs - aa::aa_framework::AAFramework::grounded_extension (line 441) ... ok [INFO] [stdout] test src/aa/aa_framework.rs - aa::aa_framework::AAFramework::new_attack (line 192) ... ok [INFO] [stdout] test src/aa/arguments.rs - aa::arguments::ArgumentSet::max_id (line 133) ... ok [INFO] [stdout] test src/aa/arguments.rs - aa::arguments::ArgumentSet::iter (line 225) ... ok [INFO] [stdout] test src/aa/arguments.rs - aa::arguments::ArgumentSet::has_argument_with_id (line 208) ... 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::get_argument_by_id (line 190) ... ok [INFO] [stdout] test src/aa/arguments.rs - aa::arguments::ArgumentSet::get_argument (line 168) ... ok [INFO] [stdout] test src/aa/arguments.rs - aa::arguments::ArgumentSet::new_argument (line 71) ... ok [INFO] [stdout] test src/aa/arguments.rs - aa::arguments::ArgumentSet::new_with_labels (line 54) ... ok [INFO] [stdout] test src/aa/arguments.rs - aa::arguments::ArgumentSet::is_empty (line 149) ... ok [INFO] [stdout] test src/io/specs.rs - io::specs::InstanceReader::read (line 30) ... ok [INFO] [stdout] test src/io/aspartix_writer.rs - io::aspartix_writer::AspartixWriter (line 35) ... ok [INFO] [stdout] test src/sat/sat_solver.rs - sat::sat_solver::Literal::var (line 85) ... ok [INFO] [stdout] test src/aa/arguments.rs - aa::arguments::ArgumentSet::len (line 115) ... ok [INFO] [stdout] test src/io/aspartix_reader.rs - io::aspartix_reader::AspartixReader (line 87) ... ok [INFO] [stdout] test src/io/specs.rs - io::specs::InstanceReader::read_arg_from_str (line 48) ... ok [INFO] [stdout] test src/sat/sat_solver.rs - sat::sat_solver::SatSolver::solve (line 272) ... ok [INFO] [stdout] test src/aa/arguments.rs - aa::arguments::ArgumentSet::remove_argument (line 92) ... ok [INFO] [stdout] test src/sat/sat_solver.rs - sat::sat_solver::SatSolver::n_vars (line 329) ... ok [INFO] [stdout] test src/io/aspartix_writer.rs - io::aspartix_writer::AspartixWriter::write_framework (line 57) ... 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::solve_under_assumptions (line 300) ... ok [INFO] [stdout] test src/sat/sat_solver.rs - sat::sat_solver::Assignment::value_of (line 163) ... 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/sat/sat_solver.rs - sat::sat_solver::Literal::negate (line 69) ... ok [INFO] [stdout] test src/lib.rs - (line 8) ... 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_with_sat_solver_factory (line 68) ... ok [INFO] [stdout] test src/solvers/ideal_semantics_solver.rs - solvers::ideal_semantics_solver::IdealSemanticsSolver<'a,T>::new_with_sat_solver_factory (line 62) ... 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/solvers/stable_semantics_solver.rs - solvers::stable_semantics_solver::StableSemanticsSolver<'a,T>::new (line 40) ... ok [INFO] [stdout] test src/solvers/maximal_range_semantics_solvers.rs - solvers::maximal_range_semantics_solvers::StageSemanticsSolver<'a,T>::new (line 189) ... ok [INFO] [stdout] test src/solvers/maximal_range_semantics_solvers.rs - solvers::maximal_range_semantics_solvers::SemiStableSemanticsSolver<'a,T>::new (line 183) ... ok [INFO] [stdout] test src/solvers/maximal_range_semantics_solvers.rs - solvers::maximal_range_semantics_solvers::SemiStableSemanticsSolver<'a,T>::new_with_sat_solver_factory (line 183) ... ok [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) ... 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_and_constraints_encoder (line 107) ... ok [INFO] [stdout] test src/solvers/maximal_range_semantics_solvers.rs - solvers::maximal_range_semantics_solvers::StageSemanticsSolver<'a,T>::new_with_sat_solver_factory (line 189) ... 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/solvers/preferred_semantics_solver.rs - solvers::preferred_semantics_solver::PreferredSemanticsSolver<'a,T>::new (line 40) ... ok [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 183) ... ok [INFO] [stdout] test src/utils/label.rs - utils::label::LabelSet::get_label (line 221) ... 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_with_sat_solver_factory_and_constraints_encoder (line 189) ... ok [INFO] [stdout] test src/utils/label.rs - utils::label::LabelSet::len (line 164) ... ok [INFO] [stdout] test src/utils/label.rs - utils::label::LabelSet::iter (line 281) ... ok [INFO] [stdout] test src/utils/label.rs - utils::label::LabelSet::is_empty (line 202) ... ok [INFO] [stdout] test src/utils/label.rs - utils::label::LabelSet::max_id (line 182) ... ok [INFO] [stdout] test src/utils/label.rs - utils::label::LabelSet::has_label_with_id (line 264) ... ok [INFO] [stdout] test src/utils/label.rs - utils::label::LabelSet::new_with_labels (line 85) ... ok [INFO] [stdout] test src/utils/label.rs - utils::label::LabelSet::get_label_by_id (line 246) ... ok [INFO] [stdout] test src/utils/label.rs - utils::label::LabelSet::new_label (line 110) ... ok [INFO] [stdout] test src/utils/label.rs - utils::label::LabelSet::remove_label (line 135) ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 68 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 11.20s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "560d3c88c5715aa75e9abe991a167484be764e80fd15deab45c86614da72bcbe", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "560d3c88c5715aa75e9abe991a167484be764e80fd15deab45c86614da72bcbe", kill_on_drop: false }` [INFO] [stdout] 560d3c88c5715aa75e9abe991a167484be764e80fd15deab45c86614da72bcbe