[INFO] fetching crate scalop 2.0.0...
[INFO] testing scalop-2.0.0 against master#0d162b25edd5bf0dba9a22e83b614f1113e90474 for pr-150681
[INFO] extracting crate scalop 2.0.0 into /workspace/builds/worker-3-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-3-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate scalop 2.0.0 on toolchain 0d162b25edd5bf0dba9a22e83b614f1113e90474
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+0d162b25edd5bf0dba9a22e83b614f1113e90474" "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" "+0d162b25edd5bf0dba9a22e83b614f1113e90474" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded proc-macro2 v1.0.101
[INFO] [stderr]   Downloaded cfg-if v1.0.3
[INFO] [stderr]   Downloaded difflib v0.4.0
[INFO] [stderr]   Downloaded predicates-core v1.0.9
[INFO] [stderr]   Downloaded num-iter v0.1.45
[INFO] [stderr]   Downloaded windows-strings v0.4.2
[INFO] [stderr]   Downloaded jobserver v0.1.34
[INFO] [stderr]   Downloaded predicates v2.1.5
[INFO] [stderr]   Downloaded find-msvc-tools v0.1.0
[INFO] [stderr]   Downloaded globwalk v0.9.1
[INFO] [stderr]   Downloaded doc-comment v0.3.3
[INFO] [stderr]   Downloaded winapi-util v0.1.10
[INFO] [stderr]   Downloaded assert_cmd v2.0.17
[INFO] [stderr]   Downloaded serde_derive v1.0.219
[INFO] [stderr]   Downloaded getrandom v0.3.3
[INFO] [stderr]   Downloaded anyhow v1.0.99
[INFO] [stderr]   Downloaded log v0.4.27
[INFO] [stderr]   Downloaded cc v1.2.35
[INFO] [stderr]   Downloaded unicode-width v0.1.14
[INFO] [stderr]   Downloaded aho-corasick v1.1.3
[INFO] [stderr]   Downloaded regex-syntax v0.8.6
[INFO] [stderr]   Downloaded memchr v2.7.5
[INFO] [stderr]   Downloaded bstr v1.12.0
[INFO] [stderr]   Downloaded wasi v0.14.3+wasi-0.2.4
[INFO] [stderr]   Downloaded chrono v0.4.41
[INFO] [stderr]   Downloaded syn v2.0.106
[INFO] [stderr]   Downloaded cadical v0.1.16
[INFO] [stderr]   Downloaded permutator v0.4.3
[INFO] [stderr]   Downloaded sysinfo v0.30.13
[INFO] [stderr]   Downloaded windows-core v0.61.2
[INFO] [stderr]   Downloaded js-sys v0.3.77
[INFO] [stderr]   Downloaded wasm-bindgen-macro-support v0.2.100
[INFO] [stderr]   Downloaded assert_fs v1.1.3
[INFO] [stderr]   Downloaded fern v0.6.2
[INFO] [stderr]   Downloaded wit-bindgen v0.45.0
[INFO] [stderr]   Downloaded iana-time-zone v0.1.63
[INFO] [stderr]   Downloaded libloading v0.8.8
[INFO] [stderr]   Downloaded ipasir-loading v0.1.0
[INFO] [stderr]   Downloaded rustix v1.0.8
[INFO] [stderr]   Downloaded num-complex v0.2.4
[INFO] [stderr]   Downloaded ntapi v0.4.1
[INFO] [stderr]   Downloaded serde v1.0.219
[INFO] [stderr]   Downloaded libc v0.2.175
[INFO] [stderr]   Downloaded ignore v0.4.23
[INFO] [stderr]   Downloaded predicates v3.1.3
[INFO] [stderr]   Downloaded android-tzdata v0.1.1
[INFO] [stderr]   Downloaded windows_aarch64_msvc v0.53.0
[INFO] [stderr]   Downloaded windows-result v0.3.4
[INFO] [stderr]   Downloaded wasm-bindgen-shared v0.2.100
[INFO] [stderr]   Downloaded windows_i686_msvc v0.53.0
[INFO] [stderr]   Downloaded regex-automata v0.4.10
[INFO] [stderr]   Downloaded is-terminal v0.4.16
[INFO] [stderr]   Downloaded windows-link v0.1.3
[INFO] [stderr]   Downloaded float-cmp v0.9.0
[INFO] [stderr]   Downloaded regex v1.11.2
[INFO] [stderr]   Downloaded anstyle v1.0.11
[INFO] [stderr]   Downloaded predicates-tree v1.0.12
[INFO] [stderr]   Downloaded windows_x86_64_gnu v0.53.0
[INFO] [stderr]   Downloaded windows_x86_64_gnullvm v0.53.0
[INFO] [stderr]   Downloaded windows_aarch64_gnullvm v0.53.0
[INFO] [stderr]   Downloaded bitflags v2.9.3
[INFO] [stderr]   Downloaded tempfile v3.21.0
[INFO] [stderr]   Downloaded windows_x86_64_msvc v0.53.0
[INFO] [stderr]   Downloaded windows_i686_gnullvm v0.53.0
[INFO] [stderr]   Downloaded windows-implement v0.60.0
[INFO] [stderr]   Downloaded windows-interface v0.59.1
[INFO] [stderr]   Downloaded wasm-bindgen-macro v0.2.100
[INFO] [stderr]   Downloaded windows_i686_gnu v0.53.0
[INFO] [stderr]   Downloaded wasm-bindgen v0.2.100
[INFO] [stderr]   Downloaded colored v1.9.4
[INFO] [stderr]   Downloaded num-bigint v0.2.6
[INFO] [stderr]   Downloaded num v0.2.1
[INFO] [stderr]   Downloaded globset v0.4.16
[INFO] [stderr]   Downloaded termtree v0.5.1
[INFO] [stderr]   Downloaded errno v0.3.13
[INFO] [stderr]   Downloaded wasm-bindgen-backend v0.2.100
[INFO] [stderr]   Downloaded windows-targets v0.53.3
[INFO] [stderr]   Downloaded normalize-line-endings v0.3.0
[INFO] [stderr]   Downloaded windows-core v0.52.0
[INFO] [stderr]   Downloaded linux-raw-sys v0.9.4
[INFO] [stderr]   Downloaded windows v0.52.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:845e597a41426bbf2703be69acdb67d10b6de511142d05cba7bbe119c898b2c7" "/opt/rustwide/cargo-home/bin/cargo" "+0d162b25edd5bf0dba9a22e83b614f1113e90474" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 0d0250407e53d7f60b44ef1bc4365e772aef89facc586a57ba9ebfe268cc6440
[INFO] running `Command { std: "docker" "start" "-a" "0d0250407e53d7f60b44ef1bc4365e772aef89facc586a57ba9ebfe268cc6440", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "0d0250407e53d7f60b44ef1bc4365e772aef89facc586a57ba9ebfe268cc6440", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0d0250407e53d7f60b44ef1bc4365e772aef89facc586a57ba9ebfe268cc6440", kill_on_drop: false }`
[INFO] [stdout] 0d0250407e53d7f60b44ef1bc4365e772aef89facc586a57ba9ebfe268cc6440
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:845e597a41426bbf2703be69acdb67d10b6de511142d05cba7bbe119c898b2c7" "/opt/rustwide/cargo-home/bin/cargo" "+0d162b25edd5bf0dba9a22e83b614f1113e90474" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] c75412a3deeb033b75e96c50e5705ea6c64df4f6f35542abc489c5380b33e3fb
[INFO] running `Command { std: "docker" "start" "-a" "c75412a3deeb033b75e96c50e5705ea6c64df4f6f35542abc489c5380b33e3fb", kill_on_drop: false }`
[INFO] [stderr]    Compiling autocfg v1.5.0
[INFO] [stderr]    Compiling libc v0.2.175
[INFO] [stderr]    Compiling crossbeam-utils v0.8.21
[INFO] [stderr]    Compiling proc-macro2 v1.0.101
[INFO] [stderr]    Compiling rayon-core v1.13.0
[INFO] [stderr]    Compiling shlex v1.3.0
[INFO] [stderr]    Compiling find-msvc-tools v0.1.0
[INFO] [stderr]    Compiling unicode-ident v1.0.18
[INFO] [stderr]    Compiling cfg-if v1.0.3
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling memchr v2.7.5
[INFO] [stderr]    Compiling anyhow v1.0.99
[INFO] [stderr]    Compiling either v1.15.0
[INFO] [stderr]    Compiling unicode-width v0.1.14
[INFO] [stderr]    Compiling crossbeam-epoch v0.9.18
[INFO] [stderr]    Compiling crossbeam-deque v0.8.6
[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 lazy_static v1.5.0
[INFO] [stderr]    Compiling regex-syntax v0.8.6
[INFO] [stderr]    Compiling aho-corasick v1.1.3
[INFO] [stderr]    Compiling quote v1.0.40
[INFO] [stderr]    Compiling jobserver v0.1.34
[INFO] [stderr]    Compiling is-terminal v0.4.16
[INFO] [stderr]    Compiling colored v1.9.4
[INFO] [stderr]    Compiling rayon v1.11.0
[INFO] [stderr]    Compiling num-integer v0.1.46
[INFO] [stderr]    Compiling cc v1.2.35
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling num-iter v0.1.45
[INFO] [stderr]    Compiling textwrap v0.11.0
[INFO] [stderr]    Compiling libloading v0.8.8
[INFO] [stderr]    Compiling log v0.4.27
[INFO] [stderr]    Compiling heck v0.4.1
[INFO] [stderr]    Compiling num v0.2.1
[INFO] [stderr]    Compiling iana-time-zone v0.1.63
[INFO] [stderr]    Compiling once_cell v1.21.3
[INFO] [stderr]    Compiling strsim v0.8.0
[INFO] [stderr]    Compiling ansi_term v0.12.1
[INFO] [stderr]    Compiling cadical v0.1.16
[INFO] [stderr]    Compiling regex-automata v0.4.10
[INFO] [stderr]    Compiling vec_map v0.8.2
[INFO] [stderr]    Compiling chrono v0.4.41
[INFO] [stderr]    Compiling strum_macros v0.24.3
[INFO] [stderr]    Compiling clap v2.34.0
[INFO] [stderr]    Compiling sysinfo v0.30.13
[INFO] [stderr]    Compiling permutator v0.4.3
[INFO] [stderr]    Compiling fern v0.6.2
[INFO] [stderr]    Compiling ipasir-loading v0.1.0
[INFO] [stderr]    Compiling strum v0.24.1
[INFO] [stderr]    Compiling regex v1.11.2
[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<T> {
[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<T> {
[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<T>) -> ConnectedComponentsIterator<T>
[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<T>) -> 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)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 2m 37s
[INFO] running `Command { std: "docker" "inspect" "c75412a3deeb033b75e96c50e5705ea6c64df4f6f35542abc489c5380b33e3fb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c75412a3deeb033b75e96c50e5705ea6c64df4f6f35542abc489c5380b33e3fb", kill_on_drop: false }`
[INFO] [stdout] c75412a3deeb033b75e96c50e5705ea6c64df4f6f35542abc489c5380b33e3fb
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:845e597a41426bbf2703be69acdb67d10b6de511142d05cba7bbe119c898b2c7" "/opt/rustwide/cargo-home/bin/cargo" "+0d162b25edd5bf0dba9a22e83b614f1113e90474" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 25f7fe3871f9f1ed3fe0c406fdc7a7630b24ce6517280656f6bd1719a01099be
[INFO] running `Command { std: "docker" "start" "-a" "25f7fe3871f9f1ed3fe0c406fdc7a7630b24ce6517280656f6bd1719a01099be", kill_on_drop: false }`
[INFO] [stderr]    Compiling memchr v2.7.5
[INFO] [stderr]    Compiling either v1.15.0
[INFO] [stderr]    Compiling predicates-core v1.0.9
[INFO] [stderr]    Compiling difflib v0.4.0
[INFO] [stderr]    Compiling doc-comment v0.3.3
[INFO] [stderr]    Compiling rustix v1.0.8
[INFO] [stderr]    Compiling getrandom v0.3.3
[INFO] [stderr]    Compiling bitflags v2.9.3
[INFO] [stderr]    Compiling same-file v1.0.6
[INFO] [stderr]    Compiling linux-raw-sys v0.9.4
[INFO] [stderr]    Compiling walkdir v2.5.0
[INFO] [stderr]    Compiling anstyle v1.0.11
[INFO] [stderr]    Compiling rayon v1.11.0
[INFO] [stderr]    Compiling termtree v0.5.1
[INFO] [stderr]    Compiling predicates-tree v1.0.12
[INFO] [stderr]    Compiling aho-corasick v1.1.3
[INFO] [stderr]    Compiling predicates v3.1.3
[INFO] [stderr]    Compiling paste v1.0.15
[INFO] [stderr]    Compiling assert_cmd v2.0.17
[INFO] [stderr]    Compiling fastrand v2.3.0
[INFO] [stderr]    Compiling itertools v0.10.5
[INFO] [stderr]    Compiling float-cmp v0.9.0
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling normalize-line-endings v0.3.0
[INFO] [stderr]    Compiling regex-automata v0.4.10
[INFO] [stderr]    Compiling tempfile v3.21.0
[INFO] [stderr]    Compiling sysinfo v0.30.13
[INFO] [stderr]    Compiling bstr v1.12.0
[INFO] [stderr]    Compiling regex v1.11.2
[INFO] [stderr]    Compiling predicates v2.1.5
[INFO] [stderr]    Compiling globset v0.4.16
[INFO] [stderr]    Compiling scalop v2.0.0 (/opt/rustwide/workdir)
[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<T> {
[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<T> {
[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<T>) -> ConnectedComponentsIterator<T>
[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<T>) -> 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)]` (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] [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<T> {
[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<T> {
[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<T>) -> ConnectedComponentsIterator<T>
[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<T>) -> ConnectedComponentsIterator<'_, T>
[INFO] [stdout]     |                                                                                          +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 43.39s
[INFO] running `Command { std: "docker" "inspect" "25f7fe3871f9f1ed3fe0c406fdc7a7630b24ce6517280656f6bd1719a01099be", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "25f7fe3871f9f1ed3fe0c406fdc7a7630b24ce6517280656f6bd1719a01099be", kill_on_drop: false }`
[INFO] [stdout] 25f7fe3871f9f1ed3fe0c406fdc7a7630b24ce6517280656f6bd1719a01099be
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:845e597a41426bbf2703be69acdb67d10b6de511142d05cba7bbe119c898b2c7" "/opt/rustwide/cargo-home/bin/cargo" "+0d162b25edd5bf0dba9a22e83b614f1113e90474" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] d369d0af5a6f350cb96dfe380c1112135e984e50690de67f8f78db06690b146d
[INFO] running `Command { std: "docker" "start" "-a" "d369d0af5a6f350cb96dfe380c1112135e984e50690de67f8f78db06690b146d", 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<T> {
[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<T> {
[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<T>) -> ConnectedComponentsIterator<T>
[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<T>) -> 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)]` (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] warning: `scalop` (lib test) generated 3 warnings (3 duplicates)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.21s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/scalop-1287e8b235ac876d)
[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_add_attack_on_new_arg_after_att_removal ... ok
[INFO] [stdout] test aa::aa_framework::tests::test_new_argument ... ok
[INFO] [stdout] test aa::aa_framework::tests::test_new_attack_already_exists ... ok
[INFO] [stdout] test aa::aa_framework::tests::test_new_attack_by_ids_ok ... ok
[INFO] [stdout] test aa::aa_framework::tests::test_new_attack_unknown_label_2 ... ok
[INFO] [stdout] test aa::aa_framework::tests::test_new_attack_by_ids_unknown_id_1 ... ok
[INFO] [stdout] test aa::aa_framework::tests::test_new_attack_by_ids_unknown_id_2 ... ok
[INFO] [stdout] test aa::aa_framework::tests::test_new_attack_ok ... ok
[INFO] [stdout] test aa::aa_framework::tests::test_remove_argument ... ok
[INFO] [stdout] test aa::aa_framework::tests::test_remove_attack ... 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 aa::problem::tests::test_iter_as_strings ... 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_metrics ... ok
[INFO] [stdout] test aba::aba_framework::tests::test_contrary_of_multiple_assumptions ... ok
[INFO] [stdout] test aba::aba_reduce::tests::test_reduce_2 ... ok
[INFO] [stdout] test aba::aba_framework::tests::test_assumption_as_contrary ... ok
[INFO] [stdout] test aba::aba_reduce::tests::test_reduce_1 ... ok
[INFO] [stdout] test aba::constraints_encoder::tests::test_cycle ... ignored
[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_extensions_3 ... ignored
[INFO] [stdout] test aba::constraints_encoder::tests::test_extensions_2 ... ok
[INFO] [stdout] test aba::constraints_encoder::tests::test_extensions_4 ... ok
[INFO] [stdout] test aba::constraints_encoder::tests::test_extensions_5 ... ok
[INFO] [stdout] test aba::complete_semantics_solver::test::test_ok ... 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_extensions_1 ... ok
[INFO] [stdout] test aba::constraints_encoder::tests::test_extensions_8 ... ok
[INFO] [stdout] test aba::constraints_encoder::tests::test_self_contrary ... ok
[INFO] [stdout] test aba::preferred_semantics_solver::tests::test_ds_3 ... ok
[INFO] [stdout] test aa::problem::tests::test_read_problem_no_hyphen ... ok
[INFO] [stdout] test aa::problem::tests::test_read_problem_ok ... ok
[INFO] [stdout] test aba::preferred_semantics_solver::tests::test_se ... ok
[INFO] [stdout] test aba::preferred_semantics_solver::tests::test_ds_1 ... ok
[INFO] [stdout] test aa::aa_framework::tests::test_new_attack_unknown_label_1 ... ok
[INFO] [stdout] test aba::preferred_semantics_solver::tests::test_ds_2 ... 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_preferred_semantics_solver::tests::coreo_test ... ok
[INFO] [stdout] test dynamics::dynamic_complete_semantics_solver::tests::coreo_test ... ok
[INFO] [stdout] test aba::stable_semantics_solver::test::test_ds_1 ... ok
[INFO] [stdout] test aba::stable_semantics_solver::test::test_dc_1 ... 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 dynamics::dynamic_preferred_semantics_solver::tests::test_wrong_witness ... ok
[INFO] [stdout] test encodings::aux_var_constraints_encoder::tests::test_no_attacks_complete_semantics ... ok
[INFO] [stdout] test encodings::exp_constraints_encoder::tests::test_no_attacks_conflict_freeness ... ok
[INFO] [stdout] test encodings::aux_var_constraints_encoder::tests::test_no_attacks_conflict_freeness ... ok
[INFO] [stdout] test encodings::hybrid_complete_constraints_encoder::tests::test_no_attacks ... ok
[INFO] [stdout] test 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::exp_constraints_encoder::tests::test_no_attacks_complete_semantics ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_arg_line_pattern_not_ok ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_arg_in_no_attack ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_arg_line_pattern_ok ... 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_att_line_pattern_ok ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_try_read_arg_line_ok ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_try_read_arg_line_wrong_line_pattern ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_read_unknown_arg_in_att ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_read_arg_after_att ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_read_ok ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_read_arg_from_str ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_read_warn_arg_left_space ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_read_empty ... ok
[INFO] [stdout] test io::aspartix_writer::tests::test_write_acceptance_status_no ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_try_read_att_line_wrong_line_pattern ... ok
[INFO] [stdout] test io::aspartix_writer::tests::test_write_no_extension ... ok
[INFO] [stdout] test io::aspartix_writer::tests::test_write_af ... ok
[INFO] [stdout] test io::aspartix_writer::tests::test_write_single_extension ... ok
[INFO] [stdout] test io::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_writer::tests::test_write_empty_extension ... ok
[INFO] [stdout] test io::iccma23_reader::tests::test_comment ... ok
[INFO] [stdout] test io::iccma23_reader::tests::test_empty_instance ... ok
[INFO] [stdout] test io::iccma23_reader::tests::test_error_in_attack_word_0 ... ok
[INFO] [stdout] test io::iccma23_reader::tests::test_error_in_attack_word_1 ... ok
[INFO] [stdout] test io::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::iccma23_reader::tests::test_error_in_attack_word_2 ... ok
[INFO] [stdout] test io::iccma23_reader::tests::test_error_in_preamble_word_0 ... ok
[INFO] [stdout] test io::iccma23_reader::tests::test_error_in_preamble_word_1 ... ok
[INFO] [stdout] test io::iccma23_reader::tests::test_error_in_preamble_word_2 ... 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_ok_missing_last_lf ... ok
[INFO] [stdout] test io::iccma23_reader::tests::test_ok ... ok
[INFO] [stdout] test io::iccma23_reader::tests::test_arg_in_no_attack ... ok
[INFO] [stdout] test io::iccma23_writer::tests::test_write_acceptance_status_yes ... ok
[INFO] [stdout] test io::iccma23_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_reader::tests::test_read_arg_from_str ... ok
[INFO] [stdout] test io::iccma23_writer::tests::test_write_no_extension ... ok
[INFO] [stdout] test io::warning_result::tests::test_consume_warnings_ok ... ok
[INFO] [stdout] test io::iccma23_reader::tests::test_empty_line_at_the_beginning ... ok
[INFO] [stdout] test io::iccma23_writer::tests::test_write_single_extension ... ok
[INFO] [stdout] test io::warning_result::tests::test_consume_warnings_warned ... ok
[INFO] [stdout] test io::warning_result::tests::test_zip_oo ... ok
[INFO] [stdout] test io::iccma23_reader::tests::test_empty_line_in_the_middle ... ok
[INFO] [stdout] test io::warning_result::tests::test_zip_ow ... 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_input_ok ... ok
[INFO] [stdout] test io::warning_result::tests::test_zip_wo ... ok
[INFO] [stdout] test io::warning_result::tests::test_zip_ww ... 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_no_s_line ... ok
[INFO] [stdout] test sat::buffered_sat_solver::tests::test_output_sat_ok ... ok
[INFO] [stdout] test sat::buffered_sat_solver::tests::test_output_sat_ok_multiple_v_lines ... ok
[INFO] [stdout] test sat::buffered_sat_solver::tests::test_output_comment ... ok
[INFO] [stdout] test sat::buffered_sat_solver::tests::test_output_unsat_ok ... ok
[INFO] [stdout] test sat::cadical_solver::tests::test_iterative ... ok
[INFO] [stdout] test sat::cadical_solver::tests::test_reserve ... ok
[INFO] [stdout] test sat::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::external_sat_solver::tests::test_solve_output ... ok
[INFO] [stdout] test sat::buffered_sat_solver::tests::test_output_sat_multiple_status_lines - should panic ... ok
[INFO] [stdout] test sat::ipasir_sat_solver::tests::test_n_vars ... ok
[INFO] [stdout] test sat::sat_solver::tests::test_lit_from_neg ... ok
[INFO] [stdout] test sat::buffered_sat_solver::tests::test_output_sat_var_out_of_bounds - should panic ... ok
[INFO] [stdout] test sat::sat_solver::tests::test_lit_from_pos ... 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_negate_lit ... ok
[INFO] [stdout] test sat::buffered_sat_solver::tests::test_output_unexpected_line - should panic ... ok
[INFO] [stdout] test sat::sat_solver::tests::test_solving_result_unwrap_model_some ... ok
[INFO] [stdout] test sat::sat_solver::tests::test_solving_result_unwrap_model_none ... ok
[INFO] [stdout] test sat::buffered_sat_solver::tests::test_output_sat_not_a_var - should panic ... 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 io::aba_reader::tests::test_ok ... ok
[INFO] [stdout] test solvers::complete_semantics_solver::tests::test_acceptance_1_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_auxvar ... ok
[INFO] [stdout] test sat::external_sat_solver::tests::test_solve_under_assumptions_output ... ok
[INFO] [stdout] test sat::sat_solver::tests::test_solving_result_unwrap_model_unknown - should panic ... 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_exp ... ok
[INFO] [stdout] test sat::sat_solver::tests::test_lit_from_null - should panic ... 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 solvers::complete_semantics_solver::tests::test_credulous_acceptance_after_arg_removal_auxvar ... 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_exp ... ok
[INFO] [stdout] test solvers::complete_semantics_solver::tests::test_certificates_exp ... ok
[INFO] [stdout] test solvers::complete_semantics_solver::tests::test_certificates_hybrid ... ok
[INFO] [stdout] test solvers::complete_semantics_solver::tests::test_credulous_acceptance_after_arg_removal_hybrid ... ok
[INFO] [stdout] test solvers::complete_semantics_solver::tests::test_acceptance_3_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_funnel_auxvar ... 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_acceptance_3_auxvar ... 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::complete_semantics_solver::tests::test_disj_credulous_acceptance_exp ... ok
[INFO] [stdout] test solvers::complete_semantics_solver::tests::test_disj_credulous_acceptance_auxvar ... 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_single_preferred_auxvar ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_compute_ideal_ext_is_not_grounded_exp ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_compute_ideal_ext_is_single_preferred_exp ... ok
[INFO] [stdout] test solvers::complete_semantics_solver::tests::test_funnel_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_not_grounded_auxvar ... ok
[INFO] [stdout] test solvers::complete_semantics_solver::tests::test_funnel_hybrid ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_compute_ideal_ext_is_single_preferred_hybrid ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_disj_credulous_acceptance_exp ... 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_credulous_acceptance_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_skeptical_acceptance_auxvar ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_funnel_hybrid ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_ideal_acceptance_ext_is_grounded_exp ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_ideal_acceptance_ext_is_grounded_auxvar ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_funnel_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_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_ext_is_grounded_hybrid ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_disj_skeptical_acceptance_hybrid ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_ideal_acceptance_ext_is_single_preferred_exp ... ok
[INFO] [stdout] test sat::buffered_sat_solver::tests::test_output_sat_ok_with_v_lines_without_lits ... 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_exp ... 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_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_with_certificate_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_compute_one_semi_stable_after_arg_removal_auxvar ... ok
[INFO] [stdout] test solvers::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_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_compute_one_semi_stable_ext_is_grounded_auxvar ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_compute_one_semi_stable_ext_is_grounded_hybrid ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_compute_one_semi_stable_after_arg_removal_hybrid ... 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_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_stage_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_semi_stable_ext_is_not_grounded_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_compute_one_stage_ext_is_grounded_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_compute_one_stage_ext_is_not_grounded_auxvar ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_compute_one_stage_ext_is_not_grounded_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_compute_one_semi_stable_ext_is_not_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_after_arg_removal_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_after_arg_removal_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_check_certificate_involve_var_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_check_certificate_involve_var_hybrid ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_credulous_acceptance_auto_attack_auxvar ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_funnel_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_auto_attack_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_credulous_acceptance_auxvar ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_credulous_acceptance_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_credulous_acceptance_hybrid ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_skeptical_acceptance_after_arg_removal_auxvar ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_disj_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_after_arg_removal_hybrid ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_skeptical_acceptance_auto_attack_auxvar ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_skeptical_acceptance_auto_attack_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_skeptical_acceptance_auto_attack_hybrid ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_disj_credulous_acceptance_auxvar ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_skeptical_acceptance_auxvar ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_disj_skeptical_acceptance_auxvar ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_disj_skeptical_acceptance_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_disj_credulous_acceptance_hybrid ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_stage_credulous_acceptance_auto_attack_auxvar ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_skeptical_acceptance_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_stage_credulous_acceptance_after_arg_removal_auxvar ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_stage_credulous_acceptance_auxvar ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_stage_credulous_acceptance_after_arg_removal_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_stage_credulous_acceptance_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_stage_disj_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_stage_disj_credulous_acceptance_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_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::ideal_semantics_solver::tests::test_with_certificate_hybrid ... 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_allow_ds_shortcut_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_stage_skeptical_acceptance_after_arg_removal_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_stage_skeptical_acceptance_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_auto_attackexp ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_allow_ds_shortcut_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_exp ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_allow_ds_shortcut_hybrid ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_certificates_connected_components_auxvar ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_certificates_connected_components_hybrid ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_compute_one_preferred_after_arg_removal_auxvar ... 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_certificates_exp ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_compute_one_preferred_after_arg_removal_exp ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_compute_one_preferred_ext_is_grounded_auxvar ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_compute_one_preferred_ext_is_grounded_exp ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_compute_one_preferred_ext_is_grounded_hybrid ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_compute_one_preferred_ext_is_not_grounded_exp ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_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_disj_skeptical_acceptance_auxvar ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_enumerate_extensions_exp ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_enumerate_extensions_with_autoattack_exp ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_enumerate_extensions_hybrid ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_enumerate_extensions_with_autoattack_hybrid ... 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_funnel_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_disj_skeptical_acceptance_hybrid ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_skeptical_acceptance_after_arg_removal_hybrid ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_skeptical_acceptance_after_arg_removal_exp ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_funnel_hybrid ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_certificates_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_skeptical_acceptance_auto_attack_auxvar ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_enumerate_extensions_auxvar ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_funnel_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_auto_attack_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_with_autoattack_exp ... ok
[INFO] [stdout] test solvers::stable_semantics_solver::tests::test_acceptance_1 ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_skeptical_acceptance_exp ... ok
[INFO] [stdout] test solvers::stable_semantics_solver::tests::test_certificates_connected_components ... ok
[INFO] [stdout] test solvers::stable_semantics_solver::tests::test_compute_one_auto_attack ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_skeptical_acceptance_hybrid ... ok
[INFO] [stdout] test solvers::stable_semantics_solver::tests::test_disj_skeptical_acceptance ... 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::connected_components_computer::tests::test_connected_components_after_arg_removal ... ok
[INFO] [stdout] test solvers::stable_semantics_solver::tests::test_compute_one_no_exists ... ok
[INFO] [stdout] test solvers::stable_semantics_solver::tests::test_certificates ... ok
[INFO] [stdout] test utils::connected_components_computer::tests::test_connected_components_of ... ok
[INFO] [stdout] test solvers::stable_semantics_solver::tests::test_compute_one ... ok
[INFO] [stdout] test utils::equivalency_computer::tests::test_autoattack ... ok
[INFO] [stdout] test solvers::stable_semantics_solver::tests::test_acceptance_2 ... ok
[INFO] [stdout] test utils::connected_components_computer::tests::test_connected_components_of_twice - should panic ... ok
[INFO] [stdout] test utils::equivalency_computer::tests::test_compute_classes_ring_of_4 ... ok
[INFO] [stdout] test solvers::stable_semantics_solver::tests::test_acceptance_connected_components_shortcut ... ok
[INFO] [stdout] test utils::equivalency_computer::tests::test_compute_classes_ring_of_3 ... ok
[INFO] [stdout] test utils::equivalency_computer::tests::test_grounded_classes_path ... ok
[INFO] [stdout] test utils::equivalency_computer::tests::test_grounded_classes_hierarchy ... ok
[INFO] [stdout] test utils::grounded_extension_computer::tests::test_grounded_extension_1 ... ok
[INFO] [stdout] test utils::equivalency_computer::tests::test_grounded_classes_with_ring_of_3 ... ok
[INFO] [stdout] test utils::equivalency_computer::tests::test_grounded_classes_with_ring_of_4 ... ok
[INFO] [stdout] test utils::equivalency_computer::tests::test_propagate_ring_of_3 ... ok
[INFO] [stdout] test utils::equivalency_computer::tests::test_propagate_ring_of_4 ... ok
[INFO] [stdout] test utils::equivalency_computer::tests::test_reduce_grounded_path ... ok
[INFO] [stdout] test utils::grounded_extension_computer::tests::test_grounded_extension_2 ... ok
[INFO] [stdout] test utils::grounded_extension_computer::tests::test_grounded_extension_after_arg_removal ... ok
[INFO] [stdout] test utils::grounded_extension_computer::tests::test_grounded_extension_empty_af ... ok
[INFO] [stdout] test utils::label::tests::test_get_label ... ok
[INFO] [stdout] test utils::label::tests::test_into_iterator ... ok
[INFO] [stdout] test utils::label::tests::test_max_id ... ok
[INFO] [stdout] test utils::label::tests::test_new_repeated_labels ... ok
[INFO] [stdout] test utils::label::tests::test_new_with_empty_labels ... ok
[INFO] [stdout] test utils::label::tests::test_new_with_labels ... ok
[INFO] [stdout] test utils::label::tests::test_remove_label ... ok
[INFO] [stdout] test utils::label::tests::test_add_labels ... ok
[INFO] [stdout] test utils::label::tests::test_remove_nonexisting_label - should panic ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_skeptical_acceptance_auxvar ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 336 passed; 0 failed; 2 ignored; 0 measured; 0 filtered out; finished in 0.18s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/scalop-f1352926c5e04f19)
[INFO] [stdout] 
[INFO] [stdout] running 15 tests
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] scalop 2.0.0
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] scalop 2.0.0
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] app_name app_version
[INFO] [stdout] test app::app_helper::tests::test_no_args ... ok
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] ----------------------------------------
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] ----------------------------------------
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] app_name app_version
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] author
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] about
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] 
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] USAGE:
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] scalop 2.0.0
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] ----------------------------------------
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28]     app_name <SUBCOMMAND>
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] 
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] FLAGS:
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28]     -h, --help    
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28]             Prints help information
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] 
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] 
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] SUBCOMMANDS:
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28]     help                  Prints this message or the help of the given subcommand(s)
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28]     local_command_name    local_command_about
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] 
[INFO] [stdout] test app::cli_manager::tests::test_help_subcommand ... ok
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] local_command_name 
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] local_command_about
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] 
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] USAGE:
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28]     local_command_name [FLAGS]
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] 
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] FLAGS:
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28]     -a            
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28]             
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] 
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28]     -h, --help    
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28]             Prints help information
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] app_name app_version
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] 
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] 
[INFO] [stdout] test app::cli_manager::tests::test_no_subcommand ... ok
[INFO] [stdout] test app::cli_manager::tests::test_help_for_subcommand ... ok
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] app_name app_version
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] ----------------------------------------
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] scalop 2.0.0
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] app_name app_version
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] app_name app_version
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] author
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] about
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] 
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] USAGE:
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28]     app_name <SUBCOMMAND>
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] 
[INFO] [stdout] test app::app_helper::tests::test_no_subcommand ... ![[36mINFO [0m] [2026-01-07 21:39:28] FLAGS:
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28]     -h, --help    
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28]             Prints help information
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] 
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] 
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] SUBCOMMANDS:
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] local_command_name 
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] local_command_about
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] 
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] USAGE:
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28]     local_command_name [FLAGS]
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] 
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] FLAGS:
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28]     -a            
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28]             
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] 
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28]     -h, --help    
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28]             Prints help information
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] 
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] 
[INFO] [stdout] ok
[INFO] [stdout] test app::cli_manager::tests::test_wrong_arg ... ok
[INFO] [stdout] test app::cli_manager::tests::test_subcommand_help ... ok
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28]     help                  Prints this message or the help of the given subcommand(s)
[INFO] [stdout] test app::writable_string::tests::test_debug ... ok
[INFO] [stdout] test app::writable_string::tests::test_display ... ok
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28]     local_command_name    local_command_about
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] running on d369d0af5a6f
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] 
[INFO] [stdout] test app::cli_manager::tests::test_help ... ok
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] OS is Ubuntu 24.04 with kernel 6.14.0-1014-gcp
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] physical core count: 4 ["AMD EPYC 7B13"]
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] total memory: 16765779968 KB
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] ----------------------------------------
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] app_name app_version
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] running on d369d0af5a6f
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] OS is Ubuntu 24.04 with kernel 6.14.0-1014-gcp
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] physical core count: 4 ["AMD EPYC 7B13"]
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] total memory: 16765779968 KB
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] ----------------------------------------
[INFO] [stdout] test app::app_helper::tests::test_subcommand_err ... ok
[INFO] [stdout] test app::cli_manager::tests::test_wrong_subcommand ... ok
[INFO] [stdout] test app::cli_manager::tests::test_command_involved ... ok
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] running on d369d0af5a6f
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] OS is Ubuntu 24.04 with kernel 6.14.0-1014-gcp
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] physical core count: 4 ["AMD EPYC 7B13"]
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] total memory: 16765779968 KB
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] ----------------------------------------
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] exiting successfully after 26.337237ms
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] running on d369d0af5a6f
[INFO] [stdout] test app::app_helper::tests::test_subcommand_ok ... ok
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] OS is Ubuntu 24.04 with kernel 6.14.0-1014-gcp
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] physical core count: 4 ["AMD EPYC 7B13"]
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] total memory: 16765779968 KB
[INFO] [stdout] ![[36mINFO [0m] [2026-01-07 21:39:28] ----------------------------------------
[INFO] [stdout] test app::cli_manager::tests::test_command_and_arg_involved ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 15 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_iccma23_aa.rs (/opt/rustwide/target/debug/deps/test_iccma23_aa-dca07ded9f29b010)
[INFO] [stdout] 
[INFO] [stdout] running 55 tests
[INFO] [stdout] test test_complete_dc_1 ... FAILED
[INFO] [stdout] test test_complete_ds_1 ... FAILED
[INFO] [stdout] test test_complete_dc_3 ... FAILED
[INFO] [stdout] test test_complete_ds_4 ... FAILED
[INFO] [stdout] test test_complete_ds_2 ... 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_complete_ds_3 ... FAILED
[INFO] [stdout] test test_ideal_dc_2 ... FAILED
[INFO] [stdout] test test_ideal_ds_2 ... FAILED
[INFO] [stdout] test test_ideal_ds_4 ... FAILED
[INFO] [stdout] test test_ideal_dc_3 ... FAILED
[INFO] [stdout] test test_ideal_ds_3 ... FAILED
[INFO] [stdout] test test_ideal_dc_4 ... FAILED
[INFO] [stdout] test test_preferred_dc_3 ... FAILED
[INFO] [stdout] test test_complete_se ... FAILED
[INFO] [stdout] test test_ideal_se ... FAILED
[INFO] [stdout] test test_preferred_dc_1 ... FAILED
[INFO] [stdout] test test_preferred_dc_4 ... FAILED
[INFO] [stdout] test test_preferred_ds_1 ... FAILED
[INFO] [stdout] test test_preferred_ds_3 ... FAILED
[INFO] [stdout] test test_preferred_ds_4 ... FAILED
[INFO] [stdout] test test_semistable_dc_1 ... FAILED
[INFO] [stdout] test test_preferred_se ... FAILED
[INFO] [stdout] test test_preferred_ds_2 ... FAILED
[INFO] [stdout] test test_ideal_ds_1 ... FAILED
[INFO] [stdout] test test_preferred_dc_2 ... FAILED
[INFO] [stdout] test test_semistable_ds_3 ... FAILED
[INFO] [stdout] test test_semistable_dc_3 ... FAILED
[INFO] [stdout] test test_semistable_dc_4 ... FAILED
[INFO] [stdout] test test_semistable_ds_4 ... FAILED
[INFO] [stdout] test test_semistable_dc_2 ... FAILED
[INFO] [stdout] test test_semistable_ds_1 ... FAILED
[INFO] [stdout] test test_semistable_se ... FAILED
[INFO] [stdout] test test_stable_dc_2 ... FAILED
[INFO] [stdout] test test_semistable_ds_2 ... FAILED
[INFO] [stdout] test test_stable_dc_1 ... FAILED
[INFO] [stdout] test test_stable_dc_3 ... FAILED
[INFO] [stdout] test test_stable_se ... FAILED
[INFO] [stdout] test test_stage_dc_2 ... FAILED
[INFO] [stdout] test test_stable_ds_2 ... FAILED
[INFO] [stdout] test test_stable_ds_3 ... FAILED
[INFO] [stdout] test test_stage_dc_1 ... FAILED
[INFO] [stdout] test test_stage_dc_3 ... FAILED
[INFO] [stdout] test test_stage_ds_1 ... FAILED
[INFO] [stdout] test test_stage_dc_4 ... FAILED
[INFO] [stdout] test test_stage_ds_2 ... FAILED
[INFO] [stdout] test test_stage_ds_3 ... FAILED
[INFO] [stdout] test test_stg_se_no_constraints ... FAILED
[INFO] [stdout] test test_stage_ds_4 ... FAILED
[INFO] [stdout] test test_stage_se ... FAILED
[INFO] [stdout] test test_stable_dc_4 ... FAILED
[INFO] [stdout] test test_stable_ds_1 ... FAILED
[INFO] [stdout] test test_stable_ds_4 ... FAILED
[INFO] [stderr] error: test failed, to rerun pass `--test test_iccma23_aa`
[INFO] [stdout] 
[INFO] [stdout] failures:
[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_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_3 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_2 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_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_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_ideal_dc_3 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_ideal_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_complete_se 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_1 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_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_3 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_semistable_dc_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_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_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_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_4 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_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_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_2 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_stable_dc_1 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_se 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_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_stage_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_stage_dc_4 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_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_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_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_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] 
[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.01s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "d369d0af5a6f350cb96dfe380c1112135e984e50690de67f8f78db06690b146d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d369d0af5a6f350cb96dfe380c1112135e984e50690de67f8f78db06690b146d", kill_on_drop: false }`
[INFO] [stdout] d369d0af5a6f350cb96dfe380c1112135e984e50690de67f8f78db06690b146d
