[INFO] fetching crate crustabri 1.0.0...
[INFO] testing crustabri-1.0.0 against master#23949593103d03a82c7ebc2e84434ce6c6edc561 for pr-115235
[INFO] extracting crate crustabri 1.0.0 into /workspace/builds/worker-2-tc1/source
[INFO] validating manifest of crates.io crate crustabri 1.0.0 on toolchain 23949593103d03a82c7ebc2e84434ce6c6edc561
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+23949593103d03a82c7ebc2e84434ce6c6edc561" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate crustabri 1.0.0
[INFO] finished tweaking crates.io crate crustabri 1.0.0
[INFO] tweaked toml for crates.io crate crustabri 1.0.0 written to /workspace/builds/worker-2-tc1/source/Cargo.toml
[INFO] crate crates.io crate crustabri 1.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" "+23949593103d03a82c7ebc2e84434ce6c6edc561" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded assert_cmd v2.0.12
[INFO] [stderr]   Downloaded assert_fs v1.0.13
[INFO] [stderr]   Downloaded permutator v0.4.3
[INFO] [stderr]   Downloaded cadical v0.1.14
[INFO] [stderr]   Downloaded fern v0.6.2
[INFO] [stderr]   Downloaded chrono v0.4.29
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:4f8da3c744d2da974e54ce020a79f4ad54313e914ebeaab8fc086f07e8d8b066" "/opt/rustwide/cargo-home/bin/cargo" "+23949593103d03a82c7ebc2e84434ce6c6edc561" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 8e715c9b2c5754659deda7678d49770b0f2c1148d827c434a4b86318c42c95ef
[INFO] running `Command { std: "docker" "start" "-a" "8e715c9b2c5754659deda7678d49770b0f2c1148d827c434a4b86318c42c95ef", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "8e715c9b2c5754659deda7678d49770b0f2c1148d827c434a4b86318c42c95ef", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8e715c9b2c5754659deda7678d49770b0f2c1148d827c434a4b86318c42c95ef", kill_on_drop: false }`
[INFO] [stdout] 8e715c9b2c5754659deda7678d49770b0f2c1148d827c434a4b86318c42c95ef
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:4f8da3c744d2da974e54ce020a79f4ad54313e914ebeaab8fc086f07e8d8b066" "/opt/rustwide/cargo-home/bin/cargo" "+23949593103d03a82c7ebc2e84434ce6c6edc561" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] c770e2022643bf76c4dd117412d863ce37068d1405c5fa22b7231d16402c5e09
[INFO] running `Command { std: "docker" "start" "-a" "c770e2022643bf76c4dd117412d863ce37068d1405c5fa22b7231d16402c5e09", kill_on_drop: false }`
[INFO] [stderr]    Compiling num-integer v0.1.45
[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 num-iter v0.1.43
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling rustversion v1.0.14
[INFO] [stderr]    Compiling jobserver v0.1.26
[INFO] [stderr]    Compiling num_cpus v1.16.0
[INFO] [stderr]    Compiling anyhow v1.0.75
[INFO] [stderr]    Compiling either v1.9.0
[INFO] [stderr]    Compiling sysinfo v0.23.13
[INFO] [stderr]    Compiling colored v1.9.4
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling time v0.1.45
[INFO] [stderr]    Compiling vec_map v0.8.2
[INFO] [stderr]    Compiling log v0.4.20
[INFO] [stderr]    Compiling strsim v0.8.0
[INFO] [stderr]    Compiling cc v1.0.83
[INFO] [stderr]    Compiling rayon-core v1.11.0
[INFO] [stderr]    Compiling clap v2.34.0
[INFO] [stderr]    Compiling chrono v0.4.29
[INFO] [stderr]    Compiling fern v0.6.2
[INFO] [stderr]    Compiling strum v0.24.1
[INFO] [stderr]    Compiling rayon v1.7.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 strum_macros v0.24.3
[INFO] [stderr]    Compiling crustabri v1.0.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 25.98s
[INFO] running `Command { std: "docker" "inspect" "c770e2022643bf76c4dd117412d863ce37068d1405c5fa22b7231d16402c5e09", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c770e2022643bf76c4dd117412d863ce37068d1405c5fa22b7231d16402c5e09", kill_on_drop: false }`
[INFO] [stdout] c770e2022643bf76c4dd117412d863ce37068d1405c5fa22b7231d16402c5e09
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:4f8da3c744d2da974e54ce020a79f4ad54313e914ebeaab8fc086f07e8d8b066" "/opt/rustwide/cargo-home/bin/cargo" "+23949593103d03a82c7ebc2e84434ce6c6edc561" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 67ae7de837cf6b30fb8b57ea1c991d08f3972f08ec8eaea647795410c196e01d
[INFO] running `Command { std: "docker" "start" "-a" "67ae7de837cf6b30fb8b57ea1c991d08f3972f08ec8eaea647795410c196e01d", kill_on_drop: false }`
[INFO] [stderr]    Compiling rustix v0.38.11
[INFO] [stderr]    Compiling regex-automata v0.3.8
[INFO] [stderr]    Compiling predicates-core v1.0.6
[INFO] [stderr]    Compiling difflib v0.4.0
[INFO] [stderr]    Compiling doc-comment v0.3.3
[INFO] [stderr]    Compiling rayon v1.7.0
[INFO] [stderr]    Compiling thread_local v1.1.7
[INFO] [stderr]    Compiling termtree v0.4.1
[INFO] [stderr]    Compiling fastrand v2.0.0
[INFO] [stderr]    Compiling paste v1.0.14
[INFO] [stderr]    Compiling wait-timeout v0.2.0
[INFO] [stderr]    Compiling float-cmp v0.9.0
[INFO] [stderr]    Compiling normalize-line-endings v0.3.0
[INFO] [stderr]    Compiling predicates-tree v1.0.9
[INFO] [stderr]    Compiling predicates v3.0.3
[INFO] [stderr]    Compiling sysinfo v0.23.13
[INFO] [stderr]    Compiling is-terminal v0.4.9
[INFO] [stderr]    Compiling tempfile v3.8.0
[INFO] [stderr]    Compiling colored v1.9.4
[INFO] [stderr]    Compiling fern v0.6.2
[INFO] [stderr]    Compiling regex v1.9.5
[INFO] [stderr]    Compiling bstr v1.6.2
[INFO] [stderr]    Compiling predicates v2.1.5
[INFO] [stderr]    Compiling globset v0.4.13
[INFO] [stderr]    Compiling assert_cmd v2.0.12
[INFO] [stderr]    Compiling crustabri v1.0.0 (/opt/rustwide/workdir)
[INFO] [stderr]    Compiling ignore v0.4.20
[INFO] [stderr]    Compiling globwalk v0.8.1
[INFO] [stderr]    Compiling assert_fs v1.0.13
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 16.18s
[INFO] running `Command { std: "docker" "inspect" "67ae7de837cf6b30fb8b57ea1c991d08f3972f08ec8eaea647795410c196e01d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "67ae7de837cf6b30fb8b57ea1c991d08f3972f08ec8eaea647795410c196e01d", kill_on_drop: false }`
[INFO] [stdout] 67ae7de837cf6b30fb8b57ea1c991d08f3972f08ec8eaea647795410c196e01d
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:4f8da3c744d2da974e54ce020a79f4ad54313e914ebeaab8fc086f07e8d8b066" "/opt/rustwide/cargo-home/bin/cargo" "+23949593103d03a82c7ebc2e84434ce6c6edc561" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] c0985127da00c86872672bff8548313d495b59f60557ec61cfcc529e7edaebe8
[INFO] running `Command { std: "docker" "start" "-a" "c0985127da00c86872672bff8548313d495b59f60557ec61cfcc529e7edaebe8", kill_on_drop: false }`
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 0.20s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/crustabri-067e066c5e5db99a)
[INFO] [stdout] 
[INFO] [stdout] running 307 tests
[INFO] [stdout] test aa::aa_framework::tests::test_n_args ... ok
[INFO] [stdout] test aa::aa_framework::tests::test_new_argument ... ok
[INFO] [stdout] test aa::aa_framework::tests::test_new_attack_already_exists ... ok
[INFO] [stdout] test aa::aa_framework::tests::test_new_attack_by_ids_unknown_id_1 ... ok
[INFO] [stdout] test aa::aa_framework::tests::test_new_attack_ok ... 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_2 ... ok
[INFO] [stdout] test aa::aa_framework::tests::test_add_attack_on_new_arg_after_att_removal ... ok
[INFO] [stdout] test aa::aa_framework::tests::test_new_attack_unknown_label_1 ... ok
[INFO] [stdout] test aa::aa_framework::tests::test_new_attack_unknown_label_2 ... ok
[INFO] [stdout] test aa::problem::tests::test_read_problem_no_hyphen ... ok
[INFO] [stdout] test aa::aa_framework::tests::test_remove_attack ... ok
[INFO] [stdout] test aa::aa_framework::tests::test_remove_argument ... ok
[INFO] [stdout] test aa::problem::tests::test_read_problem_unknown_semantics ... ok
[INFO] [stdout] test aa::problem::tests::test_read_problem_unknown_query ... ok
[INFO] [stdout] test aa::problem::tests::test_iter_as_strings ... ok
[INFO] [stdout] test dynamics::dynamic_preferred_semantics_solver::tests::test_wrong_witness ... ok
[INFO] [stdout] test encodings::hybrid_complete_constraints_encoder::tests::test_no_attacks ... ok
[INFO] [stdout] test encodings::exp_constraints_encoder::tests::test_no_attacks_complete_semantics ... ok
[INFO] [stdout] test dynamics::dynamic_stable_semantics_solver::tests::coreo_test ... ok
[INFO] [stdout] test aa::problem::tests::test_read_problem_ok ... ok
[INFO] [stdout] test dynamics::dynamic_preferred_semantics_solver::tests::coreo_test ... ok
[INFO] [stdout] test encodings::aux_var_constraints_encoder::tests::test_no_attacks_admissibility ... 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 dynamics::dynamic_complete_semantics_solver::tests::coreo_test ... ok
[INFO] [stdout] test dynamics::buffered_dynamic_constraints_encoder::tests::test_one_new_var_for_multiple_attacks_to_arg ... 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_conflict_freeness ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_att_line_pattern_ok ... ok
[INFO] [stdout] test dynamics::dynamic_complete_semantics_solver::tests::test_del_unencoded_arg ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_read_empty ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_try_read_att_line_wrong_line_pattern ... ok
[INFO] [stdout] test io::aspartix_writer::tests::test_write_acceptance_status_yes ... ok
[INFO] [stdout] test io::aspartix_writer::tests::test_write_acceptance_status_no ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_read_syntax_error ... ok
[INFO] [stdout] test io::aspartix_writer::tests::test_write_af ... ok
[INFO] [stdout] test io::aspartix_writer::tests::test_write_empty_extension ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_arg_line_pattern_not_ok ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_arg_line_pattern_ok ... ok
[INFO] [stdout] test io::iccma23_reader::tests::test_arg_in_no_attack ... ok
[INFO] [stdout] test io::aspartix_writer::tests::test_write_no_extension ... ok
[INFO] [stdout] test io::aspartix_writer::tests::test_write_single_extension ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_try_read_arg_line_wrong_line_pattern ... ok
[INFO] [stdout] test io::iccma23_reader::tests::test_comment ... ok
[INFO] [stdout] test io::iccma23_reader::tests::test_empty_line_in_the_middle ... 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_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_error_in_preamble_word_0 ... ok
[INFO] [stdout] test io::iccma23_reader::tests::test_error_in_preamble_word_2 ... ok
[INFO] [stdout] test io::iccma23_reader::tests::test_ok ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_try_read_att_line_ok ... ok
[INFO] [stdout] test io::iccma23_reader::tests::test_ok_missing_last_lf ... ok
[INFO] [stdout] test io::iccma23_reader::tests::test_read_arg_from_str ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_try_read_att_line_wrong_name ... ok
[INFO] [stdout] test io::iccma23_writer::tests::test_write_acceptance_status_no ... ok
[INFO] [stdout] test io::iccma23_reader::tests::test_ok_empty_lines_at_the_end ... 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_no_extension ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_arg_in_no_attack ... ok
[INFO] [stdout] test io::iccma23_writer::tests::test_write_single_extension ... ok
[INFO] [stdout] test io::warning_result::tests::test_consume_warnings_ok ... ok
[INFO] [stdout] test io::warning_result::tests::test_consume_warnings_warned ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_read_unknown_arg_in_att ... ok
[INFO] [stdout] test io::iccma23_reader::tests::test_error_in_attack_word_1 ... 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::warning_result::tests::test_zip_ow ... 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 io::aspartix_reader::tests::test_try_read_arg_line_wrong_name ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_try_read_arg_line_ok ... ok
[INFO] [stdout] test sat::buffered_sat_solver::tests::test_output_comment_with_no_message ... ok
[INFO] [stdout] test sat::buffered_sat_solver::tests::test_output_no_s_line ... ok
[INFO] [stdout] test sat::buffered_sat_solver::tests::test_output_sat_no_s_line ... ok
[INFO] [stdout] test sat::buffered_sat_solver::tests::test_output_sat_no_v_line ... ok
[INFO] [stdout] test sat::buffered_sat_solver::tests::test_output_sat_ok ... ok
[INFO] [stdout] test sat::buffered_sat_solver::tests::test_output_comment ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_read_ok ... ok
[INFO] [stdout] test sat::buffered_sat_solver::tests::test_input_ok ... ok
[INFO] [stdout] test sat::buffered_sat_solver::tests::test_output_sat_ok_with_v_lines_without_lits ... 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 io::aspartix_reader::tests::test_read_warn_arg_left_space ... 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_unsat ... ok
[INFO] [stdout] test sat::cadical_solver::tests::test_solve_under_assumptions ... ok
[INFO] [stdout] test sat::sat_solver::tests::test_lit_from_pos ... ok
[INFO] [stdout] test sat::sat_solver::tests::test_negate_lit ... ok
[INFO] [stdout] test sat::sat_solver::tests::test_lit_from_neg ... ok
[INFO] [stdout] test sat::buffered_sat_solver::tests::test_output_sat_ok_multiple_v_lines ... 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::external_sat_solver::tests::test_solve_output ... 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 solvers::complete_semantics_solver::tests::test_acceptance_1_hybrid ... ok
[INFO] [stdout] test solvers::complete_semantics_solver::tests::test_acceptance_1_auxvar ... ok
[INFO] [stdout] test solvers::complete_semantics_solver::tests::test_acceptance_2_auxvar ... ok
[INFO] [stdout] test solvers::complete_semantics_solver::tests::test_acceptance_2_exp ... ok
[INFO] [stdout] test solvers::complete_semantics_solver::tests::test_acceptance_1_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_3_exp ... ok
[INFO] [stdout] test solvers::complete_semantics_solver::tests::test_acceptance_3_auxvar ... ok
[INFO] [stdout] test solvers::complete_semantics_solver::tests::test_certificates_auxvar ... ok
[INFO] [stdout] test solvers::complete_semantics_solver::tests::test_certificates_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_exp ... ok
[INFO] [stdout] test solvers::complete_semantics_solver::tests::test_credulous_acceptance_after_arg_removal_auxvar ... ok
[INFO] [stdout] test solvers::complete_semantics_solver::tests::test_credulous_acceptance_after_arg_removal_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_acceptance_3_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::complete_semantics_solver::tests::test_funnel_hybrid ... ok
[INFO] [stdout] test solvers::grounded_semantics_solver::tests::test_disj_credulous_acceptance ... ok
[INFO] [stdout] test solvers::grounded_semantics_solver::tests::test_disj_skeptical_acceptance ... ok
[INFO] [stdout] test solvers::complete_semantics_solver::tests::test_disj_credulous_acceptance_hybrid ... ok
[INFO] [stdout] test solvers::grounded_semantics_solver::tests::test_grounded_solver ... ok
[INFO] [stdout] test solvers::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_auxvar ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_compute_ideal_ext_is_not_grounded_auxvar ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_compute_ideal_ext_is_not_grounded_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_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_single_preferred_exp ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_compute_ideal_ext_is_single_preferred_hybrid ... ok
[INFO] [stdout] test solvers::complete_semantics_solver::tests::test_funnel_exp ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_disj_credulous_acceptance_auxvar ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_disj_credulous_acceptance_exp ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_disj_skeptical_acceptance_auxvar ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_disj_credulous_acceptance_hybrid ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_disj_skeptical_acceptance_exp ... ok
[INFO] [stdout] test sat::buffered_sat_solver::tests::test_output_sat_multiple_status_lines - should panic ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_disj_skeptical_acceptance_hybrid ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_funnel_auxvar ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_funnel_hybrid ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_ideal_acceptance_ext_is_grounded_auxvar ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_ideal_acceptance_auxvar ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_ideal_acceptance_ext_is_grounded_exp ... 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_multiple_zeroes_in_v_lines - should panic ... ok
[INFO] [stdout] test sat::buffered_sat_solver::tests::test_output_sat_not_a_var - should panic ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_read_arg_from_str ... ok
[INFO] [stdout] test io::iccma23_reader::tests::test_error_in_preamble_word_3 ... ok
[INFO] [stdout] test sat::buffered_sat_solver::tests::test_output_unexpected_line - should panic ... ok
[INFO] [stdout] test io::aspartix_reader::tests::test_read_arg_after_att ... ok
[INFO] [stdout] test sat::buffered_sat_solver::tests::test_output_sat_var_out_of_bounds - should panic ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_ideal_acceptance_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_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::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_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::ideal_semantics_solver::tests::test_ideal_acceptance_ext_is_grounded_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::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_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_compute_one_stage_after_arg_removal_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_compute_one_semi_stable_ext_is_not_grounded_hybrid ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_with_certificate_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_compute_one_stage_ext_is_grounded_auxvar ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_compute_one_stage_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_after_arg_removal_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_compute_one_semi_stable_after_arg_removal_hybrid ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_compute_one_semi_stable_after_arg_removal_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::ideal_semantics_solver::tests::test_ideal_acceptance_ext_is_single_preferred_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::ideal_semantics_solver::tests::test_ideal_acceptance_in_all_preferred_but_not_in_ideal_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_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_hybrid ... 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_credulous_acceptance_after_arg_removal_auxvar ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_compute_one_semi_stable_ext_is_grounded_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_compute_one_stage_ext_is_not_grounded_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_credulous_acceptance_auto_attack_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_credulous_acceptance_auto_attack_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_skeptical_acceptance_after_arg_removal_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_skeptical_acceptance_auto_attack_auxvar ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_skeptical_acceptance_after_arg_removal_hybrid ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_skeptical_acceptance_auto_attack_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_skeptical_acceptance_auto_attack_hybrid ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_skeptical_acceptance_auxvar ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_disj_skeptical_acceptance_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_disj_credulous_acceptance_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_stage_credulous_acceptance_after_arg_removal_auxvar ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_credulous_acceptance_auto_attack_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_skeptical_acceptance_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_skeptical_acceptance_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_stage_credulous_acceptance_after_arg_removal_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_disj_skeptical_acceptance_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_credulous_acceptance_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_semi_stable_disj_credulous_acceptance_auxvar ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_stage_credulous_acceptance_auto_attack_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_stage_skeptical_acceptance_auto_attackauxvar ... 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_credulous_acceptance_auxvar ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_stage_disj_skeptical_acceptance_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_stage_skeptical_acceptance_after_arg_removal_exp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_stage_skeptical_acceptance_after_arg_removal_auxvar ... ok
[INFO] [stdout] test 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::maximal_range_semantics_solvers::tests::test_stage_disj_skeptical_acceptance_auxvar ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_stage_credulous_acceptance_auto_attack_exp ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_allow_ds_shortcut_hybrid ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_stage_skeptical_acceptance_auto_attackexp ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_stage_disj_credulous_acceptance_auxvar ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_certificates_connected_components_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_certificates_auxvar ... ok
[INFO] [stdout] test solvers::maximal_range_semantics_solvers::tests::test_stage_disj_credulous_acceptance_exp ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_allow_ds_shortcut_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_stage_skeptical_acceptance_exp ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_certificates_exp ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_certificates_connected_components_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_compute_one_preferred_ext_is_not_grounded_hybrid ... 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_ext_is_grounded_hybrid ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_compute_one_preferred_ext_is_grounded_auxvar ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_compute_one_preferred_ext_is_not_grounded_auxvar ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_certificates_hybrid ... ok
[INFO] [stdout] test sat::sat_solver::tests::test_solving_result_unwrap_model_unknown - should panic ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_compute_one_preferred_after_arg_removal_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_ext_is_not_grounded_exp ... 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_enumerate_extensions_hybrid ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_disj_skeptical_acceptance_auxvar ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_enumerate_extensions_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_skeptical_acceptance_after_arg_removal_auxvar ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_skeptical_acceptance_auxvar ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_compute_one_preferred_after_arg_removal_auxvar ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_enumerate_extensions_auxvar ... 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_skeptical_acceptance_exp ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_enumerate_extensions_with_autoattack_auxvar ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_funnel_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_funnel_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_skeptical_acceptance_after_arg_removal_hybrid ... 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_exp ... ok
[INFO] [stdout] test solvers::stable_semantics_solver::tests::test_acceptance_2 ... 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_auto_attack_auxvar ... 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_hybrid ... ok
[INFO] [stdout] test solvers::stable_semantics_solver::tests::test_acceptance_connected_components_shortcut ... ok
[INFO] [stdout] test solvers::preferred_semantics_solver::tests::test_funnel_exp ... ok
[INFO] [stdout] test utils::connected_components_computer::tests::test_connected_components ... ok
[INFO] [stdout] test utils::connected_components_computer::tests::test_connected_components_of ... ok
[INFO] [stdout] test utils::equivalency_computer::tests::test_autoattack ... ok
[INFO] [stdout] test utils::equivalency_computer::tests::test_compute_classes_ring_of_3 ... ok
[INFO] [stdout] test solvers::stable_semantics_solver::tests::test_compute_one_auto_attack ... ok
[INFO] [stdout] test solvers::stable_semantics_solver::tests::test_compute_one ... ok
[INFO] [stdout] test solvers::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 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_after_arg_removal ... ok
[INFO] [stdout] test utils::connected_components_computer::tests::test_connected_components_of_twice - should panic ... ok
[INFO] [stdout] test solvers::stable_semantics_solver::tests::test_certificates_connected_components ... ok
[INFO] [stdout] test solvers::ideal_semantics_solver::tests::test_funnel_exp ... ok
[INFO] [stdout] test utils::equivalency_computer::tests::test_compute_classes_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_grounded_classes_hierarchy ... 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_reduce_grounded_path ... ok
[INFO] [stdout] test utils::grounded_extension_computer::tests::test_grounded_extension_empty_af ... ok
[INFO] [stdout] test utils::equivalency_computer::tests::test_grounded_classes_path ... ok
[INFO] [stdout] test utils::equivalency_computer::tests::test_propagate_ring_of_4 ... 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::grounded_extension_computer::tests::test_grounded_extension_2 ... ok
[INFO] [stdout] test utils::label::tests::test_new_with_empty_labels ... ok
[INFO] [stdout] test utils::grounded_extension_computer::tests::test_grounded_extension_after_arg_removal ... ok
[INFO] [stdout] test utils::equivalency_computer::tests::test_grounded_classes_with_ring_of_3 ... ok
[INFO] [stdout] test solvers::stable_semantics_solver::tests::test_acceptance_1 ... ok
[INFO] [stdout] test utils::label::tests::test_into_iterator ... ok
[INFO] [stdout] test utils::label::tests::test_get_label ... ok
[INFO] [stdout] test utils::label::tests::test_remove_nonexisting_label - should panic ... ok
[INFO] [stdout] test utils::label::tests::test_add_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] 
[INFO] [stdout] test result: ok. 307 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.28s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/crustabri-543c0600edcc8fe3)
[INFO] [stdout] 
[INFO] [stdout] running 15 tests
[INFO] [stdout] test app::writable_string::tests::test_debug ... ok
[INFO] [stdout] test app::writable_string::tests::test_display ... ok
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19] app_name app_version
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19] author
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19] about
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19] 
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19] USAGE:
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19]     app_name <SUBCOMMAND>
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19] 
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19] FLAGS:
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19]     -h, --help    
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19]             Prints help information
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19] 
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19] 
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19] SUBCOMMANDS:
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19]     help                  Prints this message or the help of the given subcommand(s)
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19]     local_command_name    local_command_about
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19] 
[INFO] [stdout] test app::cli_manager::tests::test_help ... ![INFO ] [2023-09-18 03:02:19] crustabri 1.0.0
[INFO] [stdout] ok
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19] crustabri 1.0.0
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19] ----------------------------------------
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19] app_name app_version
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19] app_name app_version
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19] author
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19] about
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19] 
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19] USAGE:
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19]     app_name <SUBCOMMAND>
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19] 
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19] FLAGS:
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19]     -h, --help    
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19]             Prints help information
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19] 
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19] 
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19] SUBCOMMANDS:
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19]     help                  Prints this message or the help of the given subcommand(s)
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19]     local_command_name    local_command_about
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19] 
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19] app_name app_version
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19] ----------------------------------------
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19] app_name app_version
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19] app_name app_version
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19] ----------------------------------------
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19] app_name app_version
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19] crustabri 1.0.0
[INFO] [stdout] test app::cli_manager::tests::test_help_subcommand ... ok
[INFO] [stdout] test app::app_helper::tests::test_no_args ... ok
[INFO] [stdout] test app::cli_manager::tests::test_no_subcommand ... ok
[INFO] [stdout] test app::cli_manager::tests::test_wrong_subcommand ... ok
[INFO] [stdout] test app::cli_manager::tests::test_wrong_arg ... ok
[INFO] [stdout] test app::app_helper::tests::test_no_subcommand ... ok
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19] local_command_name 
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19] local_command_about
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19] 
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19] USAGE:
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19]     local_command_name [FLAGS]
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19] 
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19] FLAGS:
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19]     -a            
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19]             
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19] 
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19]     -h, --help    
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19]             Prints help information
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19] 
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19] 
[INFO] [stdout] test app::cli_manager::tests::test_subcommand_help ... ok
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19] local_command_name 
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19] local_command_about
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19] 
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19] USAGE:
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19]     local_command_name [FLAGS]
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19] 
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19] FLAGS:
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19]     -a            
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19]             
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19] 
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19]     -h, --help    
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19]             Prints help information
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19] 
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19] 
[INFO] [stdout] test app::cli_manager::tests::test_help_for_subcommand ... ok
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19] crustabri 1.0.0
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19] ----------------------------------------
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19] running on c0985127da00
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19] running on c0985127da00
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19] running on c0985127da00
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19] running on c0985127da00
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19] OS is Ubuntu 22.04 with kernel 5.15.0-1027-gcp
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:19] physical core count: 8 ["AMD EPYC 7B13"]
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] OS is Ubuntu 22.04 with kernel 5.15.0-1027-gcp
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] OS is Ubuntu 22.04 with kernel 5.15.0-1027-gcp
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] physical core count: 8 ["AMD EPYC 7B13"]
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] total memory: 16772403 KB
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] ----------------------------------------
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] physical core count: 8 ["AMD EPYC 7B13"]
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] total memory: 16772403 KB
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] ----------------------------------------
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] exiting successfully after 101.085204ms
[INFO] [stdout] test app::cli_manager::tests::test_command_involved ... ok
[INFO] [stdout] test app::app_helper::tests::test_subcommand_ok ... ok
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] OS is Ubuntu 22.04 with kernel 5.15.0-1027-gcp
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] physical core count: 8 ["AMD EPYC 7B13"]
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] total memory: 16772403 KB
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] ----------------------------------------
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] total memory: 16772403 KB
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] ----------------------------------------
[INFO] [stdout] test app::app_helper::tests::test_subcommand_err ... ok
[INFO] [stdout] test app::cli_manager::tests::test_command_and_arg_involved ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 15 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.12s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/main_iccma23.rs (/opt/rustwide/target/debug/deps/crustabri_iccma23-765d16c5d301eb05)
[INFO] [stdout] 
[INFO] [stdout] running 15 tests
[INFO] [stdout] test app::writable_string::tests::test_debug ... ok
[INFO] [stdout] test app::writable_string::tests::test_display ... ok
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] crustabri 1.0.0
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] app_name app_version
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] local_command_name 
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] crustabri 1.0.0
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] ----------------------------------------
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] app_name app_version
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] app_name app_version
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] author
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] about
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] 
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] USAGE:
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] crustabri 1.0.0
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20]     app_name <SUBCOMMAND>
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] 
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] FLAGS:
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20]     -h, --help    
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20]             Prints help information
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] 
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] 
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] SUBCOMMANDS:
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20]     help                  Prints this message or the help of the given subcommand(s)
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20]     local_command_name    local_command_about
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] 
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] ----------------------------------------
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] local_command_about
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] 
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] USAGE:
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20]     local_command_name [FLAGS]
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] 
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] FLAGS:
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20]     -a            
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20]             
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] 
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20]     -h, --help    
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20]             Prints help information
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] 
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] 
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] ----------------------------------------
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] app_name app_version
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] author
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] about
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] 
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] USAGE:
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20]     app_name <SUBCOMMAND>
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] 
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] FLAGS:
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20]     -h, --help    
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20]             Prints help information
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] 
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] 
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] SUBCOMMANDS:
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20]     help                  Prints this message or the help of the given subcommand(s)
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20]     local_command_name    local_command_about
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] 
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] app_name app_version
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] app_name app_version
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] ----------------------------------------
[INFO] [stdout] test app::cli_manager::tests::test_help_subcommand ... ok
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] crustabri 1.0.0
[INFO] [stdout] test app::cli_manager::tests::test_help_for_subcommand ... ok
[INFO] [stdout] test app::cli_manager::tests::test_help ... ok
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] app_name app_version
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] local_command_name 
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] local_command_about
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] 
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] USAGE:
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20]     local_command_name [FLAGS]
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] 
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] FLAGS:
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20]     -a            
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20]             
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] 
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20]     -h, --help    
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20]             Prints help information
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] 
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] 
[INFO] [stdout] test app::app_helper::tests::test_no_args ... ok
[INFO] [stdout] test app::cli_manager::tests::test_subcommand_help ... ok
[INFO] [stdout] test app::app_helper::tests::test_no_subcommand ... ok
[INFO] [stdout] test app::cli_manager::tests::test_no_subcommand ... ok
[INFO] [stdout] test app::cli_manager::tests::test_wrong_subcommand ... ok
[INFO] [stdout] test app::cli_manager::tests::test_wrong_arg ... ok
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] running on c0985127da00
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] OS is Ubuntu 22.04 with kernel 5.15.0-1027-gcp
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] physical core count: 8 ["AMD EPYC 7B13"]
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] total memory: 16772403 KB
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] ----------------------------------------
[INFO] [stdout] test app::app_helper::tests::test_subcommand_err ... ok
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] running on c0985127da00
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] OS is Ubuntu 22.04 with kernel 5.15.0-1027-gcp
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] physical core count: 8 ["AMD EPYC 7B13"]
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] total memory: 16772403 KB
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] ----------------------------------------
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] running on c0985127da00
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] OS is Ubuntu 22.04 with kernel 5.15.0-1027-gcp
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] running on c0985127da00
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] OS is Ubuntu 22.04 with kernel 5.15.0-1027-gcp
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] physical core count: 8 ["AMD EPYC 7B13"]
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] total memory: 16772403 KB
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] ----------------------------------------
[INFO] [stdout] test app::cli_manager::tests::test_command_and_arg_involved ... ok
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] exiting successfully after 44.869937ms
[INFO] [stdout] test app::app_helper::tests::test_subcommand_ok ... ok
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] physical core count: 8 ["AMD EPYC 7B13"]
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] total memory: 16772403 KB
[INFO] [stdout] ![INFO ] [2023-09-18 03:02:20] ----------------------------------------
[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.08s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_iccma23_aa.rs (/opt/rustwide/target/debug/deps/test_iccma23_aa-bca0e0f29bac4f67)
[INFO] [stdout] 
[INFO] [stdout] running 55 tests
[INFO] [stdout] test test_complete_ds_4 ... ok
[INFO] [stdout] test test_ideal_dc_2 ... ok
[INFO] [stdout] test test_complete_ds_3 ... ok
[INFO] [stdout] test test_complete_se ... ok
[INFO] [stdout] test test_complete_ds_1 ... ok
[INFO] [stdout] test test_complete_dc_1 ... ok
[INFO] [stdout] test test_ideal_dc_4 ... ok
[INFO] [stdout] test test_ideal_ds_3 ... ok
[INFO] [stdout] test test_ideal_ds_1 ... ok
[INFO] [stdout] test test_ideal_dc_1 ... ok
[INFO] [stdout] test test_ideal_ds_2 ... ok
[INFO] [stdout] test test_complete_ds_2 ... ok
[INFO] [stdout] test test_complete_dc_2 ... ok
[INFO] [stdout] test test_complete_dc_4 ... ok
[INFO] [stdout] test test_ideal_dc_3 ... ok
[INFO] [stdout] test test_complete_dc_3 ... ok
[INFO] [stdout] test test_ideal_ds_4 ... ok
[INFO] [stdout] test test_preferred_dc_2 ... ok
[INFO] [stdout] test test_preferred_dc_3 ... ok
[INFO] [stdout] test test_preferred_ds_1 ... ok
[INFO] [stdout] test test_preferred_dc_4 ... ok
[INFO] [stdout] test test_ideal_se ... ok
[INFO] [stdout] test test_preferred_ds_4 ... ok
[INFO] [stdout] test test_preferred_dc_1 ... ok
[INFO] [stdout] test test_preferred_se ... ok
[INFO] [stdout] test test_preferred_ds_3 ... ok
[INFO] [stdout] test test_preferred_ds_2 ... ok
[INFO] [stdout] test test_semistable_dc_2 ... ok
[INFO] [stdout] test test_semistable_dc_1 ... ok
[INFO] [stdout] test test_semistable_ds_1 ... ok
[INFO] [stdout] test test_semistable_dc_3 ... ok
[INFO] [stdout] test test_semistable_dc_4 ... ok
[INFO] [stdout] test test_stable_dc_1 ... ok
[INFO] [stdout] test test_semistable_ds_2 ... ok
[INFO] [stdout] test test_semistable_se ... ok
[INFO] [stdout] test test_stable_dc_2 ... ok
[INFO] [stdout] test test_semistable_ds_3 ... ok
[INFO] [stdout] test test_stable_ds_2 ... ok
[INFO] [stdout] test test_stable_dc_4 ... ok
[INFO] [stdout] test test_stable_ds_1 ... ok
[INFO] [stdout] test test_stable_ds_4 ... ok
[INFO] [stdout] test test_semistable_ds_4 ... ok
[INFO] [stdout] test test_stable_ds_3 ... ok
[INFO] [stdout] test test_stage_dc_3 ... ok
[INFO] [stdout] test test_stage_dc_1 ... ok
[INFO] [stdout] test test_stable_dc_3 ... ok
[INFO] [stdout] test test_stable_se ... ok
[INFO] [stdout] test test_stage_ds_1 ... ok
[INFO] [stdout] test test_stage_dc_2 ... ok
[INFO] [stdout] test test_stage_ds_2 ... ok
[INFO] [stdout] test test_stage_dc_4 ... ok
[INFO] [stdout] test test_stage_se ... ok
[INFO] [stdout] test test_stage_ds_3 ... ok
[INFO] [stdout] test test_stage_ds_4 ... ok
[INFO] [stdout] test test_stg_se_no_constraints ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 55 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.68s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_iccma23_authors.rs (/opt/rustwide/target/debug/deps/test_iccma23_authors-296bec5e39c19ab8)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test test_iccma23 ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_iccma23_problems.rs (/opt/rustwide/target/debug/deps/test_iccma23_problems-20d5bc0ae1df7417)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test test_iccma23 ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests crustabri
[INFO] [stdout] 
[INFO] [stdout] running 68 tests
[INFO] [stdout] test src/aa/aa_framework.rs - aa::aa_framework::Attack (line 34) ... ok
[INFO] [stdout] test src/aa/aa_framework.rs - aa::aa_framework::Attack<'a,T>::attacker (line 55) ... ok
[INFO] [stdout] test src/aa/aa_framework.rs - aa::aa_framework::Attack<'a,T>::attacked (line 70) ... ok
[INFO] [stdout] test src/aa/arguments.rs - aa::arguments::Argument (line 18) ... ok
[INFO] [stderr] error: doctest failed, to rerun pass `--doc`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/rustup-home/toolchains/23949593103d03a82c7ebc2e84434ce6c6edc561/bin/rustdoc --edition=2021 --crate-type lib --crate-name crustabri --test src/lib.rs --test-run-directory /opt/rustwide/workdir -L dependency=/opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps -L native=/opt/rustwide/target/debug/build/cadical-300ac4549975b7a6/out --extern anyhow=/opt/rustwide/target/debug/deps/libanyhow-cfee8fdf6d03205b.rlib --extern assert_cmd=/opt/rustwide/target/debug/deps/libassert_cmd-268da924504ef165.rlib --extern assert_fs=/opt/rustwide/target/debug/deps/libassert_fs-03b8b46aba2158a6.rlib --extern cadical=/opt/rustwide/target/debug/deps/libcadical-c4c4afeb60e10c93.rlib --extern chrono=/opt/rustwide/target/debug/deps/libchrono-be5529a1ffa74f02.rlib --extern clap=/opt/rustwide/target/debug/deps/libclap-fce997738f8a4507.rlib --extern crustabri=/opt/rustwide/target/debug/deps/libcrustabri-d3b8b6809bed15c1.rlib --extern fern=/opt/rustwide/target/debug/deps/libfern-a7f90f08c4f29feb.rlib --extern lazy_static=/opt/rustwide/target/debug/deps/liblazy_static-d0c2dc85fa90a848.rlib --extern log=/opt/rustwide/target/debug/deps/liblog-bf08b118b42c1fa6.rlib --extern paste=/opt/rustwide/target/debug/deps/libpaste-938fb0da6277752f.so --extern permutator=/opt/rustwide/target/debug/deps/libpermutator-a4ad8eac48b24382.rlib --extern predicates=/opt/rustwide/target/debug/deps/libpredicates-d48cc8d2ab8674c2.rlib --extern regex=/opt/rustwide/target/debug/deps/libregex-049407df6b8d224d.rlib --extern strum=/opt/rustwide/target/debug/deps/libstrum-1cb36565e85ec2eb.rlib --extern strum_macros=/opt/rustwide/target/debug/deps/libstrum_macros-90a60c6668bb918b.so --extern sysinfo=/opt/rustwide/target/debug/deps/libsysinfo-891e5144c6002bdd.rlib -C embed-bitcode=no --cap-lints=forbid --error-format human` (signal: 9, SIGKILL: kill)
[INFO] running `Command { std: "docker" "inspect" "c0985127da00c86872672bff8548313d495b59f60557ec61cfcc529e7edaebe8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c0985127da00c86872672bff8548313d495b59f60557ec61cfcc529e7edaebe8", kill_on_drop: false }`
[INFO] [stdout] c0985127da00c86872672bff8548313d495b59f60557ec61cfcc529e7edaebe8