[INFO] cloning repository https://github.com/vscorza/mununu
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/vscorza/mununu" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvscorza%2Fmununu", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvscorza%2Fmununu'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 5f366b8e0793ff2cc0b88ce5a89022f9707ba408
[INFO] testing vscorza/mununu against try#dec9417b8611e34e787a3e4c37686b5131f9e5c5 for pr-154210
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvscorza%2Fmununu" "/workspace/builds/worker-2-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc2/source'...
[INFO] [stderr] done.
[INFO] removed /workspace/builds/worker-2-tc2/source/rust-toolchain.toml
[INFO] started tweaking git repo https://github.com/vscorza/mununu
[INFO] finished tweaking git repo https://github.com/vscorza/mununu
[INFO] tweaked toml for git repo https://github.com/vscorza/mununu written to /workspace/builds/worker-2-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/vscorza/mununu on toolchain dec9417b8611e34e787a3e4c37686b5131f9e5c5
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/vscorza/mununu 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" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] b18104515cd65f8c352274c59a23904cfd6c3682d843217dc6a5c5871e7114df
[INFO] running `Command { std: "docker" "start" "-a" "b18104515cd65f8c352274c59a23904cfd6c3682d843217dc6a5c5871e7114df", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "b18104515cd65f8c352274c59a23904cfd6c3682d843217dc6a5c5871e7114df", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b18104515cd65f8c352274c59a23904cfd6c3682d843217dc6a5c5871e7114df", kill_on_drop: false }`
[INFO] [stdout] b18104515cd65f8c352274c59a23904cfd6c3682d843217dc6a5c5871e7114df
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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=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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 0d53dc1d2b1baf09469f415e63d4a5363381f3e9f9bdfed0cb5ea51790b7b8e6
[INFO] running `Command { std: "docker" "start" "-a" "0d53dc1d2b1baf09469f415e63d4a5363381f3e9f9bdfed0cb5ea51790b7b8e6", kill_on_drop: false }`
[INFO] [stderr]    Compiling regex-syntax v0.8.10
[INFO] [stderr]    Compiling anstyle v1.0.14
[INFO] [stderr]    Compiling colorchoice v1.0.5
[INFO] [stderr]    Compiling clap_lex v1.1.0
[INFO] [stderr]    Compiling aho-corasick v1.1.4
[INFO] [stderr]    Compiling tracing-core v0.1.36
[INFO] [stderr]    Compiling anstyle-parse v1.0.0
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]    Compiling sharded-slab v0.1.7
[INFO] [stderr]    Compiling nu-ansi-term v0.50.3
[INFO] [stderr]    Compiling bitvec v1.0.1
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling anstream v1.0.0
[INFO] [stderr]    Compiling tracing-log v0.2.0
[INFO] [stderr]    Compiling clap_builder v4.6.0
[INFO] [stderr]    Compiling regex-automata v0.4.14
[INFO] [stderr]    Compiling tracing-attributes v0.1.31
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling clap_derive v4.6.0
[INFO] [stderr]    Compiling matchers v0.2.0
[INFO] [stderr]    Compiling regex v1.12.3
[INFO] [stderr]    Compiling tracing v0.1.44
[INFO] [stderr]    Compiling thiserror v2.0.18
[INFO] [stderr]    Compiling tracing-subscriber v0.3.23
[INFO] [stderr]    Compiling clap v4.6.0
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling mununu v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 35.45s
[INFO] running `Command { std: "docker" "inspect" "0d53dc1d2b1baf09469f415e63d4a5363381f3e9f9bdfed0cb5ea51790b7b8e6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0d53dc1d2b1baf09469f415e63d4a5363381f3e9f9bdfed0cb5ea51790b7b8e6", kill_on_drop: false }`
[INFO] [stdout] 0d53dc1d2b1baf09469f415e63d4a5363381f3e9f9bdfed0cb5ea51790b7b8e6
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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=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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 7dc0c54710267c8223ff50408dc68c80add811f051556876129c3ffab2f0f605
[INFO] running `Command { std: "docker" "start" "-a" "7dc0c54710267c8223ff50408dc68c80add811f051556876129c3ffab2f0f605", kill_on_drop: false }`
[INFO] [stderr]    Compiling cfg-if v1.0.4
[INFO] [stderr]    Compiling memchr v2.8.0
[INFO] [stderr]    Compiling regex-syntax v0.8.10
[INFO] [stderr]    Compiling zerocopy v0.8.42
[INFO] [stderr]    Compiling once_cell v1.21.4
[INFO] [stderr]    Compiling anstyle v1.0.14
[INFO] [stderr]    Compiling libc v0.2.183
[INFO] [stderr]    Compiling serde_core v1.0.228
[INFO] [stderr]    Compiling utf8parse v0.2.2
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling crossbeam-utils v0.8.21
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling zmij v1.0.21
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling anstyle-query v1.1.5
[INFO] [stderr]    Compiling zerocopy-derive v0.8.42
[INFO] [stderr]    Compiling is_terminal_polyfill v1.70.2
[INFO] [stderr]    Compiling colorchoice v1.0.5
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling itoa v1.0.17
[INFO] [stderr]    Compiling anstyle-parse v1.0.0
[INFO] [stderr]    Compiling rustix v1.1.4
[INFO] [stderr]    Compiling strsim v0.11.1
[INFO] [stderr]    Compiling tracing-core v0.1.36
[INFO] [stderr]    Compiling clap_lex v1.1.0
[INFO] [stderr]    Compiling anstream v1.0.0
[INFO] [stderr]    Compiling radium v0.7.0
[INFO] [stderr]    Compiling crossbeam-epoch v0.9.18
[INFO] [stderr]    Compiling cc v1.2.57
[INFO] [stderr]    Compiling getrandom v0.4.2
[INFO] [stderr]    Compiling lazy_static v1.5.0
[INFO] [stderr]    Compiling pin-project-lite v0.2.17
[INFO] [stderr]    Compiling log v0.4.29
[INFO] [stderr]    Compiling bitflags v2.11.0
[INFO] [stderr]    Compiling tap v1.0.1
[INFO] [stderr]    Compiling either v1.15.0
[INFO] [stderr]    Compiling clap_builder v4.6.0
[INFO] [stderr]    Compiling aho-corasick v1.1.4
[INFO] [stderr]    Compiling linux-raw-sys v0.12.1
[INFO] [stderr]    Compiling thiserror v2.0.18
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling tracing-log v0.2.0
[INFO] [stderr]    Compiling crossbeam-deque v0.8.6
[INFO] [stderr]    Compiling rand_core v0.9.5
[INFO] [stderr]    Compiling wyz v0.5.1
[INFO] [stderr]    Compiling rayon-core v1.13.0
[INFO] [stderr]    Compiling tracing v0.1.44
[INFO] [stderr]    Compiling sharded-slab v0.1.7
[INFO] [stderr]    Compiling thread_local v1.1.9
[INFO] [stderr]    Compiling funty v2.0.0
[INFO] [stderr]    Compiling ciborium-io v0.2.2
[INFO] [stderr]    Compiling nu-ansi-term v0.50.3
[INFO] [stderr]    Compiling fastrand v2.3.0
[INFO] [stderr]    Compiling predicates-core v1.0.10
[INFO] [stderr]    Compiling smallvec v1.15.1
[INFO] [stderr]    Compiling plotters-backend v0.3.7
[INFO] [stderr]    Compiling bitvec v1.0.1
[INFO] [stderr]    Compiling itertools v0.13.0
[INFO] [stderr]    Compiling float-cmp v0.10.0
[INFO] [stderr]    Compiling plotters-svg v0.3.7
[INFO] [stderr]    Compiling assert_cmd v2.2.0
[INFO] [stderr]    Compiling fnv v1.0.7
[INFO] [stderr]    Compiling regex-automata v0.4.14
[INFO] [stderr]    Compiling normalize-line-endings v0.3.0
[INFO] [stderr]    Compiling alloca v0.4.0
[INFO] [stderr]    Compiling bit-vec v0.8.0
[INFO] [stderr]    Compiling cast v0.3.0
[INFO] [stderr]    Compiling quick-error v1.2.3
[INFO] [stderr]    Compiling difflib v0.4.0
[INFO] [stderr]    Compiling termtree v0.5.1
[INFO] [stderr]    Compiling same-file v1.0.6
[INFO] [stderr]    Compiling rayon v1.11.0
[INFO] [stderr]    Compiling bit-set v0.8.0
[INFO] [stderr]    Compiling tempfile v3.27.0
[INFO] [stderr]    Compiling predicates-tree v1.0.13
[INFO] [stderr]    Compiling walkdir v2.5.0
[INFO] [stderr]    Compiling clap v4.6.0
[INFO] [stderr]    Compiling rusty-fork v0.3.1
[INFO] [stderr]    Compiling plotters v0.3.7
[INFO] [stderr]    Compiling rand v0.9.2
[INFO] [stderr]    Compiling criterion-plot v0.8.2
[INFO] [stderr]    Compiling tinytemplate v1.2.1
[INFO] [stderr]    Compiling rand_xorshift v0.4.0
[INFO] [stderr]    Compiling page_size v0.6.0
[INFO] [stderr]    Compiling anes v0.1.6
[INFO] [stderr]    Compiling oorandom v11.1.5
[INFO] [stderr]    Compiling unarray v0.1.4
[INFO] [stderr]    Compiling regex v1.12.3
[INFO] [stderr]    Compiling matchers v0.2.0
[INFO] [stderr]    Compiling tracing-subscriber v0.3.23
[INFO] [stderr]    Compiling predicates v3.1.4
[INFO] [stderr]    Compiling bstr v1.12.1
[INFO] [stderr]    Compiling mununu v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]    Compiling half v2.7.1
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling ciborium-ll v0.2.2
[INFO] [stderr]    Compiling proptest v1.10.0
[INFO] [stderr]    Compiling ciborium v0.2.2
[INFO] [stderr]    Compiling criterion v0.8.2
[INFO] [stderr]     Finished `test` profile [optimized + debuginfo] target(s) in 2m 03s
[INFO] running `Command { std: "docker" "inspect" "7dc0c54710267c8223ff50408dc68c80add811f051556876129c3ffab2f0f605", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7dc0c54710267c8223ff50408dc68c80add811f051556876129c3ffab2f0f605", kill_on_drop: false }`
[INFO] [stdout] 7dc0c54710267c8223ff50408dc68c80add811f051556876129c3ffab2f0f605
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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=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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 8b3f1c8232752151c8464c7b0fac880f92e19dfe7ef171ed8b4a70cfd194849d
[INFO] running `Command { std: "docker" "start" "-a" "8b3f1c8232752151c8464c7b0fac880f92e19dfe7ef171ed8b4a70cfd194849d", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [optimized + debuginfo] target(s) in 0.31s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/mununu-2635806eba6e4471)
[INFO] [stdout] 
[INFO] [stdout] running 565 tests
[INFO] [stdout] test abstraction::domains::tests::test_bool_domain_operations ... ok
[INFO] [stdout] test abstraction::constraint::tests::test_constraint_var_const ... ok
[INFO] [stdout] test abstraction::domains::tests::test_int_domain_add ... ok
[INFO] [stdout] test abstraction::domains::tests::test_int_domain_div ... ok
[INFO] [stdout] test abstraction::constraint::tests::test_constraint_var_var ... ok
[INFO] [stdout] test abstraction::evaluator::tests::test_comparison_constant_constant_eq ... ok
[INFO] [stdout] test abstraction::evaluator::tests::test_comparison_interval_constant ... ok
[INFO] [stdout] test abstraction::evaluator::tests::test_guard_logical_operations ... ok
[INFO] [stdout] test abstraction::domains::tests::test_int_domain_div_by_zero ... ok
[INFO] [stdout] test abstraction::domains::tests::test_int_domain_mul ... ok
[INFO] [stdout] test abstraction::expression::tests::test_expr_display ... ok
[INFO] [stdout] test abstraction::domains::tests::test_int_domain_sub ... ok
[INFO] [stdout] test abstraction::domains::tests::test_int_domain_widen ... ok
[INFO] [stdout] test abstraction::heuristics::tests::test_context_aware_accumulator ... ok
[INFO] [stdout] test abstraction::evaluator::tests::test_boolean_comparison ... ok
[INFO] [stdout] test abstraction::evaluator::tests::test_comparison_all_operators ... ok
[INFO] [stdout] test abstraction::expression::tests::test_guard_result_and ... ok
[INFO] [stdout] test abstraction::evaluator::tests::test_evaluate_expr_add ... ok
[INFO] [stdout] test abstraction::heuristics::tests::test_aggressive_abstraction ... ok
[INFO] [stdout] test abstraction::evaluator::tests::test_evaluate_expr_var ... ok
[INFO] [stdout] test abstraction::evaluator::tests::test_evaluate_guard_maybe ... ok
[INFO] [stdout] test abstraction::evaluator::tests::test_evaluate_guard_comparison ... ok
[INFO] [stdout] test abstraction::heuristics::tests::test_apply_widening_if_needed ... ok
[INFO] [stdout] test abstraction::heuristics::tests::test_heuristic_config_default ... ok
[INFO] [stdout] test abstraction::heuristics::tests::test_convert_set_to_interval_contiguous ... ok
[INFO] [stdout] test abstraction::heuristics::tests::test_context_aware_selection_counter ... ok
[INFO] [stdout] test abstraction::heuristics::tests::test_convert_set_to_interval_non_contiguous ... ok
[INFO] [stdout] test abstraction::evaluator::tests::test_comparison_interval_interval ... ok
[INFO] [stdout] test abstraction::heuristics::tests::test_select_abstract_type_small_set ... ok
[INFO] [stdout] test abstraction::heuristics::tests::test_select_abstract_type_singleton_set ... ok
[INFO] [stdout] test abstraction::heuristics::tests::test_state_space_stats ... ok
[INFO] [stdout] test abstraction::heuristics::tests::test_select_abstract_type_large_set_contiguous ... ok
[INFO] [stdout] test abstraction::heuristics::tests::test_estimate_domain_size ... ok
[INFO] [stdout] test abstraction::domains::tests::test_int_domain_constant ... ok
[INFO] [stdout] test abstraction::heuristics::tests::test_select_abstract_type_large_set_non_contiguous ... ok
[INFO] [stdout] test abstraction::heuristics::tests::test_state_space_stats_limit_checking ... ok
[INFO] [stdout] test abstraction::heuristics::tests::test_context_aware_selection_state ... ok
[INFO] [stdout] test abstraction::integration::tests::test_convert_states_from_json ... ok
[INFO] [stdout] test abstraction::integration::tests::test_convert_transitions_from_json ... ok
[INFO] [stdout] test abstraction::heuristics::tests::test_apply_widening_no_previous ... ok
[INFO] [stdout] test abstraction::refinement::tests::test_refine_interval_comparison_gt ... ok
[INFO] [stdout] test abstraction::state::tests::test_abstract_state_creation ... ok
[INFO] [stdout] test abstraction::unrolling::tests::test_apply_effects ... ok
[INFO] [stdout] test abstraction::unrolling::tests::test_building_context_effective_max_total_states ... ok
[INFO] [stdout] test abstraction::unrolling::tests::test_building_context_from_options ... ok
[INFO] [stdout] test abstraction::unrolling::tests::test_building_context_has_exceeded_limit ... ok
[INFO] [stdout] test abstraction::unrolling::tests::test_check_conflicts_explicit_assignment_non_overlapping ... ok
[INFO] [stdout] test abstraction::unrolling::tests::test_check_conflicts_explicit_assignment_compatible ... ok
[INFO] [stdout] test abstraction::unrolling::tests::test_check_conflicts_explicit_assignment_overlapping ... ok
[INFO] [stdout] test abstraction::unrolling::tests::test_building_context_location_exceeded_limit ... ok
[INFO] [stdout] test abstraction::unrolling::tests::test_check_conflicts_no_conflicts ... ok
[INFO] [stdout] test abstraction::unrolling::tests::test_check_conflicts_undeclared_variable ... ok
[INFO] [stdout] test abstraction::unrolling::tests::test_check_conflicts_explicit_assignment_incompatible ... ok
[INFO] [stdout] test abstraction::unrolling::tests::test_compatible_concrete_with_interval ... ok
[INFO] [stdout] test abstraction::integration::tests::test_convert_variables_from_json ... ok
[INFO] [stdout] test abstraction::unrolling::tests::test_compatible_boolean_values ... ok
[INFO] [stdout] test abstraction::unrolling::tests::test_compatible_intervals ... ok
[INFO] [stdout] test abstraction::refinement::tests::test_refine_interval_comparison_eq ... ok
[INFO] [stdout] test abstraction::unrolling::tests::test_building_context_is_approaching_limit ... ok
[INFO] [stdout] test abstraction::unrolling::tests::test_compatible_concrete_with_set ... ok
[INFO] [stdout] test abstraction::unrolling::tests::test_compatible_concrete_values ... ok
[INFO] [stdout] test abstraction::unrolling::tests::test_building_context_new ... ok
[INFO] [stdout] test abstraction::unrolling::tests::test_apply_effects_with_normalization ... ok
[INFO] [stdout] test abstraction::state::tests::test_abstract_state_name ... ok
[INFO] [stdout] test abstraction::unrolling::tests::test_check_conflicts_one_undeclared ... ok
[INFO] [stdout] test abstraction::unrolling::tests::test_compatible_symbol_values ... ok
[INFO] [stdout] test abstraction::unrolling::tests::test_initialize_abstract_states ... ok
[INFO] [stdout] test abstraction::unrolling::tests::test_parse_expr_string ... ok
[INFO] [stdout] test abstraction::unrolling::tests::test_state_space_explosion_error ... ok
[INFO] [stdout] test abstraction::unrolling::tests::test_refine_state_with_heuristics ... ok
[INFO] [stdout] test abstraction::unrolling::tests::test_unroll_with_abstract_values ... ok
[INFO] [stdout] test abstraction::value::tests::test_add_concrete_overflow ... ok
[INFO] [stdout] test abstraction::value::tests::test_add_concrete_concrete ... ok
[INFO] [stdout] test abstraction::value::tests::test_add_constant_set ... ok
[INFO] [stdout] test abstraction::value::tests::test_add_interval_interval ... ok
[INFO] [stdout] test abstraction::value::tests::test_add_interval_singleton ... ok
[INFO] [stdout] test abstraction::value::tests::test_add_negative_infinity ... ok
[INFO] [stdout] test abstraction::value::tests::test_add_positive_infinity ... ok
[INFO] [stdout] test abstraction::value::tests::test_arithmetic_normalization ... ok
[INFO] [stdout] test abstraction::value::tests::test_bool_set ... ok
[INFO] [stdout] test abstraction::value::tests::test_bool_set_top ... ok
[INFO] [stdout] test abstraction::value::tests::test_arithmetic_special_cases ... ok
[INFO] [stdout] test abstraction::value::tests::test_display_bool_constant ... ok
[INFO] [stdout] test abstraction::value::tests::test_display_bool_set ... ok
[INFO] [stdout] test abstraction::value::tests::test_display_int_constant ... ok
[INFO] [stdout] test abstraction::value::tests::test_add_set_set ... ok
[INFO] [stdout] test abstraction::value::tests::test_arithmetic_type_combinations ... ok
[INFO] [stdout] test abstraction::value::tests::test_display_int_interval ... ok
[INFO] [stdout] test abstraction::value::tests::test_bool_constant ... ok
[INFO] [stdout] test abstraction::value::tests::test_display_int_set ... ok
[INFO] [stdout] test abstraction::value::tests::test_display_special_values ... ok
[INFO] [stdout] test abstraction::value::tests::test_display_symbol_constant ... ok
[INFO] [stdout] test abstraction::value::tests::test_div_interval_concrete ... ok
[INFO] [stdout] test abstraction::value::tests::test_display_symbol_set ... ok
[INFO] [stdout] test abstraction::value::tests::test_div_by_zero ... ok
[INFO] [stdout] test abstraction::value::tests::test_div_concrete_concrete ... ok
[INFO] [stdout] test abstraction::value::tests::test_div_constant_interval ... ok
[INFO] [stdout] test abstraction::value::tests::test_div_constant_interval_negative ... ok
[INFO] [stdout] test abstraction::value::tests::test_div_interval_concrete_negative ... ok
[INFO] [stdout] test abstraction::value::tests::test_div_interval_contains_zero ... ok
[INFO] [stdout] test abstraction::value::tests::test_div_interval_interval ... ok
[INFO] [stdout] test abstraction::value::tests::test_div_interval_interval_mixed_signs ... ok
[INFO] [stdout] test abstraction::value::tests::test_div_interval_interval_negative ... ok
[INFO] [stdout] test abstraction::value::tests::test_div_interval_set ... ok
[INFO] [stdout] test abstraction::value::tests::test_div_interval_zero_boundary ... ok
[INFO] [stdout] test abstraction::value::tests::test_div_mixed_infinity ... ok
[INFO] [stdout] test abstraction::value::tests::test_div_negative_infinity ... ok
[INFO] [stdout] test abstraction::value::tests::test_div_negative_numerator_positive_denominator ... ok
[INFO] [stdout] test abstraction::evaluator::tests::test_comparison_set_constant ... ok
[INFO] [stdout] test abstraction::value::tests::test_div_normalization ... ok
[INFO] [stdout] test abstraction::value::tests::test_div_overflow ... ok
[INFO] [stdout] test abstraction::value::tests::test_div_constant_set ... ok
[INFO] [stdout] test abstraction::value::tests::test_div_positive_infinity ... ok
[INFO] [stdout] test abstraction::value::tests::test_div_set_constant ... ok
[INFO] [stdout] test abstraction::value::tests::test_div_set_set ... ok
[INFO] [stdout] test abstraction::value::tests::test_equality_bool_constant ... ok
[INFO] [stdout] test abstraction::value::tests::test_div_set_contains_zero ... ok
[INFO] [stdout] test abstraction::value::tests::test_equality_bool_set ... ok
[INFO] [stdout] test abstraction::value::tests::test_equality_int_constant ... ok
[INFO] [stdout] test abstraction::value::tests::test_equality_int_interval ... ok
[INFO] [stdout] test abstraction::value::tests::test_div_undefined ... ok
[INFO] [stdout] test abstraction::value::tests::test_div_top ... ok
[INFO] [stdout] test abstraction::value::tests::test_equality_int_set ... ok
[INFO] [stdout] test abstraction::value::tests::test_equality_symbol_set ... ok
[INFO] [stdout] test abstraction::value::tests::test_equality_symbol_constant ... ok
[INFO] [stdout] test abstraction::value::tests::test_int_constant ... ok
[INFO] [stdout] test abstraction::value::tests::test_join_interval_interval ... ok
[INFO] [stdout] test abstraction::unrolling::tests::test_check_conflicts_multiple_variables ... ok
[INFO] [stdout] test abstraction::value::tests::test_div_positive_numerator_negative_denominator ... ok
[INFO] [stdout] test abstraction::value::tests::test_int_interval_singleton ... ok
[INFO] [stdout] test abstraction::value::tests::test_join_symbol_constant_constant ... ok
[INFO] [stdout] test abstraction::value::tests::test_join_with_top ... ok
[INFO] [stdout] test abstraction::value::tests::test_int_set ... ok
[INFO] [stdout] test abstraction::value::tests::test_int_set_singleton ... ok
[INFO] [stdout] test abstraction::value::tests::test_int_top ... ok
[INFO] [stdout] test abstraction::value::tests::test_is_boolean ... ok
[INFO] [stdout] test abstraction::value::tests::test_is_integer ... ok
[INFO] [stdout] test abstraction::value::tests::test_is_symbol ... ok
[INFO] [stdout] test abstraction::value::tests::test_join_bool_constant_constant ... ok
[INFO] [stdout] test abstraction::value::tests::test_join_constant_constant ... ok
[INFO] [stdout] test abstraction::value::tests::test_join_constant_constant_same ... ok
[INFO] [stdout] test abstraction::value::tests::test_join_constant_interval ... ok
[INFO] [stdout] test abstraction::value::tests::test_meet_with_top ... ok
[INFO] [stdout] test abstraction::value::tests::test_mul_both_negative_intervals ... ok
[INFO] [stdout] test abstraction::value::tests::test_mul_constant_interval ... ok
[INFO] [stdout] test abstraction::value::tests::test_mul_concrete_concrete ... ok
[INFO] [stdout] test abstraction::value::tests::test_join_set_set ... ok
[INFO] [stdout] test abstraction::value::tests::test_meet_constant_constant_different ... ok
[INFO] [stdout] test abstraction::value::tests::test_meet_constant_interval ... ok
[INFO] [stdout] test abstraction::value::tests::test_meet_constant_interval_outside ... ok
[INFO] [stdout] test abstraction::value::tests::test_meet_interval_interval ... ok
[INFO] [stdout] test abstraction::value::tests::test_meet_interval_interval_empty ... ok
[INFO] [stdout] test abstraction::value::tests::test_meet_interval_interval_singleton ... ok
[INFO] [stdout] test abstraction::value::tests::test_meet_interval_set ... ok
[INFO] [stdout] test abstraction::value::tests::test_meet_constant_constant ... ok
[INFO] [stdout] test abstraction::value::tests::test_join_set_set_singleton_result ... ok
[INFO] [stdout] test abstraction::value::tests::test_meet_set_set ... ok
[INFO] [stdout] test abstraction::value::tests::test_mul_constant_set ... ok
[INFO] [stdout] test abstraction::value::tests::test_mul_constant_interval_negative ... ok
[INFO] [stdout] test abstraction::value::tests::test_mul_constant_set_zero ... ok
[INFO] [stdout] test abstraction::value::tests::test_mul_interval_interval_mixed_signs ... ok
[INFO] [stdout] test abstraction::value::tests::test_mul_interval_interval_negative ... ok
[INFO] [stdout] test abstraction::value::tests::test_mul_interval_interval_non_negative ... ok
[INFO] [stdout] test abstraction::value::tests::test_mul_interval_interval_with_zero ... ok
[INFO] [stdout] test abstraction::value::tests::test_mul_interval_negative_constant ... ok
[INFO] [stdout] test abstraction::value::tests::test_mul_mixed_infinity ... ok
[INFO] [stdout] test abstraction::value::tests::test_mul_negative_overflow ... ok
[INFO] [stdout] test abstraction::value::tests::test_mul_positive_infinity ... ok
[INFO] [stdout] test abstraction::value::tests::test_mul_interval_set ... ok
[INFO] [stdout] test abstraction::value::tests::test_mul_positive_negative_interval ... ok
[INFO] [stdout] test abstraction::value::tests::test_mul_negative_infinity ... ok
[INFO] [stdout] test abstraction::value::tests::test_mul_set_constant_zero ... ok
[INFO] [stdout] test abstraction::value::tests::test_mul_normalization ... ok
[INFO] [stdout] test abstraction::value::tests::test_mul_zero_infinity ... ok
[INFO] [stdout] test abstraction::value::tests::test_narrow_interval_interval ... ok
[INFO] [stdout] test abstraction::value::tests::test_narrow_set_set_singleton ... ok
[INFO] [stdout] test abstraction::value::tests::test_mul_set_set ... ok
[INFO] [stdout] test abstraction::value::tests::test_mul_set_constant ... ok
[INFO] [stdout] test abstraction::value::tests::test_narrow_set_set ... ok
[INFO] [stdout] test abstraction::value::tests::test_negative_infinity ... ok
[INFO] [stdout] test abstraction::value::tests::test_mul_top ... ok
[INFO] [stdout] test abstraction::value::tests::test_mul_undefined ... ok
[INFO] [stdout] test abstraction::value::tests::test_normalize_bool_set_singleton_false ... ok
[INFO] [stdout] test abstraction::value::tests::test_normalize_bool_set_singleton_true ... ok
[INFO] [stdout] test abstraction::value::tests::test_narrow_interval_interval_empty ... ok
[INFO] [stdout] test abstraction::value::tests::test_normalize_bool_set_top ... ok
[INFO] [stdout] test abstraction::value::tests::test_mul_overflow ... ok
[INFO] [stdout] test abstraction::value::tests::test_mul_zero ... ok
[INFO] [stdout] test abstraction::value::tests::test_normalize_negative_intervals ... ok
[INFO] [stdout] test abstraction::value::tests::test_normalize_special_values ... ok
[INFO] [stdout] test abstraction::value::tests::test_normalize_symbol_set_multiple ... ok
[INFO] [stdout] test abstraction::value::tests::test_normalize_concrete_values ... ok
[INFO] [stdout] test abstraction::value::tests::test_normalize_symbol_set_singleton ... ok
[INFO] [stdout] test abstraction::value::tests::test_int_interval ... ok
[INFO] [stdout] test abstraction::value::tests::test_normalize_idempotent ... ok
[INFO] [stdout] test abstraction::value::tests::test_normalize_int_interval_non_singleton ... ok
[INFO] [stdout] test abstraction::value::tests::test_normalize_int_interval_singleton ... ok
[INFO] [stdout] test abstraction::value::tests::test_normalize_int_set_multiple ... ok
[INFO] [stdout] test abstraction::value::tests::test_normalize_edge_cases ... ok
[INFO] [stdout] test abstraction::value::tests::test_normalize_int_set_singleton ... ok
[INFO] [stdout] test abstraction::value::tests::test_normalize_large_numbers ... ok
[INFO] [stdout] test abstraction::value::tests::test_sub_interval_interval ... ok
[INFO] [stdout] test abstraction::value::tests::test_sub_interval_set ... ok
[INFO] [stdout] test abstraction::value::tests::test_sub_interval_singleton ... ok
[INFO] [stdout] test abstraction::value::tests::test_sub_mixed_infinity ... ok
[INFO] [stdout] test abstraction::value::tests::test_sub_negative_infinity ... ok
[INFO] [stdout] test abstraction::value::tests::test_sub_normalization ... ok
[INFO] [stdout] test abstraction::value::tests::test_sub_positive_infinity ... ok
[INFO] [stdout] test abstraction::value::tests::test_sub_set_constant ... ok
[INFO] [stdout] test abstraction::value::tests::test_sub_underflow ... ok
[INFO] [stdout] test abstraction::value::tests::test_sub_set_set ... ok
[INFO] [stdout] test abstraction::value::tests::test_symbol_constant ... ok
[INFO] [stdout] test abstraction::value::tests::test_symbol_top ... ok
[INFO] [stdout] test abstraction::value::tests::test_undefined ... ok
[INFO] [stdout] test abstraction::value::tests::test_widen_interval_interval_extends_upper ... ok
[INFO] [stdout] test abstraction::value::tests::test_widen_interval_interval_extends_lower ... ok
[INFO] [stdout] test abstraction::value::tests::test_sub_constant_set ... ok
[INFO] [stdout] test abstraction::value::tests::test_normalize_zero ... ok
[INFO] [stdout] test abstraction::value::tests::test_sub_interval_concrete ... ok
[INFO] [stdout] test abstraction::value::tests::test_positive_infinity ... ok
[INFO] [stdout] test abstraction::value::tests::test_sub_concrete_concrete ... ok
[INFO] [stdout] test abstraction::value::tests::test_normalize_top_values ... ok
[INFO] [stdout] test abstraction::value::tests::test_sub_concrete_interval ... ok
[INFO] [stdout] test abstraction::value::tests::test_widen_bool_same_as_join ... ok
[INFO] [stdout] test clts::tests::adds_labeled_transition ... ok
[INFO] [stdout] test clts::tests::assigns_state_variables ... ok
[INFO] [stdout] test abstraction::value::tests::test_widen_interval_interval_no_extension ... ok
[INFO] [stdout] test abstraction::value::tests::test_sub_top ... ok
[INFO] [stdout] test clts::tests::builds_single_state_clts ... ok
[INFO] [stdout] test clts::tests::controllable_successors_reported ... ok
[INFO] [stdout] test clts::tests::builder_with_controllable_and_uncontrollable_transitions ... ok
[INFO] [stdout] test clts::tests::exposes_label_bitsets ... ok
[INFO] [stdout] test clts::tests::default_label_controllability ... ok
[INFO] [stdout] test clts::tests::explicit_label_controllability ... ok
[INFO] [stdout] test abstraction::value::tests::test_widen_set_set_small ... ok
[INFO] [stdout] test clts::tests::builder_returns_consistent_state_handles ... ok
[INFO] [stdout] test abstraction::value::tests::test_symbol_set ... ok
[INFO] [stdout] test abstraction::value::tests::test_symbol_set_singleton ... ok
[INFO] [stdout] test abstraction::value::tests::test_sub_undefined ... ok
[INFO] [stdout] test clts::tests::grow_capacity_zero_current ... ok
[INFO] [stdout] test clts::tests::iterates_states_in_insertion_order ... ok
[INFO] [stdout] test clts::tests::label_id_raw_accessor ... ok
[INFO] [stdout] test clts::tests::label_store_intern_in_place_reuses_buffer ... ok
[INFO] [stdout] test clts::tests::label_payload_access ... ok
[INFO] [stdout] test clts::tests::reuses_canonical_label_ids ... ok
[INFO] [stdout] test clts::tests::reuses_variable_handles ... ok
[INFO] [stdout] test clts::tests::maintains_struct_of_arrays_alignment ... ok
[INFO] [stdout] test clts::tests::grow_capacity_large_values ... ok
[INFO] [stdout] test clts::tests::precomputed_uncontrollable_groups ... ok
[INFO] [stdout] test clts::tests::exposes_variable_bitsets ... ok
[INFO] [stdout] test clts::tests::state_id_error_handling ... ok
[INFO] [stdout] test clts::tests::state_name_retrieval ... ok
[INFO] [stdout] test clts::tests::state_set_pool_reuses_zeroed_buffers ... ok
[INFO] [stdout] test clts::tests::structural_eq_comparison ... ok
[INFO] [stdout] test composition::tests::asynchronous_composition_interleaves_independent_actions ... ok
[INFO] [stdout] test clts::tests::structural_hash_consistency ... ok
[INFO] [stdout] test clts::tests::grow_capacity_small_values ... ok
[INFO] [stdout] test clts::tests::variable_store_intern_in_place_reuses_buffer ... ok
[INFO] [stdout] test composition::tests::composition_preserves_controllability ... ok
[INFO] [stdout] test composition::tests::synchronous_composition_merges_shared_alphabet ... ok
[INFO] [stdout] test composition::tests::composition_handles_unreachable_states ... ok
[INFO] [stdout] test clts::tests::tracks_incoming_transitions ... ok
[INFO] [stdout] test context::tests::canonical_label_and_variable_order_preserved ... ok
[INFO] [stdout] test composition::tests::composition_with_empty_initial_states ... ok
[INFO] [stdout] test composition::tests::composition_skips_unreachable_pairs ... ok
[INFO] [stdout] test clts::tests::variable_bitset_superset_detects_gaps ... ok
[INFO] [stdout] test composition::tests::superset_composition_handles_label_permutations ... ok
[INFO] [stdout] test context::tests::compose_named_error_handling ... ok
[INFO] [stdout] test context::tests::context_dsl_cache_diff_and_update ... ok
[INFO] [stdout] test context::tests::controllable_alphabet_accessor ... ok
[INFO] [stdout] test context::tests::evaluate_mu_many_propagates_mismatch ... ok
[INFO] [stdout] test context::tests::dsl_cache_tracks_incremental_changes ... ok
[INFO] [stdout] test context::tests::evaluate_mu_matches_direct_invocation ... ok
[INFO] [stdout] test context::tests::evaluate_mu_rejects_mismatched_environment ... ok
[INFO] [stdout] test context::tests::minimization_returns_none_when_no_reduction_possible ... ok
[INFO] [stdout] test context::tests::print_structure_shows_state_transition_counts ... ok
[INFO] [stdout] test context::tests::print_structure_handles_multiple_automata ... ok
[INFO] [stdout] test composition::tests::superset_composition_includes_union_and_permutations ... ok
[INFO] [stdout] test context::tests::print_structure_includes_global_variables ... ok
[INFO] [stdout] test context::tests::print_structure_outputs_expected_format ... ok
[INFO] [stdout] test context::tests::composes_registered_clts ... ok
[INFO] [stdout] test context::tests::registers_clts_instances ... ok
[INFO] [stdout] test context::tests::merges_label_store_on_registration ... ok
[INFO] [stdout] test context::tests::print_structure_shows_transition_details ... ok
[INFO] [stdout] test context::tests::rejects_duplicate_controllable_alphabet ... ok
[INFO] [stdout] test context::tests::rejects_duplicate_internal_alphabet ... ok
[INFO] [stdout] test context::tests::shares_label_store_across_builders ... ok
[INFO] [stdout] test clts::tests::states_iterator ... ok
[INFO] [stdout] test context::tests::synthesises_controller_no_initial_states_satisfy ... ok
[INFO] [stdout] test context::tests::synthesises_controller_realizable ... ok
[INFO] [stdout] test context::tests::synthesises_controller_reports_deadlock_traces_when_enabled ... ok
[INFO] [stdout] test context::tests::structural_hash_matches_for_identical_clts ... ok
[INFO] [stdout] test context::tests::evaluate_mu_many_runs_batch ... ok
[INFO] [stdout] test context::tests::synthesises_controller_with_counterexample_explorer ... ok
[INFO] [stdout] test context_dsl::canonicalize::tests::canonicalise_orders_everything ... ok
[INFO] [stdout] test context::tests::synthesises_controller_reports_counterstrategy_when_enabled ... ok
[INFO] [stdout] test context::tests::minimization_returns_none_for_single_state ... ok
[INFO] [stdout] test context::tests::synthesises_controller_unrealizable ... ok
[INFO] [stdout] test context::tests::tracks_global_variables ... ok
[INFO] [stdout] test context_dsl::canonicalize::tests::canonicalize_composition_kind_ranking ... ok
[INFO] [stdout] test context_dsl::canonicalize::tests::canonicalize_formula_targets_all ... ok
[INFO] [stdout] test context::tests::synthesises_controller_runs_minimization_when_enabled ... ok
[INFO] [stdout] test context_dsl::canonicalize::tests::canonicalize_expr_binary_all_operators ... ok
[INFO] [stdout] test context_dsl::canonicalize::tests::canonicalize_expr_group ... ok
[INFO] [stdout] test context_dsl::canonicalize::tests::canonicalize_expr_unary ... ok
[INFO] [stdout] test context_dsl::canonicalize::tests::canonicalize_expr_unary_neg ... ok
[INFO] [stdout] test context_dsl::canonicalize::tests::canonicalize_state_ref_indexed ... ok
[INFO] [stdout] test context_dsl::canonicalize::tests::canonicalize_state_selector_group ... ok
[INFO] [stdout] test context_dsl::canonicalize::tests::canonicalize_expr_index ... ok
[INFO] [stdout] test context_dsl::canonicalize::tests::canonicalize_transition_effects ... ok
[INFO] [stdout] test context_dsl::canonicalize::tests::canonicalize_transition_label_with_index ... ok
[INFO] [stdout] test context_dsl::canonicalize::tests::canonicalize_transition_label_epsilon ... ok
[INFO] [stdout] test context_dsl::canonicalize::tests::canonicalize_state_selector_wildcard ... ok
[INFO] [stdout] test context::tests::load_clts_from_path_error_handling ... ok
[INFO] [stdout] test context_dsl::canonicalize::tests::canonicalize_state_overrides ... ok
[INFO] [stdout] test context::tests::save_clts_to_path_error_handling ... ok
[INFO] [stdout] test context_dsl::lexer::tests::lexes_block_comments ... ok
[INFO] [stdout] test context_dsl::lexer::tests::lexes_complex_expression ... ok
[INFO] [stdout] test context_dsl::canonicalize::tests::canonicalize_transition_additional_labels ... ok
[INFO] [stdout] test context_dsl::lexer::tests::lexes_integer_overflow ... ok
[INFO] [stdout] test context_dsl::lexer::tests::lexes_empty_input ... ok
[INFO] [stdout] test context_dsl::lexer::tests::lexes_identifiers_with_underscores ... ok
[INFO] [stdout] test context_dsl::lexer::tests::lexes_identifiers ... ok
[INFO] [stdout] test context::tests::controller_diagnostics_exports_reports ... ok
[INFO] [stdout] test context::tests::spill_clts_if_exceeds_triggers ... ok
[INFO] [stdout] test context::tests::context_save_and_load_round_trip ... ok
[INFO] [stdout] test context::tests::spill_clts_if_exceeds_triggers_when_large_enough ... ok
[INFO] [stdout] test context_dsl::lexer::tests::lexes_integers ... ok
[INFO] [stdout] test context_dsl::lexer::tests::lexes_invalid_double_dot ... ok
[INFO] [stdout] test context_dsl::lexer::tests::lexes_invalid_single_ampersand ... ok
[INFO] [stdout] test context_dsl::lexer::tests::lexes_keywords ... ok
[INFO] [stdout] test context_dsl::lexer::tests::lexes_invalid_single_pipe ... ok
[INFO] [stdout] test context_dsl::lexer::tests::lexes_other_symbols ... ok
[INFO] [stdout] test context_dsl::lexer::tests::lexes_nested_block_comments ... ok
[INFO] [stdout] test context_dsl::lexer::tests::lexes_line_comments ... ok
[INFO] [stdout] test context_dsl::lexer::tests::lexes_single_char_symbols ... ok
[INFO] [stdout] test context_dsl::lexer::tests::lexes_numbers_and_identifiers ... ok
[INFO] [stdout] test context_dsl::lexer::tests::lexes_mixed_tokens ... ok
[INFO] [stdout] test context::tests::saves_and_loads_clts_via_persistence ... ok
[INFO] [stdout] test context_dsl::lexer::tests::lexes_string_escapes ... ok
[INFO] [stdout] test context_dsl::lexer::tests::lexes_strings ... ok
[INFO] [stdout] test context_dsl::lexer::tests::lexes_symbols ... ok
[INFO] [stdout] test context_dsl::lexer::tests::lexes_unexpected_char ... ok
[INFO] [stdout] test context_dsl::lexer::tests::lexes_unterminated_block_comment ... ok
[INFO] [stdout] test context_dsl::lexer::tests::lexes_unterminated_string ... ok
[INFO] [stdout] test context_dsl::lexer::tests::lexes_unterminated_string_with_escape ... ok
[INFO] [stdout] test context_dsl::lexer::tests::lexes_whitespace ... ok
[INFO] [stdout] test context_dsl::lexer::tests::lexes_multi_char_symbols ... ok
[INFO] [stdout] test context_dsl::loader::tests::automaton_change_propagates_to_composition ... ok
[INFO] [stdout] test context_dsl::loader::tests::automaton_change_propagates_to_formula_and_controller ... ok
[INFO] [stdout] test context_dsl::loader::tests::composition_removal_detection ... ok
[INFO] [stdout] test context_dsl::loader::tests::controller_change_detects_dependencies ... ok
[INFO] [stdout] test context_dsl::loader::tests::controller_removal_detection ... ok
[INFO] [stdout] test context_dsl::loader::tests::detect_removals ... ok
[INFO] [stdout] test context_dsl::loader::tests::formula_removal_detection ... ok
[INFO] [stdout] test context_dsl::loader::tests::formula_targets_all_behavior ... ok
[INFO] [stdout] test context_dsl::loader::tests::initial_plan_marks_all_changed ... ok
[INFO] [stdout] test context_dsl::loader::tests::load_plan_is_noop ... ok
[INFO] [stdout] test context_dsl::loader::tests::incremental_state_apply ... ok
[INFO] [stdout] test context_dsl::parser::tests::canonicalises_composition_members ... ok
[INFO] [stdout] test context_dsl::loader::tests::fingerprint_stability ... ok
[INFO] [stdout] test context_dsl::loader::tests::fingerprint_detects_changes ... ok
[INFO] [stdout] test context_dsl::parser::tests::identifier_parses_as_enum_type ... ok
[INFO] [stdout] test context_dsl::parser::tests::parses_all_context_sections ... ok
[INFO] [stdout] test context_dsl::parser::tests::parses_alphabet_refs_with_index ... ok
[INFO] [stdout] test context_dsl::parser::tests::parses_constants_section ... ok
[INFO] [stdout] test context_dsl::parser::tests::parses_mu_formulas_section ... ok
[INFO] [stdout] test context_dsl::parser::tests::parses_automaton_with_all_blocks ... ok
[INFO] [stdout] test context_dsl::parser::tests::parses_ranges_section ... ok
[INFO] [stdout] test context_dsl::parser::tests::parses_type_names ... ok
[INFO] [stdout] test context_dsl::parser::tests::parses_variables_with_indexed ... ok
[INFO] [stdout] test context_dsl::parser::tests::parses_mu_marker_with_nu_fixpoint ... ok
[INFO] [stdout] test context_dsl::parser::tests::rejects_missing_members_semicolon ... ok
[INFO] [stdout] test context_dsl::parser::tests::rejects_non_identifier_type_name ... ok
[INFO] [stdout] test context_dsl::parser::tests::rejects_unexpected_automaton_block_keyword ... ok
[INFO] [stdout] test context_dsl::parser::tests::rejects_unknown_composition_kind ... ok
[INFO] [stdout] test context_dsl::realize::tests::realize_extracts_input_signals_from_sidecar ... ok
[INFO] [stdout] test context_dsl::realize::tests::realize_handles_formula_parse_errors ... ok
[INFO] [stdout] test context_dsl::realize::tests::realize_environment_for_builds_predicates ... ok
[INFO] [stdout] test context_dsl::parser::tests::rejects_unexpected_section_keyword ... ok
[INFO] [stdout] test context_dsl::loader::tests::formula_change_propagates_to_controller ... ok
[INFO] [stdout] test context_dsl::realize::tests::realize_handles_formula_targets_all ... ok
[INFO] [stdout] test context_dsl::realize::tests::realize_handles_formula_targets_named ... ok
[INFO] [stdout] test context_dsl::parser::tests::parses_alphabet_with_display ... ok
[INFO] [stdout] test context_dsl::realize::tests::realize_marks_epsilon_transitions_as_uncontrollable ... ok
[INFO] [stdout] test context_dsl::realize::tests::realize_pattern_matching_for_unrolled_states ... ok
[INFO] [stdout] test context_dsl::realize::tests::realize_marks_uncontrollable_transitions ... ok
[INFO] [stdout] test context_dsl::realize::tests::realize_predicate_formula_accessor ... ok
[INFO] [stdout] test context_dsl::realize::tests::realize_rejects_duplicate_automata ... ok
[INFO] [stdout] test context_dsl::realize::tests::realize_rejects_duplicate_controllers ... ok
[INFO] [stdout] test context_dsl::realize::tests::realize_rejects_duplicate_formulas ... ok
[INFO] [stdout] test context_dsl::realize::tests::realize_predicate_names_accessor ... ok
[INFO] [stdout] test context_dsl::realize::tests::realize_rejects_unknown_automaton ... ok
[INFO] [stdout] test context_dsl::realize::tests::realize_rejects_unknown_formula ... ok
[INFO] [stdout] test context_dsl::realize::tests::realize_merges_sidecar_formulas ... ok
[INFO] [stdout] test context_dsl::tests::parses_complex_ltl_formula ... ok
[INFO] [stdout] test context_dsl::tests::parses_composition_definitions ... ok
[INFO] [stdout] test context_dsl::tests::parses_ltl_formula_with_explicit_marker ... ok
[INFO] [stdout] test context_dsl::tests::parses_controller_entries ... ok
[INFO] [stdout] test context_dsl::tests::parses_controller_options_block ... ok
[INFO] [stdout] test context_dsl::tests::parses_mixed_ltl_and_mu_formulas ... ok
[INFO] [stdout] test context_dsl::tests::parses_full_syntax_document ... ok
[INFO] [stdout] test context_dsl::tests::parses_mu_formula_with_explicit_marker ... ok
[INFO] [stdout] test context_dsl::realize::tests::realize_simple_context ... ok
[INFO] [stdout] test context_dsl::tests::parses_mu_formula_without_marker_backward_compatible ... ok
[INFO] [stdout] test context_dsl::token::tests::test_ltl_keyword_parsing ... ok
[INFO] [stdout] test guard::tests::detects_dynamic_guard_with_variable ... ok
[INFO] [stdout] test context_dsl::tests::parses_state_groups_and_wildcards ... ok
[INFO] [stdout] test context_dsl::tests::parses_state_with_multiple_variable_overrides ... ok
[INFO] [stdout] test context_dsl::tests::parses_transition_with_multiple_labels ... ok
[INFO] [stdout] test context_dsl::tests::parses_synchronous_elevator_example ... ok
[INFO] [stdout] test context_dsl::tests::test_mu_formula_with_ltl ... ok
[INFO] [stdout] test context_dsl::tests::test_formula_expr_enum ... ok
[INFO] [stdout] test context_dsl::tests::parses_asynchronous_producer_consumer_example ... ok
[INFO] [stdout] test guard::tests::detects_static_true_guard ... ok
[INFO] [stdout] test guard::tests::handles_true ... ok
[INFO] [stdout] test guard::tests::detects_static_constant_comparison ... ok
[INFO] [stdout] test ltl::ast::tests::test_ltl_ast_debug ... ok
[INFO] [stdout] test guard::tests::falls_back_to_predicate ... ok
[INFO] [stdout] test guard::tests::parses_simple_guard ... ok
[INFO] [stdout] test ltl::ast::tests::test_ltl_ast_equality ... ok
[INFO] [stdout] test ltl::parser::tests::test_parse_always ... ok
[INFO] [stdout] test guard::tests::handles_empty ... ok
[INFO] [stdout] test guard::tests::sanitizes_identifiers_in_comparison ... ok
[INFO] [stdout] test ltl::parser::tests::test_parse_and ... ok
[INFO] [stdout] test ltl::parser::tests::test_parse_complex ... ok
[INFO] [stdout] test guard::tests::sanitizes_identifiers_in_predicate ... ok
[INFO] [stdout] test guard::tests::test_escape_meta_string ... ok
[INFO] [stdout] test guard::tests::test_is_single_identifier_guard ... ok
[INFO] [stdout] test ltl::ast::tests::test_ltl_ast_creation ... ok
[INFO] [stdout] test guard::tests::test_dsl_writer_basic ... ok
[INFO] [stdout] test guard::tests::test_sanitize_identifier ... ok
[INFO] [stdout] test ltl::parser::tests::test_parse_nested ... ok
[INFO] [stdout] test ltl::parser::tests::test_parse_eventually ... ok
[INFO] [stdout] test ltl::parser::tests::test_parse_errors ... ok
[INFO] [stdout] test ltl::parser::tests::test_parse_next ... ok
[INFO] [stdout] test ltl::parser::tests::test_parse_not ... ok
[INFO] [stdout] test guard::tests::test_sanitize_and_deduplicate ... ok
[INFO] [stdout] test ltl::ast::tests::test_ltl_ast_clone ... ok
[INFO] [stdout] test ltl::parser::tests::test_parse_implies ... ok
[INFO] [stdout] test ltl::parser::tests::test_parse_or ... ok
[INFO] [stdout] test ltl::parser::tests::test_parse_release ... ok
[INFO] [stdout] test ltl::translator::tests::test_translate_nested ... ok
[INFO] [stdout] test ltl::translator::tests::test_translate_next ... ok
[INFO] [stdout] test ltl::translator::tests::test_translate_not ... ok
[INFO] [stdout] test ltl::translator::tests::test_translate_implies ... ok
[INFO] [stdout] test ltl::parser::tests::test_parse_true_false ... ok
[INFO] [stdout] test ltl::parser::tests::test_parse_until ... ok
[INFO] [stdout] test ltl::parser::tests::test_parse_weak_until ... ok
[INFO] [stdout] test ltl::translator::tests::test_translate_always ... ok
[INFO] [stdout] test ltl::translator::tests::test_translate_and ... ok
[INFO] [stdout] test ltl::translator::tests::test_translate_eventually ... ok
[INFO] [stdout] test ltl::translator::tests::test_translate_false ... ok
[INFO] [stdout] test ltl::parser::tests::test_parse_predicate ... ok
[INFO] [stdout] test ltl::parser::tests::test_parse_parentheses ... ok
[INFO] [stdout] test ltl::parser::tests::test_parse_precedence ... ok
[INFO] [stdout] test ltl::translator::tests::test_translate_or ... ok
[INFO] [stdout] test ltl::translator::tests::test_translate_recurrence ... ok
[INFO] [stdout] test ltl::translator::tests::test_translate_response ... ok
[INFO] [stdout] test ltl::translator::tests::test_translate_stabilization ... ok
[INFO] [stdout] test ltl::translator::tests::test_translate_true ... ok
[INFO] [stdout] test ltl::translator::tests::test_translate_predicate ... ok
[INFO] [stdout] test ltl::translator::tests::test_translate_until ... ok
[INFO] [stdout] test ltl::translator::tests::test_translate_release ... ok
[INFO] [stdout] test mu_calculus::evaluator::tests::box_controllable_requires_successful_choice ... ok
[INFO] [stdout] test mu_calculus::evaluator::tests::diamond_zero_steps_checks_current_state ... ok
[INFO] [stdout] test mu_calculus::evaluator::tests::bitwise_operations ... ok
[INFO] [stdout] test mu_calculus::evaluator::tests::evaluation_with_memoization ... ok
[INFO] [stdout] test mu_calculus::evaluator::tests::fixpoint_with_diamond_and_box_modalities ... ok
[INFO] [stdout] test mu_calculus::evaluator::tests::greatest_fixpoint_evaluation ... ok
[INFO] [stdout] test mu_calculus::evaluator::tests::fixpoint_with_nested_bitwise_operations ... ok
[INFO] [stdout] test mu_calculus::evaluator::tests::diamond_with_step_bound_finds_goal ... ok
[INFO] [stdout] test mu_calculus::evaluator::tests::bounded_evaluation_edge_cases ... ok
[INFO] [stdout] test mu_calculus::evaluator::tests::diamond_matches_controllable_transition ... ok
[INFO] [stdout] test mu_calculus::evaluator::tests::greatest_fixpoint_with_and_and_box_modality ... ok
[INFO] [stdout] test mu_calculus::evaluator::tests::least_fixpoint_stabilises_to_empty_set ... ok
[INFO] [stdout] test mu_calculus::evaluator::tests::greatest_fixpoint_with_box_modality ... ok
[INFO] [stdout] test mu_calculus::evaluator::tests::least_fixpoint_with_or_and_box_modality ... ok
[INFO] [stdout] test ltl::translator::tests::test_translate_weak_until ... ok
[INFO] [stdout] test mu_calculus::evaluator::tests::evaluation_with_guard_partitions ... ok
[INFO] [stdout] test mu_calculus::evaluator::tests::memoisation_and_partitions_preserve_semantics ... ok
[INFO] [stdout] test mu_calculus::evaluator::tests::skolem_paradigm_requires_controllable_choice_for_uncontrollable_group ... ok
[INFO] [stdout] test mu_calculus::invert::tests::invert_controllable_box ... ok
[INFO] [stdout] test mu_calculus::evaluator::tests::predicate_retrieval ... ok
[INFO] [stdout] test mu_calculus::invert::tests::invert_game_reachability ... ok
[INFO] [stdout] test mu_calculus::invert::tests::invert_reachability ... ok
[INFO] [stdout] test mu_calculus::evaluator::tests::skolem_paradigm_groups_uncontrollable_transitions ... ok
[INFO] [stdout] test mu_calculus::parser::tests::parses_box_with_guard_components ... ok
[INFO] [stdout] test mu_calculus::parser::tests::parses_complex_nested_formula ... ok
[INFO] [stdout] test mu_calculus::parser::tests::parses_conjunction_with_ampersand ... ok
[INFO] [stdout] test mu_calculus::evaluator::tests::skolem_paradigm_two_groups_one_satisfying_controllable ... ok
[INFO] [stdout] test mu_calculus::parser::tests::parses_conjunction_with_and_keyword ... ok
[INFO] [stdout] test mu_calculus::parser::tests::parses_conjunction_with_double_ampersand ... ok
[INFO] [stdout] test mu_calculus::evaluator::tests::skolem_paradigm_with_controllable_alternative ... ok
[INFO] [stdout] test mu_calculus::parser::tests::parses_diamond_modal_with_angle_brackets ... ok
[INFO] [stdout] test mu_calculus::parser::tests::parses_diamond_modal_with_unicode ... ok
[INFO] [stdout] test mu_calculus::evaluator::tests::variable_binding_in_formula ... ok
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/mununu-16f10e505de7f7b6)
[INFO] [stdout] test mu_calculus::invert::tests::invert_double_negation ... ok
[INFO] [stderr]      Running tests/abstraction_tests.rs (/opt/rustwide/target/debug/deps/abstraction_tests-1c8644fae61d7b54)
[INFO] [stdout] test mu_calculus::parser::tests::parses_diamond_with_label_list ... ok
[INFO] [stderr]      Running tests/asynchronous_examples.rs (/opt/rustwide/target/debug/deps/asynchronous_examples-dd7a69b7eabe7ceb)
[INFO] [stdout] test mu_calculus::parser::tests::parses_conjunction_with_wedge ... ok
[INFO] [stdout] test mu_calculus::parser::tests::parses_box_modal ... ok
[INFO] [stdout] test ltl::translator::tests::test_translate_fixpoint_names ... ok
[INFO] [stdout] test mu_calculus::invert::tests::invert_safety_invariant ... ok
[INFO] [stdout] test abstraction::value::tests::test_int_interval_invalid - should panic ... ok
[INFO] [stdout] test mu_calculus::parser::tests::parses_disjunction_with_double_pipe ... ok
[INFO] [stdout] test mu_calculus::parser::tests::parses_disjunction_with_or_keyword ... ok
[INFO] [stdout] test mu_calculus::parser::tests::parses_disjunction_with_pipe ... ok
[INFO] [stdout] test mu_calculus::parser::tests::parses_disjunction_with_vee ... ok
[INFO] [stdout] test mu_calculus::parser::tests::parses_empty_guard ... ok
[INFO] [stdout] test mu_calculus::parser::tests::parses_false_constant ... ok
[INFO] [stdout] test mu_calculus::parser::tests::parses_guard_with_control_controllable ... ok
[INFO] [stdout] test mu_calculus::parser::tests::parses_guard_with_forb_cur ... ok
[INFO] [stdout] test mu_calculus::parser::tests::parses_guard_with_req_cur ... ok
[INFO] [stdout] test mu_calculus::parser::tests::parses_guard_with_control_all ... ok
[INFO] [stdout] test mu_calculus::parser::tests::parses_guard_with_steps_equals ... ok
[INFO] [stdout] test mu_calculus::parser::tests::parses_modal_with_step_bound ... ok
[INFO] [stdout] test mu_calculus::parser::tests::parses_not_operator ... ok
[INFO] [stdout] test mu_calculus::parser::tests::parses_nu_fixpoint ... ok
[INFO] [stdout] test mu_calculus::parser::tests::parses_nu_with_unicode ... ok
[INFO] [stdout] test mu_calculus::parser::tests::parses_simple_predicate ... ok
[INFO] [stdout] test mu_calculus::parser::tests::rejects_missing_closing_paren ... ok
[INFO] [stdout] test mu_calculus::simplify::tests::eliminates_double_negation ... ok
[INFO] [stdout] test mu_calculus::simplify::tests::idempotent_conjunction ... ok
[INFO] [stdout] test mu_calculus::simplify::tests::negates_true_to_false ... ok
[INFO] [stdout] test mu_calculus::simplify::tests::idempotent_disjunction ... ok
[INFO] [stdout] test mu_calculus::simplify::tests::negates_false_to_true ... ok
[INFO] [stdout] test mu_calculus::parser::tests::test_failing_ai_formulas ... ok
[INFO] [stdout] test mu_calculus::simplify::tests::propagates_false_in_conjunction ... ok
[INFO] [stdout] test mu_calculus::parser::tests::rejects_unexpected_eof ... ok
[INFO] [stdout] test mu_calculus::parser::tests::parses_parenthesized_expression ... ok
[INFO] [stdout] test mu_calculus::parser::tests::parses_true_constant ... ok
[INFO] [stdout] test mu_calculus::parser::tests::parses_fixpoint_with_variable_reference ... ok
[INFO] [stdout] test mu_calculus::evaluator::tests::modal_with_complex_guards ... ok
[INFO] [stdout] test mu_calculus::parser::tests::parses_mu_with_unicode ... ok
[INFO] [stdout] test mu_calculus::parser::tests::rejects_trailing_characters ... ok
[INFO] [stdout] test mu_calculus::simplify::tests::propagates_true_in_conjunction ... ok
[INFO] [stdout] test mu_calculus::simplify::tests::simplifies_complex_disjunction ... ok
[INFO] [stdout] test mu_calculus::simplify::tests::simplifies_fixpoint_nu ... ok
[INFO] [stdout] test mu_calculus::simplify::tests::propagates_true_in_disjunction ... ok
[INFO] [stdout] test mu_calculus::simplify::tests::simplifies_modal_operators ... ok
[INFO] [stdout] test mu_calculus::simplify::tests::simplifies_nested_operations ... ok
[INFO] [stdout] test persistence::tests::invalid_magic_is_rejected ... ok
[INFO] [stdout] test persistence::tests::invalid_snapshot_handling ... ok
[INFO] [stdout] test mu_calculus::simplify::tests::propagates_false_in_disjunction ... ok
[INFO] [stdout] test mu_calculus::simplify::tests::simplifies_complex_conjunction ... ok
[INFO] [stdout] test mu_calculus::tests::parses_basic_formula ... ok
[INFO] [stdout] test persistence::tests::remove_segment_index_handling ... ok
[INFO] [stdout] test persistence::tests::save_load_error_handling ... ok
[INFO] [stdout] test persistence::tests::round_trip_context_snapshot ... ok
[INFO] [stdout] test persistence::tests::invalid_string_table_handling ... ok
[INFO] [stdout] test persistence::tests::segment_index_operations ... ok
[INFO] [stdout] test persistence::tests::maybe_spill_clts_edge_cases ... ok
[INFO] [stdout] test mu_calculus::simplify::tests::simplifies_fixpoint_mu ... ok
[INFO] [stdout] test persistence::tests::snapshot_index_bounds_checking ... ok
[INFO] [stdout] test persistence::tests::round_trip_preserves_label_controllability ... ok
[INFO] [stdout] test persistence::tests::round_trip_persistence ... ok
[INFO] [stdout] test persistence::tests::prefetch_and_evict_segments ... ok
[INFO] [stdout] test persistence::tests::snapshot_with_empty_clts ... ok
[INFO] [stdout] test persistence::tests::snapshot_with_epsilon_transitions ... ok
[INFO] [stdout] test persistence::tests::spill_respects_threshold ... ok
[INFO] [stdout] test persistence::tests::string_intern_behavior ... ok
[INFO] [stdout] test tests::initializes ... ok
[INFO] [stdout] test persistence::tests::round_trip_with_complex_clts ... ok
[INFO] [stdout] test persistence::tests::prefetch_missing_segment_errors ... ok
[INFO] [stdout] test persistence::tests::segment_index_error_handling ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 565 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.14s
[INFO] [stdout] 
[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] [stdout] 
[INFO] [stdout] running 10 tests
[INFO] [stdout] test test_division_by_zero ... ok
[INFO] [stdout] test test_constraint_creation ... ok
[INFO] [stdout] test test_evaluate_complex_expressions ... ok
[INFO] [stdout] test test_evaluate_guard_combinations ... ok
[INFO] [stdout] test test_evaluate_guard_with_intervals ... ok
[INFO] [stdout] test test_int_domain_arithmetic_comprehensive ... ok
[INFO] [stdout] test test_int_domain_comparisons ... ok
[INFO] [stdout] test test_unknown_variable ... ok
[INFO] [stdout] test test_abstract_state_operations ... ok
[INFO] [stdout] test test_bool_domain_all_operations ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.04s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test token_ring_passes_token ... ok
[INFO] [stdout] test two_phase_handshake_exposes_all_edges ... ok
[INFO] [stdout] test peterson_critical_reachable_from_all_states ... ok
[INFO] [stdout] test producer_consumer_can_always_reach_empty ... ok
[INFO] [stdout] test producer_consumer_has_independent_actions ... ok
[INFO] [stdout] test peterson_models_critical_release ... ok
[INFO] [stdout] test bounded_buffer_marks_overflow ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 7 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/cli_session.rs (/opt/rustwide/target/debug/deps/cli_session-0324046290bbeb92)
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test context_merge_copies_outputs ... ok
[INFO] [stdout] test context_summarize_with_print_structure_outputs_to_stdout ... ok
[INFO] [stdout] test context_eval_with_print_structure_outputs_structure ... ok
[INFO] [stdout] test context_predicates_reports_results ... ok
[INFO] [stdout] test context_summarize_with_print_structure_outputs_to_file ... ok
[INFO] [stdout] test context_eval_reports_satisfying_states ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.13s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/context_dsl_controllability.rs (/opt/rustwide/target/debug/deps/context_dsl_controllability-bad50438759db2c6)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test duplicate_controllable_declaration_fails ... ok
[INFO] [stdout] test duplicate_internal_declaration_fails ... ok
[INFO] [stdout] test parses_explicit_controllable_and_internal ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/context_dsl_integration.rs (/opt/rustwide/target/debug/deps/context_dsl_integration-752d2801eae65ee4)
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test guarded_modal_works_in_ctxdsl ... ok
[INFO] [stdout] test user_defined_state_predicate_evaluates ... ok
[INFO] [stdout] test synchronous_guard_invariant_holds ... ok
[INFO] [stdout] test asynchronous_guard_drainable_buffer ... ok
[INFO] [stdout] test controller_options_parsed_from_dsl_drive_synthesis ... ok
[INFO] [stdout] test predicates_survive_composition ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/diagnostics.rs (/opt/rustwide/target/debug/deps/diagnostics-21a7f514c27f9cc2)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test lasso_trace_produced_for_liveness_violation ... ok
[INFO] [stdout] test deadlock_trace_not_produced_when_disabled ... ok
[INFO] [stdout] test deadlock_trace_reaches_sink_state ... ok
[INFO] [stdout] test lasso_cycle_has_no_duplicate_states ... ok
[INFO] [stdout] test proof_obligation_names_violating_initial ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/dual_condition_start.rs (/opt/rustwide/target/debug/deps/dual_condition_start-686e68554bf58d80)
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test dual_condition_ctxdsl_example_parses ... ok
[INFO] [stdout] test machine_start_requires_gate_and_operator ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/integration_tests.rs (/opt/rustwide/target/debug/deps/integration_tests-cc52f200e190683a)
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test test_json_unrolling_options ... ok
[INFO] [stdout] test test_json_to_unrolling_conversion ... ok
[INFO] [stderr]      Running tests/ltl_patterns.rs (/opt/rustwide/target/debug/deps/ltl_patterns-baf83c439c3074f3)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 16 tests
[INFO] [stdout] test ltl_gf_evaluated_over_clts ... ok
[INFO] [stdout] test ltl_f_evaluated_over_clts ... ok
[INFO] [stdout] test ltl_response_evaluated_over_two_state_clts ... ok
[INFO] [stderr]      Running tests/mu_calculus_response_pattern.rs (/opt/rustwide/target/debug/deps/mu_calculus_response_pattern-4db2b75c18f53198)
[INFO] [stdout] test ltl_until_evaluated_over_clts ... ok
[INFO] [stdout] test test_reactiveness_conditional_response ... ok
[INFO] [stdout] test test_safety_bounded_buffer ... ok
[INFO] [stdout] test test_realize_ltl_liveness_formula ... ok
[INFO] [stdout] test ltl_g_evaluated_over_clts ... ok
[INFO] [stdout] test test_liveness_request_response ... ok
[INFO] [stdout] test test_gr1_basic_pattern ... ok
[INFO] [stdout] test test_until_phase_transition ... ok
[INFO] [stdout] test test_realize_ltl_safety_formula ... ok
[INFO] [stdout] test test_liveness_recurrence ... ok
[INFO] [stdout] test test_realize_mixed_ltl_and_mu_formulas ... ok
[INFO] [stdout] test test_safety_mutual_exclusion ... ok
[INFO] [stdout] test test_liveness_termination ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 16 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 10 tests
[INFO] [stdout] test test_box_modality_all_next_states ... ok
[INFO] [stdout] test test_response_pattern_executing_reachable_completed ... ok
[INFO] [stdout] test test_response_pattern_executing_unreachable_completed ... ok
[INFO] [stdout] test test_response_pattern_mixed_transitions_unreachable ... ok
[INFO] [stdout] test test_fixpoint_self_loop_unreachable_target ... ok
[INFO] [stdout] test test_inner_fixpoint_reachable_box_incorrect ... ok
[INFO] [stdout] test test_inner_fixpoint_reachable_diamond ... ok
[INFO] [stdout] test test_response_pattern_uncontrollable_self_loop_unreachable ... ok
[INFO] [stdout] test test_inner_fixpoint_unreachable ... ok
[INFO] [stdout] test test_response_pattern_self_loop_unreachable_response ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/scalable_gr1.rs (/opt/rustwide/target/debug/deps/scalable_gr1-04474985d9f6f349)
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test scalable_gr1_large ... ignored
[INFO] [stdout] test scalable_gr1_smoke ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/shared_label_controllability.rs (/opt/rustwide/target/debug/deps/shared_label_controllability-7b625eb90cd32d84)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test duplicate_controllable_ownership_rejected ... ok
[INFO] [stdout] test single_owner_shared_label_allows_realization ... ok
[INFO] [stdout] test shared_controllable_label_no_conflict_when_single_owner ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/sterile_batch_release.rs (/opt/rustwide/target/debug/deps/sterile_batch_release-1c49ea0b8ee3e04e)
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test sterile_batch_release_dsl_example_parses ... ok
[INFO] [stdout] test sterile_batch_release_properties_hold ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/synchronous_examples.rs (/opt/rustwide/target/debug/deps/synchronous_examples-9f6622294569b5c9)
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test traffic_light_has_three_phase_cycle ... ok
[INFO] [stderr]      Running tests/tier1_features.rs (/opt/rustwide/target/debug/deps/tier1_features-2c04da97b69a9789)
[INFO] [stdout] test bus_arbiter_requires_tick_for_grant ... ok
[INFO] [stdout] test traffic_light_red_state_satisfies_reachability ... ok
[INFO] [stdout] test clocked_toggle_liveness_holds_from_both_states ... ok
[INFO] [stdout] test clocked_toggle_cycles_on_tick ... ok
[INFO] [stdout] test synchronous_pipeline_uses_union_label ... ok
[INFO] [stdout] test elevator_controller_encodes_dispatch_and_arrival ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 7 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 9 tests
[INFO] [stdout] test enum_section_parses_correctly ... ok
[INFO] [stdout] test parameterized_automaton_expands ... ok
[INFO] [stdout] test state_group_expands_transitions ... ok
[INFO] [stdout] test enum_type_parses_and_resolves ... ok
[INFO] [stdout] test wildcard_expands_to_all_states ... ok
[INFO] [stdout] test state_group_graph_has_all_transitions ... ok
[INFO] [stdout] test template_graph_has_correct_automata_and_labels ... ok
[INFO] [stdout] test enum_graph_has_unrolled_transitions ... ok
[INFO] [stdout] test composition_with_indexed_members ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 9 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/unrolling_tests.rs (/opt/rustwide/target/debug/deps/unrolling_tests-93ed968c1dd306cd)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test test_simple_unrolling_no_variables ... ok
[INFO] [stdout] test test_unrolling_with_guard ... ok
[INFO] [stdout] test test_unrolling_state_limit ... ok
[INFO] [stdout] test test_unrolling_with_bool_variable ... ok
[INFO] [stderr]    Doc-tests mununu
[INFO] [stdout] test test_unrolling_with_integer_variable ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 57 tests
[INFO] [stdout] test src/abstraction/evaluator.rs - abstraction::evaluator::evaluate_expr (line 71) ... ok
[INFO] [stdout] test src/abstraction/evaluator.rs - abstraction::evaluator::evaluate_guard (line 166) ... ok
[INFO] [stdout] test src/abstraction/evaluator.rs - abstraction::evaluator::evaluate_expr (line 89) ... ok
[INFO] [stdout] test src/abstraction/heuristics.rs - abstraction::heuristics::HeuristicConfig (line 18) ... ok
[INFO] [stdout] test src/abstraction/unrolling.rs - abstraction::unrolling::unroll_states (line 859) ... ok
[INFO] [stdout] test src/abstraction/unrolling.rs - abstraction::unrolling::compatible (line 709) ... ok
[INFO] [stdout] test src/abstraction/value.rs - abstraction::value::AbstractValue::int_interval (line 110) ... ok
[INFO] [stdout] test src/abstraction/value.rs - abstraction::value::AbstractValue::join (line 1688) ... ok
[INFO] [stdout] test src/abstraction/value.rs - abstraction::value::AbstractValue::add (line 772) ... ok
[INFO] [stdout] test src/abstraction/value.rs - abstraction::value::AbstractValue::add (line 764) ... ok
[INFO] [stdout] test src/abstraction/value.rs - abstraction::value::AbstractValue::int_constant (line 74) ... ok
[INFO] [stdout] test src/abstraction/value.rs - abstraction::value::AbstractValue::int_set (line 127) ... ok
[INFO] [stdout] test src/abstraction/value.rs - abstraction::value::AbstractValue::bool_constant (line 85) ... ok
[INFO] [stdout] test src/abstraction/value.rs - abstraction::value::AbstractValue::div (line 1452) ... ok
[INFO] [stdout] test src/abstraction/value.rs - abstraction::value::AbstractValue::compare_eq (line 392) ... ok
[INFO] [stdout] test src/abstraction/value.rs - abstraction::value::AbstractValue::add (line 781) ... ok
[INFO] [stdout] test src/abstraction/value.rs - abstraction::value::AbstractValue::sub (line 988) ... ok
[INFO] [stdout] test src/abstraction/value.rs - abstraction::value::AbstractValue::symbol_top (line 179) ... ok
[INFO] [stdout] test src/abstraction/value.rs - abstraction::value::AbstractValue::add (line 756) ... ok
[INFO] [stdout] test src/abstraction/value.rs - abstraction::value::AbstractValue::int_top (line 142) ... ok
[INFO] [stdout] test src/abstraction/value.rs - abstraction::value::AbstractValue::symbol_constant (line 96) ... ok
[INFO] [stdout] test src/abstraction/value.rs - abstraction::value::AbstractValue::normalized (line 735) ... ok
[INFO] [stdout] test src/clts/mod.rs - clts::CltsBuilder<S,L>::initial (line 1686) ... ok
[INFO] [stdout] test src/clts/mod.rs - clts::Clts<S,L>::transitions_grouped_by_uncontrollable_labels (line 1137) ... ok
[INFO] [stdout] test src/clts/mod.rs - clts::CltsBuilder<S,L>::build (line 1860) ... ok
[INFO] [stdout] test src/clts/mod.rs - clts::CltsBuilder<S,L>::set_label_controllability (line 1827) ... ok
[INFO] [stdout] test src/abstraction/value.rs - abstraction::value::AbstractValue::widen (line 2051) ... ok
[INFO] [stdout] test src/clts/mod.rs - clts::CltsBuilder<S,L>::initial_state_id (line 1718) ... ok
[INFO] [stdout] test src/clts/mod.rs - clts::CltsBuilder<S,L>::state_id_or_insert (line 1625) ... ok
[INFO] [stdout] test src/clts/mod.rs - clts::CltsBuilder<S,L>::state (line 1569) ... ok
[INFO] [stdout] test src/clts/mod.rs - clts::LabelStoreBuilder (line 682) ... ok
[INFO] [stdout] test src/clts/mod.rs - clts::StateSet (line 417) ... ok
[INFO] [stdout] test src/clts/mod.rs - clts::LabelStoreBuilder<L>::intern (line 778) ... ok
[INFO] [stdout] test src/abstraction/value.rs - abstraction::value::AbstractValue::normalize (line 658) ... ok
[INFO] [stdout] test src/abstraction/value.rs - abstraction::value::AbstractValue::bool_set (line 153) ... ok
[INFO] [stdout] test src/clts/mod.rs - clts::StateSet<S>::bits (line 574) ... ok
[INFO] [stdout] test src/clts/mod.rs - clts::StateSet<S>::bits (line 566) ... ok
[INFO] [stdout] test src/clts/mod.rs - clts::StateSet<S>::bits_mut (line 603) ... ok
[INFO] [stdout] test src/clts/mod.rs - clts::VariableStoreBuilder (line 2053) ... ok
[INFO] [stdout] test src/clts/mod.rs - clts::VariableStoreBuilder (line 2070) ... ok
[INFO] [stdout] test src/clts/mod.rs - clts::VariableStoreBuilder::intern_in_place (line 2211) ... ok
[INFO] [stdout] test src/context/mod.rs - context::Context::synthesise_controller (line 472) ... ok
[INFO] [stdout] test src/clts/mod.rs - clts::VariableStoreBuilder::intern (line 2164) ... ok
[INFO] [stdout] test src/guard/mod.rs - guard::sanitize_and_deduplicate (line 78) ... ok
[INFO] [stdout] test src/guard/mod.rs - guard::sanitize_identifier (line 20) ... ok
[INFO] [stdout] test src/abstraction/value.rs - abstraction::value::AbstractValue::narrow (line 2184) ... ok
[INFO] [stdout] test src/clts/mod.rs - clts::LabelStoreBuilder<L>::intern_in_place (line 829) ... ok
[INFO] [stdout] test src/abstraction/unrolling.rs - abstraction::unrolling::check_conflicts (line 748) ... ok
[INFO] [stdout] test src/abstraction/heuristics.rs - abstraction::heuristics::HeuristicConfig (line 28) ... ok
[INFO] [stdout] test src/clts/mod.rs - clts::CltsBuilder<S,L>::state_with_name (line 1597) ... ok
[INFO] [stdout] test src/context/mod.rs - context::Context::minimise_controller (line 769) ... ok
[INFO] [stdout] test src/clts/mod.rs - clts::LabelStoreBuilder (line 703) ... ok
[INFO] [stdout] test src/abstraction/value.rs - abstraction::value::AbstractValue::meet (line 1846) ... ok
[INFO] [stdout] test src/abstraction/evaluator.rs - abstraction::evaluator::evaluate_guard (line 146) ... ok
[INFO] [stdout] test src/abstraction/unrolling.rs - abstraction::unrolling::unroll_states (line 892) ... ok
[INFO] [stdout] test src/abstraction/value.rs - abstraction::value::AbstractValue::symbol_set (line 164) ... ok
[INFO] [stdout] test src/abstraction/value.rs - abstraction::value::AbstractValue::mul (line 1188) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 57 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.06s
[INFO] [stdout] 
[INFO] [stdout] all doctests ran in 1.51s; merged doctests compilation took 1.36s
[INFO] running `Command { std: "docker" "inspect" "8b3f1c8232752151c8464c7b0fac880f92e19dfe7ef171ed8b4a70cfd194849d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8b3f1c8232752151c8464c7b0fac880f92e19dfe7ef171ed8b4a70cfd194849d", kill_on_drop: false }`
[INFO] [stdout] 8b3f1c8232752151c8464c7b0fac880f92e19dfe7ef171ed8b4a70cfd194849d