[INFO] cloning repository https://github.com/d702e20/OnTheFlyATL
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/d702e20/OnTheFlyATL" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fd702e20%2FOnTheFlyATL", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fd702e20%2FOnTheFlyATL'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] b52e4e0ed3d32000f36c00a50d3eeb0e046cfe3a
[INFO] testing d702e20/OnTheFlyATL against 1.76.0 for beta-1.77-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fd702e20%2FOnTheFlyATL" "/workspace/builds/worker-7-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/d702e20/OnTheFlyATL on toolchain 1.76.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.76.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/d702e20/OnTheFlyATL
[INFO] finished tweaking git repo https://github.com/d702e20/OnTheFlyATL
[INFO] tweaked toml for git repo https://github.com/d702e20/OnTheFlyATL written to /workspace/builds/worker-7-tc1/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.76.0" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.76.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+1.76.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] de7c111f22b889a70c0b67db12c0fae89492340b97fb435b95d09c183ad521cd
[INFO] running `Command { std: "docker" "start" "-a" "de7c111f22b889a70c0b67db12c0fae89492340b97fb435b95d09c183ad521cd", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "de7c111f22b889a70c0b67db12c0fae89492340b97fb435b95d09c183ad521cd", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "de7c111f22b889a70c0b67db12c0fae89492340b97fb435b95d09c183ad521cd", kill_on_drop: false }`
[INFO] [stdout] de7c111f22b889a70c0b67db12c0fae89492340b97fb435b95d09c183ad521cd
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+1.76.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 4a8e91e91d058540af940354366fc6331be68b9847a2f6862020909c218df9f0
[INFO] running `Command { std: "docker" "start" "-a" "4a8e91e91d058540af940354366fc6331be68b9847a2f6862020909c218df9f0", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.78
[INFO] [stderr]    Compiling num-traits v0.2.18
[INFO] [stderr]    Compiling libc v0.2.153
[INFO] [stderr]    Compiling once_cell v1.19.0
[INFO] [stderr]    Compiling memchr v2.7.1
[INFO] [stderr]    Compiling num-complex v0.2.4
[INFO] [stderr]    Compiling regex-syntax v0.8.2
[INFO] [stderr]    Compiling serde v1.0.196
[INFO] [stderr]    Compiling rawpointer v0.2.1
[INFO] [stderr]    Compiling ndarray v0.13.1
[INFO] [stderr]    Compiling indexmap v1.9.3
[INFO] [stderr]    Compiling log v0.4.20
[INFO] [stderr]    Compiling crossbeam-utils v0.8.19
[INFO] [stderr]    Compiling priority-queue v1.4.0
[INFO] [stderr]    Compiling serde_json v1.0.113
[INFO] [stderr]    Compiling regex-syntax v0.6.29
[INFO] [stderr]    Compiling matrixmultiply v0.2.4
[INFO] [stderr]    Compiling tracing-core v0.1.32
[INFO] [stderr]    Compiling hashbrown v0.12.3
[INFO] [stderr]    Compiling ppv-lite86 v0.2.17
[INFO] [stderr]    Compiling iana-time-zone v0.1.60
[INFO] [stderr]    Compiling itoa v1.0.10
[INFO] [stderr]    Compiling ansi_term v0.12.1
[INFO] [stderr]    Compiling unicode-width v0.1.11
[INFO] [stderr]    Compiling lazy_static v1.4.0
[INFO] [stderr]    Compiling ryu v1.0.16
[INFO] [stderr]    Compiling textwrap v0.11.0
[INFO] [stderr]    Compiling aho-corasick v1.1.2
[INFO] [stderr]    Compiling tracing-log v0.1.4
[INFO] [stderr]    Compiling sharded-slab v0.1.7
[INFO] [stderr]    Compiling thread_local v1.1.7
[INFO] [stderr]    Compiling vec_map v0.8.2
[INFO] [stderr]    Compiling strsim v0.8.0
[INFO] [stderr]    Compiling float-ord v0.3.2
[INFO] [stderr]    Compiling joinery v2.1.0
[INFO] [stderr]    Compiling quote v1.0.35
[INFO] [stderr]    Compiling smallvec v1.13.1
[INFO] [stderr]    Compiling crossbeam-channel v0.5.11
[INFO] [stderr]    Compiling humantime v2.1.0
[INFO] [stderr]    Compiling syn v2.0.48
[INFO] [stderr]    Compiling getrandom v0.2.12
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling num_cpus v1.16.0
[INFO] [stderr]    Compiling clap v2.34.0
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling num-integer v0.1.46
[INFO] [stderr]    Compiling num-traits v0.1.43
[INFO] [stderr]    Compiling chrono v0.4.34
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]    Compiling regex-automata v0.4.5
[INFO] [stderr]    Compiling regex-automata v0.1.10
[INFO] [stderr]    Compiling matchers v0.0.1
[INFO] [stderr]    Compiling sprs v0.7.1
[INFO] [stderr]    Compiling bstr v1.9.0
[INFO] [stderr]    Compiling regex v1.10.3
[INFO] [stderr]    Compiling minilp v0.2.2
[INFO] [stderr]    Compiling serde_derive v1.0.196
[INFO] [stderr]    Compiling tracing-attributes v0.1.27
[INFO] [stderr]    Compiling git-version-macro v0.3.9
[INFO] [stderr]    Compiling pom v3.3.0
[INFO] [stderr]    Compiling git-version v0.3.9
[INFO] [stderr]    Compiling tracing v0.1.40
[INFO] [stderr]    Compiling tracing-serde v0.1.3
[INFO] [stderr]    Compiling cgaal-engine v2.0.1 (/opt/rustwide/workdir/cgaal-engine)
[INFO] [stderr]    Compiling tracing-subscriber v0.2.25
[INFO] [stderr]    Compiling cgaal v2.0.3 (/opt/rustwide/workdir/cgaal-cli)
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 18.04s
[INFO] running `Command { std: "docker" "inspect" "4a8e91e91d058540af940354366fc6331be68b9847a2f6862020909c218df9f0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "4a8e91e91d058540af940354366fc6331be68b9847a2f6862020909c218df9f0", kill_on_drop: false }`
[INFO] [stdout] 4a8e91e91d058540af940354366fc6331be68b9847a2f6862020909c218df9f0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+1.76.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 91a6141b1c098bd09574f58197031fc88531f3544854687d3c950ecf071885f0
[INFO] running `Command { std: "docker" "start" "-a" "91a6141b1c098bd09574f58197031fc88531f3544854687d3c950ecf071885f0", kill_on_drop: false }`
[INFO] [stderr]    Compiling crossbeam-utils v0.8.19
[INFO] [stderr]    Compiling serde v1.0.196
[INFO] [stderr]    Compiling rayon-core v1.12.1
[INFO] [stderr]    Compiling either v1.10.0
[INFO] [stderr]    Compiling half v2.3.1
[INFO] [stderr]    Compiling ciborium-io v0.2.2
[INFO] [stderr]    Compiling clap_lex v0.7.0
[INFO] [stderr]    Compiling plotters-backend v0.3.5
[INFO] [stderr]    Compiling anstyle v1.0.6
[INFO] [stderr]    Compiling matchers v0.1.0
[INFO] [stderr]    Compiling same-file v1.0.6
[INFO] [stderr]    Compiling cast v0.3.0
[INFO] [stderr]    Compiling test-log-macros v0.2.14
[INFO] [stderr]    Compiling is-terminal v0.4.12
[INFO] [stderr]    Compiling anes v0.1.6
[INFO] [stderr]    Compiling oorandom v11.1.3
[INFO] [stderr]    Compiling walkdir v2.4.0
[INFO] [stderr]    Compiling tracing-subscriber v0.3.18
[INFO] [stderr]    Compiling ciborium-ll v0.2.2
[INFO] [stderr]    Compiling clap_builder v4.5.0
[INFO] [stderr]    Compiling plotters-svg v0.3.5
[INFO] [stderr]    Compiling itertools v0.10.5
[INFO] [stderr]    Compiling plotters v0.3.5
[INFO] [stderr]    Compiling crossbeam-epoch v0.9.18
[INFO] [stderr]    Compiling crossbeam-channel v0.5.11
[INFO] [stderr]    Compiling crossbeam-deque v0.8.5
[INFO] [stderr]    Compiling rayon v1.8.1
[INFO] [stderr]    Compiling test-log v0.2.14
[INFO] [stderr]    Compiling criterion-plot v0.5.0
[INFO] [stderr]    Compiling clap v4.5.0
[INFO] [stderr]    Compiling serde_json v1.0.113
[INFO] [stderr]    Compiling tracing-serde v0.1.3
[INFO] [stderr]    Compiling ciborium v0.2.2
[INFO] [stderr]    Compiling cgaal-engine v2.0.1 (/opt/rustwide/workdir/cgaal-engine)
[INFO] [stderr]    Compiling tracing-subscriber v0.2.25
[INFO] [stderr]    Compiling tinytemplate v1.2.1
[INFO] [stderr]    Compiling criterion v0.5.1
[INFO] [stderr]    Compiling cgaal v2.0.3 (/opt/rustwide/workdir/cgaal-cli)
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 36.96s
[INFO] running `Command { std: "docker" "inspect" "91a6141b1c098bd09574f58197031fc88531f3544854687d3c950ecf071885f0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "91a6141b1c098bd09574f58197031fc88531f3544854687d3c950ecf071885f0", kill_on_drop: false }`
[INFO] [stdout] 91a6141b1c098bd09574f58197031fc88531f3544854687d3c950ecf071885f0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+1.76.0" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 52065c56c464ce6cef9b7555dc88f233be047a5b551d374475763f7646f36dd2
[INFO] running `Command { std: "docker" "start" "-a" "52065c56c464ce6cef9b7555dc88f233be047a5b551d374475763f7646f36dd2", kill_on_drop: false }`
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 0.12s
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/cgaal-4017dd817249ccca)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/cgaal_engine-26b527d305c3ef2f)
[INFO] [stdout] 
[INFO] [stdout] running 125 tests
[INFO] [stdout] test algorithms::certain_zero::search_strategy::composite::test::composite_search_strategy_001 ... ok
[INFO] [stdout] test algorithms::certain_zero::search_strategy::linear_constraints::test::non_linear_constraint_04 ... ok
[INFO] [stdout] test algorithms::certain_zero::search_strategy::linear_constraints::test::non_linear_constraint_01 ... ok
[INFO] [stdout] test algorithms::certain_zero::search_strategy::linear_constraints::test::non_linear_constraint_03 ... ok
[INFO] [stdout] test algorithms::certain_zero::search_strategy::linear_constraints::test::non_linear_constraint_02 ... ok
[INFO] [stdout] test algorithms::certain_zero::search_strategy::linear_constraints::test::non_linear_constraint_05 ... ok
[INFO] [stdout] test algorithms::certain_zero::search_strategy::linear_constraints::test::normal_linear_constraint_01 ... ok
[INFO] [stdout] test algorithms::certain_zero::search_strategy::linear_constraints::test::normal_linear_constraint_02 ... ok
[INFO] [stdout] test algorithms::certain_zero::search_strategy::linear_constraints::test::normal_linear_constraint_04 ... ok
[INFO] [stdout] test algorithms::certain_zero::search_strategy::linear_constraints::test::normal_linear_constraint_05 ... ok
[INFO] [stdout] test algorithms::certain_zero::search_strategy::linear_constraints::test::normal_linear_constraint_03 ... ok
[INFO] [stdout] test algorithms::certain_zero::search_strategy::linear_constraints::test::other_linear_constraint_01 ... ok
[INFO] [stdout] test algorithms::certain_zero::search_strategy::linear_constraints::test::normal_linear_constraint_06 ... ok
[INFO] [stdout] test algorithms::certain_zero::search_strategy::linear_constraints::test::other_linear_constraint_02 ... ok
[INFO] [stdout] test algorithms::certain_zero::search_strategy::linear_constraints::test::other_linear_constraint_03 ... ok
[INFO] [stdout] test algorithms::certain_zero::search_strategy::linear_constraints::test::simple_comparison_01 ... ok
[INFO] [stdout] test algorithms::certain_zero::search_strategy::linear_constraints::test::other_linear_constraint_04 ... ok
[INFO] [stdout] test algorithms::certain_zero::search_strategy::linear_constraints::test::simple_comparison_04 ... ok
[INFO] [stdout] test algorithms::certain_zero::search_strategy::linear_constraints::test::other_linear_constraint_05 ... ok
[INFO] [stdout] test algorithms::certain_zero::search_strategy::linear_constraints::test::simple_comparison_02 ... ok
[INFO] [stdout] test algorithms::certain_zero::search_strategy::linear_constraints::test::simple_comparison_03 ... ok
[INFO] [stdout] test algorithms::certain_zero::test::test_dcz_empty_hyper_edge ... ok
[INFO] [stdout] test algorithms::certain_zero::test::test_dcz_no_successors ... ok
[INFO] [stdout] test algorithms::certain_zero::test::test_dcz_negation_01 ... ok
[INFO] [stdout] test algorithms::certain_zero::test::test_dcz_general_06 ... ok
[INFO] [stdout] test algorithms::global::multithread::test::test_multi_global_algorithm_empty_hyper_edge ... ok
[INFO] [stdout] test algorithms::certain_zero::test::test_dcz_general_01 ... ok
[INFO] [stdout] test algorithms::certain_zero::test::test_dcz_negation_04 ... ok
[INFO] [stdout] test algorithms::certain_zero::test::test_dcz_general_08 ... ok
[INFO] [stdout] test algorithms::certain_zero::test::test_dcz_general_04 ... ok
[INFO] [stdout] test algorithms::global::multithread::test::test_multi_global_algorithm_general_01 ... ok
[INFO] [stdout] test algorithms::certain_zero::test::test_dcz_general_05 ... ok
[INFO] [stdout] test algorithms::certain_zero::test::test_dcz_general_02 ... ok
[INFO] [stdout] test algorithms::global::multithread::test::test_multi_global_algorithm_negation_01 ... ok
[INFO] [stdout] test algorithms::global::multithread::test::test_multi_global_algorithm_general_06 ... ok
[INFO] [stdout] test algorithms::certain_zero::test::test_dcz_general_07 ... ok
[INFO] [stdout] test algorithms::certain_zero::test::test_dcz_general_03 ... ok
[INFO] [stdout] test algorithms::global::multithread::test::test_multi_global_algorithm_general_05 ... ok
[INFO] [stdout] test algorithms::global::multithread::test::test_multi_global_algorithm_general_04 ... ok
[INFO] [stdout] test algorithms::global::multithread::test::test_multi_global_algorithm_negation_03 ... ok
[INFO] [stdout] test algorithms::global::singlethread::test::test_global_algorithm_general_02 ... ok
[INFO] [stdout] test algorithms::global::multithread::test::test_multi_global_algorithm_general_02 ... ok
[INFO] [stdout] test algorithms::global::multithread::test::test_multi_global_algorithm_general_07 ... ok
[INFO] [stdout] test algorithms::global::multithread::test::test_multi_global_algorithm_negation_02 ... ok
[INFO] [stdout] test algorithms::global::multithread::test::test_multi_global_algorithm_general_03 ... ok
[INFO] [stdout] test algorithms::global::multithread::test::test_multi_global_algorithm_negation_04 ... ok
[INFO] [stdout] test algorithms::certain_zero::test::test_dcz_negation_02 ... ok
[INFO] [stdout] test algorithms::global::singlethread::test::test_global_algorithm_general_04 ... ok
[INFO] [stdout] test algorithms::global::singlethread::test::test_global_algorithm_general_03 ... ok
[INFO] [stdout] test algorithms::certain_zero::test::test_dcz_negation_05 ... ok
[INFO] [stdout] test algorithms::global::singlethread::test::test_global_algorithm_general_01 ... ok
[INFO] [stdout] test algorithms::global::singlethread::test::test_global_algorithm_empty_hyper_edge ... ok
[INFO] [stdout] test algorithms::global::multithread::test::test_multi_global_algorithm_no_successors ... ok
[INFO] [stdout] test algorithms::global::multithread::test::test_multi_global_algorithm_general_08 ... ok
[INFO] [stdout] test algorithms::global::singlethread::test::test_global_algorithm_general_05 ... ok
[INFO] [stdout] test algorithms::global::singlethread::test::test_global_algorithm_negation_01 ... ok
[INFO] [stdout] test algorithms::global::singlethread::test::test_global_algorithm_negation_03 ... ok
[INFO] [stdout] test algorithms::global::singlethread::test::test_global_algorithm_general_06 ... ok
[INFO] [stdout] test algorithms::global::singlethread::test::test_global_algorithm_negation_02 ... ok
[INFO] [stdout] test algorithms::global::singlethread::test::test_global_algorithm_general_07 ... ok
[INFO] [stdout] test algorithms::global::singlethread::test::test_global_algorithm_general_08 ... ok
[INFO] [stdout] test algorithms::solve_set::test::test_mss_basic_02 ... ok
[INFO] [stdout] test algorithms::solve_set::test::test_mss_basic_01 ... ok
[INFO] [stdout] test algorithms::solve_set::test::test_mss_basic_04 ... ok
[INFO] [stdout] test algorithms::solve_set::test::test_mss_basic_06 ... ok
[INFO] [stdout] test algorithms::global::multithread::test::test_multi_global_algorithm_negation_to_undecided_01 ... ok
[INFO] [stdout] test algorithms::solve_set::test::test_mss_avoid_double_counting_01 ... ok
[INFO] [stdout] test algorithms::solve_set::test::test_mss_avoid_double_counting_02 ... ok
[INFO] [stdout] test algorithms::solve_set::test::test_mss_basic_03 ... ok
[INFO] [stdout] test algorithms::solve_set::test::test_mss_basic_05 ... ok
[INFO] [stdout] test algorithms::global::singlethread::test::test_global_algorithm_no_successors ... ok
[INFO] [stdout] test algorithms::solve_set::test::test_mss_basic_07 ... ok
[INFO] [stdout] test algorithms::solve_set::test::test_mss_basic_08 ... ok
[INFO] [stdout] test algorithms::solve_set::test::test_mss_basic_09 ... ok
[INFO] [stdout] test algorithms::solve_set::test::test_mss_basic_11 ... ok
[INFO] [stdout] test algorithms::solve_set::test::test_mss_basic_12 ... ok
[INFO] [stdout] test algorithms::global::singlethread::test::test_global_algorithm_negation_05 ... ok
[INFO] [stdout] test atl::test::test_display_01 ... ok
[INFO] [stdout] test algorithms::global::singlethread::test::test_global_algorithm_negation_to_undecided_01 ... ok
[INFO] [stdout] test edg::atledg::pmoves::test::partial_move_iterator_01 ... ok
[INFO] [stdout] test edg::atledg::pmoves::test::vars_iterator_01 ... ok
[INFO] [stdout] test algorithms::solve_set::test::test_mss_uncertainty_01 ... ok
[INFO] [stdout] test edg::atledg::pmoves::test::delta_iterator_01 ... ok
[INFO] [stdout] test algorithms::solve_set::test::test_mss_basic_10 ... ok
[INFO] [stdout] test algorithms::solve_set::test::test_mss_uncertainty_04 ... ok
[INFO] [stdout] test algorithms::solve_set::test::test_mss_uncertainty_02 ... ok
[INFO] [stdout] test algorithms::solve_set::test::test_mss_uncertainty_05 ... ok
[INFO] [stdout] test algorithms::global::multithread::test::test_multi_global_algorithm_negation_05 ... ok
[INFO] [stdout] test algorithms::global::singlethread::test::test_global_algorithm_negation_04 ... ok
[INFO] [stdout] test game_structure::lcgs::eval::test::test_min ... ok
[INFO] [stdout] test edg::atledg::pmoves::test::vars_iterator_02 ... ok
[INFO] [stdout] test edg::atledg::pmoves::test::vars_iterator_03 ... ok
[INFO] [stdout] test game_structure::lcgs::eval::test::test_max ... ok
[INFO] [stdout] test algorithms::solve_set::test::test_mss_uncertainty_03 ... ok
[INFO] [stdout] test game_structure::lcgs::intermediate::test::test_negation_const_01 ... ok
[INFO] [stdout] test game_structure::lcgs::intermediate::test::test_labels_02 ... ok
[INFO] [stdout] test game_structure::lcgs::intermediate::test::test_initial_state_01 ... ok
[INFO] [stdout] test game_structure::lcgs::intermediate::test::test_labels_01 ... ok
[INFO] [stdout] test game_structure::lcgs::intermediate::test::test_initial_state_02 ... ok
[INFO] [stdout] test game_structure::lcgs::intermediate::test::test_labels_03 ... ok
[INFO] [stdout] test game_structure::lcgs::intermediate::test::test_move_count_01 ... ok
[INFO] [stdout] test game_structure::lcgs::intermediate::test::test_state_translation_01 ... ok
[INFO] [stdout] test game_structure::lcgs::intermediate::test::test_state_translation_03 ... ok
[INFO] [stdout] test game_structure::lcgs::intermediate::test::test_symbol_02 ... ok
[INFO] [stdout] test game_structure::lcgs::intermediate::test::test_state_translation_05 ... ok
[INFO] [stdout] test game_structure::lcgs::intermediate::test::test_players_01 ... ok
[INFO] [stdout] test game_structure::lcgs::intermediate::test::test_state_translation_02 ... ok
[INFO] [stdout] test game_structure::lcgs::intermediate::test::test_relabeling_01 ... ok
[INFO] [stdout] test game_structure::lcgs::intermediate::test::test_transition_01 ... ok
[INFO] [stdout] test game_structure::lcgs::relabeling::test::test_relabeling_expr_03 ... ok
[INFO] [stdout] test game_structure::lcgs::relabeling::test::test_relabeling_label_01 ... ok
[INFO] [stdout] test game_structure::lcgs::relabeling::test::test_relabeling_expr_01 ... ok
[INFO] [stdout] test game_structure::lcgs::intermediate::test::test_relabeling_03 ... ok
[INFO] [stdout] test parsing::errors::tests::error_fmt_002 ... ok
[INFO] [stdout] test parsing::lexer::tests::lexing_001 ... ok
[INFO] [stdout] test game_structure::lcgs::relabeling::test::test_relabeling_expr_02 ... ok
[INFO] [stdout] test parsing::errors::tests::error_fmt_001 ... ok
[INFO] [stdout] test parsing::lexer::tests::lexing_002 ... ok
[INFO] [stdout] test game_structure::lcgs::intermediate::test::test_relabeling_02 ... ok
[INFO] [stdout] test game_structure::lcgs::intermediate::test::test_state_translation_04 ... ok
[INFO] [stdout] test game_structure::lcgs::intermediate::test::test_transition_02 ... ok
[INFO] [stdout] test game_structure::lcgs::intermediate::test::test_transition_03 ... ok
[INFO] [stdout] test game_structure::lcgs::intermediate::test::test_symbol_01 ... ok
[INFO] [stdout] test algorithms::certain_zero::test::test_dcz_negation_to_undecided_01 ... ok
[INFO] [stdout] test algorithms::certain_zero::test::test_dcz_negation_03 ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 125 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.37s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/parsing_expr.rs (/opt/rustwide/target/debug/deps/parsing_expr-cc79377e953addbf)
[INFO] [stdout] 
[INFO] [stdout] running 21 tests
[INFO] [stdout] test atl_expr_001 ... ok
[INFO] [stdout] test atl_expr_004 ... ok
[INFO] [stdout] test atl_expr_003 ... ok
[INFO] [stdout] test atl_expr_002 ... ok
[INFO] [stdout] test atl_expr_005 ... ok
[INFO] [stdout] test basic_expr_001 ... ok
[INFO] [stdout] test basic_expr_002 ... ok
[INFO] [stdout] test atl_expr_erroneous_batch ... ok
[INFO] [stdout] test basic_expr_003 ... ok
[INFO] [stdout] test basic_expr_004 ... ok
[INFO] [stdout] test atl_expr_batch ... ok
[INFO] [stdout] test erroneous_expr_001 ... ok
[INFO] [stdout] test erroneous_expr_002 ... ok
[INFO] [stdout] test erroneous_expr_003 ... ok
[INFO] [stdout] test erroneous_expr_004 ... ok
[INFO] [stdout] test erroneous_expr_006 ... ok
[INFO] [stdout] test erroneous_expr_005 ... ok
[INFO] [stdout] test erroneous_expr_008 ... ok
[INFO] [stdout] test erroneous_expr_007 ... ok
[INFO] [stdout] test expr_erroneous_batch ... ok
[INFO] [stdout] test expr_batch ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 21 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/parsing_lcgs.rs (/opt/rustwide/target/debug/deps/parsing_lcgs-9c6f3cf530e20afd)
[INFO] [stdout] 
[INFO] [stdout] running 10 tests
[INFO] [stdout] test action_decl_001 ... ok
[INFO] [stdout] test const_decl_001 ... ok
[INFO] [stdout] test lcgs_batch ... ok
[INFO] [stdout] test player_decl_001 ... ok
[INFO] [stdout] test state_label_decl_001 ... ok
[INFO] [stdout] test player_decl_002 ... ok
[INFO] [stdout] test lcgs_erroneous_batch ... ok
[INFO] [stdout] test state_var_decl_001 ... ok
[INFO] [stdout] test template_decl_001 ... ok
[INFO] [stdout] test template_decl_002 ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/partial_strategy_synthesis.rs (/opt/rustwide/target/debug/deps/partial_strategy_synthesis-022bdf0c955c0d36)
[INFO] [stdout] 
[INFO] [stdout] running 19 tests
[INFO] [stdout] test strat_syn_despite_next_true ... ok
[INFO] [stdout] test strat_syn_despite_next_false ... ok
[INFO] [stdout] test strat_syn_despite_eventually_true ... ok
[INFO] [stdout] test strat_syn_despite_until_true ... ok
[INFO] [stdout] test strat_syn_despite_eventually_undecided ... ok
[INFO] [stdout] test strat_syn_despite_invariant_false ... ok
[INFO] [stdout] test strat_syn_enforce_next_true ... ok
[INFO] [stdout] test strat_syn_despite_until_false ... ok
[INFO] [stdout] test strat_syn_enforce_next_false ... ok
[INFO] [stdout] test test_strat_syn_no_strat_needed ... ok
[INFO] [stdout] test strat_syn_enforce_until_true ... ok
[INFO] [stdout] test strat_syn_enforce_eventually_true ... ok
[INFO] [stdout] test strat_syn_despite_until_undecided ... ok
[INFO] [stdout] test strat_syn_enforce_eventually_undecided ... ok
[INFO] [stdout] test strat_syn_despite_invariant_true ... ok
[INFO] [stdout] test strat_syn_enforce_until_undecided ... ok
[INFO] [stdout] test strat_syn_enforce_invariant_true ... ok
[INFO] [stdout] test strat_syn_enforce_invariant_false ... FAILED
[INFO] [stdout] test strat_syn_unsupported_formula ... ok
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- strat_syn_enforce_invariant_false stdout ----
[INFO] [stdout] thread 'dz_worker_2' panicked at /opt/rustwide/workdir/cgaal-engine/src/algorithms/certain_zero/com.rs:74:33:
[INFO] [stdout] Send to worker 3 failed
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x55bcabf9c496 - std::backtrace_rs::backtrace::libunwind::trace::hbee8a7973eeb6c93
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/../../backtrace/src/backtrace/libunwind.rs:104:5
[INFO] [stdout]    1:     0x55bcabf9c496 - std::backtrace_rs::backtrace::trace_unsynchronized::hc8ac75eea3aa6899
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stdout]    2:     0x55bcabf9c496 - std::sys_common::backtrace::_print_fmt::hc7f3e3b5298b1083
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/sys_common/backtrace.rs:68:5
[INFO] [stdout]    3:     0x55bcabf9c496 - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::hbb235daedd7c6190
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/sys_common/backtrace.rs:44:22
[INFO] [stdout]    4:     0x55bcabfc5a70 - core::fmt::rt::Argument::fmt::h76c38a80d925a410
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/core/src/fmt/rt.rs:142:9
[INFO] [stdout]    5:     0x55bcabfc5a70 - core::fmt::write::h3ed6aeaa977c8e45
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/core/src/fmt/mod.rs:1120:17
[INFO] [stdout]    6:     0x55bcabf99eef - std::io::Write::write_fmt::h1299aa7741865f2b
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/io/mod.rs:1810:15
[INFO] [stdout]    7:     0x55bcabf9c274 - std::sys_common::backtrace::_print::h5d645a07e0fcfdbb
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/sys_common/backtrace.rs:47:5
[INFO] [stdout]    8:     0x55bcabf9c274 - std::sys_common::backtrace::print::h85035a511aafe7a8
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/sys_common/backtrace.rs:34:9
[INFO] [stdout]    9:     0x55bcabf9dfe7 - std::panicking::default_hook::{{closure}}::hcce8cea212785a25
[INFO] [stdout]   10:     0x55bcabf9dccd - std::panicking::default_hook::hf5fcb0f213fe709a
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/panicking.rs:289:9
[INFO] [stdout]   11:     0x55bcabee4cc7 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h60265c2dfa87ee34
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/alloc/src/boxed.rs:2029:9
[INFO] [stdout]   12:     0x55bcabee4cc7 - test::test_main::{{closure}}::h77865bd3127078c6
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/test/src/lib.rs:138:21
[INFO] [stdout]   13:     0x55bcabf9e606 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::hbc5ccf4eb663e1e5
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/alloc/src/boxed.rs:2029:9
[INFO] [stdout]   14:     0x55bcabf9e606 - std::panicking::rust_panic_with_hook::h095fccf1dc9379ee
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/panicking.rs:783:13
[INFO] [stdout]   15:     0x55bcabf9e352 - std::panicking::begin_panic_handler::{{closure}}::h032ba12139b353db
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/panicking.rs:657:13
[INFO] [stdout]   16:     0x55bcabf9c996 - std::sys_common::backtrace::__rust_end_short_backtrace::h9259bc2ff8fd0f76
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/sys_common/backtrace.rs:171:18
[INFO] [stdout]   17:     0x55bcabf9e0b0 - rust_begin_unwind
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/panicking.rs:645:5
[INFO] [stdout]   18:     0x55bcabe06d35 - core::panicking::panic_fmt::h784f20a50eaab275
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/core/src/panicking.rs:72:14
[INFO] [stdout]   19:     0x55bcabea484b - <cgaal_engine::algorithms::certain_zero::com::ChannelBroker<V> as cgaal_engine::algorithms::certain_zero::com::Broker<V>>::send::{{closure}}::h1540860286e91e33
[INFO] [stdout]                                at /opt/rustwide/workdir/cgaal-engine/src/algorithms/certain_zero/com.rs:74:33
[INFO] [stdout]   20:     0x55bcabe7c6ae - core::result::Result<T,E>::unwrap_or_else::h72490e4f1a1deeec
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/core/src/result.rs:1426:23
[INFO] [stdout]   21:     0x55bcabea4754 - <cgaal_engine::algorithms::certain_zero::com::ChannelBroker<V> as cgaal_engine::algorithms::certain_zero::com::Broker<V>>::send::hf3bdb267ad775236
[INFO] [stdout]                                at /opt/rustwide/workdir/cgaal-engine/src/algorithms/certain_zero/com.rs:70:9
[INFO] [stdout]   22:     0x55bcabe71fff - cgaal_engine::algorithms::certain_zero::Worker<B,G,V,S>::update_and_forward_token::haf71b1ccd20e984c
[INFO] [stdout]                                at /opt/rustwide/workdir/cgaal-engine/src/algorithms/certain_zero/mod.rs:253:9
[INFO] [stdout]   23:     0x55bcabe6e1e2 - cgaal_engine::algorithms::certain_zero::Worker<B,G,V,S>::handle_incoming_token::hfeaf21fc3cd897d0
[INFO] [stdout]                                at /opt/rustwide/workdir/cgaal-engine/src/algorithms/certain_zero/mod.rs:367:13
[INFO] [stdout]   24:     0x55bcabe6a528 - cgaal_engine::algorithms::certain_zero::Worker<B,G,V,S>::process_task::h284ab429e9a9f6b8
[INFO] [stdout]                                at /opt/rustwide/workdir/cgaal-engine/src/algorithms/certain_zero/mod.rs:424:21
[INFO] [stdout]   25:     0x55bcabe7476b - cgaal_engine::algorithms::certain_zero::Worker<B,G,V,S>::run::h6e78758d3bcc764f
[INFO] [stdout]                                at /opt/rustwide/workdir/cgaal-engine/src/algorithms/certain_zero/mod.rs:277:16
[INFO] [stdout]   26:     0x55bcabe66c2d - cgaal_engine::algorithms::certain_zero::distributed_certain_zero::{{closure}}::h8dbeaf4530efef66
[INFO] [stdout]                                at /opt/rustwide/workdir/cgaal-engine/src/algorithms/certain_zero/mod.rs:61:13
[INFO] [stdout]   27:     0x55bcabe9db76 - std::sys_common::backtrace::__rust_begin_short_backtrace::he6312ca2b0f30c89
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/sys_common/backtrace.rs:155:18
[INFO] [stdout]   28:     0x55bcabe5f2b3 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hb41bb2398ed10d68
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/thread/mod.rs:529:17
[INFO] [stdout]   29:     0x55bcabe92f33 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hbcef5bc7a7c6839c
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   30:     0x55bcabe9442f - std::panicking::try::do_call::h9e10a7a69d7807fc
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/panicking.rs:552:40
[INFO] [stdout]   31:     0x55bcabe99b1b - __rust_try
[INFO] [stdout]   32:     0x55bcabe94398 - std::panicking::try::hf822b5715bfa9af2
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/panicking.rs:516:19
[INFO] [stdout]   33:     0x55bcabe5f0de - std::panic::catch_unwind::h8f3b0ceb09068a4a
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/panic.rs:142:14
[INFO] [stdout]   34:     0x55bcabe5f0de - std::thread::Builder::spawn_unchecked_::{{closure}}::hd47983ab67eac66f
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/thread/mod.rs:528:30
[INFO] [stdout]   35:     0x55bcabe484ae - core::ops::function::FnOnce::call_once{{vtable.shim}}::h114d7238204a5634
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   36:     0x55bcabfa3195 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h12de4fc57affb195
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/alloc/src/boxed.rs:2015:9
[INFO] [stdout]   37:     0x55bcabfa3195 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h3c619f45059d5cf1
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/alloc/src/boxed.rs:2015:9
[INFO] [stdout]   38:     0x55bcabfa3195 - std::sys::unix::thread::Thread::new::thread_start::hbac657605e4b7389
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/sys/unix/thread.rs:108:17
[INFO] [stdout]   39:     0x7f9ba898cac3 - <unknown>
[INFO] [stdout]   40:     0x7f9ba8a1dbf4 - __clone
[INFO] [stdout]   41:                0x0 - <unknown>
[INFO] [stdout] thread 'strat_syn_enforce_invariant_false' panicked at /opt/rustwide/workdir/cgaal-engine/src/algorithms/certain_zero/mod.rs:87:18:
[INFO] [stdout] Error receiving the assignment table: RecvError
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x55bcabf9c496 - std::backtrace_rs::backtrace::libunwind::trace::hbee8a7973eeb6c93
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/../../backtrace/src/backtrace/libunwind.rs:104:5
[INFO] [stdout]    1:     0x55bcabf9c496 - std::backtrace_rs::backtrace::trace_unsynchronized::hc8ac75eea3aa6899
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stdout]    2:     0x55bcabf9c496 - std::sys_common::backtrace::_print_fmt::hc7f3e3b5298b1083
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/sys_common/backtrace.rs:68:5
[INFO] [stdout]    3:     0x55bcabf9c496 - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::hbb235daedd7c6190
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/sys_common/backtrace.rs:44:22
[INFO] [stdout]    4:     0x55bcabfc5a70 - core::fmt::rt::Argument::fmt::h76c38a80d925a410
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/core/src/fmt/rt.rs:142:9
[INFO] [stdout]    5:     0x55bcabfc5a70 - core::fmt::write::h3ed6aeaa977c8e45
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/core/src/fmt/mod.rs:1120:17
[INFO] [stdout]    6:     0x55bcabf99eef - std::io::Write::write_fmt::h1299aa7741865f2b
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/io/mod.rs:1810:15
[INFO] [stdout]    7:     0x55bcabf9c274 - std::sys_common::backtrace::_print::h5d645a07e0fcfdbb
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/sys_common/backtrace.rs:47:5
[INFO] [stdout]    8:     0x55bcabf9c274 - std::sys_common::backtrace::print::h85035a511aafe7a8
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/sys_common/backtrace.rs:34:9
[INFO] [stdout]    9:     0x55bcabf9dfe7 - std::panicking::default_hook::{{closure}}::hcce8cea212785a25
[INFO] [stdout]   10:     0x55bcabf9dccd - std::panicking::default_hook::hf5fcb0f213fe709a
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/panicking.rs:289:9
[INFO] [stdout]   11:     0x55bcabee4cc7 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h60265c2dfa87ee34
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/alloc/src/boxed.rs:2029:9
[INFO] [stdout]   12:     0x55bcabee4cc7 - test::test_main::{{closure}}::h77865bd3127078c6
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/test/src/lib.rs:138:21
[INFO] [stdout]   13:     0x55bcabf9e606 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::hbc5ccf4eb663e1e5
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/alloc/src/boxed.rs:2029:9
[INFO] [stdout]   14:     0x55bcabf9e606 - std::panicking::rust_panic_with_hook::h095fccf1dc9379ee
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/panicking.rs:783:13
[INFO] [stdout]   15:     0x55bcabf9e352 - std::panicking::begin_panic_handler::{{closure}}::h032ba12139b353db
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/panicking.rs:657:13
[INFO] [stdout]   16:     0x55bcabf9c996 - std::sys_common::backtrace::__rust_end_short_backtrace::h9259bc2ff8fd0f76
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/sys_common/backtrace.rs:171:18
[INFO] [stdout]   17:     0x55bcabf9e0b0 - rust_begin_unwind
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/panicking.rs:645:5
[INFO] [stdout]   18:     0x55bcabe06d35 - core::panicking::panic_fmt::h784f20a50eaab275
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/core/src/panicking.rs:72:14
[INFO] [stdout]   19:     0x55bcabe072d3 - core::result::unwrap_failed::h03d8a5018196e1cd
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/core/src/result.rs:1649:5
[INFO] [stdout]   20:     0x55bcabe7cc1d - core::result::Result<T,E>::expect::h0ea1f3e11438ca9d
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/core/src/result.rs:1030:23
[INFO] [stdout]   21:     0x55bcabe65e8d - cgaal_engine::algorithms::certain_zero::distributed_certain_zero::h9fe61f4ed0988ff3
[INFO] [stdout]                                at /opt/rustwide/workdir/cgaal-engine/src/algorithms/certain_zero/mod.rs:85:31
[INFO] [stdout]   22:     0x55bcabe35240 - partial_strategy_synthesis::strat_syn_enforce_invariant_false::h48987f7d081cf723
[INFO] [stdout]                                at /opt/rustwide/workdir/cgaal-engine/tests/partial_strategy_synthesis.rs:318:5
[INFO] [stdout]   23:     0x55bcabe34e27 - partial_strategy_synthesis::strat_syn_enforce_invariant_false::{{closure}}::h473f5be1a52407d5
[INFO] [stdout]                                at /opt/rustwide/workdir/cgaal-engine/tests/partial_strategy_synthesis.rs:317:39
[INFO] [stdout]   24:     0x55bcabe48eb6 - core::ops::function::FnOnce::call_once::h665ece1de8754548
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x55bcabeea59f - core::ops::function::FnOnce::call_once::h8dc6907944022cf6
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   26:     0x55bcabeea59f - test::__rust_begin_short_backtrace::haae1a87433f1efb3
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/test/src/lib.rs:627:18
[INFO] [stdout]   27:     0x55bcabee9321 - test::run_test_in_process::{{closure}}::h8c7decfa7c14e152
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/test/src/lib.rs:650:60
[INFO] [stdout]   28:     0x55bcabee9321 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h19e6ff056d9d21e9
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   29:     0x55bcabee9321 - std::panicking::try::do_call::h89c848fcaa37c035
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/panicking.rs:552:40
[INFO] [stdout]   30:     0x55bcabee9321 - std::panicking::try::h57ab3dc74e2839b8
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/panicking.rs:516:19
[INFO] [stdout]   31:     0x55bcabee9321 - std::panic::catch_unwind::hfb6a1b1abc120fb9
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/panic.rs:142:14
[INFO] [stdout]   32:     0x55bcabee9321 - test::run_test_in_process::h5ae2f9875edd562d
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/test/src/lib.rs:650:27
[INFO] [stdout]   33:     0x55bcabee9321 - test::run_test::{{closure}}::h35d7300d8928a067
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/test/src/lib.rs:573:43
[INFO] [stdout]   34:     0x55bcabeb0656 - test::run_test::{{closure}}::h7525ced405d23d1b
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/test/src/lib.rs:601:41
[INFO] [stdout]   35:     0x55bcabeb0656 - std::sys_common::backtrace::__rust_begin_short_backtrace::h4e7db78ce05afad8
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/sys_common/backtrace.rs:155:18
[INFO] [stdout]   36:     0x55bcabeb56b7 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hcfbcb64f1a1b3482
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/thread/mod.rs:529:17
[INFO] [stdout]   37:     0x55bcabeb56b7 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h9d89c5c4108bd689
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   38:     0x55bcabeb56b7 - std::panicking::try::do_call::h8a4869bc94ec50c9
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/panicking.rs:552:40
[INFO] [stdout]   39:     0x55bcabeb56b7 - std::panicking::try::h9a576f20ff81ac30
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/panicking.rs:516:19
[INFO] [stdout]   40:     0x55bcabeb56b7 - std::panic::catch_unwind::hbcb4e3f860ef9830
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/panic.rs:142:14
[INFO] [stdout]   41:     0x55bcabeb56b7 - std::thread::Builder::spawn_unchecked_::{{closure}}::h93c79a6be1505948
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/thread/mod.rs:528:30
[INFO] [stdout]   42:     0x55bcabeb56b7 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h426d96740c81bdaf
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   43:     0x55bcabfa3195 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h12de4fc57affb195
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/alloc/src/boxed.rs:2015:9
[INFO] [stdout]   44:     0x55bcabfa3195 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h3c619f45059d5cf1
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/alloc/src/boxed.rs:2015:9
[INFO] [stdout]   45:     0x55bcabfa3195 - std::sys::unix::thread::Thread::new::thread_start::hbac657605e4b7389
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/sys/unix/thread.rs:108:17
[INFO] [stdout]   46:     0x7f9ba898cac3 - <unknown>
[INFO] [stdout]   47:     0x7f9ba8a1dbf4 - __clone
[INFO] [stdout]   48:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     strat_syn_enforce_invariant_false
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 18 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.06s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `-p cgaal-engine --test partial_strategy_synthesis`
[INFO] running `Command { std: "docker" "inspect" "52065c56c464ce6cef9b7555dc88f233be047a5b551d374475763f7646f36dd2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "52065c56c464ce6cef9b7555dc88f233be047a5b551d374475763f7646f36dd2", kill_on_drop: false }`
[INFO] [stdout] 52065c56c464ce6cef9b7555dc88f233be047a5b551d374475763f7646f36dd2
[INFO] testing d702e20/OnTheFlyATL against beta-2024-02-10 for beta-1.77-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fd702e20%2FOnTheFlyATL" "/workspace/builds/worker-7-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc2/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/d702e20/OnTheFlyATL on toolchain beta-2024-02-10
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2024-02-10" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/d702e20/OnTheFlyATL
[INFO] finished tweaking git repo https://github.com/d702e20/OnTheFlyATL
[INFO] tweaked toml for git repo https://github.com/d702e20/OnTheFlyATL written to /workspace/builds/worker-7-tc2/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2024-02-10" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2024-02-10" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2024-02-10" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 8076acc289eb74486e9ab7c0a36a3232b787cb876709ed8dc2c65819b21cd4b5
[INFO] running `Command { std: "docker" "start" "-a" "8076acc289eb74486e9ab7c0a36a3232b787cb876709ed8dc2c65819b21cd4b5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "8076acc289eb74486e9ab7c0a36a3232b787cb876709ed8dc2c65819b21cd4b5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8076acc289eb74486e9ab7c0a36a3232b787cb876709ed8dc2c65819b21cd4b5", kill_on_drop: false }`
[INFO] [stdout] 8076acc289eb74486e9ab7c0a36a3232b787cb876709ed8dc2c65819b21cd4b5
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2024-02-10" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] f2ab1f371ee2177b494f1c4de43088371ce2b70b76673e9394d3deec7b6e4efa
[INFO] running `Command { std: "docker" "start" "-a" "f2ab1f371ee2177b494f1c4de43088371ce2b70b76673e9394d3deec7b6e4efa", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.78
[INFO] [stderr]    Compiling num-traits v0.2.18
[INFO] [stderr]    Compiling libc v0.2.153
[INFO] [stderr]    Compiling memchr v2.7.1
[INFO] [stderr]    Compiling once_cell v1.19.0
[INFO] [stderr]    Compiling num-complex v0.2.4
[INFO] [stderr]    Compiling regex-syntax v0.8.2
[INFO] [stderr]    Compiling serde v1.0.196
[INFO] [stderr]    Compiling rawpointer v0.2.1
[INFO] [stderr]    Compiling ndarray v0.13.1
[INFO] [stderr]    Compiling indexmap v1.9.3
[INFO] [stderr]    Compiling crossbeam-utils v0.8.19
[INFO] [stderr]    Compiling log v0.4.20
[INFO] [stderr]    Compiling priority-queue v1.4.0
[INFO] [stderr]    Compiling regex-syntax v0.6.29
[INFO] [stderr]    Compiling serde_json v1.0.113
[INFO] [stderr]    Compiling matrixmultiply v0.2.4
[INFO] [stderr]    Compiling tracing-core v0.1.32
[INFO] [stderr]    Compiling ppv-lite86 v0.2.17
[INFO] [stderr]    Compiling hashbrown v0.12.3
[INFO] [stderr]    Compiling ansi_term v0.12.1
[INFO] [stderr]    Compiling iana-time-zone v0.1.60
[INFO] [stderr]    Compiling itoa v1.0.10
[INFO] [stderr]    Compiling unicode-width v0.1.11
[INFO] [stderr]    Compiling ryu v1.0.16
[INFO] [stderr]    Compiling lazy_static v1.4.0
[INFO] [stderr]    Compiling aho-corasick v1.1.2
[INFO] [stderr]    Compiling sharded-slab v0.1.7
[INFO] [stderr]    Compiling textwrap v0.11.0
[INFO] [stderr]    Compiling tracing-log v0.1.4
[INFO] [stderr]    Compiling thread_local v1.1.7
[INFO] [stderr]    Compiling smallvec v1.13.1
[INFO] [stderr]    Compiling strsim v0.8.0
[INFO] [stderr]    Compiling quote v1.0.35
[INFO] [stderr]    Compiling crossbeam-channel v0.5.11
[INFO] [stderr]    Compiling float-ord v0.3.2
[INFO] [stderr]    Compiling vec_map v0.8.2
[INFO] [stderr]    Compiling joinery v2.1.0
[INFO] [stderr]    Compiling humantime v2.1.0
[INFO] [stderr]    Compiling syn v2.0.48
[INFO] [stderr]    Compiling getrandom v0.2.12
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling num_cpus v1.16.0
[INFO] [stderr]    Compiling clap v2.34.0
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling regex-automata v0.1.10
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]    Compiling num-integer v0.1.46
[INFO] [stderr]    Compiling regex-automata v0.4.5
[INFO] [stderr]    Compiling num-traits v0.1.43
[INFO] [stderr]    Compiling chrono v0.4.34
[INFO] [stderr]    Compiling matchers v0.0.1
[INFO] [stderr]    Compiling sprs v0.7.1
[INFO] [stderr]    Compiling bstr v1.9.0
[INFO] [stderr]    Compiling regex v1.10.3
[INFO] [stderr]    Compiling pom v3.3.0
[INFO] [stderr]    Compiling minilp v0.2.2
[INFO] [stderr]    Compiling serde_derive v1.0.196
[INFO] [stderr]    Compiling tracing-attributes v0.1.27
[INFO] [stderr]    Compiling git-version-macro v0.3.9
[INFO] [stderr]    Compiling git-version v0.3.9
[INFO] [stderr]    Compiling tracing v0.1.40
[INFO] [stderr]    Compiling tracing-serde v0.1.3
[INFO] [stderr]    Compiling cgaal-engine v2.0.1 (/opt/rustwide/workdir/cgaal-engine)
[INFO] [stderr]    Compiling tracing-subscriber v0.2.25
[INFO] [stderr]    Compiling cgaal v2.0.3 (/opt/rustwide/workdir/cgaal-cli)
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 19.85s
[INFO] running `Command { std: "docker" "inspect" "f2ab1f371ee2177b494f1c4de43088371ce2b70b76673e9394d3deec7b6e4efa", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f2ab1f371ee2177b494f1c4de43088371ce2b70b76673e9394d3deec7b6e4efa", kill_on_drop: false }`
[INFO] [stdout] f2ab1f371ee2177b494f1c4de43088371ce2b70b76673e9394d3deec7b6e4efa
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2024-02-10" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] ddb276dbeffc90711a30d58cb965502aa808c6aa026567380f629c8646e335a4
[INFO] running `Command { std: "docker" "start" "-a" "ddb276dbeffc90711a30d58cb965502aa808c6aa026567380f629c8646e335a4", kill_on_drop: false }`
[INFO] [stderr]    Compiling serde v1.0.196
[INFO] [stderr]    Compiling crossbeam-utils v0.8.19
[INFO] [stderr]    Compiling either v1.10.0
[INFO] [stderr]    Compiling rayon-core v1.12.1
[INFO] [stderr]    Compiling half v2.3.1
[INFO] [stderr]    Compiling plotters-backend v0.3.5
[INFO] [stderr]    Compiling anstyle v1.0.6
[INFO] [stderr]    Compiling ciborium-io v0.2.2
[INFO] [stderr]    Compiling clap_lex v0.7.0
[INFO] [stderr]    Compiling matchers v0.1.0
[INFO] [stderr]    Compiling cast v0.3.0
[INFO] [stderr]    Compiling same-file v1.0.6
[INFO] [stderr]    Compiling test-log-macros v0.2.14
[INFO] [stderr]    Compiling is-terminal v0.4.12
[INFO] [stderr]    Compiling oorandom v11.1.3
[INFO] [stderr]    Compiling anes v0.1.6
[INFO] [stderr]    Compiling tracing-subscriber v0.3.18
[INFO] [stderr]    Compiling walkdir v2.4.0
[INFO] [stderr]    Compiling clap_builder v4.5.0
[INFO] [stderr]    Compiling itertools v0.10.5
[INFO] [stderr]    Compiling plotters-svg v0.3.5
[INFO] [stderr]    Compiling ciborium-ll v0.2.2
[INFO] [stderr]    Compiling plotters v0.3.5
[INFO] [stderr]    Compiling crossbeam-epoch v0.9.18
[INFO] [stderr]    Compiling crossbeam-channel v0.5.11
[INFO] [stderr]    Compiling crossbeam-deque v0.8.5
[INFO] [stderr]    Compiling test-log v0.2.14
[INFO] [stderr]    Compiling criterion-plot v0.5.0
[INFO] [stderr]    Compiling rayon v1.8.1
[INFO] [stderr]    Compiling clap v4.5.0
[INFO] [stderr]    Compiling serde_json v1.0.113
[INFO] [stderr]    Compiling tracing-serde v0.1.3
[INFO] [stderr]    Compiling ciborium v0.2.2
[INFO] [stderr]    Compiling cgaal-engine v2.0.1 (/opt/rustwide/workdir/cgaal-engine)
[INFO] [stderr]    Compiling tracing-subscriber v0.2.25
[INFO] [stderr]    Compiling tinytemplate v1.2.1
[INFO] [stderr]    Compiling criterion v0.5.1
[INFO] [stderr]    Compiling cgaal v2.0.3 (/opt/rustwide/workdir/cgaal-cli)
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 26.51s
[INFO] running `Command { std: "docker" "inspect" "ddb276dbeffc90711a30d58cb965502aa808c6aa026567380f629c8646e335a4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ddb276dbeffc90711a30d58cb965502aa808c6aa026567380f629c8646e335a4", kill_on_drop: false }`
[INFO] [stdout] ddb276dbeffc90711a30d58cb965502aa808c6aa026567380f629c8646e335a4
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2024-02-10" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 5b10b064cb9f08bf17d1f6b2ec6baa6d93fd85fadd4b2a368ed0563b949716a3
[INFO] running `Command { std: "docker" "start" "-a" "5b10b064cb9f08bf17d1f6b2ec6baa6d93fd85fadd4b2a368ed0563b949716a3", kill_on_drop: false }`
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 0.20s
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/cgaal-c10b0383fba6c879)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/cgaal_engine-1d1574f46d7e49fd)
[INFO] [stdout] 
[INFO] [stdout] running 125 tests
[INFO] [stdout] test algorithms::certain_zero::search_strategy::linear_constraints::test::non_linear_constraint_04 ... ok
[INFO] [stdout] test algorithms::certain_zero::search_strategy::linear_constraints::test::non_linear_constraint_02 ... ok
[INFO] [stdout] test algorithms::certain_zero::search_strategy::linear_constraints::test::non_linear_constraint_05 ... ok
[INFO] [stdout] test algorithms::certain_zero::search_strategy::composite::test::composite_search_strategy_001 ... ok
[INFO] [stdout] test algorithms::certain_zero::search_strategy::linear_constraints::test::non_linear_constraint_01 ... ok
[INFO] [stdout] test algorithms::certain_zero::search_strategy::linear_constraints::test::other_linear_constraint_03 ... ok
[INFO] [stdout] test algorithms::certain_zero::search_strategy::linear_constraints::test::simple_comparison_03 ... ok
[INFO] [stdout] test algorithms::certain_zero::search_strategy::linear_constraints::test::simple_comparison_01 ... ok
[INFO] [stdout] test algorithms::certain_zero::search_strategy::linear_constraints::test::simple_comparison_04 ... ok
[INFO] [stdout] test algorithms::certain_zero::search_strategy::linear_constraints::test::normal_linear_constraint_02 ... ok
[INFO] [stdout] test algorithms::certain_zero::search_strategy::linear_constraints::test::other_linear_constraint_01 ... ok
[INFO] [stdout] test algorithms::certain_zero::search_strategy::linear_constraints::test::other_linear_constraint_02 ... ok
[INFO] [stdout] test algorithms::certain_zero::search_strategy::linear_constraints::test::other_linear_constraint_04 ... ok
[INFO] [stdout] test algorithms::certain_zero::search_strategy::linear_constraints::test::normal_linear_constraint_03 ... ok
[INFO] [stdout] test algorithms::certain_zero::search_strategy::linear_constraints::test::normal_linear_constraint_05 ... ok
[INFO] [stdout] test algorithms::certain_zero::search_strategy::linear_constraints::test::normal_linear_constraint_04 ... ok
[INFO] [stdout] test algorithms::certain_zero::search_strategy::linear_constraints::test::simple_comparison_02 ... ok
[INFO] [stdout] test algorithms::certain_zero::search_strategy::linear_constraints::test::other_linear_constraint_05 ... ok
[INFO] [stdout] test algorithms::certain_zero::search_strategy::linear_constraints::test::normal_linear_constraint_06 ... ok
[INFO] [stdout] test algorithms::certain_zero::search_strategy::linear_constraints::test::normal_linear_constraint_01 ... ok
[INFO] [stdout] test algorithms::certain_zero::search_strategy::linear_constraints::test::non_linear_constraint_03 ... ok
[INFO] [stdout] test algorithms::certain_zero::test::test_dcz_empty_hyper_edge ... ok
[INFO] [stdout] test algorithms::certain_zero::test::test_dcz_general_04 ... ok
[INFO] [stdout] test algorithms::certain_zero::test::test_dcz_negation_01 ... ok
[INFO] [stdout] test algorithms::certain_zero::test::test_dcz_general_05 ... ok
[INFO] [stdout] test algorithms::certain_zero::test::test_dcz_general_06 ... ok
[INFO] [stdout] test algorithms::certain_zero::test::test_dcz_general_07 ... ok
[INFO] [stdout] test algorithms::global::multithread::test::test_multi_global_algorithm_empty_hyper_edge ... ok
[INFO] [stdout] test algorithms::global::multithread::test::test_multi_global_algorithm_general_01 ... ok
[INFO] [stdout] test algorithms::certain_zero::test::test_dcz_negation_04 ... ok
[INFO] [stdout] test algorithms::certain_zero::test::test_dcz_negation_03 ... ok
[INFO] [stdout] test algorithms::global::multithread::test::test_multi_global_algorithm_general_06 ... ok
[INFO] [stdout] test algorithms::global::multithread::test::test_multi_global_algorithm_general_04 ... ok
[INFO] [stdout] test algorithms::certain_zero::test::test_dcz_no_successors ... ok
[INFO] [stdout] test algorithms::global::multithread::test::test_multi_global_algorithm_general_07 ... ok
[INFO] [stdout] test algorithms::certain_zero::test::test_dcz_negation_02 ... ok
[INFO] [stdout] test algorithms::global::multithread::test::test_multi_global_algorithm_general_02 ... ok
[INFO] [stdout] test algorithms::global::multithread::test::test_multi_global_algorithm_negation_02 ... ok
[INFO] [stdout] test algorithms::global::multithread::test::test_multi_global_algorithm_general_08 ... ok
[INFO] [stdout] test algorithms::global::multithread::test::test_multi_global_algorithm_general_03 ... ok
[INFO] [stdout] test algorithms::global::singlethread::test::test_global_algorithm_empty_hyper_edge ... ok
[INFO] [stdout] test algorithms::global::multithread::test::test_multi_global_algorithm_negation_03 ... ok
[INFO] [stdout] test algorithms::global::multithread::test::test_multi_global_algorithm_negation_01 ... ok
[INFO] [stdout] test algorithms::global::multithread::test::test_multi_global_algorithm_no_successors ... ok
[INFO] [stdout] test algorithms::global::singlethread::test::test_global_algorithm_general_03 ... ok
[INFO] [stdout] test algorithms::global::singlethread::test::test_global_algorithm_general_02 ... ok
[INFO] [stdout] test algorithms::certain_zero::test::test_dcz_negation_05 ... ok
[INFO] [stdout] test algorithms::global::singlethread::test::test_global_algorithm_general_05 ... ok
[INFO] [stdout] test algorithms::certain_zero::test::test_dcz_general_03 ... ok
[INFO] [stdout] test algorithms::global::singlethread::test::test_global_algorithm_general_04 ... ok
[INFO] [stdout] test algorithms::global::multithread::test::test_multi_global_algorithm_general_05 ... ok
[INFO] [stdout] test algorithms::global::singlethread::test::test_global_algorithm_general_06 ... ok
[INFO] [stdout] test algorithms::certain_zero::test::test_dcz_negation_to_undecided_01 ... ok
[INFO] [stdout] test algorithms::global::singlethread::test::test_global_algorithm_general_07 ... ok
[INFO] [stdout] test algorithms::global::singlethread::test::test_global_algorithm_negation_03 ... ok
[INFO] [stdout] test algorithms::global::singlethread::test::test_global_algorithm_negation_04 ... ok
[INFO] [stdout] test algorithms::global::singlethread::test::test_global_algorithm_negation_02 ... ok
[INFO] [stdout] test algorithms::global::singlethread::test::test_global_algorithm_general_01 ... ok
[INFO] [stdout] test algorithms::global::multithread::test::test_multi_global_algorithm_negation_04 ... ok
[INFO] [stdout] test algorithms::global::singlethread::test::test_global_algorithm_negation_01 ... ok
[INFO] [stdout] test algorithms::global::singlethread::test::test_global_algorithm_general_08 ... ok
[INFO] [stdout] test algorithms::global::singlethread::test::test_global_algorithm_negation_05 ... ok
[INFO] [stdout] test algorithms::global::singlethread::test::test_global_algorithm_no_successors ... ok
[INFO] [stdout] test algorithms::solve_set::test::test_mss_basic_03 ... ok
[INFO] [stdout] test algorithms::global::singlethread::test::test_global_algorithm_negation_to_undecided_01 ... ok
[INFO] [stdout] test algorithms::solve_set::test::test_mss_basic_01 ... ok
[INFO] [stdout] test algorithms::solve_set::test::test_mss_avoid_double_counting_02 ... ok
[INFO] [stdout] test algorithms::solve_set::test::test_mss_basic_04 ... ok
[INFO] [stdout] test algorithms::solve_set::test::test_mss_basic_07 ... ok
[INFO] [stdout] test algorithms::solve_set::test::test_mss_basic_08 ... ok
[INFO] [stdout] test algorithms::solve_set::test::test_mss_avoid_double_counting_01 ... ok
[INFO] [stdout] test algorithms::global::multithread::test::test_multi_global_algorithm_negation_05 ... ok
[INFO] [stdout] test algorithms::global::multithread::test::test_multi_global_algorithm_negation_to_undecided_01 ... ok
[INFO] [stdout] test algorithms::solve_set::test::test_mss_basic_05 ... ok
[INFO] [stdout] test algorithms::solve_set::test::test_mss_basic_06 ... ok
[INFO] [stdout] test algorithms::solve_set::test::test_mss_basic_02 ... ok
[INFO] [stdout] test algorithms::solve_set::test::test_mss_basic_09 ... ok
[INFO] [stdout] test algorithms::solve_set::test::test_mss_basic_10 ... ok
[INFO] [stdout] test algorithms::solve_set::test::test_mss_uncertainty_02 ... ok
[INFO] [stdout] test algorithms::solve_set::test::test_mss_uncertainty_03 ... ok
[INFO] [stdout] test algorithms::solve_set::test::test_mss_basic_12 ... ok
[INFO] [stdout] test algorithms::solve_set::test::test_mss_uncertainty_04 ... ok
[INFO] [stdout] test algorithms::solve_set::test::test_mss_basic_11 ... ok
[INFO] [stdout] test algorithms::solve_set::test::test_mss_uncertainty_01 ... ok
[INFO] [stdout] test algorithms::solve_set::test::test_mss_uncertainty_05 ... ok
[INFO] [stdout] test edg::atledg::pmoves::test::vars_iterator_03 ... ok
[INFO] [stdout] test edg::atledg::pmoves::test::partial_move_iterator_01 ... ok
[INFO] [stdout] test game_structure::lcgs::eval::test::test_min ... ok
[INFO] [stdout] test game_structure::lcgs::intermediate::test::test_initial_state_01 ... ok
[INFO] [stdout] test game_structure::lcgs::eval::test::test_max ... ok
[INFO] [stdout] test game_structure::lcgs::intermediate::test::test_relabeling_02 ... ok
[INFO] [stdout] test algorithms::certain_zero::test::test_dcz_general_01 ... ok
[INFO] [stdout] test edg::atledg::pmoves::test::delta_iterator_01 ... ok
[INFO] [stdout] test edg::atledg::pmoves::test::vars_iterator_01 ... ok
[INFO] [stdout] test edg::atledg::pmoves::test::vars_iterator_02 ... ok
[INFO] [stdout] test atl::test::test_display_01 ... ok
[INFO] [stdout] test game_structure::lcgs::intermediate::test::test_labels_02 ... ok
[INFO] [stdout] test game_structure::lcgs::intermediate::test::test_state_translation_05 ... ok
[INFO] [stdout] test game_structure::lcgs::intermediate::test::test_state_translation_02 ... ok
[INFO] [stdout] test game_structure::lcgs::intermediate::test::test_state_translation_01 ... ok
[INFO] [stdout] test game_structure::lcgs::intermediate::test::test_symbol_01 ... ok
[INFO] [stdout] test game_structure::lcgs::intermediate::test::test_symbol_02 ... ok
[INFO] [stdout] test game_structure::lcgs::intermediate::test::test_relabeling_03 ... ok
[INFO] [stdout] test game_structure::lcgs::intermediate::test::test_labels_03 ... ok
[INFO] [stdout] test game_structure::lcgs::intermediate::test::test_transition_03 ... ok
[INFO] [stdout] test game_structure::lcgs::relabeling::test::test_relabeling_expr_02 ... ok
[INFO] [stdout] test game_structure::lcgs::intermediate::test::test_relabeling_01 ... ok
[INFO] [stdout] test game_structure::lcgs::intermediate::test::test_state_translation_04 ... ok
[INFO] [stdout] test game_structure::lcgs::intermediate::test::test_transition_02 ... ok
[INFO] [stdout] test game_structure::lcgs::relabeling::test::test_relabeling_expr_01 ... ok
[INFO] [stdout] test game_structure::lcgs::relabeling::test::test_relabeling_expr_03 ... ok
[INFO] [stdout] test game_structure::lcgs::intermediate::test::test_players_01 ... ok
[INFO] [stdout] test parsing::errors::tests::error_fmt_001 ... ok
[INFO] [stdout] test game_structure::lcgs::intermediate::test::test_labels_01 ... ok
[INFO] [stdout] test game_structure::lcgs::intermediate::test::test_negation_const_01 ... ok
[INFO] [stdout] test game_structure::lcgs::intermediate::test::test_initial_state_02 ... ok
[INFO] [stdout] test algorithms::certain_zero::test::test_dcz_general_08 ... ok
[INFO] [stdout] test parsing::lexer::tests::lexing_002 ... ok
[INFO] [stdout] test parsing::lexer::tests::lexing_001 ... ok
[INFO] [stdout] test parsing::errors::tests::error_fmt_002 ... ok
[INFO] [stdout] test game_structure::lcgs::intermediate::test::test_transition_01 ... ok
[INFO] [stdout] test game_structure::lcgs::intermediate::test::test_state_translation_03 ... ok
[INFO] [stdout] test game_structure::lcgs::relabeling::test::test_relabeling_label_01 ... ok
[INFO] [stdout] test game_structure::lcgs::intermediate::test::test_move_count_01 ... ok
[INFO] [stdout] test algorithms::certain_zero::test::test_dcz_general_02 ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 125 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 1.82s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/parsing_expr.rs (/opt/rustwide/target/debug/deps/parsing_expr-f612b8f5c75f824e)
[INFO] [stdout] 
[INFO] [stdout] running 21 tests
[INFO] [stdout] test erroneous_expr_002 ... ok
[INFO] [stdout] test atl_expr_003 ... ok
[INFO] [stdout] test atl_expr_001 ... ok
[INFO] [stdout] test erroneous_expr_006 ... ok
[INFO] [stdout] test atl_expr_002 ... ok
[INFO] [stdout] test erroneous_expr_004 ... ok
[INFO] [stdout] test erroneous_expr_001 ... ok
[INFO] [stdout] test erroneous_expr_003 ... ok
[INFO] [stdout] test basic_expr_003 ... ok
[INFO] [stdout] test atl_expr_005 ... ok
[INFO] [stdout] test atl_expr_batch ... ok
[INFO] [stdout] test basic_expr_002 ... ok
[INFO] [stdout] test atl_expr_erroneous_batch ... ok
[INFO] [stdout] test basic_expr_004 ... ok
[INFO] [stdout] test atl_expr_004 ... ok
[INFO] [stdout] test erroneous_expr_005 ... ok
[INFO] [stdout] test basic_expr_001 ... ok
[INFO] [stdout] test erroneous_expr_007 ... ok
[INFO] [stdout] test expr_erroneous_batch ... ok
[INFO] [stdout] test expr_batch ... ok
[INFO] [stdout] test erroneous_expr_008 ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 21 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/parsing_lcgs.rs (/opt/rustwide/target/debug/deps/parsing_lcgs-d3505bb39d3e5670)
[INFO] [stdout] 
[INFO] [stdout] running 10 tests
[INFO] [stdout] test action_decl_001 ... ok
[INFO] [stdout] test lcgs_erroneous_batch ... ok
[INFO] [stdout] test const_decl_001 ... ok
[INFO] [stdout] test player_decl_001 ... ok
[INFO] [stdout] test player_decl_002 ... ok
[INFO] [stdout] test state_label_decl_001 ... ok
[INFO] [stdout] test template_decl_001 ... ok
[INFO] [stdout] test state_var_decl_001 ... ok
[INFO] [stdout] test lcgs_batch ... ok
[INFO] [stdout] test template_decl_002 ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/partial_strategy_synthesis.rs (/opt/rustwide/target/debug/deps/partial_strategy_synthesis-d5df112826c979b6)
[INFO] [stdout] 
[INFO] [stdout] running 19 tests
[INFO] [stdout] test strat_syn_despite_until_true ... ok
[INFO] [stdout] test strat_syn_despite_next_true ... ok
[INFO] [stdout] test strat_syn_enforce_next_true ... ok
[INFO] [stdout] test strat_syn_enforce_invariant_true ... ok
[INFO] [stdout] test strat_syn_despite_next_false ... ok
[INFO] [stdout] test strat_syn_despite_eventually_undecided ... ok
[INFO] [stdout] test strat_syn_enforce_next_false ... ok
[INFO] [stdout] test strat_syn_enforce_eventually_true ... ok
[INFO] [stdout] test strat_syn_despite_eventually_true ... ok
[INFO] [stdout] test strat_syn_despite_invariant_false ... ok
[INFO] [stdout] test strat_syn_despite_invariant_true ... ok
[INFO] [stdout] test strat_syn_despite_until_undecided ... ok
[INFO] [stdout] test strat_syn_enforce_eventually_undecided ... ok
[INFO] [stdout] test test_strat_syn_no_strat_needed ... ok
[INFO] [stdout] test strat_syn_enforce_until_undecided ... ok
[INFO] [stdout] test strat_syn_enforce_until_true ... ok
[INFO] [stdout] test strat_syn_despite_until_false ... ok
[INFO] [stdout] test strat_syn_enforce_invariant_false ... ok
[INFO] [stdout] test strat_syn_unsupported_formula ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 19 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.10s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests cgaal-engine
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "5b10b064cb9f08bf17d1f6b2ec6baa6d93fd85fadd4b2a368ed0563b949716a3", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5b10b064cb9f08bf17d1f6b2ec6baa6d93fd85fadd4b2a368ed0563b949716a3", kill_on_drop: false }`
[INFO] [stdout] 5b10b064cb9f08bf17d1f6b2ec6baa6d93fd85fadd4b2a368ed0563b949716a3
