[INFO] fetching crate scalop 2.0.0... [INFO] testing scalop-2.0.0 against master#350d0ef0ec0493e6d21cfb265cb8211a0e74d766 for pr-145330-1 [INFO] extracting crate scalop 2.0.0 into /workspace/builds/worker-7-tc1/source [INFO] started tweaking crates.io crate scalop 2.0.0 [INFO] removed 0 missing tests [INFO] finished tweaking crates.io crate scalop 2.0.0 [INFO] tweaked toml for crates.io crate scalop 2.0.0 written to /workspace/builds/worker-7-tc1/source/Cargo.toml [INFO] validating manifest of crates.io crate scalop 2.0.0 on toolchain 350d0ef0ec0493e6d21cfb265cb8211a0e74d766 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+350d0ef0ec0493e6d21cfb265cb8211a0e74d766" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate crates.io crate scalop 2.0.0 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" "+350d0ef0ec0493e6d21cfb265cb8211a0e74d766" "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.1.3 [INFO] [stderr] Downloaded ipasir-loading v0.1.0 [INFO] [stderr] Downloaded permutator v0.4.3 [INFO] [stderr] Downloaded cadical v0.1.16 [INFO] [stderr] Downloaded fern v0.6.2 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+350d0ef0ec0493e6d21cfb265cb8211a0e74d766" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] e1091be72db68ff1bece010944186125be98e7f9775b650aed78872be5d891c5 [INFO] running `Command { std: "docker" "start" "-a" "e1091be72db68ff1bece010944186125be98e7f9775b650aed78872be5d891c5", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "e1091be72db68ff1bece010944186125be98e7f9775b650aed78872be5d891c5", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "e1091be72db68ff1bece010944186125be98e7f9775b650aed78872be5d891c5", kill_on_drop: false }` [INFO] [stdout] e1091be72db68ff1bece010944186125be98e7f9775b650aed78872be5d891c5 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+350d0ef0ec0493e6d21cfb265cb8211a0e74d766" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] c71b0ee8c135bef19a2e8a634c7df9b550280ad00d12529121e4c1906bfc3040 [INFO] running `Command { std: "docker" "start" "-a" "c71b0ee8c135bef19a2e8a634c7df9b550280ad00d12529121e4c1906bfc3040", kill_on_drop: false }` [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling num-bigint v0.2.6 [INFO] [stderr] Compiling num-rational v0.2.4 [INFO] [stderr] Compiling num-complex v0.2.4 [INFO] [stderr] Compiling libloading v0.8.8 [INFO] [stderr] Compiling ansi_term v0.12.1 [INFO] [stderr] Compiling is-terminal v0.4.16 [INFO] [stderr] Compiling atty v0.2.14 [INFO] [stderr] Compiling strsim v0.8.0 [INFO] [stderr] Compiling cc v1.2.35 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling strum v0.24.1 [INFO] [stderr] Compiling sysinfo v0.30.13 [INFO] [stderr] Compiling colored v1.9.4 [INFO] [stderr] Compiling clap v2.34.0 [INFO] [stderr] Compiling ipasir-loading v0.1.0 [INFO] [stderr] Compiling fern v0.6.2 [INFO] [stderr] Compiling num-integer v0.1.46 [INFO] [stderr] Compiling chrono v0.4.41 [INFO] [stderr] Compiling num-iter v0.1.45 [INFO] [stderr] Compiling cadical v0.1.16 [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 scalop v2.0.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/aba/preferred_semantics_solver.rs:73:9 [INFO] [stdout] | [INFO] [stdout] 73 | &self, [INFO] [stdout] | ^^^^^ the lifetime is elided here [INFO] [stdout] ... [INFO] [stdout] 77 | ) -> MaximalComputationResult { [INFO] [stdout] | --------------------------- the same lifetime is hidden 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] 77 | ) -> MaximalComputationResult<'_, T> { [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] 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:136:42 [INFO] [stdout] | [INFO] [stdout] 136 | 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] 136 | pub fn iter_connected_components(af: &AAFramework) -> ConnectedComponentsIterator<'_, T> [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `logging_level_cli_arg_with_default_value` is never used [INFO] [stdout] --> src/app/cli_manager.rs:30:8 [INFO] [stdout] | [INFO] [stdout] 30 | pub fn logging_level_cli_arg_with_default_value(default: &'_ str) -> Arg<'_, '_> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 12s [INFO] running `Command { std: "docker" "inspect" "c71b0ee8c135bef19a2e8a634c7df9b550280ad00d12529121e4c1906bfc3040", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "c71b0ee8c135bef19a2e8a634c7df9b550280ad00d12529121e4c1906bfc3040", kill_on_drop: false }` [INFO] [stdout] c71b0ee8c135bef19a2e8a634c7df9b550280ad00d12529121e4c1906bfc3040 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+350d0ef0ec0493e6d21cfb265cb8211a0e74d766" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 253de5415c41db7ceaddcccd37e71f97e1b44b87b0ad23d1c8f23fa2466a9e90 [INFO] running `Command { std: "docker" "start" "-a" "253de5415c41db7ceaddcccd37e71f97e1b44b87b0ad23d1c8f23fa2466a9e90", kill_on_drop: false }` [INFO] [stderr] Compiling aho-corasick v1.1.3 [INFO] [stderr] Compiling predicates-core v1.0.9 [INFO] [stderr] Compiling termtree v0.5.1 [INFO] [stderr] Compiling rustix v1.0.8 [INFO] [stderr] Compiling assert_cmd v2.0.17 [INFO] [stderr] Compiling wait-timeout v0.2.1 [INFO] [stderr] Compiling float-cmp v0.9.0 [INFO] [stderr] Compiling sysinfo v0.30.13 [INFO] [stderr] Compiling predicates v3.1.3 [INFO] [stderr] Compiling predicates-tree v1.0.12 [INFO] [stderr] Compiling regex-automata v0.4.10 [INFO] [stderr] Compiling tempfile v3.21.0 [INFO] [stderr] Compiling bstr v1.12.0 [INFO] [stderr] Compiling regex v1.11.2 [INFO] [stderr] Compiling scalop v2.0.0 (/opt/rustwide/workdir) [INFO] [stderr] Compiling predicates v2.1.5 [INFO] [stderr] Compiling globset v0.4.16 [INFO] [stderr] Compiling ignore v0.4.23 [INFO] [stderr] Compiling globwalk v0.9.1 [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/aba/preferred_semantics_solver.rs:73:9 [INFO] [stdout] | [INFO] [stdout] 73 | &self, [INFO] [stdout] | ^^^^^ the lifetime is elided here [INFO] [stdout] ... [INFO] [stdout] 77 | ) -> MaximalComputationResult { [INFO] [stdout] | --------------------------- the same lifetime is hidden 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] 77 | ) -> MaximalComputationResult<'_, T> { [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] 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:136:42 [INFO] [stdout] | [INFO] [stdout] 136 | 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] 136 | pub fn iter_connected_components(af: &AAFramework) -> ConnectedComponentsIterator<'_, T> [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling assert_fs v1.1.3 [INFO] [stdout] warning: function `logging_level_cli_arg_with_default_value` is never used [INFO] [stdout] --> src/app/cli_manager.rs:30:8 [INFO] [stdout] | [INFO] [stdout] 30 | pub fn logging_level_cli_arg_with_default_value(default: &'_ str) -> Arg<'_, '_> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `logging_level_cli_arg_with_default_value` is never used [INFO] [stdout] --> src/app/cli_manager.rs:30:8 [INFO] [stdout] | [INFO] [stdout] 30 | pub fn logging_level_cli_arg_with_default_value(default: &'_ str) -> Arg<'_, '_> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/aba/preferred_semantics_solver.rs:73:9 [INFO] [stdout] | [INFO] [stdout] 73 | &self, [INFO] [stdout] | ^^^^^ the lifetime is elided here [INFO] [stdout] ... [INFO] [stdout] 77 | ) -> MaximalComputationResult { [INFO] [stdout] | --------------------------- the same lifetime is hidden 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] 77 | ) -> MaximalComputationResult<'_, T> { [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] 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:136:42 [INFO] [stdout] | [INFO] [stdout] 136 | 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] 136 | 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.06s [INFO] running `Command { std: "docker" "inspect" "253de5415c41db7ceaddcccd37e71f97e1b44b87b0ad23d1c8f23fa2466a9e90", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "253de5415c41db7ceaddcccd37e71f97e1b44b87b0ad23d1c8f23fa2466a9e90", kill_on_drop: false }` [INFO] [stdout] 253de5415c41db7ceaddcccd37e71f97e1b44b87b0ad23d1c8f23fa2466a9e90 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+350d0ef0ec0493e6d21cfb265cb8211a0e74d766" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 2d6a25c4217655be56eba1f82edbd99bad3d103f6d6208e2bb560d54ce432646 [INFO] running `Command { std: "docker" "start" "-a" "2d6a25c4217655be56eba1f82edbd99bad3d103f6d6208e2bb560d54ce432646", kill_on_drop: false }` [INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stderr] --> src/aba/preferred_semantics_solver.rs:73:9 [INFO] [stderr] | [INFO] [stderr] 73 | &self, [INFO] [stderr] | ^^^^^ the lifetime is elided here [INFO] [stderr] ... [INFO] [stderr] 77 | ) -> MaximalComputationResult { [INFO] [stderr] | --------------------------- the same lifetime is hidden 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] 77 | ) -> MaximalComputationResult<'_, T> { [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] 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:136:42 [INFO] [stderr] | [INFO] [stderr] 136 | 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] 136 | pub fn iter_connected_components(af: &AAFramework) -> ConnectedComponentsIterator<'_, T> [INFO] [stderr] | +++ [INFO] [stderr] [INFO] [stderr] warning: `scalop` (lib) generated 3 warnings (run `cargo fix --lib -p scalop` to apply 3 suggestions) [INFO] [stderr] warning: function `logging_level_cli_arg_with_default_value` is never used [INFO] [stderr] --> src/app/cli_manager.rs:30:8 [INFO] [stderr] | [INFO] [stderr] 30 | pub fn logging_level_cli_arg_with_default_value(default: &'_ str) -> Arg<'_, '_> { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` on by default [INFO] [stderr] [INFO] [stderr] warning: `scalop` (bin "scalop" test) generated 1 warning [INFO] [stderr] warning: `scalop` (bin "scalop") generated 1 warning (1 duplicate) [INFO] [stderr] warning: `scalop` (lib test) generated 3 warnings (3 duplicates) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.13s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/scalop-0e4a708bed25d917) [INFO] [stdout] [INFO] [stdout] running 338 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_by_ids_ok ... ok [INFO] [stdout] test aa::aa_framework::tests::test_new_attack_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_already_exists ... 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_unknown_label_1 ... ok [INFO] [stdout] test aa::aa_framework::tests::test_remove_argument ... ok [INFO] [stdout] test aa::aa_framework::tests::test_remove_attack ... 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::problem::tests::test_read_problem_no_hyphen ... ok [INFO] [stdout] test aa::aa_framework::tests::test_new_attack_unknown_label_2 ... 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 aba::aba_framework::tests::test_add_as_assumption ... ok [INFO] [stdout] test aba::aba_framework::tests::test_add_as_contrary ... ok [INFO] [stdout] test aba::aba_framework::tests::test_add_rules ... ok [INFO] [stdout] test aba::aba_framework::tests::test_assumption_as_contrary ... ok [INFO] [stdout] test aba::aba_framework::tests::test_contrary_of_multiple_assumptions ... ok [INFO] [stdout] test aba::aba_framework::tests::test_metrics ... ok [INFO] [stdout] test aba::aba_reduce::tests::test_reduce_1 ... ok [INFO] [stdout] test aba::aba_reduce::tests::test_reduce_3 ... ok [INFO] [stdout] test aba::aba_remove_cycles::tests::test_ok ... ok [INFO] [stdout] test aba::aba_reduce::tests::test_reduce_2 ... ok [INFO] [stdout] test aba::aba_reduce::tests::test_reduce_4 ... ok [INFO] [stdout] test aba::complete_semantics_solver::test::test_ok ... ok [INFO] [stdout] test aba::constraints_encoder::tests::test_cycle ... ignored [INFO] [stdout] test aba::constraints_encoder::tests::test_extensions_1 ... ok [INFO] [stdout] test aba::constraints_encoder::tests::test_extensions_3 ... ignored [INFO] [stdout] test aba::constraints_encoder::tests::test_extensions_4 ... ok [INFO] [stdout] test aba::constraints_encoder::tests::test_extensions_2 ... ok [INFO] [stdout] test aba::constraints_encoder::tests::test_extensions_5 ... ok [INFO] [stdout] test aba::constraints_encoder::tests::test_extensions_6 ... ok [INFO] [stdout] test aba::constraints_encoder::tests::test_extensions_7 ... ok [INFO] [stdout] test aba::constraints_encoder::tests::test_self_contrary ... ok [INFO] [stdout] test aba::constraints_encoder::tests::test_extensions_8 ... ok [INFO] [stdout] test aba::preferred_semantics_solver::tests::test_ds_2 ... ok [INFO] [stdout] test aba::preferred_semantics_solver::tests::test_ds_1 ... ok [INFO] [stdout] test aba::preferred_semantics_solver::tests::test_ds_3 ... ok [INFO] [stdout] test aba::preferred_semantics_solver::tests::test_se ... ok [INFO] [stdout] test aba::stable_semantics_solver::test::test_dc_1 ... ok [INFO] [stdout] test aba::stable_semantics_solver::test::test_ds_1 ... ok [INFO] [stdout] test aba::stable_semantics_solver::test::test_se ... 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::coreo_test ... ok [INFO] [stdout] test dynamics::dynamic_complete_semantics_solver::tests::test_del_unencoded_arg ... ok [INFO] [stdout] test dynamics::dynamic_preferred_semantics_solver::tests::coreo_test ... ok [INFO] [stdout] test dynamics::dynamic_preferred_semantics_solver::tests::test_wrong_witness ... 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_admissibility ... ok [INFO] [stdout] test encodings::aux_var_constraints_encoder::tests::test_no_attacks_complete_semantics ... ok [INFO] [stdout] test encodings::aux_var_constraints_encoder::tests::test_no_attacks_conflict_freeness ... ok [INFO] [stdout] test encodings::exp_constraints_encoder::tests::test_no_attacks_complete_semantics ... ok [INFO] [stdout] test io::aba_reader::tests::test_ok ... ok [INFO] [stdout] test aa::aa_framework::tests::test_new_attack_by_ids_unknown_id_1 ... 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_not_ok ... ok [INFO] [stdout] test io::aspartix_reader::tests::test_arg_line_pattern_ok ... ok [INFO] [stdout] test io::aspartix_reader::tests::test_arg_in_no_attack ... 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_af ... 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::iccma23_reader::tests::test_arg_in_no_attack ... ok [INFO] [stdout] test io::iccma23_reader::tests::test_comment ... ok [INFO] [stdout] test io::aspartix_reader::tests::test_try_read_arg_line_ok ... ok [INFO] [stdout] test io::iccma23_reader::tests::test_empty_instance ... ok [INFO] [stdout] test io::aspartix_reader::tests::test_try_read_arg_line_wrong_line_pattern ... 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_attack_word_0 ... 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_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::aspartix_reader::tests::test_att_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_try_read_att_line_wrong_line_pattern ... ok [INFO] [stdout] test io::iccma23_reader::tests::test_error_in_attack_word_1 ... ok [INFO] [stdout] test io::aspartix_reader::tests::test_att_line_pattern_ok ... ok [INFO] [stdout] test io::iccma23_reader::tests::test_error_in_attack_word_2 ... ok [INFO] [stdout] test io::iccma23_reader::tests::test_ok ... ok [INFO] [stdout] test encodings::exp_constraints_encoder::tests::test_no_attacks_conflict_freeness ... ok [INFO] [stdout] test io::iccma23_reader::tests::test_ok_missing_last_lf ... 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_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::iccma23_writer::tests::test_write_acceptance_status_yes ... ok [INFO] [stdout] test io::iccma23_writer::tests::test_write_empty_extension ... ok [INFO] [stdout] test io::aspartix_reader::tests::test_try_read_arg_line_wrong_name ... ok [INFO] [stdout] test io::warning_result::tests::test_consume_warnings_ok ... ok [INFO] [stdout] test io::warning_result::tests::test_zip_wo ... ok [INFO] [stdout] test io::warning_result::tests::test_consume_warnings_warned ... 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 sat::buffered_sat_solver::tests::test_output_sat_no_v_line ... ok [INFO] [stdout] test sat::buffered_sat_solver::tests::test_output_sat_ok ... ok [INFO] [stdout] test io::warning_result::tests::test_zip_ow ... ok [INFO] [stdout] test io::warning_result::tests::test_zip_ww ... 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_zip_oo ... ok [INFO] [stdout] test io::aspartix_reader::tests::test_read_warn_arg_left_space ... ok [INFO] [stdout] test io::aspartix_reader::tests::test_try_read_att_line_ok ... ok [INFO] [stdout] test io::aspartix_reader::tests::test_read_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::cadical_solver::tests::test_reserve ... 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::cadical_solver::tests::test_unsat ... ok [INFO] [stdout] test sat::sat_solver::tests::test_lit_from_neg ... ok [INFO] [stdout] test sat::ipasir_sat_solver::tests::test_n_vars ... 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::sat_solver::tests::test_solving_result_unwrap_model_some ... ok [INFO] [stdout] test sat::external_sat_solver::tests::test_solve_output ... ok [INFO] [stdout] test sat::sat_solver::tests::test_solving_result_unwrap_model_none ... ok [INFO] [stdout] test sat::external_sat_solver::tests::test_solve_under_assumptions_output ... ok [INFO] [stdout] test sat::cadical_solver::tests::test_iterative ... ok [INFO] [stdout] test sat::sat_solver::tests::test_var_from_pos ... ok [INFO] [stdout] test solvers::complete_semantics_solver::tests::test_acceptance_1_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_auxvar ... 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_hybrid ... ok [INFO] [stdout] test solvers::complete_semantics_solver::tests::test_acceptance_2_hybrid ... 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_acceptance_3_auxvar ... ok [INFO] [stdout] test solvers::complete_semantics_solver::tests::test_certificates_auxvar ... ok [INFO] [stdout] test solvers::complete_semantics_solver::tests::test_certificates_hybrid ... ok [INFO] [stdout] test solvers::complete_semantics_solver::tests::test_certificates_exp ... 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_exp ... ok [INFO] [stdout] test sat::buffered_sat_solver::tests::test_output_sat_ok_multiple_v_lines ... ok [INFO] [stdout] test solvers::complete_semantics_solver::tests::test_funnel_auxvar ... ok [INFO] [stdout] test solvers::complete_semantics_solver::tests::test_disj_credulous_acceptance_hybrid ... ok [INFO] [stdout] test solvers::complete_semantics_solver::tests::test_funnel_exp ... ok [INFO] [stdout] test solvers::grounded_semantics_solver::tests::test_certificates ... ok [INFO] [stdout] test solvers::grounded_semantics_solver::tests::test_disj_credulous_acceptance ... ok [INFO] [stdout] test solvers::complete_semantics_solver::tests::test_funnel_hybrid ... ok [INFO] [stdout] test solvers::grounded_semantics_solver::tests::test_disj_skeptical_acceptance ... ok [INFO] [stdout] test solvers::grounded_semantics_solver::tests::test_grounded_solver ... 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_not_grounded_exp ... 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_exp ... 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_single_preferred_hybrid ... 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_credulous_acceptance_hybrid ... ok [INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_disj_skeptical_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_funnel_auxvar ... ok [INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_disj_skeptical_acceptance_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_auxvar ... 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_ext_is_grounded_auxvar ... ok [INFO] [stdout] test solvers::complete_semantics_solver::tests::test_disj_credulous_acceptance_auxvar ... ok [INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_funnel_exp ... ok [INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_ideal_acceptance_ext_is_single_preferred_auxvar ... ok [INFO] [stdout] test sat::buffered_sat_solver::tests::test_output_sat_not_a_var - should panic ... ok [INFO] [stdout] test sat::buffered_sat_solver::tests::test_output_sat_multiple_status_lines - should panic ... ok [INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_ideal_acceptance_ext_is_grounded_hybrid ... ok [INFO] [stdout] test sat::buffered_sat_solver::tests::test_output_sat_multiple_zeroes_in_v_lines - should panic ... 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 solvers::ideal_semantics_solver::tests::test_ideal_acceptance_ext_is_single_preferred_exp ... ok [INFO] [stdout] test io::aspartix_reader::tests::test_try_read_att_line_wrong_name ... ok [INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_ideal_acceptance_ext_is_single_preferred_hybrid ... 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_ideal_acceptance_ext_is_grounded_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_ideal_acceptance_in_all_preferred_but_not_in_ideal_hybrid ... ok [INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_ideal_acceptance_hybrid ... 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_not_grounded_exp ... 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_grounded_auxvar ... 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_grounded_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_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_compute_one_stage_ext_is_not_grounded_exp ... ok [INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_with_certificate_hybrid ... 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_stage_ext_is_not_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_semi_stable_credulous_acceptance_after_arg_removal_hybrid ... 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_exp ... 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_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_hybrid ... 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_credulous_acceptance_auxvar ... ok [INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_credulous_acceptance_after_arg_removal_auxvar ... ok [INFO] [stdout] test sat::buffered_sat_solver::tests::test_output_unexpected_line - should panic ... ok [INFO] [stdout] test io::aspartix_reader::tests::test_read_unknown_arg_in_att ... ok [INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_ideal_acceptance_in_all_preferred_but_not_in_ideal_exp ... ok [INFO] [stdout] test sat::sat_solver::tests::test_lit_from_null - should panic ... 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 sat::sat_solver::tests::test_solving_result_unwrap_model_unknown - should panic ... ok [INFO] [stdout] test sat::sat_solver::tests::test_var_from_null - should panic ... ok [INFO] [stdout] test sat::sat_solver::tests::test_var_from_neg - should panic ... 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_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_skeptical_acceptance_after_arg_removal_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_stage_credulous_acceptance_auto_attack_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_auto_attack_exp ... 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_auxvar ... 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_disj_skeptical_acceptance_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_semi_stable_skeptical_acceptance_after_arg_removal_exp ... 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_credulous_acceptance_hybrid ... 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_after_arg_removal_exp ... 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_exp ... 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_disj_credulous_acceptance_exp ... 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_skeptical_acceptance_after_arg_removal_auxvar ... ok [INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_allow_ds_shortcut_hybrid ... ok [INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_stage_disj_credulous_acceptance_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_disj_skeptical_acceptance_auxvar ... ok [INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_certificates_auxvar ... ok [INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_certificates_connected_components_auxvar ... 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::maximal_range_semantics_solvers::tests::test_stage_skeptical_acceptance_after_arg_removal_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_disj_skeptical_acceptance_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_compute_one_preferred_after_arg_removal_exp ... ok [INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_certificates_hybrid ... ok [INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_certificates_exp ... 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_disj_skeptical_acceptance_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_disj_skeptical_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_allow_ds_shortcut_auxvar ... ok [INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_compute_one_preferred_ext_is_not_grounded_exp ... ok [INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_stage_skeptical_acceptance_auto_attackauxvar ... 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_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_enumerate_extensions_with_autoattack_hybrid ... ok [INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_skeptical_acceptance_auto_attack_exp ... 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_after_arg_removal_exp ... 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_auxvar ... ok [INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_enumerate_extensions_hybrid ... ok [INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_funnel_auxvar ... 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_auxvar ... 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_hybrid ... ok [INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_skeptical_acceptance_exp ... ok [INFO] [stdout] test solvers::stable_semantics_solver::tests::test_acceptance_1 ... ok [INFO] [stdout] test solvers::stable_semantics_solver::tests::test_certificates_connected_components ... ok [INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_skeptical_acceptance_with_autoattack_auxvar ... ok [INFO] [stdout] test solvers::stable_semantics_solver::tests::test_compute_one_auto_attack ... ok [INFO] [stdout] test solvers::stable_semantics_solver::tests::test_compute_one ... ok [INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_enumerate_extensions_with_autoattack_exp ... ok [INFO] [stdout] test solvers::stable_semantics_solver::tests::test_acceptance_2 ... 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 solvers::preferred_semantics_solver::tests::test_skeptical_acceptance_auxvar ... ok [INFO] [stdout] test solvers::stable_semantics_solver::tests::test_disj_credulous_acceptance ... ok [INFO] [stdout] test utils::connected_components_computer::tests::test_connected_components_of ... ok [INFO] [stdout] test utils::connected_components_computer::tests::test_connected_components_after_arg_removal ... ok [INFO] [stdout] test utils::equivalency_computer::tests::test_autoattack ... ok [INFO] [stdout] test solvers::stable_semantics_solver::tests::test_certificates ... ok [INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_funnel_exp ... ok [INFO] [stdout] test solvers::stable_semantics_solver::tests::test_acceptance_connected_components_shortcut ... ok [INFO] [stdout] test solvers::stable_semantics_solver::tests::test_disj_skeptical_acceptance ... 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_skeptical_acceptance_with_autoattack_exp ... ok [INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_skeptical_acceptance_auto_attack_auxvar ... ok [INFO] [stdout] test utils::equivalency_computer::tests::test_compute_classes_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_grounded_classes_hierarchy ... ok [INFO] [stdout] test utils::equivalency_computer::tests::test_reduce_grounded_path ... ok [INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_certificates_connected_components_hybrid ... ok [INFO] [stdout] test utils::grounded_extension_computer::tests::test_grounded_extension_1 ... ok [INFO] [stdout] test utils::equivalency_computer::tests::test_grounded_classes_path ... ok [INFO] [stdout] test utils::label::tests::test_add_labels ... ok [INFO] [stdout] test utils::equivalency_computer::tests::test_grounded_classes_with_ring_of_3 ... ok [INFO] [stdout] test utils::label::tests::test_max_id ... ok [INFO] [stdout] test utils::label::tests::test_into_iterator ... ok [INFO] [stdout] test utils::label::tests::test_new_repeated_labels ... ok [INFO] [stdout] test utils::equivalency_computer::tests::test_grounded_classes_with_ring_of_4 ... ok [INFO] [stdout] test utils::label::tests::test_new_with_empty_labels ... ok [INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_funnel_hybrid ... ok [INFO] [stdout] test utils::label::tests::test_new_with_labels ... ok [INFO] [stdout] test utils::label::tests::test_remove_label ... ok [INFO] [stdout] test utils::equivalency_computer::tests::test_propagate_ring_of_4 ... ok [INFO] [stdout] test utils::grounded_extension_computer::tests::test_grounded_extension_empty_af ... ok [INFO] [stdout] test utils::grounded_extension_computer::tests::test_grounded_extension_2 ... ok [INFO] [stdout] test utils::equivalency_computer::tests::test_compute_classes_ring_of_3 ... ok [INFO] [stdout] test utils::grounded_extension_computer::tests::test_grounded_extension_after_arg_removal ... ok [INFO] [stderr] Running unittests src/main.rs (/opt/rustwide/target/debug/deps/scalop-6544749ab24b4a8e) [INFO] [stdout] test utils::connected_components_computer::tests::test_connected_components_of_twice - should panic ... ok [INFO] [stdout] test utils::label::tests::test_get_label ... ok [INFO] [stdout] test utils::label::tests::test_remove_nonexisting_label - should panic ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 336 passed; 0 failed; 2 ignored; 0 measured; 0 filtered out; finished in 0.48s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 15 tests [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] scalop 2.0.0 [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] scalop 2.0.0 [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] ---------------------------------------- [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] scalop 2.0.0 [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] app_name app_version [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] ---------------------------------------- [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] app_name app_version [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] author [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] about [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] USAGE: [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] app_name [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] FLAGS: [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] -h, --help [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] Prints help information [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] SUBCOMMANDS: [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] help Prints this message or the help of the given subcommand(s) [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] app_name app_version [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] author [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] local_command_name local_command_about [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] about [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] USAGE: [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] app_name [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] FLAGS: [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] -h, --help [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] Prints help information [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] SUBCOMMANDS: [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] help Prints this message or the help of the given subcommand(s) [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] local_command_name local_command_about [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] app_name app_version [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] ---------------------------------------- [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] local_command_name [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] local_command_about [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] USAGE: [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] local_command_name [FLAGS] [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] FLAGS: [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] -a [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] -h, --help [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] Prints help information [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] app_name app_version [INFO] [stdout] test app::app_helper::tests::test_no_subcommand ... ok [INFO] [stdout] test app::app_helper::tests::test_no_args ... ok [INFO] [stdout] test app::cli_manager::tests::test_help_subcommand ... ok [INFO] [stdout] test app::cli_manager::tests::test_help ... ok [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] app_name app_version [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] local_command_name [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] local_command_about [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] USAGE: [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] local_command_name [FLAGS] [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] FLAGS: [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] -a [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] -h, --help [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] Prints help information [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] [INFO] [stdout] test app::cli_manager::tests::test_help_for_subcommand ... ok [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_no_subcommand ... ok [INFO] [stdout] test app::cli_manager::tests::test_subcommand_help ... ok [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] app_name app_version [INFO] [stdout] test app::cli_manager::tests::test_wrong_subcommand ... ok [INFO] [stdout] test app::writable_string::tests::test_display ... ok [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] scalop 2.0.0 [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] ---------------------------------------- [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] running on 2d6a25c42176 [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] running on 2d6a25c42176 [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] OS is Ubuntu 24.04 with kernel 6.14.0-1014-gcp [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] OS is Ubuntu 24.04 with kernel 6.14.0-1014-gcp [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] physical core count: 8 ["AMD EPYC 7B13"] [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] total memory: 16762830848 KB [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] ---------------------------------------- [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] physical core count: 8 ["AMD EPYC 7B13"] [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] total memory: 16762830848 KB [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] ---------------------------------------- [INFO] [stdout] test app::cli_manager::tests::test_command_and_arg_involved ... ok [INFO] [stdout] test app::app_helper::tests::test_subcommand_err ... ok [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] running on 2d6a25c42176 [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] OS is Ubuntu 24.04 with kernel 6.14.0-1014-gcp [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] physical core count: 8 ["AMD EPYC 7B13"] [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] total memory: 16762830848 KB [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] ---------------------------------------- [INFO] [stdout] test app::cli_manager::tests::test_command_involved ... ok [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] running on 2d6a25c42176 [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] OS is Ubuntu 24.04 with kernel 6.14.0-1014-gcp [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] physical core count: 8 ["AMD EPYC 7B13"] [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] total memory: 16762830848 KB [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] ---------------------------------------- [INFO] [stdout] ![INFO ] [2025-10-02 05:30:31] exiting successfully after 41.45659ms [INFO] [stdout] test app::app_helper::tests::test_subcommand_ok ... 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-953f9413ac732fd9) [INFO] [stdout] [INFO] [stdout] running 55 tests [INFO] [stdout] test test_complete_dc_3 ... FAILED [INFO] [stdout] test test_complete_dc_2 ... FAILED [INFO] [stdout] test test_complete_dc_4 ... FAILED [INFO] [stdout] test test_ideal_dc_1 ... FAILED [INFO] [stdout] test test_preferred_dc_2 ... FAILED [INFO] [stdout] test test_preferred_dc_1 ... FAILED [INFO] [stdout] test test_complete_ds_1 ... FAILED [INFO] [stdout] test test_complete_dc_1 ... FAILED [INFO] [stdout] test test_ideal_se ... FAILED [INFO] [stdout] test test_complete_ds_2 ... FAILED [INFO] [stdout] test test_ideal_ds_4 ... FAILED [INFO] [stdout] test test_complete_se ... FAILED [INFO] [stdout] test test_complete_ds_4 ... FAILED [INFO] [stdout] test test_complete_ds_3 ... FAILED [INFO] [stdout] test test_ideal_dc_2 ... FAILED [INFO] [stdout] test test_ideal_dc_3 ... FAILED [INFO] [stdout] test test_preferred_dc_3 ... FAILED [INFO] [stdout] test test_preferred_ds_3 ... FAILED [INFO] [stdout] test test_ideal_dc_4 ... FAILED [INFO] [stdout] test test_semistable_dc_4 ... FAILED [INFO] [stdout] test test_semistable_dc_2 ... FAILED [INFO] [stdout] test test_preferred_dc_4 ... FAILED [INFO] [stdout] test test_semistable_ds_1 ... FAILED [INFO] [stdout] test test_ideal_ds_3 ... FAILED [INFO] [stdout] test test_stable_dc_2 ... FAILED [INFO] [stdout] test test_preferred_ds_2 ... FAILED [INFO] [stdout] test test_ideal_ds_2 ... FAILED [INFO] [stdout] test test_ideal_ds_1 ... FAILED [INFO] [stdout] test test_preferred_se ... FAILED [INFO] [stdout] test test_semistable_ds_2 ... FAILED [INFO] [stdout] test test_semistable_ds_3 ... FAILED [INFO] [stdout] test test_semistable_dc_3 ... FAILED [INFO] [stdout] test test_semistable_dc_1 ... FAILED [INFO] [stdout] test test_semistable_se ... FAILED [INFO] [stdout] test test_stable_dc_1 ... FAILED [INFO] [stdout] test test_semistable_ds_4 ... FAILED [INFO] [stdout] test test_stable_dc_4 ... FAILED [INFO] [stdout] test test_stable_ds_3 ... FAILED [INFO] [stdout] test test_stage_dc_1 ... FAILED [INFO] [stdout] test test_stable_ds_1 ... FAILED [INFO] [stdout] test test_stage_dc_4 ... FAILED [INFO] [stdout] test test_stable_dc_3 ... FAILED [INFO] [stdout] test test_stage_ds_1 ... FAILED [INFO] [stdout] test test_stable_ds_4 ... FAILED [INFO] [stdout] test test_stage_dc_2 ... FAILED [INFO] [stdout] test test_stable_ds_2 ... FAILED [INFO] [stdout] test test_stable_se ... FAILED [INFO] [stdout] test test_stage_ds_2 ... FAILED [INFO] [stdout] test test_stage_dc_3 ... FAILED [INFO] [stdout] test test_stg_se_no_constraints ... FAILED [INFO] [stdout] test test_stage_ds_3 ... FAILED [INFO] [stdout] test test_stage_ds_4 ... FAILED [INFO] [stderr] error: test failed, to rerun pass `--test test_iccma23_aa` [INFO] [stdout] test test_stage_se ... FAILED [INFO] [stdout] test test_preferred_ds_1 ... FAILED [INFO] [stdout] test test_preferred_ds_4 ... FAILED [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] [INFO] [stdout] ---- test_complete_dc_3 stdout ---- [INFO] [stdout] Error: CargoError { cause: Some(NotFoundError { path: "/opt/rustwide/target/debug/scalop_iccma23" }) } [INFO] [stdout] [INFO] [stdout] ---- test_complete_dc_2 stdout ---- [INFO] [stdout] Error: CargoError { cause: Some(NotFoundError { path: "/opt/rustwide/target/debug/scalop_iccma23" }) } [INFO] [stdout] [INFO] [stdout] ---- test_complete_dc_4 stdout ---- [INFO] [stdout] Error: CargoError { cause: Some(NotFoundError { path: "/opt/rustwide/target/debug/scalop_iccma23" }) } [INFO] [stdout] [INFO] [stdout] ---- test_ideal_dc_1 stdout ---- [INFO] [stdout] Error: CargoError { cause: Some(NotFoundError { path: "/opt/rustwide/target/debug/scalop_iccma23" }) } [INFO] [stdout] [INFO] [stdout] ---- test_preferred_dc_2 stdout ---- [INFO] [stdout] Error: CargoError { cause: Some(NotFoundError { path: "/opt/rustwide/target/debug/scalop_iccma23" }) } [INFO] [stdout] [INFO] [stdout] ---- test_preferred_dc_1 stdout ---- [INFO] [stdout] Error: CargoError { cause: Some(NotFoundError { path: "/opt/rustwide/target/debug/scalop_iccma23" }) } [INFO] [stdout] [INFO] [stdout] ---- test_complete_ds_1 stdout ---- [INFO] [stdout] Error: CargoError { cause: Some(NotFoundError { path: "/opt/rustwide/target/debug/scalop_iccma23" }) } [INFO] [stdout] [INFO] [stdout] ---- test_complete_dc_1 stdout ---- [INFO] [stdout] Error: CargoError { cause: Some(NotFoundError { path: "/opt/rustwide/target/debug/scalop_iccma23" }) } [INFO] [stdout] [INFO] [stdout] ---- test_ideal_se stdout ---- [INFO] [stdout] Error: CargoError { cause: Some(NotFoundError { path: "/opt/rustwide/target/debug/scalop_iccma23" }) } [INFO] [stdout] [INFO] [stdout] ---- test_complete_ds_2 stdout ---- [INFO] [stdout] Error: CargoError { cause: Some(NotFoundError { path: "/opt/rustwide/target/debug/scalop_iccma23" }) } [INFO] [stdout] [INFO] [stdout] ---- test_ideal_ds_4 stdout ---- [INFO] [stdout] Error: CargoError { cause: Some(NotFoundError { path: "/opt/rustwide/target/debug/scalop_iccma23" }) } [INFO] [stdout] [INFO] [stdout] ---- test_complete_se stdout ---- [INFO] [stdout] Error: CargoError { cause: Some(NotFoundError { path: "/opt/rustwide/target/debug/scalop_iccma23" }) } [INFO] [stdout] [INFO] [stdout] ---- test_complete_ds_4 stdout ---- [INFO] [stdout] Error: CargoError { cause: Some(NotFoundError { path: "/opt/rustwide/target/debug/scalop_iccma23" }) } [INFO] [stdout] [INFO] [stdout] ---- test_complete_ds_3 stdout ---- [INFO] [stdout] Error: CargoError { cause: Some(NotFoundError { path: "/opt/rustwide/target/debug/scalop_iccma23" }) } [INFO] [stdout] [INFO] [stdout] ---- test_ideal_dc_2 stdout ---- [INFO] [stdout] Error: CargoError { cause: Some(NotFoundError { path: "/opt/rustwide/target/debug/scalop_iccma23" }) } [INFO] [stdout] [INFO] [stdout] ---- test_ideal_dc_3 stdout ---- [INFO] [stdout] Error: CargoError { cause: Some(NotFoundError { path: "/opt/rustwide/target/debug/scalop_iccma23" }) } [INFO] [stdout] [INFO] [stdout] ---- test_preferred_dc_3 stdout ---- [INFO] [stdout] Error: CargoError { cause: Some(NotFoundError { path: "/opt/rustwide/target/debug/scalop_iccma23" }) } [INFO] [stdout] [INFO] [stdout] ---- test_preferred_ds_3 stdout ---- [INFO] [stdout] Error: CargoError { cause: Some(NotFoundError { path: "/opt/rustwide/target/debug/scalop_iccma23" }) } [INFO] [stdout] [INFO] [stdout] ---- test_ideal_dc_4 stdout ---- [INFO] [stdout] Error: CargoError { cause: Some(NotFoundError { path: "/opt/rustwide/target/debug/scalop_iccma23" }) } [INFO] [stdout] [INFO] [stdout] ---- test_semistable_dc_4 stdout ---- [INFO] [stdout] Error: CargoError { cause: Some(NotFoundError { path: "/opt/rustwide/target/debug/scalop_iccma23" }) } [INFO] [stdout] [INFO] [stdout] ---- test_semistable_dc_2 stdout ---- [INFO] [stdout] Error: CargoError { cause: Some(NotFoundError { path: "/opt/rustwide/target/debug/scalop_iccma23" }) } [INFO] [stdout] [INFO] [stdout] ---- test_preferred_dc_4 stdout ---- [INFO] [stdout] Error: CargoError { cause: Some(NotFoundError { path: "/opt/rustwide/target/debug/scalop_iccma23" }) } [INFO] [stdout] [INFO] [stdout] ---- test_semistable_ds_1 stdout ---- [INFO] [stdout] Error: CargoError { cause: Some(NotFoundError { path: "/opt/rustwide/target/debug/scalop_iccma23" }) } [INFO] [stdout] [INFO] [stdout] ---- test_ideal_ds_3 stdout ---- [INFO] [stdout] Error: CargoError { cause: Some(NotFoundError { path: "/opt/rustwide/target/debug/scalop_iccma23" }) } [INFO] [stdout] [INFO] [stdout] ---- test_stable_dc_2 stdout ---- [INFO] [stdout] Error: CargoError { cause: Some(NotFoundError { path: "/opt/rustwide/target/debug/scalop_iccma23" }) } [INFO] [stdout] [INFO] [stdout] ---- test_preferred_ds_2 stdout ---- [INFO] [stdout] Error: CargoError { cause: Some(NotFoundError { path: "/opt/rustwide/target/debug/scalop_iccma23" }) } [INFO] [stdout] [INFO] [stdout] ---- test_ideal_ds_2 stdout ---- [INFO] [stdout] Error: CargoError { cause: Some(NotFoundError { path: "/opt/rustwide/target/debug/scalop_iccma23" }) } [INFO] [stdout] [INFO] [stdout] ---- test_ideal_ds_1 stdout ---- [INFO] [stdout] Error: CargoError { cause: Some(NotFoundError { path: "/opt/rustwide/target/debug/scalop_iccma23" }) } [INFO] [stdout] [INFO] [stdout] ---- test_preferred_se stdout ---- [INFO] [stdout] Error: CargoError { cause: Some(NotFoundError { path: "/opt/rustwide/target/debug/scalop_iccma23" }) } [INFO] [stdout] [INFO] [stdout] ---- test_semistable_ds_2 stdout ---- [INFO] [stdout] Error: CargoError { cause: Some(NotFoundError { path: "/opt/rustwide/target/debug/scalop_iccma23" }) } [INFO] [stdout] [INFO] [stdout] ---- test_semistable_ds_3 stdout ---- [INFO] [stdout] Error: CargoError { cause: Some(NotFoundError { path: "/opt/rustwide/target/debug/scalop_iccma23" }) } [INFO] [stdout] [INFO] [stdout] ---- test_semistable_dc_3 stdout ---- [INFO] [stdout] Error: CargoError { cause: Some(NotFoundError { path: "/opt/rustwide/target/debug/scalop_iccma23" }) } [INFO] [stdout] [INFO] [stdout] ---- test_semistable_dc_1 stdout ---- [INFO] [stdout] Error: CargoError { cause: Some(NotFoundError { path: "/opt/rustwide/target/debug/scalop_iccma23" }) } [INFO] [stdout] [INFO] [stdout] ---- test_semistable_se stdout ---- [INFO] [stdout] Error: CargoError { cause: Some(NotFoundError { path: "/opt/rustwide/target/debug/scalop_iccma23" }) } [INFO] [stdout] [INFO] [stdout] ---- test_stable_dc_1 stdout ---- [INFO] [stdout] Error: CargoError { cause: Some(NotFoundError { path: "/opt/rustwide/target/debug/scalop_iccma23" }) } [INFO] [stdout] [INFO] [stdout] ---- test_semistable_ds_4 stdout ---- [INFO] [stdout] Error: CargoError { cause: Some(NotFoundError { path: "/opt/rustwide/target/debug/scalop_iccma23" }) } [INFO] [stdout] [INFO] [stdout] ---- test_stable_dc_4 stdout ---- [INFO] [stdout] Error: CargoError { cause: Some(NotFoundError { path: "/opt/rustwide/target/debug/scalop_iccma23" }) } [INFO] [stdout] [INFO] [stdout] ---- test_stable_ds_3 stdout ---- [INFO] [stdout] Error: CargoError { cause: Some(NotFoundError { path: "/opt/rustwide/target/debug/scalop_iccma23" }) } [INFO] [stdout] [INFO] [stdout] ---- test_stage_dc_1 stdout ---- [INFO] [stdout] Error: CargoError { cause: Some(NotFoundError { path: "/opt/rustwide/target/debug/scalop_iccma23" }) } [INFO] [stdout] [INFO] [stdout] ---- test_stable_ds_1 stdout ---- [INFO] [stdout] Error: CargoError { cause: Some(NotFoundError { path: "/opt/rustwide/target/debug/scalop_iccma23" }) } [INFO] [stdout] [INFO] [stdout] ---- test_stage_dc_4 stdout ---- [INFO] [stdout] Error: CargoError { cause: Some(NotFoundError { path: "/opt/rustwide/target/debug/scalop_iccma23" }) } [INFO] [stdout] [INFO] [stdout] ---- test_stable_dc_3 stdout ---- [INFO] [stdout] Error: CargoError { cause: Some(NotFoundError { path: "/opt/rustwide/target/debug/scalop_iccma23" }) } [INFO] [stdout] [INFO] [stdout] ---- test_stage_ds_1 stdout ---- [INFO] [stdout] Error: CargoError { cause: Some(NotFoundError { path: "/opt/rustwide/target/debug/scalop_iccma23" }) } [INFO] [stdout] [INFO] [stdout] ---- test_stable_ds_4 stdout ---- [INFO] [stdout] Error: CargoError { cause: Some(NotFoundError { path: "/opt/rustwide/target/debug/scalop_iccma23" }) } [INFO] [stdout] [INFO] [stdout] ---- test_stage_dc_2 stdout ---- [INFO] [stdout] Error: CargoError { cause: Some(NotFoundError { path: "/opt/rustwide/target/debug/scalop_iccma23" }) } [INFO] [stdout] [INFO] [stdout] ---- test_stable_ds_2 stdout ---- [INFO] [stdout] Error: CargoError { cause: Some(NotFoundError { path: "/opt/rustwide/target/debug/scalop_iccma23" }) } [INFO] [stdout] [INFO] [stdout] ---- test_stable_se stdout ---- [INFO] [stdout] Error: CargoError { cause: Some(NotFoundError { path: "/opt/rustwide/target/debug/scalop_iccma23" }) } [INFO] [stdout] [INFO] [stdout] ---- test_stage_ds_2 stdout ---- [INFO] [stdout] Error: CargoError { cause: Some(NotFoundError { path: "/opt/rustwide/target/debug/scalop_iccma23" }) } [INFO] [stdout] [INFO] [stdout] ---- test_stage_dc_3 stdout ---- [INFO] [stdout] Error: CargoError { cause: Some(NotFoundError { path: "/opt/rustwide/target/debug/scalop_iccma23" }) } [INFO] [stdout] [INFO] [stdout] ---- test_stg_se_no_constraints stdout ---- [INFO] [stdout] Error: CargoError { cause: Some(NotFoundError { path: "/opt/rustwide/target/debug/scalop_iccma23" }) } [INFO] [stdout] [INFO] [stdout] ---- test_stage_ds_3 stdout ---- [INFO] [stdout] Error: CargoError { cause: Some(NotFoundError { path: "/opt/rustwide/target/debug/scalop_iccma23" }) } [INFO] [stdout] [INFO] [stdout] ---- test_stage_ds_4 stdout ---- [INFO] [stdout] Error: CargoError { cause: Some(NotFoundError { path: "/opt/rustwide/target/debug/scalop_iccma23" }) } [INFO] [stdout] [INFO] [stdout] ---- test_stage_se stdout ---- [INFO] [stdout] Error: CargoError { cause: Some(NotFoundError { path: "/opt/rustwide/target/debug/scalop_iccma23" }) } [INFO] [stdout] [INFO] [stdout] ---- test_preferred_ds_1 stdout ---- [INFO] [stdout] Error: CargoError { cause: Some(NotFoundError { path: "/opt/rustwide/target/debug/scalop_iccma23" }) } [INFO] [stdout] [INFO] [stdout] ---- test_preferred_ds_4 stdout ---- [INFO] [stdout] Error: CargoError { cause: Some(NotFoundError { path: "/opt/rustwide/target/debug/scalop_iccma23" }) } [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] test_complete_dc_1 [INFO] [stdout] test_complete_dc_2 [INFO] [stdout] test_complete_dc_3 [INFO] [stdout] test_complete_dc_4 [INFO] [stdout] test_complete_ds_1 [INFO] [stdout] test_complete_ds_2 [INFO] [stdout] test_complete_ds_3 [INFO] [stdout] test_complete_ds_4 [INFO] [stdout] test_complete_se [INFO] [stdout] test_ideal_dc_1 [INFO] [stdout] test_ideal_dc_2 [INFO] [stdout] test_ideal_dc_3 [INFO] [stdout] test_ideal_dc_4 [INFO] [stdout] test_ideal_ds_1 [INFO] [stdout] test_ideal_ds_2 [INFO] [stdout] test_ideal_ds_3 [INFO] [stdout] test_ideal_ds_4 [INFO] [stdout] test_ideal_se [INFO] [stdout] test_preferred_dc_1 [INFO] [stdout] test_preferred_dc_2 [INFO] [stdout] test_preferred_dc_3 [INFO] [stdout] test_preferred_dc_4 [INFO] [stdout] test_preferred_ds_1 [INFO] [stdout] test_preferred_ds_2 [INFO] [stdout] test_preferred_ds_3 [INFO] [stdout] test_preferred_ds_4 [INFO] [stdout] test_preferred_se [INFO] [stdout] test_semistable_dc_1 [INFO] [stdout] test_semistable_dc_2 [INFO] [stdout] test_semistable_dc_3 [INFO] [stdout] test_semistable_dc_4 [INFO] [stdout] test_semistable_ds_1 [INFO] [stdout] test_semistable_ds_2 [INFO] [stdout] test_semistable_ds_3 [INFO] [stdout] test_semistable_ds_4 [INFO] [stdout] test_semistable_se [INFO] [stdout] test_stable_dc_1 [INFO] [stdout] test_stable_dc_2 [INFO] [stdout] test_stable_dc_3 [INFO] [stdout] test_stable_dc_4 [INFO] [stdout] test_stable_ds_1 [INFO] [stdout] test_stable_ds_2 [INFO] [stdout] test_stable_ds_3 [INFO] [stdout] test_stable_ds_4 [INFO] [stdout] test_stable_se [INFO] [stdout] test_stage_dc_1 [INFO] [stdout] test_stage_dc_2 [INFO] [stdout] test_stage_dc_3 [INFO] [stdout] test_stage_dc_4 [INFO] [stdout] test_stage_ds_1 [INFO] [stdout] test_stage_ds_2 [INFO] [stdout] test_stage_ds_3 [INFO] [stdout] test_stage_ds_4 [INFO] [stdout] test_stage_se [INFO] [stdout] test_stg_se_no_constraints [INFO] [stdout] [INFO] [stdout] test result: FAILED. 0 passed; 55 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "2d6a25c4217655be56eba1f82edbd99bad3d103f6d6208e2bb560d54ce432646", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "2d6a25c4217655be56eba1f82edbd99bad3d103f6d6208e2bb560d54ce432646", kill_on_drop: false }` [INFO] [stdout] 2d6a25c4217655be56eba1f82edbd99bad3d103f6d6208e2bb560d54ce432646