[INFO] fetching crate scalop 2.1.0...
[INFO] testing scalop-2.1.0 against 1.95.0 for beta-1.96-2
[INFO] extracting crate scalop 2.1.0 into /workspace/builds/worker-4-tc1/source
[INFO] started tweaking crates.io crate scalop 2.1.0
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate scalop 2.1.0
[INFO] tweaked toml for crates.io crate scalop 2.1.0 written to /workspace/builds/worker-4-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate scalop 2.1.0 on toolchain 1.95.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.95.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate scalop 2.1.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" "+1.95.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded crossbeam-deque v0.8.5
[INFO] [stderr]   Downloaded either v1.13.0
[INFO] [stderr]   Downloaded unicode-ident v1.0.13
[INFO] [stderr]   Downloaded difflib v0.4.0
[INFO] [stderr]   Downloaded wait-timeout v0.2.0
[INFO] [stderr]   Downloaded ntapi v0.4.1
[INFO] [stderr]   Downloaded doc-comment v0.3.3
[INFO] [stderr]   Downloaded ansi_term v0.12.1
[INFO] [stderr]   Downloaded serde_derive v1.0.215
[INFO] [stderr]   Downloaded assert_fs v1.1.2
[INFO] [stderr]   Downloaded assert_cmd v2.0.16
[INFO] [stderr]   Downloaded hermit-abi v0.4.0
[INFO] [stderr]   Downloaded once_cell v1.20.2
[INFO] [stderr]   Downloaded is-terminal v0.4.13
[INFO] [stderr]   Downloaded rustix v0.38.41
[INFO] [stderr]   Downloaded num v0.2.1
[INFO] [stderr]   Downloaded permutator v0.4.3
[INFO] [stderr]   Downloaded bstr v1.11.0
[INFO] [stderr]   Downloaded bitflags v2.6.0
[INFO] [stderr]   Downloaded sysinfo v0.30.13
[INFO] [stderr]   Downloaded globset v0.4.15
[INFO] [stderr]   Downloaded num-rational v0.2.4
[INFO] [stderr]   Downloaded rustversion v1.0.18
[INFO] [stderr]   Downloaded proc-macro2 v1.0.89
[INFO] [stderr]   Downloaded libc v0.2.164
[INFO] [stderr]   Downloaded num-complex v0.2.4
[INFO] [stderr]   Downloaded normalize-line-endings v0.3.0
[INFO] [stderr]   Downloaded predicates-core v1.0.8
[INFO] [stderr]   Downloaded cc v1.2.1
[INFO] [stderr]   Downloaded anyhow v1.0.93
[INFO] [stderr]   Downloaded ipasir-loading v0.1.0
[INFO] [stderr]   Downloaded quote v1.0.37
[INFO] [stderr]   Downloaded colored v1.9.4
[INFO] [stderr]   Downloaded globwalk v0.9.1
[INFO] [stderr]   Downloaded predicates v3.1.2
[INFO] [stderr]   Downloaded predicates-tree v1.0.11
[INFO] [stderr]   Downloaded fastrand v2.2.0
[INFO] [stderr]   Downloaded errno v0.3.9
[INFO] [stderr]   Downloaded serde v1.0.215
[INFO] [stderr]   Downloaded fern v0.6.2
[INFO] [stderr]   Downloaded bumpalo v3.16.0
[INFO] [stderr]   Downloaded num-bigint v0.2.6
[INFO] [stderr]   Downloaded chrono v0.4.38
[INFO] [stderr]   Downloaded windows v0.52.0
[INFO] [stderr]   Downloaded clap v2.34.0
[INFO] [stderr]   Downloaded syn v2.0.87
[INFO] [stderr]   Downloaded predicates v2.1.5
[INFO] [stderr]   Downloaded cadical v0.1.14
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.95.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 5babfa256883f0dae355f0c806e4fd7f654285a0140a3d58b13d1ab6bf600e97
[INFO] running `Command { std: "docker" "start" "-a" "5babfa256883f0dae355f0c806e4fd7f654285a0140a3d58b13d1ab6bf600e97", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "5babfa256883f0dae355f0c806e4fd7f654285a0140a3d58b13d1ab6bf600e97", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5babfa256883f0dae355f0c806e4fd7f654285a0140a3d58b13d1ab6bf600e97", kill_on_drop: false }`
[INFO] [stdout] 5babfa256883f0dae355f0c806e4fd7f654285a0140a3d58b13d1ab6bf600e97
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.95.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] b60aa64fa2f1546c18809bdcdc52a805b72433dc971f0f81a68305699dd37cfa
[INFO] running `Command { std: "docker" "start" "-a" "b60aa64fa2f1546c18809bdcdc52a805b72433dc971f0f81a68305699dd37cfa", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.164
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling crossbeam-utils v0.8.20
[INFO] [stderr]    Compiling num-bigint v0.2.6
[INFO] [stderr]    Compiling proc-macro2 v1.0.89
[INFO] [stderr]    Compiling num-complex v0.2.4
[INFO] [stderr]    Compiling num-rational v0.2.4
[INFO] [stderr]    Compiling unicode-ident v1.0.13
[INFO] [stderr]    Compiling rayon-core v1.12.1
[INFO] [stderr]    Compiling rustversion v1.0.18
[INFO] [stderr]    Compiling anyhow v1.0.93
[INFO] [stderr]    Compiling unicode-width v0.1.14
[INFO] [stderr]    Compiling aho-corasick v1.1.3
[INFO] [stderr]    Compiling either v1.13.0
[INFO] [stderr]    Compiling libloading v0.8.6
[INFO] [stderr]    Compiling once_cell v1.20.2
[INFO] [stderr]    Compiling ansi_term v0.12.1
[INFO] [stderr]    Compiling vec_map v0.8.2
[INFO] [stderr]    Compiling log v0.4.22
[INFO] [stderr]    Compiling strsim v0.8.0
[INFO] [stderr]    Compiling textwrap v0.11.0
[INFO] [stderr]    Compiling ipasir-loading v0.1.0
[INFO] [stderr]    Compiling jobserver v0.1.32
[INFO] [stderr]    Compiling is-terminal v0.4.13
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling quote v1.0.37
[INFO] [stderr]    Compiling clap v2.34.0
[INFO] [stderr]    Compiling crossbeam-epoch v0.9.18
[INFO] [stderr]    Compiling colored v1.9.4
[INFO] [stderr]    Compiling cc v1.2.1
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling fern v0.6.2
[INFO] [stderr]    Compiling crossbeam-deque v0.8.5
[INFO] [stderr]    Compiling num-integer v0.1.46
[INFO] [stderr]    Compiling chrono v0.4.38
[INFO] [stderr]    Compiling regex-automata v0.4.9
[INFO] [stderr]    Compiling num-iter v0.1.45
[INFO] [stderr]    Compiling rayon v1.10.0
[INFO] [stderr]    Compiling cadical v0.1.14
[INFO] [stderr]    Compiling num v0.2.1
[INFO] [stderr]    Compiling permutator v0.4.3
[INFO] [stderr]    Compiling regex v1.11.1
[INFO] [stderr]    Compiling strum_macros v0.24.3
[INFO] [stderr]    Compiling sysinfo v0.30.13
[INFO] [stderr]    Compiling scalop v2.1.0 (/opt/rustwide/workdir)
[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)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 02s
[INFO] running `Command { std: "docker" "inspect" "b60aa64fa2f1546c18809bdcdc52a805b72433dc971f0f81a68305699dd37cfa", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b60aa64fa2f1546c18809bdcdc52a805b72433dc971f0f81a68305699dd37cfa", kill_on_drop: false }`
[INFO] [stdout] b60aa64fa2f1546c18809bdcdc52a805b72433dc971f0f81a68305699dd37cfa
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.95.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] e0dae316a169c83a29336a5aaeebf2b74357dee98c0dda8eb0a8bc678e1fca6a
[INFO] running `Command { std: "docker" "start" "-a" "e0dae316a169c83a29336a5aaeebf2b74357dee98c0dda8eb0a8bc678e1fca6a", kill_on_drop: false }`
[INFO] [stderr]    Compiling memchr v2.7.4
[INFO] [stderr]    Compiling either v1.13.0
[INFO] [stderr]    Compiling predicates-core v1.0.8
[INFO] [stderr]    Compiling rustix v0.38.41
[INFO] [stderr]    Compiling doc-comment v0.3.3
[INFO] [stderr]    Compiling bitflags v2.6.0
[INFO] [stderr]    Compiling difflib v0.4.0
[INFO] [stderr]    Compiling linux-raw-sys v0.4.14
[INFO] [stderr]    Compiling anstyle v1.0.10
[INFO] [stderr]    Compiling termtree v0.4.1
[INFO] [stderr]    Compiling assert_cmd v2.0.16
[INFO] [stderr]    Compiling paste v1.0.15
[INFO] [stderr]    Compiling fastrand v2.2.0
[INFO] [stderr]    Compiling float-cmp v0.9.0
[INFO] [stderr]    Compiling wait-timeout v0.2.0
[INFO] [stderr]    Compiling normalize-line-endings v0.3.0
[INFO] [stderr]    Compiling predicates-tree v1.0.11
[INFO] [stderr]    Compiling rayon v1.10.0
[INFO] [stderr]    Compiling itertools v0.10.5
[INFO] [stderr]    Compiling predicates v3.1.2
[INFO] [stderr]    Compiling aho-corasick v1.1.3
[INFO] [stderr]    Compiling regex-automata v0.4.9
[INFO] [stderr]    Compiling sysinfo v0.30.13
[INFO] [stderr]    Compiling tempfile v3.14.0
[INFO] [stderr]    Compiling bstr v1.11.0
[INFO] [stderr]    Compiling regex v1.11.1
[INFO] [stderr]    Compiling predicates v2.1.5
[INFO] [stderr]    Compiling scalop v2.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]    Compiling globset v0.4.15
[INFO] [stderr]    Compiling ignore v0.4.23
[INFO] [stderr]    Compiling globwalk v0.9.1
[INFO] [stderr]    Compiling assert_fs v1.1.2
[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)]` (part of `#[warn(unused)]`) 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)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 26.72s
[INFO] running `Command { std: "docker" "inspect" "e0dae316a169c83a29336a5aaeebf2b74357dee98c0dda8eb0a8bc678e1fca6a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e0dae316a169c83a29336a5aaeebf2b74357dee98c0dda8eb0a8bc678e1fca6a", kill_on_drop: false }`
[INFO] [stdout] e0dae316a169c83a29336a5aaeebf2b74357dee98c0dda8eb0a8bc678e1fca6a
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.95.0" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] fe207ee1ebec708a846e3c4684a8b85be45376e73278ced7cf4feb7f77f2a98a
[INFO] running `Command { std: "docker" "start" "-a" "fe207ee1ebec708a846e3c4684a8b85be45376e73278ced7cf4feb7f77f2a98a", kill_on_drop: false }`
[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)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: `scalop` (bin "scalop") generated 1 warning
[INFO] [stderr] warning: `scalop` (bin "scalop" test) generated 1 warning (1 duplicate)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.16s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/scalop-f13905399c6d3aca)
[INFO] [stdout] 
[INFO] [stdout] running 356 tests
[INFO] [stdout] test aa::aa_framework::tests::test_n_args ... ok
[INFO] [stdout] test aa::aa_framework::tests::test_new_attack_by_ids_ok ... ok
[INFO] [stdout] test aa::aa_framework::tests::test_new_attack_by_ids_unknown_id_1 ... ok
[INFO] [stdout] test aa::aa_framework::tests::test_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::aa_framework::tests::test_new_attack_by_ids_unknown_id_2 ... ok
[INFO] [stdout] test aa::aa_framework::tests::test_remove_attack ... 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_new_attack_unknown_label_2 ... ok
[INFO] [stdout] test aa::problem::tests::test_read_problem_ok ... ok
[INFO] [stdout] test aa::problem::tests::test_read_problem_unknown_query ... ok
[INFO] [stdout] test aa::problem::tests::test_read_problem_unknown_semantics ... ok
[INFO] [stdout] test 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 aa::aa_framework::tests::test_new_argument ... ok
[INFO] [stdout] test aa::aa_framework::tests::test_new_attack_already_exists ... 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_2 ... ok
[INFO] [stdout] test aba::aba_reduce::tests::test_reduce_3 ... ok
[INFO] [stdout] test aba::aba_reduce::tests::test_reduce_4 ... ok
[INFO] [stdout] test aba::aba_remove_cycles::tests::test_ok ... ok
[INFO] [stdout] test aba::constraints_encoder::tests::test_cycle ... ignored
[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::complete_semantics_solver::test::test_ok ... ok
[INFO] [stdout] test aba::constraints_encoder::tests::test_extensions_5 ... ok
[INFO] [stdout] test aba::constraints_encoder::tests::test_extensions_1 ... ok
[INFO] [stdout] test aba::constraints_encoder::tests::test_extensions_6 ... 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::constraints_encoder::tests::test_extensions_7 ... ok
[INFO] [stdout] test aba::constraints_encoder::tests::test_extensions_2 ... ok
[INFO] [stdout] test aba::preferred_semantics_solver::tests::test_ds_1 ... ok
[INFO] [stdout] test aba::preferred_semantics_solver::tests::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 aba::stable_semantics_solver::test::test_se ... ok
[INFO] [stdout] test dynamics::dynamic_complete_semantics_solver::tests::test_del_unencoded_arg ... 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 encodings::hybrid_complete_constraints_encoder::tests::test_no_attacks ... ok
[INFO] [stdout] test aba::preferred_semantics_solver::tests::test_ds_2 ... ok
[INFO] [stdout] test encodings::exp_constraints_encoder::tests::test_no_attacks_conflict_freeness ... ok
[INFO] [stdout] test dynamics::dynamic_preferred_semantics_solver::tests::coreo_test ... ok
[INFO] [stdout] test io::aba_reader::tests::test_ok ... ok
[INFO] [stdout] test aba::stable_semantics_solver::test::test_ds_1 ... ok
[INFO] [stdout] test aba::preferred_semantics_solver::tests::test_ds_3 ... ok
[INFO] [stdout] test dynamics::dynamic_complete_semantics_solver::tests::coreo_test ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_att_line_pattern_not_ok ... ok
[INFO] [stdout] test encodings::aux_var_constraints_encoder::tests::test_no_attacks_complete_semantics ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_read_empty ... ok
[INFO] [stdout] test aba::stable_semantics_solver::test::test_dc_1 ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_att_line_pattern_ok ... 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 io::aspartix_reader::tests::test_arg_line_pattern_ok ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_try_read_att_line_wrong_line_pattern ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_read_syntax_error ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_arg_line_pattern_not_ok ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_try_read_arg_line_wrong_line_pattern ... ok
[INFO] [stdout] test io::aspartix_writer::tests::test_write_acceptance_status_no ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_try_read_att_line_wrong_name ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_try_read_att_line_ok ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_read_unknown_arg_in_att ... ok
[INFO] [stdout] test io::aspartix_writer::tests::test_write_empty_extension ... ok
[INFO] [stdout] test io::iccma23_reader::tests::test_arg_in_no_attack ... ok
[INFO] [stdout] test io::iccma23_reader::tests::test_empty_instance ... ok
[INFO] [stdout] test io::iccma23_reader::tests::test_empty_line_at_the_beginning ... ok
[INFO] [stdout] test io::iccma23_reader::tests::test_empty_line_in_the_middle ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_read_ok ... ok
[INFO] [stdout] test io::aspartix_writer::tests::test_write_af ... ok
[INFO] [stdout] test io::iccma23_reader::tests::test_comment ... 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_arg_line_ok ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_arg_in_no_attack ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_read_ext ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_try_read_arg_line_wrong_name ... ok
[INFO] [stdout] test io::aspartix_writer::tests::test_write_acceptance_status_yes ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_read_arg_after_att ... ok
[INFO] [stdout] test io::aspartix_writer::tests::test_write_single_extension ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_read_arg_from_str ... ok
[INFO] [stdout] test io::aspartix_writer::tests::test_write_no_extension ... ok
[INFO] [stdout] test io::iccma23_reader::tests::test_error_in_attack_word_0 ... ok
[INFO] [stdout] test io::iccma23_reader::tests::test_error_in_attack_word_2 ... ok
[INFO] [stdout] test io::iccma23_reader::tests::test_ok ... 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_3 ... ok
[INFO] [stdout] test io::iccma23_reader::tests::test_read_ext ... ok
[INFO] [stdout] test io::iccma23_reader::tests::test_error_in_attack_word_1 ... ok
[INFO] [stdout] test io::iccma23_writer::tests::test_write_empty_extension ... ok
[INFO] [stdout] test io::iccma23_writer::tests::test_write_acceptance_status_no ... ok
[INFO] [stdout] test io::iccma23_writer::tests::test_write_single_extension ... ok
[INFO] [stdout] test io::warning_result::tests::test_consume_warnings_ok ... ok
[INFO] [stdout] test io::warning_result::tests::test_zip_ow ... ok
[INFO] [stdout] test io::iccma23_writer::tests::test_write_acceptance_status_yes ... ok
[INFO] [stdout] test io::iccma23_reader::tests::test_read_arg_from_str ... 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 io::iccma23_writer::tests::test_write_no_extension ... ok
[INFO] [stdout] test io::warning_result::tests::test_zip_oo ... 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::warning_result::tests::test_zip_ww ... 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_no_s_line ... ok
[INFO] [stdout] test sat::buffered_sat_solver::tests::test_output_sat_ok_multiple_v_lines ... ok
[INFO] [stdout] test sat::buffered_sat_solver::tests::test_output_sat_ok ... ok
[INFO] [stdout] test sat::buffered_sat_solver::tests::test_output_comment_with_no_message ... 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::cadical_solver::tests::test_iterative ... ok
[INFO] [stdout] test sat::buffered_sat_solver::tests::test_output_unsat_ok ... ok
[INFO] [stdout] test sat::cadical_solver::tests::test_unsat ... ok
[INFO] [stdout] test sat::cadical_solver::tests::test_reserve ... 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::sat_solver::tests::test_solving_result_unwrap_model_none ... ok
[INFO] [stdout] test sat::sat_solver::tests::test_solving_result_unwrap_model_some ... 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::ipasir_sat_solver::tests::test_n_vars ... 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 sat::buffered_sat_solver::tests::test_output_sat_ok_with_v_lines_without_lits ... 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_hybrid ... ok
[INFO] [stdout] test solvers::complete_semantics_solver::tests::test_acceptance_1_exp ... ok
[INFO] [stdout] test solvers::complete_semantics_solver::tests::test_acceptance_2_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_2_exp ... ok
[INFO] [stdout] test solvers::complete_semantics_solver::tests::test_acceptance_3_auxvar ... ok
[INFO] [stdout] test solvers::complete_semantics_solver::tests::test_acceptance_3_exp ... ok
[INFO] [stdout] test solvers::complete_semantics_solver::tests::test_acceptance_3_hybrid ... ok
[INFO] [stdout] test solvers::complete_semantics_solver::tests::test_certificates_auxvar ... 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_certificates_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_disj_credulous_acceptance_hybrid ... ok
[INFO] [stdout] test solvers::complete_semantics_solver::tests::test_credulous_acceptance_after_arg_removal_exp ... 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_var_out_of_bounds - should panic ... ok
[INFO] [stdout] test sat::buffered_sat_solver::tests::test_output_unexpected_line - should panic ... ok
[INFO] [stdout] test sat::buffered_sat_solver::tests::test_output_sat_multiple_status_lines - should panic ... ok
[INFO] [stdout] test sat::buffered_sat_solver::tests::test_output_sat_multiple_zeroes_in_v_lines - should panic ... ok
[INFO] [stdout] test sat::sat_solver::tests::test_lit_from_null - should panic ... ok
[INFO] [stdout] test solvers::complete_semantics_solver::tests::test_funnel_auxvar ... ok
[INFO] [stdout] test sat::sat_solver::tests::test_var_from_neg - 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_solving_result_unwrap_model_unknown - should panic ... ok
[INFO] [stdout] test solvers::complete_semantics_solver::tests::test_is_extension_auxvar ... ok
[INFO] [stdout] test solvers::complete_semantics_solver::tests::test_is_extension_hybrid ... ok
[INFO] [stdout] test solvers::complete_semantics_solver::tests::test_is_extension_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::grounded_semantics_solver::tests::test_is_extension ... ok
[INFO] [stdout] test aa::aa_framework::tests::test_add_attack_on_new_arg_after_att_removal ... ok
[INFO] [stdout] test io::iccma23_reader::tests::test_ok_empty_lines_at_the_end ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_compute_ideal_ext_is_grounded_auxvar ... ok
[INFO] [stdout] test io::iccma23_reader::tests::test_ok_missing_last_lf ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_compute_ideal_ext_is_grounded_hybrid ... ok
[INFO] [stdout] test solvers::complete_semantics_solver::tests::test_certificates_hybrid ... 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_single_preferred_auxvar ... 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_not_grounded_auxvar ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_compute_ideal_ext_is_single_preferred_hybrid ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_compute_ideal_ext_is_not_grounded_hybrid ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_compute_ideal_ext_is_not_grounded_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_exp ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_disj_skeptical_acceptance_hybrid ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_disj_credulous_acceptance_exp ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_disj_skeptical_acceptance_auxvar ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_ideal_acceptance_ext_is_grounded_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_hybrid ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_ideal_acceptance_in_all_preferred_but_not_in_ideal_exp ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_funnel_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_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_is_extension_hybrid ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_is_extension_auxvar ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_ideal_acceptance_ext_is_single_preferred_hybrid ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_ideal_acceptance_in_all_preferred_but_not_in_ideal_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::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_ext_is_grounded_auxvar ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_compute_one_semi_stable_ext_is_grounded_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_compute_one_semi_stable_ext_is_grounded_hybrid ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_with_certificate_hybrid ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_compute_one_semi_stable_ext_is_not_grounded_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::ideal_semantics_solver::tests::test_with_certificate_auxvar ... 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_hybrid ... 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_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::complete_semantics_solver::tests::test_funnel_exp ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_with_certificate_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_ideal_acceptance_in_all_preferred_but_not_in_ideal_hybrid ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_ideal_acceptance_exp ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_ideal_acceptance_auxvar ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_compute_one_stage_ext_is_grounded_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_compute_one_stage_ext_is_not_grounded_auxvar ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_credulous_acceptance_auto_attack_auxvar ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_check_certificate_involve_var_auxvar ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_check_certificate_involve_var_hybrid ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_credulous_acceptance_auto_attack_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::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_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_credulous_acceptance_after_arg_removal_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_disj_credulous_acceptance_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_is_extension_auxvar ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_disj_skeptical_acceptance_exp ... ok
[INFO] [stdout] test solvers::complete_semantics_solver::tests::test_funnel_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_credulous_acceptance_hybrid ... 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_is_extension_exp ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_funnel_auxvar ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_disj_credulous_acceptance_auxvar ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_skeptical_acceptance_auto_attack_hybrid ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_skeptical_acceptance_auto_attack_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_disj_skeptical_acceptance_hybrid ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_skeptical_acceptance_after_arg_removal_exp ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_ideal_acceptance_ext_is_grounded_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_is_extension_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_skeptical_acceptance_after_arg_removal_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_skeptical_acceptance_after_arg_removal_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_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_auxvar ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_stage_credulous_acceptance_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_stage_credulous_acceptance_auto_attack_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_stage_disj_credulous_acceptance_auxvar ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_stage_disj_credulous_acceptance_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_stage_disj_skeptical_acceptance_auxvar ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_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_allow_ds_shortcut_hybrid ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_stage_is_extension_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_stage_skeptical_acceptance_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_is_extension_auxvar ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_certificates_auxvar ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_stage_skeptical_acceptance_after_arg_removal_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_allow_ds_shortcut_exp ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_certificates_connected_components_hybrid ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_certificates_connected_components_auxvar ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_certificates_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_stage_disj_skeptical_acceptance_exp ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_certificates_connected_components_exp ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_compute_one_preferred_ext_is_grounded_auxvar ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_certificates_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_compute_one_preferred_after_arg_removal_auxvar ... 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_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_compute_one_preferred_ext_is_not_grounded_exp ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_disj_skeptical_acceptance_auxvar ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_enumerate_extensions_auxvar ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_enumerate_extensions_with_autoattack_hybrid ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_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_funnel_auxvar ... 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_funnel_hybrid ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_is_extension_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_is_extension_exp ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_disj_skeptical_acceptance_hybrid ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_is_extension_hybrid ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_skeptical_acceptance_after_arg_removal_auxvar ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_enumerate_extensions_with_autoattack_auxvar ... 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_skeptical_acceptance_after_arg_removal_exp ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_enumerate_extensions_with_autoattack_exp ... ok
[INFO] [stdout] test solvers::grounded_semantics_solver::tests::test_disj_skeptical_acceptance ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_funnel_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_skeptical_acceptance_auto_attack_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_with_autoattack_exp ... 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_with_autoattack_auxvar ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_skeptical_acceptance_auxvar ... ok
[INFO] [stdout] test solvers::stable_semantics_solver::tests::test_acceptance_1 ... ok
[INFO] [stdout] test solvers::stable_semantics_solver::tests::test_acceptance_2 ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_skeptical_acceptance_exp ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_skeptical_acceptance_auto_attack_exp ... ok
[INFO] [stdout] test solvers::stable_semantics_solver::tests::test_compute_one ... ok
[INFO] [stdout] test solvers::stable_semantics_solver::tests::test_compute_one_no_exists ... ok
[INFO] [stdout] test solvers::stable_semantics_solver::tests::test_compute_one_auto_attack ... ok
[INFO] [stdout] test solvers::stable_semantics_solver::tests::test_acceptance_connected_components_shortcut ... ok
[INFO] [stdout] test solvers::stable_semantics_solver::tests::test_certificates ... ok
[INFO] [stdout] test solvers::stable_semantics_solver::tests::test_is_extension ... ok
[INFO] [stdout] test solvers::stable_semantics_solver::tests::test_certificates_connected_components ... 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 ... ok
[INFO] [stdout] test utils::equivalency_computer::tests::test_autoattack ... ok
[INFO] [stdout] test utils::connected_components_computer::tests::test_connected_components_after_arg_removal ... ok
[INFO] [stdout] test utils::equivalency_computer::tests::test_compute_classes_ring_of_4 ... ok
[INFO] [stdout] test utils::equivalency_computer::tests::test_grounded_classes_with_ring_of_3 ... ok
[INFO] [stdout] test utils::equivalency_computer::tests::test_grounded_classes_with_ring_of_4 ... ok
[INFO] [stdout] test utils::equivalency_computer::tests::test_grounded_classes_hierarchy ... ok
[INFO] [stdout] test solvers::stable_semantics_solver::tests::test_disj_skeptical_acceptance ... 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 utils::equivalency_computer::tests::test_propagate_ring_of_4 ... ok
[INFO] [stdout] test utils::grounded_extension_computer::tests::test_grounded_extension_1 ... 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::label::tests::test_new_repeated_labels ... ok
[INFO] [stdout] test utils::label::tests::test_add_labels ... ok
[INFO] [stdout] test utils::label::tests::test_new_with_empty_labels ... ok
[INFO] [stdout] test utils::label::tests::test_max_id ... ok
[INFO] [stdout] test utils::label::tests::test_new_with_labels ... ok
[INFO] [stdout] test utils::label::tests::test_remove_label ... ok
[INFO] [stdout] test utils::grounded_extension_computer::tests::test_grounded_extension_empty_af ... ok
[INFO] [stdout] test utils::connected_components_computer::tests::test_connected_components_of ... ok
[INFO] [stdout] test utils::equivalency_computer::tests::test_reduce_grounded_path ... ok
[INFO] [stdout] test utils::label::tests::test_into_iterator ... ok
[INFO] [stdout] test utils::connected_components_computer::tests::test_connected_components_of_twice - should panic ... ok
[INFO] [stdout] test utils::label::tests::test_remove_nonexisting_label - should panic ... ok
[INFO] [stdout] test utils::label::tests::test_get_label ... ok
[INFO] [stdout] test utils::equivalency_computer::tests::test_grounded_classes_path ... ok
[INFO] [stdout] test solvers::grounded_semantics_solver::tests::test_grounded_solver ... ok
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/scalop-cb28be4229177a6f)
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_is_extension_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_skeptical_acceptance_after_arg_removal_hybrid ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_skeptical_acceptance_hybrid ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 354 passed; 0 failed; 2 ignored; 0 measured; 0 filtered out; finished in 0.31s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 15 tests
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] scalop 2.1.0
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] app_name app_version
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] author
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] about
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] 
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] USAGE:
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06]     app_name <SUBCOMMAND>
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] 
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] FLAGS:
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06]     -h, --help    
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06]             Prints help information
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] 
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] 
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] SUBCOMMANDS:
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06]     help                  Prints this message or the help of the given subcommand(s)
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06]     local_command_name    local_command_about
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] 
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] scalop 2.1.0
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] ----------------------------------------
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] app_name app_version
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] ----------------------------------------
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] app_name app_version
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] app_name app_version
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] author
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] about
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] 
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] USAGE:
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] local_command_name 
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] local_command_about
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] 
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] USAGE:
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06]     local_command_name [FLAGS]
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] 
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] FLAGS:
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06]     -a            
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06]             
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] 
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06]     -h, --help    
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06]             Prints help information
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] 
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] 
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] app_name app_version
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] app_name app_version
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06]     app_name <SUBCOMMAND>
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] 
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] FLAGS:
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06]     -h, --help    
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06]             Prints help information
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] 
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] 
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] SUBCOMMANDS:
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06]     help                  Prints this message or the help of the given subcommand(s)
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06]     local_command_name    local_command_about
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] 
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] scalop 2.1.0
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] ----------------------------------------
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] local_command_name 
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] local_command_about
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] 
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] USAGE:
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06]     local_command_name [FLAGS]
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] 
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] FLAGS:
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06]     -a            
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06]             
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] 
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06]     -h, --help    
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06]             Prints help information
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] 
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] 
[INFO] [stdout] test app::app_helper::tests::test_no_args ... ok
[INFO] [stdout] test app::cli_manager::tests::test_help ... ok
[INFO] [stdout] test app::cli_manager::tests::test_wrong_subcommand ... ok
[INFO] [stdout] test app::cli_manager::tests::test_subcommand_help ... ok
[INFO] [stdout] test app::cli_manager::tests::test_wrong_arg ... ok
[INFO] [stdout] test app::cli_manager::tests::test_no_subcommand ... ok
[INFO] [stdout] test app::writable_string::tests::test_debug ... ok
[INFO] [stdout] test app::cli_manager::tests::test_help_subcommand ... ok
[INFO] [stdout] test app::cli_manager::tests::test_help_for_subcommand ... ok
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] scalop 2.1.0
[INFO] [stdout] test app::app_helper::tests::test_no_subcommand ... ok
[INFO] [stdout] test app::writable_string::tests::test_display ... ok
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] app_name app_version
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] ----------------------------------------
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] running on fe207ee1ebec
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] OS is Ubuntu 24.04 with kernel 6.14.0-1014-gcp
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] physical core count: 8 ["AMD EPYC 7B13"]
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] total memory: 16762834944 KB
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] ----------------------------------------
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] exiting successfully after 155.52394ms
[INFO] [stdout] test app::app_helper::tests::test_subcommand_ok ... ok
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] running on fe207ee1ebec
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] OS is Ubuntu 24.04 with kernel 6.14.0-1014-gcp
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] physical core count: 8 ["AMD EPYC 7B13"]
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] total memory: 16762834944 KB
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] ----------------------------------------
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] running on fe207ee1ebec
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] OS is Ubuntu 24.04 with kernel 6.14.0-1014-gcp
[INFO] [stdout] test app::cli_manager::tests::test_command_and_arg_involved ... ok
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] physical core count: 8 ["AMD EPYC 7B13"]
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] total memory: 16762834944 KB
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] ----------------------------------------
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] running on fe207ee1ebec
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] OS is Ubuntu 24.04 with kernel 6.14.0-1014-gcp
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] physical core count: 8 ["AMD EPYC 7B13"]
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] total memory: 16762834944 KB
[INFO] [stdout] ![[36mINFO [0m] [2026-04-27 01:04:06] ----------------------------------------
[INFO] [stdout] test app::app_helper::tests::test_subcommand_err ... ok
[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.17s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_iccma23_aa.rs (/opt/rustwide/target/debug/deps/test_iccma23_aa-2af0f74079aa2e77)
[INFO] [stdout] 
[INFO] [stdout] running 55 tests
[INFO] [stdout] test test_complete_dc_4 ... FAILED
[INFO] [stdout] test test_complete_ds_2 ... FAILED
[INFO] [stdout] test test_complete_ds_4 ... FAILED
[INFO] [stdout] test test_complete_dc_3 ... FAILED
[INFO] [stdout] test test_complete_ds_3 ... FAILED
[INFO] [stdout] test test_ideal_ds_4 ... FAILED
[INFO] [stdout] test test_complete_dc_2 ... FAILED
[INFO] [stdout] test test_preferred_dc_1 ... FAILED
[INFO] [stdout] test test_complete_dc_1 ... FAILED
[INFO] [stdout] test test_ideal_se ... FAILED
[INFO] [stdout] test test_preferred_dc_4 ... FAILED
[INFO] [stdout] test test_ideal_dc_1 ... FAILED
[INFO] [stdout] test test_preferred_dc_2 ... FAILED
[INFO] [stdout] test test_preferred_se ... FAILED
[INFO] [stdout] test test_preferred_ds_4 ... FAILED
[INFO] [stdout] test test_complete_ds_1 ... FAILED
[INFO] [stdout] test test_ideal_ds_1 ... FAILED
[INFO] [stdout] test test_ideal_dc_3 ... FAILED
[INFO] [stdout] test test_semistable_dc_4 ... FAILED
[INFO] [stdout] test test_preferred_dc_3 ... FAILED
[INFO] [stdout] test test_ideal_dc_2 ... FAILED
[INFO] [stdout] test test_semistable_dc_1 ... FAILED
[INFO] [stdout] test test_ideal_dc_4 ... FAILED
[INFO] [stdout] test test_semistable_ds_1 ... FAILED
[INFO] [stdout] test test_preferred_ds_1 ... FAILED
[INFO] [stdout] test test_ideal_ds_3 ... FAILED
[INFO] [stdout] test test_complete_se ... FAILED
[INFO] [stdout] test test_preferred_ds_2 ... FAILED
[INFO] [stdout] test test_preferred_ds_3 ... FAILED
[INFO] [stdout] test test_ideal_ds_2 ... FAILED
[INFO] [stdout] test test_semistable_dc_2 ... FAILED
[INFO] [stdout] test test_semistable_ds_3 ... FAILED
[INFO] [stdout] test test_semistable_dc_3 ... FAILED
[INFO] [stdout] test test_semistable_ds_2 ... FAILED
[INFO] [stdout] test test_semistable_ds_4 ... FAILED
[INFO] [stdout] test test_stable_dc_3 ... FAILED
[INFO] [stdout] test test_stable_ds_1 ... FAILED
[INFO] [stdout] test test_stage_ds_1 ... FAILED
[INFO] [stdout] test test_stable_ds_2 ... FAILED
[INFO] [stdout] test test_stage_ds_4 ... FAILED
[INFO] [stdout] test test_stage_dc_1 ... FAILED
[INFO] [stdout] test test_stage_ds_3 ... FAILED
[INFO] [stdout] test test_stg_se_no_constraints ... FAILED
[INFO] [stdout] test test_stable_dc_4 ... FAILED
[INFO] [stdout] test test_stage_dc_3 ... FAILED
[INFO] [stdout] test test_stage_se ... FAILED
[INFO] [stdout] test test_stable_se ... FAILED
[INFO] [stdout] test test_stage_ds_2 ... FAILED
[INFO] [stdout] test test_stable_dc_2 ... FAILED
[INFO] [stdout] test test_stage_dc_2 ... FAILED
[INFO] [stdout] test test_stable_ds_4 ... FAILED
[INFO] [stdout] test test_semistable_se ... FAILED
[INFO] [stdout] test test_stable_dc_1 ... FAILED
[INFO] [stdout] test test_stable_ds_3 ... FAILED
[INFO] [stdout] test test_stage_dc_4 ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[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_complete_ds_2 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_dc_3 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_ds_4 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_preferred_dc_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_preferred_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_se 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] ---- test_complete_ds_1 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_ideal_dc_3 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_preferred_dc_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_semistable_dc_1 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_ds_1 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_ideal_ds_3 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_preferred_ds_2 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_ds_2 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_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_ds_2 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_3 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_ds_1 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_stage_ds_4 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_stage_ds_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_stable_dc_4 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_stage_se 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_stable_dc_2 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_4 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_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_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] [stderr] error: test failed, to rerun pass `--test test_iccma23_aa`
[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.03s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "fe207ee1ebec708a846e3c4684a8b85be45376e73278ced7cf4feb7f77f2a98a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "fe207ee1ebec708a846e3c4684a8b85be45376e73278ced7cf4feb7f77f2a98a", kill_on_drop: false }`
[INFO] [stdout] fe207ee1ebec708a846e3c4684a8b85be45376e73278ced7cf4feb7f77f2a98a
