[INFO] cloning repository https://github.com/pulseengine/gale
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/pulseengine/gale" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fpulseengine%2Fgale", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fpulseengine%2Fgale'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 889ea8f0484c4f7d7bf90c1c1ffe24ff8ef1b5b1
[INFO] testing pulseengine/gale/889ea8f0484c4f7d7bf90c1c1ffe24ff8ef1b5b1 against 1.99.0-beta.8+cargoflags=--release for beta-release-1.100-2
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fpulseengine%2Fgale" "/workspace/builds/worker-6-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc1/source'...
[INFO] [stderr] done.
[INFO] removed /workspace/builds/worker-6-tc1/source/.cargo/config.toml
[INFO] removed /workspace/builds/worker-6-tc1/source/rust-toolchain.toml
[INFO] started tweaking git repo https://github.com/pulseengine/gale
[INFO] finished tweaking git repo https://github.com/pulseengine/gale
[INFO] tweaked toml for git repo https://github.com/pulseengine/gale written to /workspace/builds/worker-6-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/pulseengine/gale on toolchain 1.99.0-beta.8
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.99.0-beta.8" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/pulseengine/gale already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.99.0-beta.8" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded loom v0.7.2
[INFO] [stderr]   Downloaded criterion-plot v0.6.0
[INFO] [stderr]   Downloaded generator v0.8.8
[INFO] [stderr]   Downloaded criterion v0.7.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:77db811e55d90add9212f6832c23229e3de5f1c1f9905e8cb07319ea15df73ac" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] e9b82e26a691d5b1275e2683e6437ae0a74548720d7283092c8678407b8103ce
[INFO] running `Command { std: "docker" "start" "e9b82e26a691d5b1275e2683e6437ae0a74548720d7283092c8678407b8103ce", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "e9b82e26a691d5b1275e2683e6437ae0a74548720d7283092c8678407b8103ce", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "e9b82e26a691d5b1275e2683e6437ae0a74548720d7283092c8678407b8103ce" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "e9b82e26a691d5b1275e2683e6437ae0a74548720d7283092c8678407b8103ce", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "e9b82e26a691d5b1275e2683e6437ae0a74548720d7283092c8678407b8103ce" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "build" "--frozen" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr]    Compiling gale v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 1.03s
[INFO] running `Command { std: "docker" "inspect" "e9b82e26a691d5b1275e2683e6437ae0a74548720d7283092c8678407b8103ce", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "e9b82e26a691d5b1275e2683e6437ae0a74548720d7283092c8678407b8103ce" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "test" "--frozen" "--no-run" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.106
[INFO] [stderr]    Compiling quote v1.0.45
[INFO] [stderr]    Compiling unicode-ident v1.0.24
[INFO] [stderr]    Compiling cfg-if v1.0.4
[INFO] [stderr]    Compiling libc v0.2.183
[INFO] [stderr]    Compiling zerocopy v0.8.42
[INFO] [stderr]    Compiling serde_core v1.0.228
[INFO] [stderr]    Compiling crossbeam-utils v0.8.21
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling autocfg v1.5.0
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling rustix v1.1.4
[INFO] [stderr]    Compiling getrandom v0.4.2
[INFO] [stderr]    Compiling zmij v1.0.21
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling rayon-core v1.13.0
[INFO] [stderr]    Compiling linux-raw-sys v0.12.1
[INFO] [stderr]    Compiling regex-syntax v0.8.10
[INFO] [stderr]    Compiling either v1.15.0
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling bitflags v2.11.0
[INFO] [stderr]    Compiling crossbeam-epoch v0.9.18
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]    Compiling crossbeam-deque v0.8.6
[INFO] [stderr]    Compiling fastrand v2.3.0
[INFO] [stderr]    Compiling itoa v1.0.17
[INFO] [stderr]    Compiling memchr v2.8.0
[INFO] [stderr]    Compiling ciborium-io v0.2.2
[INFO] [stderr]    Compiling clap_lex v1.0.0
[INFO] [stderr]    Compiling rand_core v0.9.5
[INFO] [stderr]    Compiling anstyle v1.0.13
[INFO] [stderr]    Compiling plotters-backend v0.3.7
[INFO] [stderr]    Compiling once_cell v1.21.3
[INFO] [stderr]    Compiling clap_builder v4.5.60
[INFO] [stderr]    Compiling plotters-svg v0.3.7
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling itertools v0.13.0
[INFO] [stderr]    Compiling quick-error v1.2.3
[INFO] [stderr]    Compiling same-file v1.0.6
[INFO] [stderr]    Compiling fnv v1.0.7
[INFO] [stderr]    Compiling regex-automata v0.4.14
[INFO] [stderr]    Compiling tempfile v3.26.0
[INFO] [stderr]    Compiling bit-vec v0.8.0
[INFO] [stderr]    Compiling cast v0.3.0
[INFO] [stderr]    Compiling bit-set v0.8.0
[INFO] [stderr]    Compiling rusty-fork v0.3.1
[INFO] [stderr]    Compiling rayon v1.11.0
[INFO] [stderr]    Compiling walkdir v2.5.0
[INFO] [stderr]    Compiling criterion-plot v0.6.0
[INFO] [stderr]    Compiling plotters v0.3.7
[INFO] [stderr]    Compiling regex v1.12.3
[INFO] [stderr]    Compiling clap v4.5.60
[INFO] [stderr]    Compiling rand v0.9.2
[INFO] [stderr]    Compiling zerocopy-derive v0.8.42
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling rand_xorshift v0.4.0
[INFO] [stderr]    Compiling anes v0.1.6
[INFO] [stderr]    Compiling unarray v0.1.4
[INFO] [stderr]    Compiling oorandom v11.1.5
[INFO] [stderr]    Compiling tinytemplate v1.2.1
[INFO] [stderr]    Compiling half v2.7.1
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling ciborium-ll v0.2.2
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling ciborium v0.2.2
[INFO] [stderr]    Compiling proptest v1.11.0
[INFO] [stderr]    Compiling criterion v0.7.0
[INFO] [stderr]    Compiling gale v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 12m 07s
[INFO] running `Command { std: "docker" "inspect" "e9b82e26a691d5b1275e2683e6437ae0a74548720d7283092c8678407b8103ce", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "e9b82e26a691d5b1275e2683e6437ae0a74548720d7283092c8678407b8103ce" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "test" "--frozen" "--release", kill_on_drop: false }`
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 0.10s
[INFO] [stderr]      Running unittests plain/src/lib.rs (/opt/rustwide/target/release/deps/gale-fb6d530db36316f0)
[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 tests/atomic_integration.rs (/opt/rustwide/target/release/deps/atomic_integration-0fb5d3223261324a)
[INFO] [stdout] 
[INFO] [stdout] running 32 tests
[INFO] [stdout] test add_sub_roundtrip ... ok
[INFO] [stdout] test add_sub_roundtrip_wrapping ... ok
[INFO] [stdout] test and_basic ... ok
[INFO] [stdout] test all_bitwise_ops_return_old ... ok
[INFO] [stdout] test and_idempotent ... ok
[INFO] [stdout] test at1_add_returns_old_stores_sum ... ok
[INFO] [stdout] test at2_sub_returns_old_stores_diff ... ok
[INFO] [stdout] test at3_cas_success ... ok
[INFO] [stdout] test at4_cas_failure_leaves_unchanged ... ok
[INFO] [stdout] test at5_test_and_set_already_set ... ok
[INFO] [stdout] test at5_test_and_set_arbitrary_value ... ok
[INFO] [stdout] test at5_test_and_set_returns_old_sets_one ... ok
[INFO] [stdout] test at6_add_wrapping_large ... ok
[INFO] [stdout] test at6_add_wrapping ... ok
[INFO] [stdout] test at6_sub_wrapping_large ... ok
[INFO] [stdout] test at6_sub_wrapping ... ok
[INFO] [stdout] test clear_sets_zero ... ok
[INFO] [stdout] test cas_then_cas_sequence ... ok
[INFO] [stdout] test dec_returns_old ... ok
[INFO] [stdout] test dec_wraps ... ok
[INFO] [stdout] test inc_returns_old ... ok
[INFO] [stdout] test inc_wraps ... ok
[INFO] [stdout] test nand_basic ... ok
[INFO] [stdout] test new_and_get ... ok
[INFO] [stdout] test or_basic ... ok
[INFO] [stdout] test new_zero ... ok
[INFO] [stdout] test or_idempotent ... ok
[INFO] [stdout] test set_returns_old ... ok
[INFO] [stdout] test stress_inc_dec ... ok
[INFO] [stdout] test xor_basic ... ok
[INFO] [stdout] test set_clear_sequence ... ok
[INFO] [stdout] test xor_self_inverse ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 32 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/cbprintf_integration.rs (/opt/rustwide/target/release/deps/cbprintf_integration-87cee947436a0494)
[INFO] [stdout] 
[INFO] [stdout] running 38 tests
[INFO] [stdout] test cb1_flag_zero_cleared_when_dash_set ... ok
[INFO] [stdout] test cb1_flag_zero_set_without_dash ... ok
[INFO] [stdout] test cb1_prec_clamped_on_overflow ... ok
[INFO] [stdout] test cb1_width_clamped_on_overflow ... ok
[INFO] [stdout] test cb1_width_within_max ... ok
[INFO] [stdout] test cb1_prec_within_max ... ok
[INFO] [stdout] test cb2_advance_beyond_capacity_returns_enomem ... ok
[INFO] [stdout] test cb2_advance_by_zero_always_succeeds ... ok
[INFO] [stdout] test cb2_advance_within_capacity_succeeds ... ok
[INFO] [stdout] test cb2_fresh_state_zero_pos ... ok
[INFO] [stdout] test cb2_max_package_buf_capacity ... ok
[INFO] [stdout] test cb2_package_bounds_check_overflow_err ... ok
[INFO] [stdout] test cb2_package_bounds_check_within_ok ... ok
[INFO] [stdout] test cb2_sequential_advances_accumulate ... ok
[INFO] [stdout] test cb2_advance_from_full_buffer_fails ... ok
[INFO] [stdout] test cb2_advance_to_exact_capacity_succeeds ... ok
[INFO] [stdout] test cb2_total_len_tracks_position ... ok
[INFO] [stdout] test cb3_add_bytes_accumulates ... ok
[INFO] [stdout] test cb3_add_zero_bytes_is_no_op ... ok
[INFO] [stdout] test cb3_add_bytes_is_monotone ... ok
[INFO] [stdout] test cb3_fresh_state_is_zero ... ok
[INFO] [stdout] test cb3_overflow_does_not_panic_on_exact_max ... ok
[INFO] [stdout] test cb3_result_returns_none_on_overflow ... ok
[INFO] [stdout] test cb3_overflow_detected_on_saturation ... ok
[INFO] [stdout] test cb4_invalid_specifier_rejected_by_validate ... ok
[INFO] [stdout] test cb4_safe_specifiers_accepted ... ok
[INFO] [stdout] test cb3_output_bounds_check_overflow_flagged ... ok
[INFO] [stdout] test cb3_result_returns_some_when_no_overflow ... ok
[INFO] [stdout] test cb3_output_bounds_check_accumulates ... ok
[INFO] [stdout] test cb4_validate_specifier_char_safe_chars_accepted ... ok
[INFO] [stdout] test cb4_validate_specifier_char_unknown_rejected ... ok
[INFO] [stdout] test cb5_validate_specifier_char_n_rejected ... ok
[INFO] [stdout] test cb5_validate_specifier_char_n_returns_einval ... ok
[INFO] [stdout] test cb5_writeback_rejected_by_validate ... ok
[INFO] [stdout] test combined_package_then_output_tracking ... ok
[INFO] [stdout] test combined_n_specifier_in_full_pipeline ... ok
[INFO] [stdout] test combined_valid_spec_with_width_and_prec ... ok
[INFO] [stdout] test length_modifiers_accepted ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 38 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/condvar_integration.rs (/opt/rustwide/target/release/deps/condvar_integration-d4009246ab1a3423)
[INFO] [stdout] 
[INFO] [stdout] running 12 tests
[INFO] [stdout] test broadcast_idempotent ... ok
[INFO] [stdout] test c2_signal_wakes_highest_priority ... ok
[INFO] [stdout] test c1_init_empty ... ok
[INFO] [stdout] test c3_signal_empty_noop ... ok
[INFO] [stdout] test c4_broadcast_wakes_all ... ok
[INFO] [stdout] test c5_broadcast_empty_returns_zero ... ok
[INFO] [stdout] test c6_wait_adds_thread ... ok
[INFO] [stdout] test c6_wait_multiple_threads ... ok
[INFO] [stdout] test c7_signal_preserves_priority_order ... ok
[INFO] [stdout] test n_signals_equivalent_to_broadcast ... ok
[INFO] [stdout] test reuse_after_broadcast ... ok
[INFO] [stdout] test signal_then_broadcast_drains ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 12 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/cpu_mask_integration.rs (/opt/rustwide/target/release/deps/cpu_mask_integration-21c29e35018c92f3)
[INFO] [stdout] 
[INFO] [stdout] running 34 tests
[INFO] [stdout] test clear_all_cpus_is_legal ... ok
[INFO] [stdout] test cpu_pin_compute_cpu_0 ... ok
[INFO] [stdout] test cpu_pin_compute_max_cpu_31 ... ok
[INFO] [stdout] test cpu_pin_compute_max_cpus_too_large ... ok
[INFO] [stdout] test cpu_pin_compute_max_cpus_zero ... ok
[INFO] [stdout] test cpu_pin_compute_out_of_bounds ... ok
[INFO] [stdout] test cpu_pin_compute_valid_ids ... ok
[INFO] [stdout] test current_mask_max_u32_no_change ... ok
[INFO] [stdout] test disable_already_clear_bit_is_idempotent ... ok
[INFO] [stdout] test disable_max_u32_from_full ... ok
[INFO] [stdout] test disable_single_bit ... ok
[INFO] [stdout] test enable_all_cpus ... ok
[INFO] [stdout] test enable_already_set_bit_is_idempotent ... ok
[INFO] [stdout] test enable_and_disable_max_u32 ... ok
[INFO] [stdout] test enable_single_bit ... ok
[INFO] [stdout] test full_pin_workflow ... ok
[INFO] [stdout] test pin_only_accepts_single_bit ... ok
[INFO] [stdout] test pin_only_accepts_bit_15 ... ok
[INFO] [stdout] test pin_only_rejects_many_bits ... ok
[INFO] [stdout] test pin_only_rejects_two_bits ... ok
[INFO] [stdout] test enable_and_disable_simultaneously ... ok
[INFO] [stdout] test enable_max_u32 ... ok
[INFO] [stdout] test pin_to_cpu_0 ... ok
[INFO] [stdout] test pin_to_max_cpu ... ok
[INFO] [stdout] test running_thread_returns_einval_pin_only ... ok
[INFO] [stdout] test single_cpu_enable_disable_cycle ... ok
[INFO] [stdout] test validate_pin_mask_powers_of_two ... ok
[INFO] [stdout] test validate_pin_mask_two_bits_invalid ... ok
[INFO] [stdout] test running_thread_preserves_current_mask ... ok
[INFO] [stdout] test zero_mask_result_is_legal ... ok
[INFO] [stdout] test running_thread_returns_einval ... ok
[INFO] [stdout] test zero_mask_still_rejected_under_pin_only ... ok
[INFO] [stdout] test validate_pin_mask_single_bits ... ok
[INFO] [stdout] test validate_pin_mask_zero_is_invalid ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 34 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/differential_atomic.rs (/opt/rustwide/target/release/deps/differential_atomic-eceb94237760eb12)
[INFO] [stdout] 
[INFO] [stdout] running 21 tests
[INFO] [stdout] test atomic_add_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test atomic_add_returns_old_value ... ok
[INFO] [stdout] test atomic_and_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test atomic_cas_failure_leaves_value_unchanged ... ok
[INFO] [stdout] test atomic_add_sub_wrapping_roundtrip ... ok
[INFO] [stdout] test atomic_cas_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test atomic_cas_succeeds_iff_values_match ... ok
[INFO] [stdout] test atomic_clear_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test atomic_get_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test atomic_inc_dec_match_add_sub_one ... ok
[INFO] [stdout] test atomic_nand_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test atomic_or_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test atomic_sub_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test atomic_sub_returns_old_value ... ok
[INFO] [stdout] test atomic_test_and_set_always_stores_one ... ok
[INFO] [stdout] test atomic_wrapping_add_matches_rust_wrapping_add_exhaustive ... ok
[INFO] [stdout] test atomic_set_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test atomic_wrapping_sub_matches_rust_wrapping_sub_exhaustive ... ok
[INFO] [stdout] test atomic_test_and_set_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test atomic_xor_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test atomic_xor_self_inverse ... 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/differential_cbprintf.rs (/opt/rustwide/target/release/deps/differential_cbprintf-c112edbe300ba1be)
[INFO] [stdout] 
[INFO] [stdout] running 17 tests
[INFO] [stdout] test cbprintf_format_spec_dash_clears_zero_flag ... ok
[INFO] [stdout] test cbprintf_format_spec_valid_specifiers_pass ... ok
[INFO] [stdout] test cbprintf_format_spec_prec_clamped_to_max ... ok
[INFO] [stdout] test cbprintf_format_spec_invalid_rejected ... ok
[INFO] [stdout] test cbprintf_format_spec_width_clamped_to_max ... ok
[INFO] [stdout] test cbprintf_format_spec_writeback_rejected ... ok
[INFO] [stdout] test cbprintf_output_state_monotone ... ok
[INFO] [stdout] test cbprintf_output_state_overflow_saturates ... ok
[INFO] [stdout] test cbprintf_package_bounds_check_capacity_clamped ... ok
[INFO] [stdout] test cbprintf_package_bounds_check_exact_fit ... ok
[INFO] [stdout] test cbprintf_package_bounds_check_ffi_matches_model_valid ... ok
[INFO] [stdout] test cbprintf_package_bounds_check_overflow_detected ... ok
[INFO] [stdout] test cbprintf_package_state_advance_monotone ... ok
[INFO] [stdout] test cbprintf_validate_specifier_ffi_matches_model_n_rejected ... ok
[INFO] [stdout] test cbprintf_validate_specifier_exhaustive_ascii ... ok
[INFO] [stdout] test cbprintf_validate_specifier_ffi_matches_model_unknown_rejected ... ok
[INFO] [stdout] test cbprintf_validate_specifier_ffi_matches_model_valid_chars ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 17 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/differential_condvar.rs (/opt/rustwide/target/release/deps/differential_condvar-2cbf2597cef9bcbb)
[INFO] [stdout] 
[INFO] [stdout] running 10 tests
[INFO] [stdout] test condvar_broadcast_idempotent_on_empty ... ok
[INFO] [stdout] test condvar_broadcast_scalar_matches_model_exhaustive ... ok
[INFO] [stdout] test condvar_multiple_signals_on_empty_all_noop ... ok
[INFO] [stdout] test condvar_init_produces_empty_queue ... ok
[INFO] [stdout] test condvar_broadcast_zero_waiters_returns_zero ... ok
[INFO] [stdout] test condvar_n_signals_equivalent_to_broadcast_scalar ... ok
[INFO] [stdout] test condvar_ok_is_zero ... ok
[INFO] [stdout] test condvar_signal_scalar_matches_model_exhaustive ... ok
[INFO] [stdout] test condvar_signal_then_broadcast_scalar ... ok
[INFO] [stdout] test condvar_signal_zero_waiters_is_noop ... 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/differential_cpu_mask.rs (/opt/rustwide/target/release/deps/differential_cpu_mask-ee60a8c54a5f7d35)
[INFO] [stdout] 
[INFO] [stdout] running 9 tests
[INFO] [stdout] test cpu_mask_mod_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test cpu_mask_mod_formula_correct ... ok
[INFO] [stdout] test cpu_mask_mod_pin_only_single_bit ... ok
[INFO] [stdout] test cpu_mask_mod_matches_formula_including_zero ... ok
[INFO] [stdout] test cpu_mask_pin_roundtrip ... ok
[INFO] [stdout] test cpu_mask_mod_running_rejected ... ok
[INFO] [stdout] test cpu_pin_compute_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test cpu_pin_compute_bounds ... ok
[INFO] [stdout] test validate_pin_mask_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 9 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/differential_dynamic.rs (/opt/rustwide/target/release/deps/differential_dynamic-a164453b542730d3)
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test dynamic_alloc_decide_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test dynamic_alloc_free_roundtrip ... ok
[INFO] [stdout] test dynamic_alloc_never_exceeds_max ... ok
[INFO] [stdout] test dynamic_alloc_validate_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test dynamic_free_decide_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test dynamic_free_validate_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/differential_event.rs (/opt/rustwide/target/release/deps/differential_event-125a0d6450fb0bba)
[INFO] [stdout] 
[INFO] [stdout] running 9 tests
[INFO] [stdout] test event_clear_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test event_post_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test event_post_decide_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test event_random_ops_ffi_matches_model ... ok
[INFO] [stdout] test event_post_is_monotonic ... ok
[INFO] [stdout] test event_set_masked_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test event_set_ffi_matches_model ... ok
[INFO] [stdout] test event_wait_check_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test event_wait_decide_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 9 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/differential_fatal.rs (/opt/rustwide/target/release/deps/differential_fatal-156c533b765aa5c8)
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test fatal_classify_ffi_matches_decide ... ok
[INFO] [stdout] test fatal_decide_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test fatal_test_mode_isr_ignores_non_stack ... ok
[INFO] [stdout] test fatal_kernel_panic_always_halts_production ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/differential_fifo.rs (/opt/rustwide/target/release/deps/differential_fifo-f085dadabc10fdc0)
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test fifo_get_decide_ffi_matches_model ... ok
[INFO] [stdout] test fifo_get_validate_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test fifo_put_validate_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test fifo_put_decide_ffi_matches_model ... ok
[INFO] [stdout] test fifo_put_validate_overflow_boundary ... ok
[INFO] [stdout] test fifo_put_get_roundtrip ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/differential_futex.rs (/opt/rustwide/target/release/deps/differential_futex-88445a96409e6ac3)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test futex_wait_check_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test futex_wait_decide_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test futex_wake_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test futex_wake_decide_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test futex_wake_woken_plus_remaining_equals_total ... 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] [stderr]      Running tests/differential_heap.rs (/opt/rustwide/target/release/deps/differential_heap-8ccbcd0f68e623b8)
[INFO] [stdout] 
[INFO] [stdout] running 11 tests
[INFO] [stdout] test heap_aligned_alloc_decide_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test heap_alloc_decide_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test heap_alloc_free_roundtrip ... ok
[INFO] [stdout] test heap_double_free_always_rejected ... ok
[INFO] [stdout] test heap_alloc_tracks_bytes ... ok
[INFO] [stdout] test heap_free_decide_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test heap_free_tracks_bytes ... ok
[INFO] [stdout] test heap_init_validate_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test heap_realloc_decide_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test heap_merge_validate_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test heap_split_validate_ffi_exhaustive ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 11 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/differential_ipc.rs (/opt/rustwide/target/release/deps/differential_ipc-08977dc4ed9749f5)
[INFO] [stdout] 
[INFO] [stdout] running 24 tests
[INFO] [stdout] test ipc_close_decide_ffi_matches_model ... ok
[INFO] [stdout] test ipc_deregister_decide_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test ipc_deregister_decrements_count ... ok
[INFO] [stdout] test ipc_deregister_invalid_endpoint_einval ... ok
[INFO] [stdout] test ipc_deregister_unregistered_enoent ... ok
[INFO] [stdout] test ipc_endpoint_bound_allows_send ... ok
[INFO] [stdout] test ipc_endpoint_double_open_rejected ... ok
[INFO] [stdout] test ipc_endpoint_open_from_closed_succeeds ... ok
[INFO] [stdout] test ipc_open_decide_ffi_matches_model ... ok
[INFO] [stdout] test ipc_open_invalid_instance_einval ... ok
[INFO] [stdout] test ipc_endpoint_close_always_succeeds ... ok
[INFO] [stdout] test ipc_open_valid_instance_ok ... ok
[INFO] [stdout] test ipc_register_capacity_exhausted_enomem ... ok
[INFO] [stdout] test ipc_register_count_never_exceeds_max ... ok
[INFO] [stdout] test ipc_register_decide_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test ipc_register_increments_count ... ok
[INFO] [stdout] test ipc_send_critical_matches_send_decide ... ok
[INFO] [stdout] test ipc_send_decide_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test ipc_send_max_len_accepted ... ok
[INFO] [stdout] test ipc_send_over_max_rejected ... ok
[INFO] [stdout] test ipc_send_requires_bound_state ... ok
[INFO] [stdout] test ipc_validate_buffer_size_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test ipc_send_zero_len_rejected ... ok
[INFO] [stdout] test ipc_register_invalid_params_einval ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 24 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/differential_ipi.rs (/opt/rustwide/target/release/deps/differential_ipi-bb4871601f1fe53c)
[INFO] [stdout] 
[INFO] [stdout] running 16 tests
[INFO] [stdout] test ipi_mask_all_inactive_is_zero ... ok
[INFO] [stdout] test ipi_mask_bounded_by_num_cpus ... ok
[INFO] [stdout] test ipi_mask_ffi_matches_model_exhaustive_2cpu ... ok
[INFO] [stdout] test ipi_mask_ffi_matches_model_exhaustive_4cpu ... ok
[INFO] [stdout] test ipi_mask_empty_when_null_or_invalid ... ok
[INFO] [stdout] test ipi_mask_inactive_cpus_excluded ... ok
[INFO] [stdout] test ipi_mask_only_includes_cpus_in_bounds ... ok
[INFO] [stdout] test ipi_mask_current_cpu_never_included ... ok
[INFO] [stdout] test ipi_mask_respects_target_cpu_mask ... ok
[INFO] [stdout] test ipi_mask_priority_gating ... ok
[INFO] [stdout] test ipi_mask_single_cpu_zero ... ok
[INFO] [stdout] test ipi_validate_accepts_valid_mask ... ok
[INFO] [stdout] test ipi_validate_invalid_args ... ok
[INFO] [stdout] test ipi_validate_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test ipi_validate_rejects_current_cpu_bit ... ok
[INFO] [stdout] test ipi_validate_rejects_out_of_range_bits ... ok
[INFO] [stdout] 
[INFO] [stderr]      Running tests/differential_kheap.rs (/opt/rustwide/target/release/deps/differential_kheap-10cb9a1cbf944e8d)
[INFO] [stdout] test result: ok. 16 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test kheap_alloc_decide_ffi_matches_model ... ok
[INFO] [stdout] test kheap_alloc_free_roundtrip ... ok
[INFO] [stdout] test kheap_alloc_never_exceeds_capacity ... ok
[INFO] [stdout] test kheap_alloc_validate_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test kheap_free_decide_ffi_matches_model ... ok
[INFO] [stdout] test kheap_free_validate_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/differential_lifo.rs (/opt/rustwide/target/release/deps/differential_lifo-7c68821976ae61ef)
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test lifo_get_decide_ffi_matches_model ... ok
[INFO] [stdout] test lifo_put_decide_ffi_matches_model ... ok
[INFO] [stdout] test lifo_get_validate_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test lifo_put_get_roundtrip ... ok
[INFO] [stdout] test lifo_put_validate_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test lifo_put_validate_overflow_boundary ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/differential_mbox.rs (/opt/rustwide/target/release/deps/differential_mbox-6ab1fc650e5908fb)
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test mbox_data_exchange_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test mbox_data_exchange_is_min ... ok
[INFO] [stdout] test mbox_match_check_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test mbox_get_decide_ffi_matches_model ... ok
[INFO] [stdout] test mbox_put_decide_ffi_matches_model ... ok
[INFO] [stdout] test mbox_validate_send_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test mbox_match_check_model_4param_exhaustive ... 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] [stderr]      Running tests/differential_mem_domain.rs (/opt/rustwide/target/release/deps/differential_mem_domain-55a443b6f0ff774e)
[INFO] [stdout] 
[INFO] [stdout] running 11 tests
[INFO] [stdout] test mem_domain_check_partition_overlap_rejected ... ok
[INFO] [stdout] test mem_domain_check_partition_invalid_size_zero ... ok
[INFO] [stdout] test mem_domain_add_partition_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test mem_domain_no_overlapping_partitions_accepted ... ok
[INFO] [stdout] test mem_domain_num_partitions_bounded ... ok
[INFO] [stdout] test mem_domain_check_partition_valid_non_overlapping ... ok
[INFO] [stdout] test mem_domain_partitions_overlap_decide_matches_model ... ok
[INFO] [stdout] test mem_domain_add_remove_roundtrip ... ok
[INFO] [stdout] test mem_domain_check_partition_overflow_rejected ... ok
[INFO] [stdout] test mem_domain_partition_valid_decide_matches_model ... ok
[INFO] [stderr]      Running tests/differential_mem_slab.rs (/opt/rustwide/target/release/deps/differential_mem_slab-67b1e7afd122cbd9)
[INFO] [stdout] test mem_domain_remove_partition_ffi_matches_model ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 11 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 8 tests
[INFO] [stdout] test mem_slab_alloc_decide_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test mem_slab_bounds_invariant ... ok
[INFO] [stdout] test mem_slab_free_decide_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test mem_slab_alloc_validate_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test mem_slab_conservation ... ok
[INFO] [stdout] test mem_slab_free_validate_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test mem_slab_init_validate_ffi_matches_model ... ok
[INFO] [stdout] test mem_slab_random_ops_ffi_matches_model ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/differential_mempool.rs (/opt/rustwide/target/release/deps/differential_mempool-d048c77f872e0743)
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test mempool_alloc_decide_ffi_matches_model ... ok
[INFO] [stdout] test mempool_alloc_free_roundtrip ... ok
[INFO] [stdout] test mempool_alloc_validate_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test mempool_free_decide_ffi_matches_model ... ok
[INFO] [stdout] test mempool_free_validate_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test mempool_alloc_never_exceeds_capacity ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/differential_mmu.rs (/opt/rustwide/target/release/deps/differential_mmu-d4b0edab4211c244)
[INFO] [stdout] 
[INFO] [stdout] running 21 tests
[INFO] [stdout] test mmu_map_request_decide_ffi_matches_model_basic ... ok
[INFO] [stdout] test mmu_map_request_decide_ffi_matches_model_exhaustive_flags ... ok
[INFO] [stdout] test mmu_map_request_size_not_aligned_einval ... ok
[INFO] [stdout] test mmu_map_request_zero_page_size_einval ... ok
[INFO] [stdout] test mmu_unmap_request_addr_too_small_einval ... ok
[INFO] [stdout] test mmu_validate_cache_flags_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test mmu_unmap_request_decide_ffi_matches_model_basic ... ok
[INFO] [stdout] test mmu_validate_cache_flags_single_bit_valid ... ok
[INFO] [stdout] test mmu_validate_cache_flags_two_bits_invalid ... ok
[INFO] [stdout] test mmu_validate_flags_known_only_known_bits ... ok
[INFO] [stdout] test mmu_validate_guard_total_overflow_detected ... ok
[INFO] [stdout] test mmu_validate_size_basic ... ok
[INFO] [stdout] test mmu_validate_user_uninit_ok ... ok
[INFO] [stdout] test mmu_validate_wxor_exec_only_ok ... ok
[INFO] [stdout] test mmu_validate_wxor_rw_exec_forbidden ... ok
[INFO] [stdout] test mmu_validate_wxor_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test mmu_validate_wxor_no_flags_ok ... ok
[INFO] [stdout] test mmu_virt_regions_no_overlap_adjacent ... ok
[INFO] [stdout] test mmu_virt_regions_overlap_symmetric ... ok
[INFO] [stdout] test mmu_validate_wxor_rw_only_ok ... ok
[INFO] [stderr]      Running tests/differential_msgq.rs (/opt/rustwide/target/release/deps/differential_msgq-ad0a50858f2dc789)
[INFO] [stdout] test mmu_virt_regions_overlap_decide_ffi_matches_model_exhaustive ... 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] [stdout] 
[INFO] [stdout] running 12 tests
[INFO] [stdout] test msgq_fill_then_purge_model ... ok
[INFO] [stdout] test msgq_get_decide_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test msgq_get_legacy_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test msgq_get_empty_returns_enomsg_model ... ok
[INFO] [stdout] test msgq_indices_always_in_bounds_model ... ok
[INFO] [stdout] test msgq_init_validate_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test msgq_purge_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test msgq_purge_model_resets_to_empty ... ok
[INFO] [stdout] test msgq_put_decide_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test msgq_put_full_returns_enomsg_model ... ok
[INFO] [stdout] test msgq_put_get_roundtrip_ffi ... ok
[INFO] [stdout] test msgq_put_legacy_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 12 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/differential_mutex.rs (/opt/rustwide/target/release/deps/differential_mutex-fd45ac7983f732ba)
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test mutex_lock_overflow_protection ... ok
[INFO] [stdout] test mutex_lock_then_unlock_roundtrip ... ok
[INFO] [stdout] test mutex_lock_validate_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test mutex_lock_decide_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test mutex_unlock_decide_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test mutex_reentrant_lock_count_tracks_depth ... ok
[INFO] [stdout] test mutex_unlock_validate_ffi_matches_model_exhaustive ... 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] [stderr]      Running tests/differential_net_buf.rs (/opt/rustwide/target/release/deps/differential_net_buf-a368ad87c8f47a8c)
[INFO] [stdout] 
[INFO] [stdout] running 15 tests
[INFO] [stdout] test net_buf_add_decide_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test net_buf_alloc_decide_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test net_buf_alloc_decide_full_pool_enomem ... ok
[INFO] [stdout] test net_buf_alloc_free_roundtrip ... ok
[INFO] [stdout] test net_buf_free_decide_double_free_rejected ... ok
[INFO] [stdout] test net_buf_free_decide_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test net_buf_pull_decide_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test net_buf_push_decide_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test net_buf_push_pull_roundtrip ... ok
[INFO] [stdout] test net_buf_ref_decide_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test net_buf_ref_decide_overflow_at_max ... ok
[INFO] [stdout] test net_buf_remove_decide_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test net_buf_unref_decide_double_free_rejected ... ok
[INFO] [stdout] test net_buf_unref_decide_last_ref_signals_free ... ok
[INFO] [stdout] test net_buf_unref_decide_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 15 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/differential_pipe.rs (/opt/rustwide/target/release/deps/differential_pipe-81816bcb3f384b34)
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test pipe_read_check_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test pipe_read_decide_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test pipe_write_check_zero_size ... ok
[INFO] [stdout] test pipe_write_check_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test pipe_write_decide_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test pipe_write_decide_pp1_used_within_bounds ... ok
[INFO] [stdout] test pipe_write_read_conservation ... 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] [stderr]      Running tests/differential_pm.rs (/opt/rustwide/target/release/deps/differential_pm-37e2fc962bf96d24)
[INFO] [stdout] 
[INFO] [stdout] running 22 tests
[INFO] [stdout] test pm_cpu_state_enter_state_arms_post_ops ... ok
[INFO] [stdout] test pm_cpu_state_force_from_soft_off_rejected ... ok
[INFO] [stdout] test pm_cpu_state_force_sets_pending ... ok
[INFO] [stdout] test pm_cpu_state_init_is_active ... ok
[INFO] [stdout] test pm_cpu_state_resume_returns_to_active ... ok
[INFO] [stdout] test pm_force_decide_ffi_matches_model_valid_states ... ok
[INFO] [stdout] test pm_force_decide_invalid_state_terminal ... ok
[INFO] [stdout] test pm_force_decide_soft_off_is_terminal ... ok
[INFO] [stdout] test pm_residency_ok_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test pm_residency_ok_insufficient_ticks ... ok
[INFO] [stdout] test pm_residency_ok_negative_ticks_not_ok ... ok
[INFO] [stdout] test pm_residency_ok_sufficient_ticks ... ok
[INFO] [stdout] test pm_suspend_decide_forced_wins_over_policy ... ok
[INFO] [stdout] test pm_suspend_decide_no_state_stays_active ... ok
[INFO] [stdout] test pm_transition_valid_invalid_codes_rejected ... ok
[INFO] [stdout] test pm_transition_valid_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test pm_suspend_decide_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test pm_suspend_decide_policy_used_when_no_forced ... ok
[INFO] [stdout] test pm_transition_valid_low_power_to_active_only ... ok
[INFO] [stdout] test pm_residency_ok_forever_always_ok ... ok
[INFO] [stderr]      Running tests/differential_poll.rs (/opt/rustwide/target/release/deps/differential_poll-c695034e8d77053e)
[INFO] [stdout] test pm_transition_valid_soft_off_is_terminal ... ok
[INFO] [stdout] test pm_transition_valid_from_active_all_allowed ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 22 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test poll_check_sem_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test poll_event_init_ffi_matches_model ... ok
[INFO] [stdout] test poll_signal_raise_decide_ffi_matches_model ... ok
[INFO] [stdout] test poll_signal_raise_reset_roundtrip ... ok
[INFO] [stdout] test poll_signal_raise_ffi_matches_model ... ok
[INFO] [stderr]      Running tests/differential_queue.rs (/opt/rustwide/target/release/deps/differential_queue-4b4fe5f129d3e7ef)
[INFO] [stdout] test poll_signal_reset_ffi_matches_model ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test queue_append_validate_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test queue_append_get_roundtrip ... ok
[INFO] [stdout] test queue_insert_decide_ffi_matches_model ... ok
[INFO] [stdout] test queue_prepend_validate_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test queue_get_validate_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test queue_get_decide_ffi_matches_model ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/differential_ring_buf.rs (/opt/rustwide/target/release/deps/differential_ring_buf-95899eb224ee581b)
[INFO] [stdout] 
[INFO] [stdout] running 23 tests
[INFO] [stdout] test ring_buf_claim_decide_near_end_wraps_correctly ... ok
[INFO] [stdout] test ring_buf_claim_decide_no_wrap_full_request ... ok
[INFO] [stdout] test ring_buf_claim_decide_zero_buf_size_returns_zero ... ok
[INFO] [stdout] test ring_buf_finish_validate_accepts_exact_claimed ... ok
[INFO] [stdout] test ring_buf_finish_validate_wrapping_claim_exhaustive ... ok
[INFO] [stdout] test ring_buf_finish_validate_rejects_over_finish ... ok
[INFO] [stdout] test ring_buf_finish_validate_accepts_partial_finish ... ok
[INFO] [stdout] test ring_buf_claim_decide_offset_bounded_by_buf_size ... ok
[INFO] [stdout] test ring_buf_model_space_get_matches_ffi_space_get ... ok
[INFO] [stdout] test ring_buf_model_size_get_matches_ffi_size_get ... ok
[INFO] [stdout] test ring_buf_finish_validate_zero_claimed_rejects_nonzero ... ok
[INFO] [stdout] test ring_buf_get_empty_returns_error ... ok
[INFO] [stdout] test ring_buf_put_full_returns_error ... ok
[INFO] [stdout] test ring_buf_size_get_empty_returns_zero ... ok
[INFO] [stdout] test ring_buf_model_put_get_roundtrip ... ok
[INFO] [stdout] test ring_buf_reset_empties_buffer ... ok
[INFO] [stdout] test ring_buf_space_get_empty_buffer_equals_capacity ... ok
[INFO] [stdout] test ring_buf_space_get_exhaustive_small ... ok
[INFO] [stdout] test ring_buf_space_get_full_buffer_returns_zero ... ok
[INFO] [stdout] test ring_buf_space_get_zero_buf_size_returns_zero ... ok
[INFO] [stdout] test ring_buf_size_get_exhaustive_small ... ok
[INFO] [stdout] test ring_buf_size_space_bounded_by_capacity ... ok
[INFO] [stdout] test ring_buf_space_plus_size_equals_capacity ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 23 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/differential_sched.rs (/opt/rustwide/target/release/deps/differential_sched-b82cde45877ce6cb)
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test sched_cooperative_not_preempted_by_normal ... ok
[INFO] [stdout] test sched_idle_when_no_ready_threads ... ok
[INFO] [stdout] test sched_next_up_decide_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test sched_next_up_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test sched_preempt_decide_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test sched_should_preempt_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/differential_sem.rs (/opt/rustwide/target/release/deps/differential_sem-87afecc7be403a3a)
[INFO] [stdout] 
[INFO] [stdout] running 11 tests
[INFO] [stdout] test sem_count_give_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test sem_give_decide_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test sem_give_decide_saturation_no_overflow ... ok
[INFO] [stdout] test sem_give_decide_waiter_takes_priority ... ok
[INFO] [stdout] test sem_give_no_overflow_at_max_limit ... ok
[INFO] [stdout] test sem_give_take_roundtrip ... ok
[INFO] [stdout] test sem_init_validate_boundary_conditions ... ok
[INFO] [stdout] test sem_init_validate_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test sem_take_decide_count_zero_no_wait_returns_ebusy ... ok
[INFO] [stdout] test sem_take_decide_count_zero_wait_pends ... ok
[INFO] [stdout] test sem_take_decide_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 11 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/differential_smp_state.rs (/opt/rustwide/target/release/deps/differential_smp_state-f4ba7737b1de9429)
[INFO] [stdout] 
[INFO] [stdout] running 9 tests
[INFO] [stdout] test smp_active_always_bounded ... ok
[INFO] [stdout] test smp_cpu0_never_stops ... ok
[INFO] [stdout] test smp_init_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test smp_lock_unlock_roundtrip ... ok
[INFO] [stdout] test smp_start_cpu_decide_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test smp_start_cpu_validate_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test smp_start_stop_roundtrip ... ok
[INFO] [stdout] test smp_stop_cpu_decide_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test smp_stop_cpu_validate_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 9 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/differential_spec.rs (/opt/rustwide/target/release/deps/differential_spec-d7f4ef45d87cd9c3)
[INFO] [stdout] 
[INFO] [stdout] running 14 tests
[INFO] [stdout] test differential::event_post_gale_and_posix ... ok
[INFO] [stdout] test differential::event_random_ops_gale_matches_freertos ... ok
[INFO] [stdout] test differential::mem_slab_conservation_gale_and_posix ... ok
[INFO] [stdout] test differential::mem_slab_random_ops_gale_matches_posix ... ok
[INFO] [stdout] test differential::msgq_conservation_gale_and_posix ... ok
[INFO] [stdout] test differential::mutex_m1_owner_correspondence_gale_and_posix ... ok
[INFO] [stdout] test differential::sem_p1_invariant_gale_and_posix ... ok
[INFO] [stdout] test differential::sem_p3_give_increment_gale_and_posix ... ok
[INFO] [stdout] test differential::sem_p8_reset_gale_and_posix ... ok
[INFO] [stdout] test differential::sem_random_ops_gale_matches_posix ... ok
[INFO] [stdout] test differential::stack_bounds_gale_and_posix ... ok
[INFO] [stdout] test differential::timer_expire_gale_and_posix ... ok
[INFO] [stdout] test differential::stack_random_ops_gale_matches_posix ... ok
[INFO] [stdout] test differential::timer_random_ops_gale_matches_posix ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 14 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/differential_spinlock.rs (/opt/rustwide/target/release/deps/differential_spinlock-45373af13bf87544)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test spinlock_compute_owner_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test spinlock_lock_unlock_roundtrip ... ok
[INFO] [stdout] test spinlock_lock_valid_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test spinlock_owner_encoding_injective ... ok
[INFO] [stdout] test spinlock_unlock_valid_ffi_matches_model_exhaustive ... 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] [stderr]      Running tests/differential_spinlock_validate.rs (/opt/rustwide/target/release/deps/differential_spinlock_validate-3dd87ea170776f5d)
[INFO] [stdout] 
[INFO] [stdout] running 16 tests
[INFO] [stdout] test spinlock_compute_owner_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test spinlock_cpu_mask_bounds ... ok
[INFO] [stdout] test spinlock_lock_unlock_roundtrip ... ok
[INFO] [stdout] test spinlock_lock_valid_ffi_matches_model_free_lock ... ok
[INFO] [stdout] test spinlock_lock_valid_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test spinlock_cpu_recoverable_from_owner ... ok
[INFO] [stdout] test spinlock_lock_valid_ffi_matches_model_same_cpu_held ... ok
[INFO] [stdout] test spinlock_lock_valid_ffi_matches_model_different_cpu_held ... ok
[INFO] [stdout] test spinlock_owner_encoding_injective ... ok
[INFO] [stdout] test spinlock_unlock_valid_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test spinlock_thread_recoverable_from_owner ... ok
[INFO] [stdout] test spinlock_unlock_valid_ffi_matches_model_wrong_thread ... ok
[INFO] [stdout] test u9_ls9_model_precondition_excludes_cpu_id_5 ... ok
[INFO] [stdout] test spinlock_unlock_valid_ffi_matches_model_owner_matches ... ok
[INFO] [stdout] test spinlock_unlock_valid_ffi_matches_model_wrong_cpu ... ok
[INFO] [stdout] test u9_max_cpus_is_the_verus_domain_boundary ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 16 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/differential_stack.rs (/opt/rustwide/target/release/deps/differential_stack-13b595fd5c10295b)
[INFO] [stdout] 
[INFO] [stdout] running 11 tests
[INFO] [stdout] test stack_init_validate_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test stack_pop_decide_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test stack_pop_decide_nonempty_decrements ... ok
[INFO] [stdout] test stack_pop_validate_empty_returns_ebusy ... ok
[INFO] [stdout] test stack_pop_validate_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test stack_push_decide_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test stack_push_decide_full_rejects ... ok
[INFO] [stdout] test stack_push_decide_waiter_always_wakes ... ok
[INFO] [stdout] test stack_push_pop_roundtrip ... ok
[INFO] [stdout] test stack_push_validate_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test stack_push_validate_full_returns_enomem ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 11 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/differential_thread_lifecycle.rs (/opt/rustwide/target/release/deps/differential_thread_lifecycle-1a5ba8ce43b1f20d)
[INFO] [stdout] 
[INFO] [stdout] running 29 tests
[INFO] [stdout] test suspend_resume_are_complementary ... ok
[INFO] [stdout] test thread_abort_decide_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test thread_create_validate_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test thread_create_decide_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test thread_create_exit_roundtrip ... ok
[INFO] [stdout] test thread_deadline_decide_boundary_one ... ok
[INFO] [stdout] test thread_deadline_decide_clamped_equals_input_for_valid ... ok
[INFO] [stdout] test thread_deadline_decide_negative_rejects ... ok
[INFO] [stdout] test thread_deadline_decide_positive_proceeds ... ok
[INFO] [stdout] test thread_deadline_decide_zero_rejects ... ok
[INFO] [stdout] test thread_exit_validate_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test thread_join_decide_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test thread_priority_set_decide_boundary ... ok
[INFO] [stdout] test thread_priority_set_decide_invalid_rejects ... ok
[INFO] [stdout] test thread_priority_set_decide_valid_proceeds ... ok
[INFO] [stdout] test thread_priority_validate_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test thread_resume_decide_exhaustive ... ok
[INFO] [stdout] test thread_resume_decide_not_suspended_noop ... ok
[INFO] [stdout] test thread_stack_space_decide_full_usage ... ok
[INFO] [stdout] test thread_resume_decide_suspended_proceeds ... ok
[INFO] [stdout] test thread_stack_space_decide_rejects_unmapped ... ok
[INFO] [stdout] test thread_stack_space_decide_rejects_zero_size ... ok
[INFO] [stdout] test thread_stack_space_decide_over_usage_clamped ... ok
[INFO] [stdout] test thread_stack_space_decide_unused_bounded_by_size ... ok
[INFO] [stdout] test thread_stack_space_decide_valid ... ok
[INFO] [stdout] test thread_stack_space_decide_zero_usage ... ok
[INFO] [stdout] test thread_suspend_decide_already_suspended_noop ... ok
[INFO] [stdout] test thread_suspend_decide_exhaustive ... ok
[INFO] [stdout] test thread_suspend_decide_not_suspended_proceeds ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 29 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/differential_timeout.rs (/opt/rustwide/target/release/deps/differential_timeout-ab6e1e8c06f05a3f)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test timeout_abort_decide_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test timeout_add_decide_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test timeout_announce_decide_ffi_matches_model ... ok
[INFO] [stdout] test timeout_add_deadline_correct ... ok
[INFO] [stdout] test timeout_forever_never_fires ... 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] [stderr]      Running tests/differential_timer.rs (/opt/rustwide/target/release/deps/differential_timer-736e31b9b267bbd1)
[INFO] [stdout] 
[INFO] [stdout] running 9 tests
[INFO] [stdout] test timer_expire_decide_ffi_matches_model ... ok
[INFO] [stdout] test timer_expire_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test timer_expire_overflow_protection ... ok
[INFO] [stdout] test timer_expire_increments_by_one ... ok
[INFO] [stdout] test timer_init_validate_always_ok ... ok
[INFO] [stdout] test timer_random_ops_ffi_matches_model ... ok
[INFO] [stdout] test timer_status_decide_ffi_matches_model ... ok
[INFO] [stdout] test timer_status_get_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test timer_status_get_read_and_reset ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 9 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/differential_timeslice.rs (/opt/rustwide/target/release/deps/differential_timeslice-190516686021e5f5)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test timeslice_cooperative_never_yields ... ok
[INFO] [stdout] test timeslice_tick_bounds_invariant ... ok
[INFO] [stdout] test timeslice_reset_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test timeslice_tick_decide_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test timeslice_tick_ffi_matches_model_exhaustive ... 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] [stderr]      Running tests/differential_usage.rs (/opt/rustwide/target/release/deps/differential_usage-412118874ab71ac2)
[INFO] [stdout] 
[INFO] [stdout] running 27 tests
[INFO] [stdout] test usage_accumulate_monotone ... ok
[INFO] [stdout] test usage_accumulate_overflow_protected ... ok
[INFO] [stdout] test usage_average_cycles_correct_division ... ok
[INFO] [stdout] test usage_average_cycles_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test usage_average_cycles_zero_total ... ok
[INFO] [stdout] test usage_average_cycles_zero_windows_returns_zero ... ok
[INFO] [stdout] test usage_accumulate_zero_is_noop ... ok
[INFO] [stdout] test usage_elapsed_cycles_no_wrap ... ok
[INFO] [stdout] test usage_elapsed_cycles_zero_when_equal ... ok
[INFO] [stdout] test usage_elapsed_cycles_wrapping ... ok
[INFO] [stdout] test usage_start_decide_ffi_matches_model ... ok
[INFO] [stdout] test usage_start_not_tracking_record_only ... ok
[INFO] [stdout] test usage_start_tracking_records_window ... ok
[INFO] [stdout] test usage_stop_decide_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test usage_stop_nonzero_usage0_accumulate ... ok
[INFO] [stdout] test usage_stop_zero_usage0_skip ... ok
[INFO] [stdout] test usage_sys_disable_decide_ffi_matches_model ... ok
[INFO] [stdout] test usage_sys_disable_not_tracking_noop ... ok
[INFO] [stdout] test usage_sys_disable_tracking_apply ... ok
[INFO] [stdout] test usage_sys_enable_already_tracking_noop ... ok
[INFO] [stdout] test usage_sys_enable_decide_ffi_matches_model ... ok
[INFO] [stdout] test usage_sys_enable_disable_are_complementary ... ok
[INFO] [stdout] test usage_thread_disable_clears_track_usage ... ok
[INFO] [stdout] test usage_sys_enable_not_tracking_apply ... ok
[INFO] [stdout] test usage_thread_enable_idempotent ... ok
[INFO] [stdout] test usage_thread_disable_idempotent ... ok
[INFO] [stdout] test usage_thread_enable_sets_track_usage ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 27 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/differential_userspace.rs (/opt/rustwide/target/release/deps/differential_userspace-b78f787ff30d7eda)
[INFO] [stdout] 
[INFO] [stdout] running 15 tests
[INFO] [stdout] test userspace_access_decide_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test userspace_grant_then_check_roundtrip ... ok
[INFO] [stdout] test userspace_init_check_dont_care_passes_either ... ok
[INFO] [stdout] test userspace_init_check_must_not_be_init_fails_when_initialized ... ok
[INFO] [stdout] test userspace_init_decide_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test userspace_init_check_must_be_init_fails_when_not_initialized ... ok
[INFO] [stdout] test userspace_invalid_tid_denied_for_private_object ... ok
[INFO] [stdout] test userspace_make_public_decide_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test userspace_new_object_no_perms ... ok
[INFO] [stdout] test userspace_recycle_decide_sets_initialized_and_clear_perms ... ok
[INFO] [stdout] test userspace_revoke_then_check_roundtrip ... ok
[INFO] [stdout] test userspace_supervisor_always_granted ... ok
[INFO] [stdout] test userspace_type_mismatch_fails_validation ... ok
[INFO] [stdout] test userspace_uninit_decide_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test userspace_validate_decide_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 15 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/differential_work.rs (/opt/rustwide/target/release/deps/differential_work-12691a44f2eedb54)
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test work_cancel_clears_queued ... ok
[INFO] [stdout] test work_cancel_decide_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test work_init_is_idle ... ok
[INFO] [stdout] test work_cancel_validate_cross_check ... ok
[INFO] [stdout] test work_submit_decide_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test work_submit_validate_cross_check ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/dynamic_integration.rs (/opt/rustwide/target/release/deps/dynamic_integration-1128003cbbc25b56)
[INFO] [stdout] 
[INFO] [stdout] running 15 tests
[INFO] [stdout] test alloc_all ... ok
[INFO] [stdout] test alloc_free_roundtrip ... ok
[INFO] [stdout] test alloc_when_full_returns_enomem ... ok
[INFO] [stdout] test alloc_one ... ok
[INFO] [stdout] test can_serve_within_limit ... ok
[INFO] [stdout] test clone_and_eq ... ok
[INFO] [stdout] test conservation_invariant ... ok
[INFO] [stdout] test can_serve_zero_size ... ok
[INFO] [stdout] test init_rejects_zero_max ... ok
[INFO] [stdout] test free_when_empty_returns_einval ... ok
[INFO] [stdout] test free_one ... ok
[INFO] [stdout] test single_thread_pool ... ok
[INFO] [stdout] test init_valid ... ok
[INFO] [stdout] test init_rejects_zero_stack ... ok
[INFO] [stdout] test stress_alloc_free_cycles ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 15 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/event_integration.rs (/opt/rustwide/target/release/deps/event_integration-6716b81f49dc9145)
[INFO] [stdout] 
[INFO] [stdout] running 13 tests
[INFO] [stdout] test all_bits_operations ... ok
[INFO] [stdout] test clear_removes_specific_bits ... ok
[INFO] [stdout] test combined_operations_sequence ... ok
[INFO] [stdout] test post_ors_bits ... ok
[INFO] [stdout] test init_creates_zeroed_event ... ok
[INFO] [stdout] test post_is_monotonic ... ok
[INFO] [stdout] test clone_and_equality ... ok
[INFO] [stdout] test post_then_clear_roundtrip ... ok
[INFO] [stdout] test set_masked_only_affects_masked_bits ... ok
[INFO] [stdout] test set_masked_preserves_unmasked ... ok
[INFO] [stdout] test set_replaces_entirely ... ok
[INFO] [stdout] test wait_check_all_matching ... ok
[INFO] [stdout] test wait_check_any_matching ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 13 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/fatal_integration.rs (/opt/rustwide/target/release/deps/fatal_integration-7f853441d0e6c77e)
[INFO] [stdout] 
[INFO] [stdout] running 15 tests
[INFO] [stdout] test clone_and_eq ... ok
[INFO] [stdout] test from_code_valid_codes ... ok
[INFO] [stdout] test is_panic_checks ... ok
[INFO] [stdout] test is_isr_checks ... ok
[INFO] [stdout] test isr_faults_halt_production ... ok
[INFO] [stdout] test from_code_invalid ... ok
[INFO] [stdout] test reason_codes_distinct ... ok
[INFO] [stdout] test reason_str_matches ... ok
[INFO] [stdout] test panic_always_halts_production ... ok
[INFO] [stdout] test test_mode_isr_ignores ... ok
[INFO] [stdout] test test_mode_isr_stack_check_aborts ... ok
[INFO] [stdout] test test_mode_kernel_panic_halts ... ok
[INFO] [stdout] test test_mode_thread_always_aborts ... ok
[INFO] [stdout] test thread_faults_abort_production ... ok
[INFO] [stdout] test stack_check_always_aborts ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 15 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/ffi_layout_tests.rs (/opt/rustwide/target/release/deps/ffi_layout_tests-5a4f57fda37dd90e)
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test error_codes_match_zephyr_minimal_libc ... ok
[INFO] [stdout] test model_types_exist ... 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/ffi_model_equivalence.rs (/opt/rustwide/target/release/deps/ffi_model_equivalence-4488ffccaf704aee)
[INFO] [stdout] 
[INFO] [stdout] running 19 tests
[INFO] [stdout] test event_wait_all_requires_all_bits ... ok
[INFO] [stdout] test event_wait_model_exhaustive ... ok
[INFO] [stdout] test msgq_get_model_exhaustive ... ok
[INFO] [stdout] test event_wait_any_matches_single_bit ... ok
[INFO] [stdout] test msgq_put_model_exhaustive ... ok
[INFO] [stdout] test mutex_lock_model_exhaustive ... ok
[INFO] [stdout] test mutex_lock_no_overflow ... ok
[INFO] [stdout] test mutex_unlock_model_exhaustive ... ok
[INFO] [stdout] test mutex_unlock_non_owner_rejected ... ok
[INFO] [stdout] test pipe_write_model_exhaustive ... ok
[INFO] [stdout] test pipe_write_never_exceeds_size ... ok
[INFO] [stdout] test sem_give_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test sem_give_boundary_values ... ok
[INFO] [stdout] test sem_take_ffi_matches_model_exhaustive ... ok
[INFO] [stdout] test sem_take_never_underflows ... ok
[INFO] [stdout] test stack_pop_model_exhaustive ... ok
[INFO] [stdout] test sem_give_never_exceeds_limit ... ok
[INFO] [stdout] test stack_push_model_exhaustive ... ok
[INFO] [stdout] test stack_push_never_exceeds_capacity ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 19 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/fifo_integration.rs (/opt/rustwide/target/release/deps/fifo_integration-b9e5a90c045a4844)
[INFO] [stdout] 
[INFO] [stdout] running 13 tests
[INFO] [stdout] test double_get_empty_returns_eagain_twice ... ok
[INFO] [stdout] test fill_then_drain ... ok
[INFO] [stdout] test fifo_order_count_tracking ... ok
[INFO] [stdout] test get_decrements_count ... ok
[INFO] [stdout] test get_empty_returns_eagain ... ok
[INFO] [stdout] test init_creates_empty_queue ... ok
[INFO] [stdout] test interleaved_put_get ... ok
[INFO] [stdout] test large_count ... ok
[INFO] [stdout] test peek_head_reflects_state ... ok
[INFO] [stdout] test put_get_roundtrip ... ok
[INFO] [stdout] test put_increments_count ... ok
[INFO] [stdout] test single_item_put_get ... ok
[INFO] [stdout] test stress_put_get_cycles ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 13 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/futex_integration.rs (/opt/rustwide/target/release/deps/futex_integration-379307ccec8fda02)
[INFO] [stdout] 
[INFO] [stdout] running 28 tests
[INFO] [stdout] test fx1_wait_blocks_at_zero ... ok
[INFO] [stdout] test fx1_wait_blocks_when_value_matches ... ok
[INFO] [stdout] test fx2_wait_mismatch_off_by_one ... ok
[INFO] [stdout] test fx2_wait_mismatch_returns_immediately ... ok
[INFO] [stdout] test fx2_wait_mismatch_zero_vs_nonzero ... ok
[INFO] [stdout] test fx3_wake_returns_count_all ... ok
[INFO] [stdout] test fx3_wake_returns_count_one ... ok
[INFO] [stdout] test fx3_wake_returns_count_zero ... ok
[INFO] [stdout] test fx4_wake_one_from_empty ... ok
[INFO] [stdout] test fx4_wake_one_from_multiple ... ok
[INFO] [stdout] test fx4_wake_one_wakes_highest_priority ... ok
[INFO] [stdout] test fx5_wake_all_empty ... ok
[INFO] [stdout] test fx5_wake_all_multiple ... ok
[INFO] [stdout] test fx5_wake_all_single ... ok
[INFO] [stdout] test fx5_wake_all_threads_are_ready ... ok
[INFO] [stdout] test fx6_many_waiters_no_overflow ... ok
[INFO] [stdout] test init_max_value ... ok
[INFO] [stdout] test mixed_wait_results ... ok
[INFO] [stdout] test init_sets_value_and_empty_queue ... ok
[INFO] [stdout] test val_change_affects_wait_decision ... ok
[INFO] [stdout] test multiple_wait_wake_cycles ... ok
[INFO] [stdout] test init_zero ... ok
[INFO] [stdout] test wake_after_value_change ... ok
[INFO] [stdout] test wake_one_at_a_time ... ok
[INFO] [stdout] test val_set_get_roundtrip ... ok
[INFO] [stdout] test wait_wake_roundtrip ... ok
[INFO] [stdout] test wait_preserves_value ... ok
[INFO] [stdout] test wake_preserves_value ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 28 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/heap_integration.rs (/opt/rustwide/target/release/deps/heap_integration-dbd88ece32ac30d1)
[INFO] [stdout] 
[INFO] [stdout] running 37 tests
[INFO] [stdout] test aligned_alloc_overflow_rejected ... ok
[INFO] [stdout] test aligned_alloc_small_align_same_as_regular ... ok
[INFO] [stdout] test alloc_basic ... ok
[INFO] [stdout] test aligned_alloc_with_padding ... ok
[INFO] [stdout] test alloc_exact_remaining ... ok
[INFO] [stdout] test alloc_exceeds_capacity_returns_enomem ... ok
[INFO] [stdout] test alloc_free_roundtrip ... ok
[INFO] [stdout] test alloc_no_free_chunks_returns_enomem ... ok
[INFO] [stdout] test alloc_slot_ids_monotonic ... ok
[INFO] [stdout] test alloc_then_realloc_shrink_to_zero ... ok
[INFO] [stdout] test bytes_to_chunks_basic ... ok
[INFO] [stdout] test bytes_to_chunks_large ... ok
[INFO] [stdout] test chunk_conservation_through_lifecycle ... ok
[INFO] [stdout] test clone_and_eq ... ok
[INFO] [stdout] test coalesce_merge_both ... ok
[INFO] [stdout] test coalesce_merge_right ... ok
[INFO] [stdout] test coalesce_no_merge ... ok
[INFO] [stdout] test conservation_through_ops ... ok
[INFO] [stdout] test double_free_rejected ... ok
[INFO] [stdout] test free_basic ... ok
[INFO] [stdout] test free_when_empty_returns_einval ... ok
[INFO] [stdout] test init_rejects_overhead_equals_capacity ... ok
[INFO] [stdout] test free_exceeds_allocated_returns_einval ... ok
[INFO] [stdout] test init_rejects_zero_capacity ... ok
[INFO] [stdout] test init_rejects_overhead_exceeds_capacity ... ok
[INFO] [stdout] test init_rejects_zero_overhead ... ok
[INFO] [stdout] test init_valid ... ok
[INFO] [stdout] test merge_decreases_chunks ... ok
[INFO] [stdout] test minimum_heap ... ok
[INFO] [stdout] test realloc_grow_no_space ... ok
[INFO] [stdout] test realloc_grow_with_space ... ok
[INFO] [stdout] test realloc_shrink ... ok
[INFO] [stdout] test realloc_same_size ... ok
[INFO] [stdout] test stress_alloc_split_free_merge ... ok
[INFO] [stdout] test split_merge_roundtrip ... ok
[INFO] [stdout] test split_increases_chunks ... ok
[INFO] [stdout] test split_at_max_chunks_rejected ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 37 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/ipc_integration.rs (/opt/rustwide/target/release/deps/ipc_integration-b13d48d4ba973b2b)
[INFO] [stdout] 
[INFO] [stdout] running 43 tests
[INFO] [stdout] test bound_without_open_rejected ... ok
[INFO] [stdout] test close_decide_null_instance ... ok
[INFO] [stdout] test close_decide_valid_instance ... ok
[INFO] [stdout] test close_from_open_returns_closed ... ok
[INFO] [stdout] test close_from_bound_returns_closed ... ok
[INFO] [stdout] test close_from_closed_is_idempotent ... ok
[INFO] [stdout] test deregister_decrements_count ... ok
[INFO] [stdout] test deregister_null_endpoint_rejected ... ok
[INFO] [stdout] test deregister_unregistered_endpoint_rejected ... ok
[INFO] [stdout] test double_open_rejected ... ok
[INFO] [stdout] test endpoint_can_send_only_when_bound ... ok
[INFO] [stdout] test full_lifecycle_closed_open_bound_closed ... ok
[INFO] [stdout] test is_registered_follows_state ... ok
[INFO] [stdout] test multiple_close_calls_idempotent ... ok
[INFO] [stdout] test max_endpoints_limit ... ok
[INFO] [stdout] test open_decide_valid_instance ... ok
[INFO] [stdout] test open_from_closed_succeeds ... ok
[INFO] [stdout] test new_endpoint_state_is_closed ... ok
[INFO] [stdout] test open_decide_null_instance ... ok
[INFO] [stdout] test receive_not_registered_rejected ... ok
[INFO] [stdout] test register_deregister_round_trip ... ok
[INFO] [stdout] test open_from_bound_rejected ... ok
[INFO] [stdout] test receive_from_bound_succeeds ... ok
[INFO] [stdout] test register_invalid_params_rejected ... ok
[INFO] [stdout] test receive_not_bound_rejected ... ok
[INFO] [stdout] test send_critical_from_bound_succeeds ... ok
[INFO] [stdout] test register_at_capacity_rejected ... ok
[INFO] [stdout] test send_critical_invalid_endpoint ... ok
[INFO] [stdout] test send_from_bound_succeeds ... ok
[INFO] [stdout] test register_increments_count ... ok
[INFO] [stdout] test send_from_open_rejected ... ok
[INFO] [stdout] test send_from_closed_rejected ... ok
[INFO] [stdout] test send_critical_from_open_rejected ... ok
[INFO] [stdout] test send_min_len_accepted ... ok
[INFO] [stdout] test send_max_len_accepted ... ok
[INFO] [stdout] test send_over_max_rejected ... ok
[INFO] [stdout] test send_null_endpoint_rejected ... ok
[INFO] [stdout] test send_zero_len_rejected ... ok
[INFO] [stdout] test validate_buffer_size_max_accepted ... ok
[INFO] [stdout] test validate_buffer_size_in_range ... ok
[INFO] [stdout] test validate_buffer_size_zero_rejected ... ok
[INFO] [stdout] test state_variants_are_valid ... ok
[INFO] [stdout] test validate_buffer_size_too_large_rejected ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 43 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/ipi_integration.rs (/opt/rustwide/target/release/deps/ipi_integration-8bbb72dce734e69b)
[INFO] [stdout] 
[INFO] [stdout] running 22 tests
[INFO] [stdout] test all_same_but_lower_priority_than_target ... ok
[INFO] [stdout] test all_same_priority_no_ipi ... ok
[INFO] [stdout] test both_negative_prios ... ok
[INFO] [stdout] test current_cpu_excluded_two_cpus ... ok
[INFO] [stdout] test empty_active_set ... ok
[INFO] [stdout] test empty_cpu_mask_yields_zero ... ok
[INFO] [stdout] test inactive_cpus_excluded ... ok
[INFO] [stdout] test cpu_mask_filters_eligible_cpus ... ok
[INFO] [stdout] test current_cpu_excluded_even_if_lower_prio ... ok
[INFO] [stdout] test max_cpus_all_eligible ... ok
[INFO] [stdout] test max_cpus_none_eligible ... ok
[INFO] [stdout] test mixed_active_mask_prio ... ok
[INFO] [stdout] test negative_target_prio ... ok
[INFO] [stdout] test no_bits_above_num_cpus ... ok
[INFO] [stdout] test two_cpus_equal_priority ... ok
[INFO] [stdout] test two_cpus_target_higher_priority ... ok
[INFO] [stdout] test single_cpu_always_zero ... ok
[INFO] [stdout] test two_cpus_target_lower_priority ... ok
[INFO] [stdout] test validate_rejects_current_cpu ... ok
[INFO] [stdout] test validate_good_mask ... ok
[INFO] [stdout] test validate_rejects_out_of_range_bits ... ok
[INFO] [stdout] test validate_zero_mask_always_valid ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 22 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/kani_equivalence.rs (/opt/rustwide/target/release/deps/kani_equivalence-68a2c8954d1caf9b)
[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 tests/kani_harnesses.rs (/opt/rustwide/target/release/deps/kani_harnesses-20b0b2ec00efe2d3)
[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 tests/kheap_integration.rs (/opt/rustwide/target/release/deps/kheap_integration-a3fd34539ef3ceb6)
[INFO] [stdout] 
[INFO] [stdout] running 24 tests
[INFO] [stdout] test aligned_alloc_same_as_alloc ... ok
[INFO] [stdout] test alloc_exact_capacity ... ok
[INFO] [stdout] test alloc_exceeds_capacity_returns_enomem ... ok
[INFO] [stdout] test alloc_free_roundtrip ... ok
[INFO] [stdout] test alloc_multiple ... ok
[INFO] [stdout] test alloc_increments_allocated ... ok
[INFO] [stdout] test alloc_when_full_returns_enomem ... ok
[INFO] [stdout] test calloc_basic ... ok
[INFO] [stdout] test calloc_exceeds_capacity ... ok
[INFO] [stdout] test calloc_overflow ... ok
[INFO] [stdout] test calloc_zero_num ... ok
[INFO] [stdout] test calloc_zero_size ... ok
[INFO] [stdout] test conservation_invariant ... ok
[INFO] [stdout] test free_all ... ok
[INFO] [stdout] test free_decrements_allocated ... ok
[INFO] [stdout] test clone_and_eq ... ok
[INFO] [stdout] test free_exceeds_allocated_returns_einval ... ok
[INFO] [stdout] test init_valid_capacity ... ok
[INFO] [stdout] test interleaved_alloc_free ... ok
[INFO] [stdout] test free_when_empty_returns_einval ... ok
[INFO] [stdout] test init_rejects_zero_capacity ... ok
[INFO] [stdout] test large_heap ... ok
[INFO] [stdout] test single_byte_heap ... ok
[INFO] [stdout] test stress_alloc_free_cycles ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 24 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/lifo_integration.rs (/opt/rustwide/target/release/deps/lifo_integration-df21005a9c1722f4)
[INFO] [stdout] 
[INFO] [stdout] running 13 tests
[INFO] [stdout] test clone_and_eq ... ok
[INFO] [stdout] test debug_format ... ok
[INFO] [stdout] test get_after_drain_returns_eagain ... ok
[INFO] [stdout] test get_decrements_count ... ok
[INFO] [stdout] test get_empty_returns_eagain ... ok
[INFO] [stdout] test init_creates_empty_queue ... ok
[INFO] [stdout] test interleaved_put_get ... ok
[INFO] [stdout] test large_count ... ok
[INFO] [stdout] test multiple_puts_then_gets ... ok
[INFO] [stdout] test put_increments_count ... ok
[INFO] [stdout] test stress_put_get_cycles ... ok
[INFO] [stdout] test put_get_roundtrip ... ok
[INFO] [stdout] test single_item_cycle ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 13 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/loom_atomic.rs (/opt/rustwide/target/release/deps/loom_atomic-7a93848013645720)
[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 tests/loom_priority_queue.rs (/opt/rustwide/target/release/deps/loom_priority_queue-61baa63d28226c96)
[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 tests/loom_ring_buf.rs (/opt/rustwide/target/release/deps/loom_ring_buf-bc902deef0a77e4e)
[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 tests/mbox_integration.rs (/opt/rustwide/target/release/deps/mbox_integration-669e00751d39bbb4)
[INFO] [stdout] 
[INFO] [stdout] running 29 tests
[INFO] [stdout] test mbox_data_exchange_equal ... ok
[INFO] [stdout] test mbox_data_exchange_both_zero ... ok
[INFO] [stdout] test mbox_data_exchange_max_values ... ok
[INFO] [stdout] test mbox_data_exchange_monotonicity ... ok
[INFO] [stdout] test mbox_data_exchange_rx_larger ... ok
[INFO] [stdout] test mbox_data_exchange_tx_larger ... ok
[INFO] [stdout] test mbox_data_exchange_zero_rx ... ok
[INFO] [stdout] test mbox_data_exchange_zero_tx ... ok
[INFO] [stdout] test mbox_init ... ok
[INFO] [stdout] test mbox_match_both_k_any ... ok
[INFO] [stdout] test mbox_match_both_mismatch ... ok
[INFO] [stdout] test mbox_match_k_any_sender_target ... ok
[INFO] [stdout] test mbox_match_k_any_recv_source ... ok
[INFO] [stdout] test mbox_match_exact_ids ... ok
[INFO] [stdout] test mbox_match_target_mismatch ... ok
[INFO] [stdout] test mbox_match_source_mismatch ... ok
[INFO] [stdout] test mbox_message_match_k_any_both ... ok
[INFO] [stdout] test mbox_message_match_empty_message ... ok
[INFO] [stdout] test mbox_message_match_rx_smaller ... ok
[INFO] [stdout] test mbox_message_match_thread_mismatch ... ok
[INFO] [stdout] test mbox_multiple_senders_one_receiver ... ok
[INFO] [stdout] test mbox_msg_copy ... ok
[INFO] [stdout] test mbox_message_match_source_mismatch ... ok
[INFO] [stdout] test mbox_stress_match_check ... ok
[INFO] [stdout] test mbox_msg_new ... ok
[INFO] [stdout] test mbox_message_match_exact_threads ... ok
[INFO] [stdout] test mbox_validate_send_nonzero ... ok
[INFO] [stdout] test mbox_validate_send_zero ... ok
[INFO] [stdout] test mbox_validate_send_max ... ok
[INFO] [stderr]      Running tests/mem_domain_integration.rs (/opt/rustwide/target/release/deps/mem_domain_integration-546eec44f2bb961e)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 29 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 29 tests
[INFO] [stdout] test add_accepts_adjacent ... ok
[INFO] [stdout] test add_fill_all_slots ... ok
[INFO] [stdout] test add_rejects_overflow ... ok
[INFO] [stdout] test add_rejects_overlapping ... ok
[INFO] [stdout] test add_rejects_zero_size ... ok
[INFO] [stdout] test add_remove_roundtrip ... ok
[INFO] [stdout] test add_single_partition ... ok
[INFO] [stdout] test contains_addr_empty_domain ... ok
[INFO] [stdout] test contains_addr_in_partition ... ok
[INFO] [stdout] test contains_addr_multiple_partitions ... ok
[INFO] [stdout] test fill_drain_cycle ... ok
[INFO] [stdout] test init_creates_empty_domain ... ok
[INFO] [stdout] test interleaved_add_remove ... ok
[INFO] [stdout] test partition_near_max ... ok
[INFO] [stdout] test partition_get_out_of_range ... ok
[INFO] [stdout] test partition_no_overlap_adjacent ... ok
[INFO] [stdout] test partition_no_overlap_disjoint ... ok
[INFO] [stdout] test partition_max_valid ... ok
[INFO] [stdout] test partition_overlap_symmetric ... ok
[INFO] [stdout] test partition_overflow_invalid ... ok
[INFO] [stdout] test partition_valid ... ok
[INFO] [stdout] test partition_overlap_contained ... ok
[INFO] [stdout] test partition_at_zero ... ok
[INFO] [stdout] test partition_zero_size_invalid ... ok
[INFO] [stdout] test remove_existing_partition ... ok
[INFO] [stdout] test remove_then_add_overlapping_where_old_was ... ok
[INFO] [stdout] test remove_wrong_size_returns_enoent ... ok
[INFO] [stdout] test remove_nonexistent_returns_enoent ... ok
[INFO] [stdout] test slot_reuse_after_remove ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 29 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/mem_slab_integration.rs (/opt/rustwide/target/release/deps/mem_slab_integration-072ca9e6c59e89f1)
[INFO] [stdout] 
[INFO] [stdout] running 15 tests
[INFO] [stdout] test alloc_free_roundtrip ... ok
[INFO] [stdout] test alloc_when_full_returns_enomem ... ok
[INFO] [stdout] test conservation_invariant ... ok
[INFO] [stdout] test free_decrements_num_used ... ok
[INFO] [stdout] test alloc_increments_num_used ... ok
[INFO] [stdout] test fill_then_drain ... ok
[INFO] [stdout] test init_rejects_both_zero ... ok
[INFO] [stdout] test init_rejects_zero_block_size ... ok
[INFO] [stdout] test free_when_all_free_returns_einval ... ok
[INFO] [stdout] test init_rejects_zero_num_blocks ... ok
[INFO] [stdout] test large_slab ... ok
[INFO] [stdout] test init_valid_params ... ok
[INFO] [stdout] test interleaved_alloc_free ... ok
[INFO] [stdout] test single_block_slab ... ok
[INFO] [stdout] test stress_alloc_free_cycles ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 15 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/mempool_integration.rs (/opt/rustwide/target/release/deps/mempool_integration-e91808654b956602)
[INFO] [stdout] 
[INFO] [stdout] running 19 tests
[INFO] [stdout] test alloc_all ... ok
[INFO] [stdout] test alloc_free_roundtrip ... ok
[INFO] [stdout] test alloc_many_exceeds_returns_enomem ... ok
[INFO] [stdout] test alloc_many_success ... ok
[INFO] [stdout] test alloc_when_full_returns_enomem ... ok
[INFO] [stdout] test clone_and_eq ... ok
[INFO] [stdout] test alloc_one ... ok
[INFO] [stdout] test conservation_invariant ... ok
[INFO] [stdout] test free_many_exceeds_returns_einval ... ok
[INFO] [stdout] test free_many_success ... ok
[INFO] [stdout] test free_one ... ok
[INFO] [stdout] test free_when_empty_returns_einval ... ok
[INFO] [stdout] test init_rejects_zero_block_size ... ok
[INFO] [stdout] test init_rejects_zero_capacity ... ok
[INFO] [stdout] test init_valid ... ok
[INFO] [stdout] test single_block_pool ... ok
[INFO] [stdout] test total_size_no_overflow ... ok
[INFO] [stdout] test stress_alloc_free_cycles ... ok
[INFO] [stdout] test total_size_overflow ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 19 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/mmu_integration.rs (/opt/rustwide/target/release/deps/mmu_integration-bf7c9e6c09e48b60)
[INFO] [stdout] 
[INFO] [stdout] running 58 tests
[INFO] [stdout] test constants_have_expected_values ... ok
[INFO] [stdout] test edge_large_anonymous_mapping ... ok
[INFO] [stdout] test edge_map_one_page ... ok
[INFO] [stdout] test edge_unmap_large_region ... ok
[INFO] [stdout] test edge_zero_size_region_no_overlap_with_anything ... ok
[INFO] [stdout] test map_request_overflow_rejected ... ok
[INFO] [stdout] test map_request_unaligned_size_rejected ... ok
[INFO] [stdout] test map_request_user_uninit_rejected ... ok
[INFO] [stdout] test map_request_valid ... ok
[INFO] [stdout] test map_request_zero_size_rejected ... ok
[INFO] [stdout] test mm1_one_byte_page_size_accepts_any_positive ... ok
[INFO] [stdout] test mm1_page_aligned_size_accepted ... ok
[INFO] [stdout] test mm1_unaligned_size_rejected ... ok
[INFO] [stdout] test mm1_zero_size_rejected ... ok
[INFO] [stdout] test mm2_no_flags_accepted ... ok
[INFO] [stdout] test mm2_rw_exec_no_user_accepted ... ok
[INFO] [stdout] test mm2_uninit_alone_accepted ... ok
[INFO] [stdout] test mm2_user_uninit_rejected ... ok
[INFO] [stdout] test mm3_none_alone_valid ... ok
[INFO] [stdout] test mm3_no_cache_bits_valid ... ok
[INFO] [stdout] test mm3_perm_flags_do_not_affect_cache_check ... ok
[INFO] [stdout] test mm3_wt_alone_valid ... ok
[INFO] [stdout] test mm3_two_cache_bits_invalid ... ok
[INFO] [stdout] test mm4_align_result_covers_original_range ... ok
[INFO] [stdout] test mm4_already_aligned_unchanged ... ok
[INFO] [stdout] test mm4_overflow_returns_none ... ok
[INFO] [stdout] test mm5_exactly_at_limit ... ok
[INFO] [stdout] test mm4_overflow_clamp_is_gone ... ok
[INFO] [stdout] test mm4_zero_offset_addr_aligned ... ok
[INFO] [stdout] test mm4_unaligned_addr_rounds_down ... ok
[INFO] [stdout] test mm5_max_u32_overflows ... ok
[INFO] [stdout] test mm2_user_alone_accepted ... ok
[INFO] [stdout] test mm5_small_size_ok ... ok
[INFO] [stdout] test mm3_wb_alone_valid ... ok
[INFO] [stdout] test mm6_unknown_bits_rejected ... ok
[INFO] [stdout] test mm6_known_flags_accepted ... ok
[INFO] [stdout] test mm7_adjacent_regions_no_overlap ... ok
[INFO] [stdout] test mm5_near_limit_accepted ... ok
[INFO] [stdout] test mm7_contained_overlaps ... ok
[INFO] [stdout] test mm7_identical_regions_overlap ... ok
[INFO] [stdout] test mm7_overlap_symmetric ... ok
[INFO] [stdout] test mm7_partial_overlap ... ok
[INFO] [stdout] test mm7_separated_regions_no_overlap ... ok
[INFO] [stdout] test mm7_virt_region_method_matches_decide ... ok
[INFO] [stdout] test unmap_overflow_rejected ... ok
[INFO] [stdout] test unmap_addr_too_small_rejected ... ok
[INFO] [stdout] test unmap_addr_size_wraparound_rejected ... ok
[INFO] [stdout] test unmap_addr_size_boundary_accepted ... ok
[INFO] [stdout] test unmap_valid_aligned ... ok
[INFO] [stdout] test unmap_unaligned_size_rejected ... ok
[INFO] [stdout] test unmap_zero_size_rejected ... ok
[INFO] [stdout] test update_flags_valid ... ok
[INFO] [stdout] test update_flags_unknown_flags_rejected ... ok
[INFO] [stdout] test update_flags_zero_size_rejected ... ok
[INFO] [stdout] test wxor_exec_alone_accepted ... ok
[INFO] [stdout] test wxor_neither_accepted ... ok
[INFO] [stdout] test wxor_rw_alone_accepted ... ok
[INFO] [stdout] test wxor_rw_and_exec_rejected ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 58 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/mpu_integration.rs (/opt/rustwide/target/release/deps/mpu_integration-37493e23cf19f268)
[INFO] [stdout] 
[INFO] [stdout] running 39 tests
[INFO] [stdout] test m1_non_overlapping_regions_pass ... ok
[INFO] [stdout] test m1_three_non_overlapping_regions ... ok
[INFO] [stdout] test m1_widely_separated_regions ... ok
[INFO] [stdout] test m2_containment_overlap ... ok
[INFO] [stdout] test m2_overlapping_regions_fail ... ok
[INFO] [stdout] test m2_identical_regions_fail ... ok
[INFO] [stdout] test m3_aligned_base_accepted ... ok
[INFO] [stdout] test m2_partial_overlap_fail ... ok
[INFO] [stdout] test m3_base_aligned_to_smaller_power ... ok
[INFO] [stdout] test m3_misaligned_base_in_set ... ok
[INFO] [stdout] test m3_misaligned_base_rejected ... ok
[INFO] [stdout] test m3_odd_base_rejected ... ok
[INFO] [stdout] test m4_below_minimum_size_rejected ... ok
[INFO] [stdout] test m5_adjacent_regions_pass ... ok
[INFO] [stdout] test m5_full_v7_region_set ... ok
[INFO] [stdout] test m5_adjacent_large_regions ... ok
[INFO] [stdout] test m4_non_power_of_two_rejected ... ok
[INFO] [stdout] test m5_max_region_size ... ok
[INFO] [stdout] test m4_non_power_of_two_size_in_region ... ok
[INFO] [stdout] test m5_single_region_valid ... ok
[INFO] [stdout] test m5_zero_size_in_set ... ok
[INFO] [stdout] test m5_mixed_sizes_non_overlapping ... ok
[INFO] [stdout] test m4_power_of_two_accepted ... ok
[INFO] [stdout] test m6_power_of_two_max_u32 ... ok
[INFO] [stdout] test m5_zero_size_rejected ... ok
[INFO] [stdout] test m6_power_of_two_u32_high_bit ... ok
[INFO] [stdout] test m7_no_overlap_adjacent ... ok
[INFO] [stdout] test m7_no_overlap_separated ... ok
[INFO] [stdout] test m6_power_of_two_one ... ok
[INFO] [stdout] test m5_zero_count_valid ... ok
[INFO] [stdout] test m7_overlap_contained ... ok
[INFO] [stdout] test m7_overlap_identical ... ok
[INFO] [stdout] test m7_overlap_symmetric ... ok
[INFO] [stdout] test m9_constants ... ok
[INFO] [stdout] test m8_attributes_ignored_in_validation ... ok
[INFO] [stdout] test u6_adversarial_pair_in_region_set_rejected ... ok
[INFO] [stdout] test u6_adversarial_overflow_pair_rejected ... ok
[INFO] [stdout] test u6_min_size_at_top_of_address_space_rejected ... ok
[INFO] [stdout] test u6_near_top_boundary_accepted ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 39 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/mpu_switch_perm.rs (/opt/rustwide/target/release/deps/mpu_switch_perm-b5d1c42d0e7c7a1f)
[INFO] [stdout] 
[INFO] [stdout] running 8 tests
[INFO] [stdout] test every_ap_encoding_is_the_documented_one ... ok
[INFO] [stdout] test ill_formed_permission_pairs_are_rejected_and_change_nothing ... ok
[INFO] [stdout] test permissions_do_not_leak_across_partitions ... ok
[INFO] [stdout] test sequence_discipline_holds_with_mixed_permissions ... ok
[INFO] [stdout] test supervisor_private_grant_reaches_the_emission ... ok
[INFO] [stdout] test try_add_region_is_unpriv_same ... ok
[INFO] [stdout] test unmarked_regions_stay_unprivileged_accessible ... ok
[INFO] [stdout] test unpriv_none_never_grants_unprivileged_access ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/msgq_integration.rs (/opt/rustwide/target/release/deps/msgq_integration-b2f338a3c4e4ff65)
[INFO] [stdout] 
[INFO] [stdout] running 26 tests
[INFO] [stdout] test mq_get_empty_returns_enomsg ... ok
[INFO] [stdout] test mq_get_fifo_order ... ok
[INFO] [stdout] test mq_get_wraps_read_index ... ok
[INFO] [stdout] test mq_init_boundary_values ... ok
[INFO] [stdout] test mq_init_rejects_overflow ... ok
[INFO] [stdout] test mq_init_rejects_zero_max_msgs ... ok
[INFO] [stdout] test mq_init_rejects_zero_msg_size ... ok
[INFO] [stdout] test mq_init_valid_params ... ok
[INFO] [stdout] test mq_interleaved_put_get ... ok
[INFO] [stdout] test mq_num_free_plus_used_invariant ... ok
[INFO] [stdout] test mq_peek_at_empty ... ok
[INFO] [stdout] test mq_peek_at_sequential ... ok
[INFO] [stdout] test mq_peek_at_with_wrap ... ok
[INFO] [stdout] test mq_peek_does_not_consume ... ok
[INFO] [stdout] test mq_purge_empties_queue ... ok
[INFO] [stdout] test mq_purge_allows_reuse ... ok
[INFO] [stdout] test mq_purge_idempotent ... ok
[INFO] [stdout] test mq_put_front_retreats_read_idx ... ok
[INFO] [stdout] test mq_put_front_full_returns_enomsg ... ok
[INFO] [stdout] test mq_peek_at_out_of_bounds ... ok
[INFO] [stdout] test mq_put_sequential ... ok
[INFO] [stdout] test mq_put_front_then_get_returns_front_first ... ok
[INFO] [stdout] test mq_put_full_returns_enomsg ... ok
[INFO] [stdout] test mq_stress_fill_drain_cycles ... ok
[INFO] [stdout] test mq_ring_consistency_across_operations ... ok
[INFO] [stdout] test mq_put_wraps_write_index ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 26 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/mutex_integration.rs (/opt/rustwide/target/release/deps/mutex_integration-1e06ae03be2fc66c)
[INFO] [stdout] 
[INFO] [stdout] running 16 tests
[INFO] [stdout] test lock_unlock_roundtrip ... ok
[INFO] [stdout] test m10_no_overflow ... ok
[INFO] [stdout] test m11_priority_ordering ... ok
[INFO] [stdout] test m1_invariant_after_init ... ok
[INFO] [stdout] test m1_invariant_after_full_unlock ... ok
[INFO] [stdout] test m1_invariant_after_lock ... ok
[INFO] [stdout] test m2_waiters_implies_locked ... ok
[INFO] [stdout] test m3_lock_unlocked_mutex ... ok
[INFO] [stdout] test m4_reentrant_lock ... ok
[INFO] [stdout] test m5_lock_contention ... ok
[INFO] [stdout] test m6a_unlock_not_locked ... ok
[INFO] [stdout] test m7_reentrant_unlock ... ok
[INFO] [stdout] test m6b_unlock_not_owner ... ok
[INFO] [stdout] test m8_ownership_transfer ... ok
[INFO] [stdout] test reentrant_full_unwind ... ok
[INFO] [stdout] test m9_full_unlock ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 16 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/net_buf_integration.rs (/opt/rustwide/target/release/deps/net_buf_integration-699a229e60a80876)
[INFO] [stdout] 
[INFO] [stdout] running 51 tests
[INFO] [stdout] test add_decide_exact_tailroom ... ok
[INFO] [stdout] test add_decide_exceeds_tailroom ... ok
[INFO] [stdout] test add_decide_nb4_invariant ... ok
[INFO] [stdout] test alloc_decide_full ... ok
[INFO] [stdout] test alloc_decide_success ... ok
[INFO] [stdout] test add_decide_within_tailroom ... ok
[INFO] [stdout] test buf_add_increases_len ... ok
[INFO] [stdout] test buf_add_rejects_overflow ... ok
[INFO] [stdout] test buf_add_remove_roundtrip ... ok
[INFO] [stdout] test buf_headroom_and_tailroom ... ok
[INFO] [stdout] test buf_bounds_invariant_preserved ... ok
[INFO] [stdout] test buf_init_rejects_zero_size ... ok
[INFO] [stdout] test buf_init_valid ... ok
[INFO] [stdout] test buf_pull_rejects_more_than_len ... ok
[INFO] [stdout] test buf_init_satisfies_nb4 ... ok
[INFO] [stdout] test buf_push_increases_headroom_use ... ok
[INFO] [stdout] test buf_push_pull_roundtrip ... ok
[INFO] [stdout] test buf_push_rejects_no_headroom ... ok
[INFO] [stdout] test buf_ref_increments ... ok
[INFO] [stdout] test buf_ref_overflow_protection ... ok
[INFO] [stdout] test buf_remove_when_empty_returns_einval ... ok
[INFO] [stdout] test buf_reset_rejects_too_large_reserve ... ok
[INFO] [stdout] test buf_reset_with_headroom ... ok
[INFO] [stdout] test buf_unref_decrements ... ok
[INFO] [stdout] test buf_unref_to_zero_triggers_free ... ok
[INFO] [stdout] test free_decide_empty ... ok
[INFO] [stdout] test free_decide_success ... ok
[INFO] [stdout] test pool_alloc_free_roundtrip ... ok
[INFO] [stdout] test pool_alloc_one ... ok
[INFO] [stdout] test pool_alloc_up_to_capacity ... ok
[INFO] [stdout] test pool_alloc_when_full_returns_enomem ... ok
[INFO] [stdout] test pool_conservation_invariant ... ok
[INFO] [stdout] test pool_free_decrements ... ok
[INFO] [stdout] test pool_free_when_empty_returns_einval ... ok
[INFO] [stdout] test pool_init_rejects_zero_capacity ... ok
[INFO] [stdout] test pool_stress_cycles ... ok
[INFO] [stdout] test pool_init_valid ... ok
[INFO] [stdout] test pull_decide_more_than_len ... ok
[INFO] [stdout] test pull_decide_nb5_invariant ... ok
[INFO] [stdout] test pull_decide_success ... ok
[INFO] [stdout] test push_decide_no_headroom ... ok
[INFO] [stdout] test push_decide_success ... ok
[INFO] [stdout] test ref_decide_increments ... ok
[INFO] [stdout] test remove_decide_success ... ok
[INFO] [stdout] test remove_decide_underflow ... ok
[INFO] [stdout] test unref_decide_decrements ... ok
[INFO] [stdout] test unref_decide_last_ref ... ok
[INFO] [stdout] test unref_decide_rejects_zero_ref_count ... ok
[INFO] [stdout] test push_decide_nb5_invariant ... ok
[INFO] [stdout] test unref_decide_double_free ... ok
[INFO] [stdout] test ref_decide_overflow ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 51 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/pipe_integration.rs (/opt/rustwide/target/release/deps/pipe_integration-e97f408bf560eea0)
[INFO] [stdout] 
[INFO] [stdout] running 18 tests
[INFO] [stdout] test close_clears_flags ... ok
[INFO] [stdout] test conservation ... ok
[INFO] [stdout] test init_valid ... ok
[INFO] [stdout] test read_closed_empty_returns_epipe ... ok
[INFO] [stdout] test init_rejects_zero ... ok
[INFO] [stdout] test read_clamped_to_available ... ok
[INFO] [stdout] test read_empty_returns_eagain ... ok
[INFO] [stdout] test read_resetting_returns_ecanceled ... ok
[INFO] [stdout] test read_zero_returns_enomsg ... ok
[INFO] [stdout] test streaming_write_read ... ok
[INFO] [stdout] test stress_write_read_cycles ... ok
[INFO] [stdout] test write_clamped_to_free_space ... ok
[INFO] [stdout] test write_closed_returns_epipe ... ok
[INFO] [stdout] test write_resetting_returns_ecanceled ... ok
[INFO] [stdout] test reset_empties_pipe ... ok
[INFO] [stdout] test write_full_returns_eagain ... ok
[INFO] [stdout] test write_read_basic ... ok
[INFO] [stdout] test write_zero_returns_enomsg ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 18 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/pm_integration.rs (/opt/rustwide/target/release/deps/pm_integration-a3c37729b26ced21)
[INFO] [stdout] 
[INFO] [stdout] running 43 tests
[INFO] [stdout] test active_can_enter_runtime_idle ... ok
[INFO] [stdout] test active_can_enter_soft_off ... ok
[INFO] [stdout] test active_can_enter_standby ... ok
[INFO] [stdout] test active_can_enter_suspend_to_idle ... ok
[INFO] [stdout] test active_can_enter_suspend_to_ram ... ok
[INFO] [stdout] test all_states_fit_in_u8 ... ok
[INFO] [stdout] test current_as_u8_when_suspended ... ok
[INFO] [stdout] test current_as_u8_when_active ... ok
[INFO] [stdout] test effective_residency_no_overflow_large_values ... ok
[INFO] [stdout] test effective_residency_sums_correctly ... ok
[INFO] [stdout] test force_state_accepts_max_substate ... ok
[INFO] [stdout] test enter_active_via_enter_state_is_rejected ... ok
[INFO] [stdout] test force_state_can_be_overridden ... ok
[INFO] [stdout] test forced_state_is_consumed_on_enter ... ok
[INFO] [stdout] test from_u8_rejects_invalid ... ok
[INFO] [stdout] test forced_state_takes_priority_over_policy ... ok
[INFO] [stdout] test full_suspend_resume_cycle ... ok
[INFO] [stdout] test force_state_sets_substate ... ok
[INFO] [stdout] test from_u8_roundtrip ... ok
[INFO] [stdout] test no_forced_no_policy_returns_none ... ok
[INFO] [stdout] test no_forced_state_uses_policy ... ok
[INFO] [stdout] test pm_state_count_is_six ... ok
[INFO] [stdout] test policy_next_state_decide_forever_ticks ... ok
[INFO] [stdout] test policy_next_state_decide_insufficient_residency ... ok
[INFO] [stdout] test policy_next_state_decide_ok ... ok
[INFO] [stdout] test residency_fails_when_not_enough ... ok
[INFO] [stdout] test residency_fails_when_negative ... ok
[INFO] [stdout] test residency_ok_more_than_enough ... ok
[INFO] [stdout] test residency_ok_exact_match ... ok
[INFO] [stdout] test resume_from_runtime_idle ... ok
[INFO] [stdout] test resume_from_standby ... ok
[INFO] [stdout] test residency_ok_when_forever ... ok
[INFO] [stdout] test resume_when_not_suspended_is_einval ... ok
[INFO] [stdout] test soft_off_force_state_is_rejected ... ok
[INFO] [stdout] test soft_off_resume_is_rejected ... ok
[INFO] [stdout] test resume_from_suspend_to_ram ... ok
[INFO] [stdout] test state_transition_valid_soft_off_is_false ... ok
[INFO] [stdout] test stress_forced_state_cycles ... ok
[INFO] [stdout] test policy_next_state_decide_state_unavailable ... ok
[INFO] [stdout] test stress_suspend_resume_cycles ... ok
[INFO] [stdout] test substate_max_is_u8_max ... ok
[INFO] [stderr]      Running tests/poll_integration.rs (/opt/rustwide/target/release/deps/poll_integration-3e8c6c352f5a379d)
[INFO] [stdout] test transition_valid_from_low_power_only_to_active ... ok
[INFO] [stdout] test transition_valid_from_active ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 43 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 42 tests
[INFO] [stdout] test check_data_available ... ok
[INFO] [stdout] test check_data_wrong_type ... ok
[INFO] [stdout] test check_ignore_type_never_ready ... ok
[INFO] [stdout] test check_msgq_data ... ok
[INFO] [stdout] test check_msgq_wrong_type ... ok
[INFO] [stdout] test check_pipe_data ... ok
[INFO] [stdout] test check_pipe_wrong_type ... ok
[INFO] [stdout] test check_sem_available ... ok
[INFO] [stdout] test check_sem_wrong_type ... ok
[INFO] [stdout] test check_signal_raised ... ok
[INFO] [stdout] test check_signal_wrong_type ... ok
[INFO] [stdout] test event_cancel ... ok
[INFO] [stdout] test event_cancel_preserves_existing_state ... ok
[INFO] [stdout] test event_init_all_types ... ok
[INFO] [stdout] test event_clone_and_equality ... ok
[INFO] [stdout] test event_reset_state ... ok
[INFO] [stdout] test event_init_with_tag ... ok
[INFO] [stdout] test event_set_ready ... ok
[INFO] [stdout] test event_reset_then_ready_again ... ok
[INFO] [stdout] test event_init_not_ready ... ok
[INFO] [stdout] test events_add_full ... ok
[INFO] [stdout] test events_add_single ... ok
[INFO] [stdout] test events_add_multiple ... ok
[INFO] [stdout] test events_any_ready_all ... ok
[INFO] [stdout] test events_new_empty ... ok
[INFO] [stdout] test events_any_ready_one ... ok
[INFO] [stdout] test event_set_ready_preserves_type_and_tag ... ok
[INFO] [stdout] test events_reset_all_states ... ok
[INFO] [stdout] test poll_simulation_multiple_one_ready ... ok
[INFO] [stdout] test poll_simulation_repeated_cycles ... ok
[INFO] [stdout] test events_any_ready_none ... ok
[INFO] [stdout] test poll_simulation_sem_ready ... ok
[INFO] [stdout] test poll_simulation_signal_ready ... ok
[INFO] [stdout] test poll_simulation_none_ready ... ok
[INFO] [stdout] test signal_clone_and_equality ... ok
[INFO] [stdout] test signal_check ... ok
[INFO] [stdout] test signal_double_raise ... ok
[INFO] [stdout] test signal_init ... ok
[INFO] [stdout] test signal_raise ... ok
[INFO] [stdout] test signal_raise_reset_raise ... ok
[INFO] [stdout] test signal_raise_negative_result ... ok
[INFO] [stdout] test signal_reset ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 42 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/proptest_atomic.rs (/opt/rustwide/target/release/deps/proptest_atomic-a20ec068590f3b36)
[INFO] [stdout] 
[INFO] [stdout] running 17 tests
[INFO] [stdout] test and_semantics ... ok
[INFO] [stdout] test and_idempotent ... ok
[INFO] [stdout] test add_sub_roundtrip ... ok
[INFO] [stdout] test at2_sub_semantics ... ok
[INFO] [stdout] test at1_add_semantics ... ok
[INFO] [stdout] test at4_cas_failure ... ok
[INFO] [stdout] test all_ops_return_old ... ok
[INFO] [stdout] test at3_cas_success ... ok
[INFO] [stdout] test clear_always_zero ... ok
[INFO] [stdout] test or_idempotent ... ok
[INFO] [stdout] test nand_semantics ... ok
[INFO] [stdout] test at5_test_and_set ... ok
[INFO] [stdout] test or_semantics ... ok
[INFO] [stdout] test inc_dec_roundtrip ... ok
[INFO] [stdout] test set_semantics ... ok
[INFO] [stdout] test xor_self_inverse ... ok
[INFO] [stdout] test xor_semantics ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 17 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/proptest_condvar.rs (/opt/rustwide/target/release/deps/proptest_condvar-0d93956f2d579590)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test signal_empty_noop ... ok
[INFO] [stdout] test broadcast_empties_queue ... ok
[INFO] [stdout] test n_signals_empties_n_waiters ... ok
[INFO] [stdout] test broadcast_returns_correct_count ... ok
[INFO] [stdout] test waiters_bounded_under_random_ops ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/proptest_dynamic.rs (/opt/rustwide/target/release/deps/proptest_dynamic-4921f1439e058439)
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test empty_rejects_free ... ok
[INFO] [stdout] test can_serve_correct ... ok
[INFO] [stdout] test full_rejects_alloc ... ok
[INFO] [stdout] test alloc_free_roundtrip ... ok
[INFO] [stdout] test stress_alloc_free ... ok
[INFO] [stdout] test invariant_holds_under_random_ops ... 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/proptest_event.rs (/opt/rustwide/target/release/deps/proptest_event-31815b9c72d3891c)
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test set_clear_roundtrip ... ok
[INFO] [stdout] test wait_conditions_correct ... ok
[INFO] [stdout] test set_masked_preserves_unmasked_bits ... ok
[INFO] [stdout] test post_is_monotonic ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/proptest_fatal.rs (/opt/rustwide/target/release/deps/proptest_fatal-79fb0657b69a5882)
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test invalid_codes_always_none ... ok
[INFO] [stdout] test panic_production_always_halts ... ok
[INFO] [stdout] test reason_codes_distinct ... ok
[INFO] [stdout] test stack_check_always_aborts ... ok
[INFO] [stdout] test valid_codes_always_some ... ok
[INFO] [stdout] test classify_always_valid ... ok
[INFO] [stdout] test thread_production_aborts ... 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] [stderr]      Running tests/proptest_fifo.rs (/opt/rustwide/target/release/deps/proptest_fifo-4692d30b1b976022)
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test empty_get_returns_eagain ... ok
[INFO] [stdout] test init_always_empty ... ok
[INFO] [stdout] test fill_drain_symmetric ... ok
[INFO] [stdout] test put_get_roundtrip ... ok
[INFO] [stdout] test invariant_after_ops ... ok
[INFO] [stdout] test count_tracks_net_operations ... 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/proptest_futex.rs (/opt/rustwide/target/release/deps/proptest_futex-952b9344ffc57dcc)
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test wait_blocks_iff_match ... ok
[INFO] [stdout] test value_preserved_across_operations ... ok
[INFO] [stdout] test wait_wake_roundtrip ... ok
[INFO] [stdout] test wake_one_at_most_one ... ok
[INFO] [stdout] test wake_all_wakes_all ... ok
[INFO] [stdout] test invariant_holds_under_random_ops ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/proptest_heap.rs (/opt/rustwide/target/release/deps/proptest_heap-d84ea5f6e691b605)
[INFO] [stdout] 
[INFO] [stdout] running 10 tests
[INFO] [stdout] test hp3_full_rejects_alloc ... ok
[INFO] [stdout] test hp5_double_free_rejected ... ok
[INFO] [stdout] test coalesce_preserves_conservation ... ok
[INFO] [stdout] test hp3_hp4_alloc_free_roundtrip ... ok
[INFO] [stdout] test hp6_small_align_equivalence ... ok
[INFO] [stdout] test hp7_bytes_to_chunks_safe ... ok
[INFO] [stdout] test hp8_split_merge_identity ... ok
[INFO] [stdout] test realloc_shrink_succeeds ... ok
[INFO] [stdout] test hp2_chunk_conservation ... ok
[INFO] [stdout] test hp1_bounds_invariant ... 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/proptest_kheap.rs (/opt/rustwide/target/release/deps/proptest_kheap-e9791b214c17e39c)
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test calloc_overflow_detected ... ok
[INFO] [stdout] test aligned_alloc_equivalent ... ok
[INFO] [stdout] test alloc_free_roundtrip ... ok
[INFO] [stdout] test full_rejects_alloc ... ok
[INFO] [stdout] test free_more_than_allocated_rejected ... ok
[INFO] [stdout] test conservation_after_ops ... ok
[INFO] [stdout] test invariant_holds_under_random_ops ... 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] [stderr]      Running tests/proptest_lifo.rs (/opt/rustwide/target/release/deps/proptest_lifo-7d20cc3e39c5206e)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test is_empty_matches_count ... ok
[INFO] [stdout] test fill_drain_symmetric ... ok
[INFO] [stdout] test put_get_roundtrip ... ok
[INFO] [stdout] test empty_get_returns_eagain ... ok
[INFO] [stdout] test count_tracks_ops ... 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/proptest_mbox.rs (/opt/rustwide/target/release/deps/proptest_mbox-02ba38b7b568cba8)
[INFO] [stdout] 
[INFO] [stdout] running 10 tests
[INFO] [stdout] test prop_data_exchange_bounded ... ok
[INFO] [stdout] test prop_data_exchange_commutative ... ok
[INFO] [stdout] test prop_data_exchange_is_min ... ok
[INFO] [stdout] test prop_exact_ids_match_iff_equal ... ok
[INFO] [stdout] test prop_match_check_consistent_with_message_match ... ok
[INFO] [stdout] test prop_mbox_msg_copy_preserves_fields ... ok
[INFO] [stdout] test prop_k_any_sender_matches_all ... ok
[INFO] [stdout] test prop_message_match_mismatch_fails ... ok
[INFO] [stdout] test prop_message_match_k_any_succeeds ... ok
[INFO] [stdout] test prop_validate_send_always_ok ... 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/proptest_mem_domain.rs (/opt/rustwide/target/release/deps/proptest_mem_domain-e8ab155d196d582d)
[INFO] [stdout] 
[INFO] [stdout] running 11 tests
[INFO] [stdout] test contains_addr_correct ... ok
[INFO] [stdout] test add_remove_roundtrip ... ok
[INFO] [stdout] test does_not_contain_gap_addresses ... ok
[INFO] [stdout] test non_overlap_maintained ... ok
[INFO] [stdout] test overlap_rejected_after_partial_remove ... ok
[INFO] [stdout] test overlap_symmetric ... ok
[INFO] [stdout] test active_partitions_nonzero_size ... ok
[INFO] [stdout] test num_partitions_bounded ... ok
[INFO] [stdout] test rejected_add_preserves_state ... ok
[INFO] [stdout] test rejected_remove_preserves_state ... ok
[INFO] [stdout] test valid_partition_no_overflow ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 11 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/proptest_mem_slab.rs (/opt/rustwide/target/release/deps/proptest_mem_slab-14804d5141af64ff)
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test error_codes ... ok
[INFO] [stdout] test alloc_free_roundtrip ... ok
[INFO] [stdout] test conservation_after_ops ... ok
[INFO] [stdout] test invariant_holds_under_random_ops ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/proptest_mempool.rs (/opt/rustwide/target/release/deps/proptest_mempool-76d97bd6bf6e2ec4)
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test alloc_many_free_many_roundtrip ... ok
[INFO] [stdout] test full_rejects_alloc ... ok
[INFO] [stdout] test total_size_overflow_detected ... ok
[INFO] [stdout] test empty_rejects_free ... ok
[INFO] [stdout] test alloc_free_roundtrip ... ok
[INFO] [stdout] test invariant_holds_under_random_ops ... ok
[INFO] [stderr]      Running tests/proptest_msgq.rs (/opt/rustwide/target/release/deps/proptest_msgq-14739dbda9fb4048)
[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] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test prop_init_valid_params_succeed ... ok
[INFO] [stdout] test prop_peek_at_returns_valid_slots ... ok
[INFO] [stdout] test prop_purge_returns_used_count ... ok
[INFO] [stdout] test prop_fill_drain_preserves_invariants ... ok
[INFO] [stdout] test prop_error_codes_correct ... ok
[INFO] [stdout] test prop_ring_consistency_arbitrary_ops ... ok
[INFO] [stderr]      Running tests/proptest_mutex.rs (/opt/rustwide/target/release/deps/proptest_mutex-2ec21665d882f417)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test lock_unlock_roundtrip ... ok
[INFO] [stdout] test contention_preserves_state ... ok
[INFO] [stdout] test non_owner_unlock_error ... ok
[INFO] [stdout] test reentrant_depth_matches ... ok
[INFO] [stdout] test unlock_unlocked_error ... ok
[INFO] [stdout] test m1_invariant_holds_under_random_ops ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/proptest_pipe.rs (/opt/rustwide/target/release/deps/proptest_pipe-423a954faa758b6e)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test error_codes_correct ... ok
[INFO] [stdout] test init_valid_params ... ok
[INFO] [stdout] test reset_empties ... ok
[INFO] [stdout] test write_clamps_to_free ... ok
[INFO] [stdout] test conservation_after_ops ... 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] [stderr]      Running tests/proptest_poll.rs (/opt/rustwide/target/release/deps/proptest_poll-fe42cec1667d0f72)
[INFO] [stdout] 
[INFO] [stdout] running 14 tests
[INFO] [stdout] test check_data_correct ... ok
[INFO] [stdout] test check_msgq_correct ... ok
[INFO] [stdout] test check_sem_correct ... ok
[INFO] [stdout] test events_add_respects_capacity ... ok
[INFO] [stdout] test events_reset_then_set_one_ready ... ok
[INFO] [stdout] test check_pipe_correct ... ok
[INFO] [stdout] test init_always_not_ready ... ok
[INFO] [stdout] test signal_check_returns_state ... ok
[INFO] [stdout] test signal_raise_reset_raise_roundtrip ... ok
[INFO] [stdout] test signal_reset_preserves_result ... ok
[INFO] [stdout] test signal_raise_correct ... ok
[INFO] [stdout] test check_signal_correct ... ok
[INFO] [stdout] test reset_always_not_ready ... ok
[INFO] [stdout] test set_ready_ors_state ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 14 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/proptest_queue.rs (/opt/rustwide/target/release/deps/proptest_queue-6a011d95de086a15)
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test append_get_roundtrip ... ok
[INFO] [stdout] test fill_drain_symmetric ... ok
[INFO] [stdout] test empty_get_returns_eagain ... ok
[INFO] [stdout] test init_always_empty ... ok
[INFO] [stdout] test append_prepend_equivalent ... ok
[INFO] [stdout] test prepend_get_roundtrip ... ok
[INFO] [stdout] test arbitrary_ops_consistent ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 7 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/proptest_ring_buf.rs (/opt/rustwide/target/release/deps/proptest_ring_buf-9735dabdc5d5d37b)
[INFO] [stdout] 
[INFO] [stdout] running 17 tests
[INFO] [stdout] test prop_fill_drain_preserves_invariants ... ok
[INFO] [stdout] test prop_get_advances_head ... ok
[INFO] [stdout] test prop_get_empty_fails ... ok
[INFO] [stdout] test prop_get_n_reads_correct_amount ... ok
[INFO] [stdout] test prop_fifo_order ... ok
[INFO] [stdout] test prop_peek_does_not_modify ... ok
[INFO] [stdout] test prop_conservation ... ok
[INFO] [stdout] test prop_init_valid_capacity ... ok
[INFO] [stdout] test prop_arbitrary_ops_maintain_invariant ... ok
[INFO] [stdout] test prop_put_advances_tail ... ok
[INFO] [stdout] test prop_index_bounds ... ok
[INFO] [stdout] test prop_put_full_fails ... ok
[INFO] [stdout] test prop_peek_returns_valid_slots ... ok
[INFO] [stdout] test prop_put_n_get_n_roundtrip ... ok
[INFO] [stdout] test prop_put_n_writes_correct_amount ... ok
[INFO] [stdout] test prop_reset_always_empties ... ok
[INFO] [stdout] test prop_ring_consistency ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 17 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/proptest_sched.rs (/opt/rustwide/target/release/deps/proptest_sched-374ea77b3c946861)
[INFO] [stdout] 
[INFO] [stdout] running 29 tests
[INFO] [stdout] test cpu_sched_state_new_defaults ... ok
[INFO] [stdout] test prio_cmp_zero_for_equal_priority ... ok
[INFO] [stdout] test next_up_returns_runq_thread_when_present ... ok
[INFO] [stdout] test next_up_idle_only_when_empty ... ok
[INFO] [stdout] test prio_cmp_antisymmetric ... ok
[INFO] [stdout] test runq_best_always_highest_priority ... ok
[INFO] [stdout] test runq_drain_reaches_empty ... ok
[INFO] [stdout] test runq_remove_best_priority_order ... ok
[INFO] [stdout] test sched_pend_unpend_roundtrip ... ok
[INFO] [stdout] test sched_abort_only_fails_from_dead_or_aborting ... ok
[INFO] [stdout] test sched_resume_only_from_suspended ... ok
[INFO] [stdout] test sched_dead_is_terminal ... ok
[INFO] [stdout] test sched_pend_only_from_running ... ok
[INFO] [stdout] test sched_sleep_wakeup_roundtrip ... ok
[INFO] [stdout] test runq_add_returns_false_when_full ... ok
[INFO] [stdout] test sched_suspend_idempotent ... ok
[INFO] [stdout] test sched_sleep_only_from_running ... ok
[INFO] [stdout] test sched_suspend_resume_roundtrip ... ok
[INFO] [stdout] test sched_suspend_valid_states ... ok
[INFO] [stdout] test sched_wakeup_only_from_sleeping ... ok
[INFO] [stdout] test sched_unpend_only_from_pending ... ok
[INFO] [stdout] test should_preempt_exhaustive ... ok
[INFO] [stdout] test should_preempt_preemptive_thread_always_preempted ... ok
[INFO] [stdout] test should_preempt_metairq_preempts_cooperative ... ok
[INFO] [stdout] test should_preempt_cooperative_protection ... ok
[INFO] [stdout] test should_preempt_swap_ok_always_true ... ok
[INFO] [stdout] test should_preempt_swap_ok_overrides_cooperative ... ok
[INFO] [stdout] test runq_empty_count_coherence ... ok
[INFO] [stdout] test runq_sorted_invariant_after_random_ops ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 29 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/proptest_sem.rs (/opt/rustwide/target/release/deps/proptest_sem-5963313fce9d790d)
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test give_take_roundtrip ... ok
[INFO] [stdout] test takes_bottom_at_zero ... ok
[INFO] [stdout] test gives_saturate_at_limit ... ok
[INFO] [stdout] test invariant_holds_under_random_ops ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/proptest_smp_state.rs (/opt/rustwide/target/release/deps/proptest_smp_state-cebe0549e7f4f9e3)
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test lock_unlock_roundtrip ... ok
[INFO] [stdout] test conservation ... ok
[INFO] [stdout] test resume_same_as_start ... ok
[INFO] [stdout] test cpu0_never_stops ... ok
[INFO] [stdout] test start_all_then_reject ... ok
[INFO] [stdout] test start_stop_roundtrip ... ok
[INFO] [stdout] test invariant_holds_under_random_ops ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 7 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/proptest_spinlock.rs (/opt/rustwide/target/release/deps/proptest_spinlock-378d8d21d10c474c)
[INFO] [stdout] 
[INFO] [stdout] running 8 tests
[INFO] [stdout] test acquire_check_consistent ... ok
[INFO] [stdout] test acquire_free_always_succeeds ... ok
[INFO] [stdout] test acquire_release_roundtrip ... ok
[INFO] [stdout] test init_always_valid ... ok
[INFO] [stdout] test double_acquire_returns_ebusy ... ok
[INFO] [stdout] test release_non_owner_fails ... ok
[INFO] [stdout] test nested_n_acquires_n_releases ... ok
[INFO] [stdout] test invariant_owner_nest_consistency ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/proptest_stack.rs (/opt/rustwide/target/release/deps/proptest_stack-8e4d10721d8851ed)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test error_codes ... ok
[INFO] [stdout] test init_valid_params ... ok
[INFO] [stdout] test fill_drain_symmetric ... ok
[INFO] [stdout] test push_pop_roundtrip ... ok
[INFO] [stdout] test conservation_after_ops ... 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] [stderr]      Running tests/proptest_thread_lifecycle.rs (/opt/rustwide/target/release/deps/proptest_thread_lifecycle-c8963cafb26e8641)
[INFO] [stdout] 
[INFO] [stdout] running 24 tests
[INFO] [stdout] test deadline_decide_positive_valid ... ok
[INFO] [stdout] test priority_set_preserves_other_fields ... ok
[INFO] [stdout] test priority_set_decide_valid ... ok
[INFO] [stdout] test priority_set_decide_invalid ... ok
[INFO] [stdout] test priority_set_rejects_invalid ... ok
[INFO] [stdout] test resume_idempotent ... ok
[INFO] [stdout] test priority_set_valid ... ok
[INFO] [stdout] test deadline_decide_nonpositive_rejected ... ok
[INFO] [stdout] test stack_init_valid ... ok
[INFO] [stdout] test stack_rejects_over_size ... ok
[INFO] [stdout] test stack_conservation ... ok
[INFO] [stdout] test stack_space_decide_rejects_unmapped ... ok
[INFO] [stdout] test stack_watermark_monotonic ... ok
[INFO] [stdout] test stack_space_decide_unused_bounded ... ok
[INFO] [stdout] test stack_usage_bounded ... ok
[INFO] [stdout] test suspend_idempotent ... ok
[INFO] [stdout] test suspend_resume_complement ... ok
[INFO] [stdout] test thread_info_rejects_invalid_priority ... ok
[INFO] [stdout] test thread_info_valid_creation ... ok
[INFO] [stdout] test tracker_interleaved_ops ... ok
[INFO] [stdout] test tracker_create_exit_roundtrip ... ok
[INFO] [stdout] test tracker_peak_monotonic ... ok
[INFO] [stdout] test tracker_count_bounded ... ok
[INFO] [stdout] test tracker_peak_gte_count ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 24 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/proptest_timeout.rs (/opt/rustwide/target/release/deps/proptest_timeout-0f3328181bd92e78)
[INFO] [stdout] 
[INFO] [stdout] running 13 tests
[INFO] [stdout] test abort_deactivates ... ok
[INFO] [stdout] test abort_readd ... ok
[INFO] [stdout] test add_absolute_valid ... ok
[INFO] [stdout] test add_sets_correct_deadline ... ok
[INFO] [stdout] test announce_does_not_fire_early ... ok
[INFO] [stdout] test announce_fires_expired ... ok
[INFO] [stdout] test deadline_ge_current_tick ... ok
[INFO] [stdout] test forever_never_fires ... ok
[INFO] [stdout] test no_wait_fires_immediately ... ok
[INFO] [stdout] test timepoint_roundtrip ... ok
[INFO] [stdout] test random_ops_maintain_invariant ... ok
[INFO] [stdout] test overflow_rejected ... ok
[INFO] [stdout] test remaining_decreases ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 13 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/proptest_timer.rs (/opt/rustwide/target/release/deps/proptest_timer-0abace84c14dd078)
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test overflow_rejected ... ok
[INFO] [stdout] test start_resets_status ... ok
[INFO] [stdout] test expire_status_get_roundtrip ... ok
[INFO] [stdout] test invariant_holds_under_random_ops ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/proptest_timeslice.rs (/opt/rustwide/target/release/deps/proptest_timeslice-a761a116be13c44f)
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test enabled_implies_positive_max ... ok
[INFO] [stdout] test reset_restores_max ... ok
[INFO] [stdout] test countdown_correct ... ok
[INFO] [stdout] test reconfig_preserves_invariant ... ok
[INFO] [stdout] test consume_expired_idempotent ... ok
[INFO] [stdout] test no_underflow ... ok
[INFO] [stdout] test invariant_holds_under_random_ops ... 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] [stderr]      Running tests/proptest_userspace.rs (/opt/rustwide/target/release/deps/proptest_userspace-7c4c8399a069a3e1)
[INFO] [stdout] 
[INFO] [stdout] running 23 tests
[INFO] [stdout] test access_granted_with_perm ... ok
[INFO] [stdout] test grant_idempotent ... ok
[INFO] [stdout] test grant_preserves_others ... ok
[INFO] [stdout] test grant_invalid_tid ... ok
[INFO] [stdout] test grant_revoke_roundtrip ... ok
[INFO] [stdout] test dont_care_passes ... ok
[INFO] [stdout] test grant_sets_bit ... ok
[INFO] [stdout] test any_type_passes ... ok
[INFO] [stdout] test access_denied_without_perm ... ok
[INFO] [stdout] test new_always_no_perms ... ok
[INFO] [stdout] test init_must_not_be_init_fails ... ok
[INFO] [stdout] test public_grants_all ... ok
[INFO] [stdout] test revoke_clears_bit ... ok
[INFO] [stdout] test revoke_preserves_others ... ok
[INFO] [stdout] test revoke_idempotent ... ok
[INFO] [stdout] test revoke_invalid_tid ... ok
[INFO] [stdout] test recycle_single_perm ... ok
[INFO] [stdout] test supervisor_always_access ... ok
[INFO] [stdout] test uninit_must_be_init_fails ... ok
[INFO] [stdout] test type_mismatch_ebadf ... ok
[INFO] [stdout] test validation_error_priority ... ok
[INFO] [stdout] test validate_happy_path ... ok
[INFO] [stdout] test flags_consistent ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 23 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/proptest_work.rs (/opt/rustwide/target/release/deps/proptest_work-d616be350f0b9168)
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test busy_get_consistent ... ok
[INFO] [stdout] test cancel_running_returns_to_idle ... ok
[INFO] [stdout] test cancel_clears_queued ... ok
[INFO] [stdout] test full_lifecycle_roundtrip ... ok
[INFO] [stdout] test init_always_idle ... ok
[INFO] [stdout] test submit_idempotent_when_queued ... ok
[INFO] [stdout] test submit_while_canceling_rejects ... 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] [stderr]      Running tests/queue_integration.rs (/opt/rustwide/target/release/deps/queue_integration-0763c7060293fc4c)
[INFO] [stdout] 
[INFO] [stdout] running 13 tests
[INFO] [stdout] test append_get_roundtrip ... ok
[INFO] [stdout] test append_increments_count ... ok
[INFO] [stdout] test clone_and_equality ... ok
[INFO] [stdout] test get_decrements_count ... ok
[INFO] [stdout] test get_empty_returns_eagain ... ok
[INFO] [stdout] test init_creates_empty_queue ... ok
[INFO] [stdout] test interleaved_append_prepend_get ... ok
[INFO] [stdout] test large_count ... ok
[INFO] [stdout] test multiple_appends_then_gets ... ok
[INFO] [stdout] test overflow_protection ... ok
[INFO] [stdout] test prepend_get_roundtrip ... ok
[INFO] [stdout] test prepend_increments_count ... ok
[INFO] [stdout] test stress_append_get_cycles ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 13 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/ring_buf_integration.rs (/opt/rustwide/target/release/deps/ring_buf_integration-abeed8afac1bff72)
[INFO] [stdout] 
[INFO] [stdout] running 34 tests
[INFO] [stdout] test rb4_get_fifo_order ... ok
[INFO] [stdout] test rb3_put_wraps_tail ... ok
[INFO] [stdout] test rb5_put_full_returns_eagain ... ok
[INFO] [stdout] test rb1_size_plus_space_invariant ... ok
[INFO] [stdout] test rb6_get_empty_returns_eagain ... ok
[INFO] [stdout] test rb4_get_wraps_head ... ok
[INFO] [stdout] test rb7_ring_consistency_across_operations ... ok
[INFO] [stdout] test rb8_no_overflow_near_max_capacity ... ok
[INFO] [stdout] test rb_get_capacity_one ... ok
[INFO] [stdout] test rb_get_n_full_read ... ok
[INFO] [stdout] test rb_get_n_partial_read ... ok
[INFO] [stdout] test rb_get_n_zero_count ... ok
[INFO] [stdout] test rb_init_capacity_one ... ok
[INFO] [stdout] test rb_init_max_capacity ... ok
[INFO] [stdout] test rb_init_rejects_zero_capacity ... ok
[INFO] [stdout] test rb_init_valid_capacity ... ok
[INFO] [stdout] test rb_peek_at_empty ... ok
[INFO] [stdout] test rb_peek_at_out_of_bounds ... ok
[INFO] [stdout] test rb_peek_at_sequential ... ok
[INFO] [stdout] test rb_put_get_alternating_single ... ok
[INFO] [stdout] test rb_put_n_full_write ... ok
[INFO] [stdout] test rb_put_n_get_n_wrapping ... ok
[INFO] [stdout] test rb_put_n_partial_write ... ok
[INFO] [stdout] test rb_put_n_zero_count ... ok
[INFO] [stdout] test rb_reset_allows_reuse ... ok
[INFO] [stdout] test rb_put_sequential ... ok
[INFO] [stdout] test rb_reset_empties_buffer ... ok
[INFO] [stdout] test rb_reset_idempotent ... ok
[INFO] [stdout] test rb_stress_fill_drain_cycles ... ok
[INFO] [stdout] test rb_stress_put_n_get_n_cycles ... ok
[INFO] [stdout] test rb_peek_at_with_wrap ... ok
[INFO] [stdout] test rb_peek_does_not_consume ... ok
[INFO] [stdout] test rb_stress_interleaved_put_get ... ok
[INFO] [stdout] test rb_put_capacity_one ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 34 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stderr]      Running tests/sched_integration.rs (/opt/rustwide/target/release/deps/sched_integration-1b44bdfb385d6bba)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 71 tests
[INFO] [stdout] test abort_aborting_is_error ... ok
[INFO] [stdout] test abort_dead_is_error ... ok
[INFO] [stdout] test abort_running_smp_gives_aborting ... ok
[INFO] [stdout] test abort_from_any_live_state_uniprocessor ... ok
[INFO] [stdout] test abort_non_running_smp_gives_dead ... ok
[INFO] [stdout] test abort_then_complete_smp ... ok
[INFO] [stdout] test all_valid_transitions_are_consistent_with_operations ... ok
[INFO] [stdout] test blocked_to_running_requires_ready_intermediate ... ok
[INFO] [stdout] test cooperative_thread_not_preempted ... ok
[INFO] [stdout] test cooperative_thread_preempted_by_metairq ... ok
[INFO] [stdout] test full_lifecycle_create_run_sleep_wake_die ... ok
[INFO] [stdout] test full_lifecycle_smp_abort_sequence ... ok
[INFO] [stdout] test full_lifecycle_suspend_while_pending_then_abort ... ok
[INFO] [stdout] test lifecycle_aborting_cannot_goto_ready ... ok
[INFO] [stdout] test lifecycle_dead_is_terminal ... ok
[INFO] [stdout] test lifecycle_pending_cannot_goto_running ... ok
[INFO] [stdout] test lifecycle_pending_to_ready ... ok
[INFO] [stdout] test lifecycle_pending_to_suspended ... ok
[INFO] [stdout] test lifecycle_ready_cannot_goto_suspended ... ok
[INFO] [stdout] test lifecycle_ready_to_running ... ok
[INFO] [stdout] test lifecycle_ready_cannot_goto_sleeping ... ok
[INFO] [stdout] test lifecycle_ready_cannot_goto_pending ... ok
[INFO] [stdout] test lifecycle_running_to_dead ... ok
[INFO] [stdout] test lifecycle_running_to_aborting ... ok
[INFO] [stdout] test lifecycle_running_to_pending ... ok
[INFO] [stdout] test lifecycle_running_to_ready ... ok
[INFO] [stdout] test lifecycle_running_to_suspended ... ok
[INFO] [stdout] test lifecycle_sleeping_cannot_goto_running ... ok
[INFO] [stdout] test lifecycle_running_to_sleeping ... ok
[INFO] [stdout] test next_up_returns_idle_when_empty ... ok
[INFO] [stdout] test next_up_returns_best_from_queue ... ok
[INFO] [stdout] test lifecycle_aborting_cannot_goto_running ... ok
[INFO] [stdout] test pend_from_running ... ok
[INFO] [stdout] test lifecycle_sleeping_to_ready ... ok
[INFO] [stdout] test lifecycle_aborting_to_dead ... ok
[INFO] [stdout] test prio_cmp_lower_value_is_higher_priority ... ok
[INFO] [stdout] test prio_cmp_equal_priorities ... ok
[INFO] [stdout] test resume_rejects_non_suspended ... ok
[INFO] [stdout] test pend_rejects_non_running ... ok
[INFO] [stdout] test pend_unpend_roundtrip ... ok
[INFO] [stdout] test resume_from_suspended ... ok
[INFO] [stdout] test runq_add_same_priority_preserves_fifo ... ok
[INFO] [stdout] test preemptive_thread_preempted_normally ... ok
[INFO] [stdout] test runq_add_single_thread ... ok
[INFO] [stdout] test runq_full_rejects_add ... ok
[INFO] [stdout] test runq_best_returns_highest_priority ... ok
[INFO] [stdout] test lifecycle_suspended_to_ready ... ok
[INFO] [stdout] test runq_new_is_empty ... ok
[INFO] [stdout] test runq_remove_best_returns_in_priority_order ... ok
[INFO] [stdout] test runq_stress_fill_drain ... ok
[INFO] [stdout] test sleep_from_running ... ok
[INFO] [stdout] test sleep_rejects_non_running ... ok
[INFO] [stdout] test schedule_three_threads_priority_order ... ok
[INFO] [stdout] test suspend_from_pending ... ok
[INFO] [stdout] test suspend_from_running ... ok
[INFO] [stdout] test sleep_wakeup_roundtrip ... ok
[INFO] [stdout] test suspend_rejects_dead ... ok
[INFO] [stdout] test suspend_idempotent ... ok
[INFO] [stdout] test suspend_rejects_sleeping ... ok
[INFO] [stdout] test suspend_rejects_ready ... ok
[INFO] [stdout] test suspend_resume_roundtrip ... ok
[INFO] [stdout] test test_metairq_preemption_preference ... ok
[INFO] [stdout] test test_smp_current_requeued_when_preempted ... ok
[INFO] [stdout] test swap_ok_always_preempts ... ok
[INFO] [stdout] test test_smp_ties_only_switch_on_yield ... ok
[INFO] [stdout] test unpend_from_pending ... ok
[INFO] [stdout] test test_smp_current_stays_if_higher_prio ... ok
[INFO] [stdout] test unpend_rejects_non_pending ... ok
[INFO] [stdout] test wakeup_rejects_non_sleeping ... ok
[INFO] [stdout] test valid_state_transitions ... ok
[INFO] [stderr]      Running tests/sem_integration.rs (/opt/rustwide/target/release/deps/sem_integration-f7d59d15af710c74)
[INFO] [stdout] test wakeup_from_sleeping ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 71 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 13 tests
[INFO] [stdout] test give_increments_when_below_limit ... ok
[INFO] [stdout] test give_saturates_at_limit ... ok
[INFO] [stdout] test give_wakes_highest_priority_thread ... ok
[INFO] [stdout] test invariant_holds_after_init ... ok
[INFO] [stdout] test invariant_holds_after_repeated_give ... ok
[INFO] [stdout] test invariant_holds_after_repeated_take ... ok
[INFO] [stdout] test limit_always_positive ... ok
[INFO] [stdout] test no_overflow_at_u32_max_limit ... ok
[INFO] [stdout] test reset_clears_everything ... ok
[INFO] [stdout] test take_blocking_enqueues_thread ... ok
[INFO] [stdout] test take_empty_returns_wouldblock ... ok
[INFO] [stdout] test wait_queue_ordering_across_operations ... ok
[INFO] [stdout] test take_decrements_by_one ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 13 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/smp_state_integration.rs (/opt/rustwide/target/release/deps/smp_state_integration-c4778186d45ac280)
[INFO] [stdout] 
[INFO] [stdout] running 17 tests
[INFO] [stdout] test clone_and_eq ... ok
[INFO] [stdout] test global_lock_reentrant ... ok
[INFO] [stdout] test global_lock_unlock ... ok
[INFO] [stdout] test global_unlock_empty_returns_einval ... ok
[INFO] [stdout] test init_max_cpus ... ok
[INFO] [stdout] test init_rejects_too_many ... ok
[INFO] [stdout] test init_rejects_zero ... ok
[INFO] [stdout] test init_single_cpu ... ok
[INFO] [stdout] test init_valid ... ok
[INFO] [stdout] test resume_cpu_same_as_start ... ok
[INFO] [stdout] test start_all_cpus ... ok
[INFO] [stdout] test stop_cpu ... ok
[INFO] [stdout] test stop_cpu0_fails ... ok
[INFO] [stdout] test stress_start_stop_cycles ... ok
[INFO] [stdout] test start_cpu ... ok
[INFO] [stdout] test start_stop_roundtrip ... ok
[INFO] [stdout] test start_when_all_active_returns_ebusy ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 17 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/spinlock_integration.rs (/opt/rustwide/target/release/deps/spinlock_integration-5698466c4deec3b3)
[INFO] [stdout] 
[INFO] [stdout] running 17 tests
[INFO] [stdout] test acquire_check_free ... ok
[INFO] [stdout] test acquire_check_held ... ok
[INFO] [stdout] test acquire_free_lock ... ok
[INFO] [stdout] test acquire_held_lock_returns_ebusy ... ok
[INFO] [stdout] test acquire_release_roundtrip ... ok
[INFO] [stdout] test init_creates_unlocked ... ok
[INFO] [stdout] test max_nesting_depth ... ok
[INFO] [stdout] test nested_acquire_different_owner_returns_ebusy ... ok
[INFO] [stdout] test nested_roundtrip ... ok
[INFO] [stdout] test owner_get_returns_correct_tid ... ok
[INFO] [stdout] test release_by_owner ... ok
[INFO] [stdout] test sl2_release_by_non_owner_returns_eperm ... ok
[INFO] [stdout] test sl3_nested_acquire_increments_depth ... ok
[INFO] [stdout] test sl3_nested_release_decrements_depth ... ok
[INFO] [stdout] test release_unlocked_returns_eperm ... ok
[INFO] [stdout] test sl5_double_acquire_same_owner_returns_ebusy ... ok
[INFO] [stdout] test sl4_fully_released_at_zero ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 17 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/spinlock_validate_integration.rs (/opt/rustwide/target/release/deps/spinlock_validate_integration-2a59ca3c225a83a0)
[INFO] [stdout] 
[INFO] [stdout] running 15 tests
[INFO] [stdout] test cpu_id_zero ... ok
[INFO] [stdout] test encode_decode_roundtrip_all_cpus ... ok
[INFO] [stdout] test free_lock_is_valid_for_all_cpus ... ok
[INFO] [stdout] test encode_decode_roundtrip_various_threads ... ok
[INFO] [stdout] test large_thread_pointer ... ok
[INFO] [stdout] test encoding_is_injective ... ok
[INFO] [stdout] test lock_held_by_different_cpu_is_valid ... ok
[INFO] [stdout] test lock_held_by_same_cpu_is_invalid ... ok
[INFO] [stdout] test max_cpu_id ... ok
[INFO] [stdout] test minimal_aligned_thread ... ok
[INFO] [stdout] test unlock_invalid_with_wrong_cpu ... ok
[INFO] [stdout] test unlock_invalid_with_wrong_thread ... ok
[INFO] [stdout] test unlock_invalid_with_zero_thread_cpu ... ok
[INFO] [stdout] test owner_is_nonzero_for_all_valid_inputs ... ok
[INFO] [stdout] test unlock_valid_with_correct_owner ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 15 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/stack_integration.rs (/opt/rustwide/target/release/deps/stack_integration-0169fa8d3fe29502)
[INFO] [stdout] 
[INFO] [stdout] running 13 tests
[INFO] [stdout] test capacity_one ... ok
[INFO] [stdout] test conservation_invariant ... ok
[INFO] [stdout] test fill_then_drain ... ok
[INFO] [stdout] test init_rejects_zero ... ok
[INFO] [stdout] test init_valid_capacity ... ok
[INFO] [stdout] test interleaved_push_pop ... ok
[INFO] [stdout] test large_capacity ... ok
[INFO] [stdout] test pop_decrements_count ... ok
[INFO] [stdout] test pop_empty_returns_ebusy ... ok
[INFO] [stdout] test push_full_returns_enomem ... ok
[INFO] [stdout] test push_pop_roundtrip ... ok
[INFO] [stdout] test push_increments_count ... ok
[INFO] [stdout] test stress_push_pop_cycles ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 13 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/systick_integration.rs (/opt/rustwide/target/release/deps/systick_integration-612a88c7766e1d70)
[INFO] [stdout] 
[INFO] [stdout] running 44 tests
[INFO] [stdout] test announce_decide_already_announced ... ok
[INFO] [stdout] test announce_decide_basic ... ok
[INFO] [stdout] test announce_decide_partial_tick ... ok
[INFO] [stdout] test announce_decide_with_overflow ... ok
[INFO] [stdout] test cycles_to_ticks_basic ... ok
[INFO] [stdout] test cycles_to_ticks_fewer_than_one_tick ... ok
[INFO] [stdout] test cycles_to_ticks_large_values ... ok
[INFO] [stdout] test cycles_to_ticks_one_cycle_per_tick ... ok
[INFO] [stdout] test cycles_to_ticks_truncation ... ok
[INFO] [stdout] test cycles_to_ticks_zero_cpt ... ok
[INFO] [stdout] test cycles_to_ticks_zero_cycles ... ok
[INFO] [stdout] test elapsed_count_equals_load ... ok
[INFO] [stdout] test elapsed_decide_countflag_wrap ... ok
[INFO] [stdout] test elapsed_decide_no_wrap ... ok
[INFO] [stdout] test elapsed_decide_val_wrap ... ok
[INFO] [stdout] test elapsed_decide_with_prior_overflow ... ok
[INFO] [stdout] test elapsed_last_at_one_current_at_one ... ok
[INFO] [stdout] test elapsed_load_one ... ok
[INFO] [stdout] test elapsed_max_single_period ... ok
[INFO] [stdout] test elapsed_no_wrap_full_range ... ok
[INFO] [stdout] test elapsed_no_wrap_same_value ... ok
[INFO] [stdout] test elapsed_no_wrap_one_cycle ... ok
[INFO] [stdout] test elapsed_no_wrap_simple ... ok
[INFO] [stdout] test elapsed_wrap_just_past_zero ... ok
[INFO] [stdout] test elapsed_wrap_from_near_load ... ok
[INFO] [stdout] test elapsed_wrap_max_load ... ok
[INFO] [stdout] test elapsed_wrap_simple ... ok
[INFO] [stdout] test max_ticks_larger_than_counter_max ... ok
[INFO] [stdout] test max_ticks_typical ... ok
[INFO] [stdout] test max_load_is_24_bit ... ok
[INFO] [stdout] test max_ticks_one_cpt ... ok
[INFO] [stdout] test monotonicity_cycles_to_ticks ... ok
[INFO] [stdout] test max_ticks_equal_to_counter_max ... ok
[INFO] [stdout] test roundtrip_exact ... ok
[INFO] [stdout] test roundtrip_with_remainder_loses_partial_tick ... ok
[INFO] [stdout] test ticks_to_cycles_boundary ... ok
[INFO] [stdout] test max_ticks_zero_cpt ... ok
[INFO] [stdout] test ticks_to_cycles_one_cycle_per_tick ... ok
[INFO] [stdout] test ticks_to_cycles_max_no_overflow ... ok
[INFO] [stdout] test ticks_to_cycles_overflow ... ok
[INFO] [stdout] test ticks_to_cycles_zero_ticks ... ok
[INFO] [stdout] test roundtrip_various_cpt ... ok
[INFO] [stdout] test ticks_to_cycles_zero_cpt ... ok
[INFO] [stdout] test ticks_to_cycles_basic ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 44 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/thread_lifecycle_integration.rs (/opt/rustwide/target/release/deps/thread_lifecycle_integration-94707f89cbc434f4)
[INFO] [stdout] 
[INFO] [stdout] running 51 tests
[INFO] [stdout] test deadline_decide_clamped_equals_input_for_valid ... ok
[INFO] [stdout] test deadline_decide_negative_rejects ... ok
[INFO] [stdout] test deadline_decide_zero_rejects ... ok
[INFO] [stdout] test priority_set_decide_boundary_max_minus_one ... ok
[INFO] [stdout] test deadline_decide_positive_proceeds ... ok
[INFO] [stdout] test priority_set_decide_max_priority_rejects ... ok
[INFO] [stdout] test priority_set_decide_over_max_rejects ... ok
[INFO] [stdout] test priority_set_decide_then_thread_info_set ... ok
[INFO] [stdout] test priority_set_decide_valid_range_proceeds ... ok
[INFO] [stdout] test resume_decide_combined_flags_with_suspended ... ok
[INFO] [stdout] test resume_decide_not_suspended_returns_noop ... ok
[INFO] [stdout] test resume_decide_suspended_returns_proceed ... ok
[INFO] [stdout] test stack_conservation ... ok
[INFO] [stdout] test stack_init_rejects_zero_size ... ok
[INFO] [stdout] test stack_init_valid ... ok
[INFO] [stdout] test stack_record_usage_at_exact_size ... ok
[INFO] [stdout] test stack_record_usage_increases_watermark ... ok
[INFO] [stdout] test stack_record_usage_rejects_over_size ... ok
[INFO] [stdout] test stack_space_decide_full_usage ... ok
[INFO] [stdout] test stack_space_decide_rejects_unmapped ... ok
[INFO] [stdout] test stack_space_decide_valid_no_usage ... ok
[INFO] [stdout] test stack_space_decide_unused_never_exceeds_size ... ok
[INFO] [stdout] test suspend_decide_not_suspended_returns_proceed ... ok
[INFO] [stdout] test stack_space_decide_with_usage ... ok
[INFO] [stdout] test suspend_decide_already_suspended_returns_noop ... ok
[INFO] [stdout] test suspend_and_resume_are_complementary_exhaustive ... ok
[INFO] [stdout] test stack_record_usage_watermark_only_increases ... ok
[INFO] [stdout] test thread_info_priority_set_preserves_id ... ok
[INFO] [stdout] test suspend_decide_other_flags_no_suspended ... ok
[INFO] [stdout] test thread_info_new_valid ... ok
[INFO] [stdout] test thread_info_priority_set_to_max_minus_one ... ok
[INFO] [stdout] test thread_info_priority_set_to_zero ... ok
[INFO] [stdout] test thread_info_rejects_invalid_priority ... ok
[INFO] [stdout] test thread_info_rejects_zero_stack ... ok
[INFO] [stdout] test suspend_decide_combined_flags_with_suspended ... ok
[INFO] [stdout] test suspend_resume_state_machine ... ok
[INFO] [stdout] test thread_info_priority_set_valid ... ok
[INFO] [stdout] test tracker_create_exit_roundtrip ... ok
[INFO] [stdout] test tracker_create_increments ... ok
[INFO] [stdout] test thread_info_priority_set_rejects_invalid ... ok
[INFO] [stdout] test tracker_drain_from_full ... ok
[INFO] [stdout] test thread_info_priority_set_preserves_stack ... ok
[INFO] [stdout] test thread_lifecycle_full_scenario ... ok
[INFO] [stdout] test tracker_fill_to_capacity ... ok
[INFO] [stdout] test tracker_exit_empty_returns_error ... ok
[INFO] [stdout] test tracker_peak_updates_on_new_high ... ok
[INFO] [stdout] test tracker_peak_tracks_maximum ... ok
[INFO] [stdout] test tracker_exit_decrements ... ok
[INFO] [stdout] test tracker_at_capacity_rejects_create ... ok
[INFO] [stdout] test tracker_new_empty ... ok
[INFO] [stderr]      Running tests/timeout_integration.rs (/opt/rustwide/target/release/deps/timeout_integration-58b96d5b0279ec83)
[INFO] [stdout] test tracker_many_create_exit_cycles ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 51 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 39 tests
[INFO] [stdout] test abort_active_returns_ok ... ok
[INFO] [stdout] test abort_inactive_returns_einval ... ok
[INFO] [stdout] test abort_then_re_add ... ok
[INFO] [stdout] test add_absolute_rejects_forever ... ok
[INFO] [stdout] test add_absolute_at_current_tick ... ok
[INFO] [stdout] test add_absolute_rejects_past ... ok
[INFO] [stdout] test add_absolute_sets_deadline ... ok
[INFO] [stdout] test add_forever_creates_forever_timeout ... ok
[INFO] [stdout] test add_relative_sets_deadline ... ok
[INFO] [stdout] test add_no_wait_creates_immediate_timeout ... ok
[INFO] [stdout] test add_relative_overflow_returns_einval ... ok
[INFO] [stdout] test announce_does_not_fire_before_deadline ... ok
[INFO] [stdout] test add_relative_zero_duration ... ok
[INFO] [stdout] test announce_no_wait_fires_immediately ... ok
[INFO] [stdout] test announce_does_not_fire_forever ... ok
[INFO] [stdout] test announce_overflow_returns_einval ... ok
[INFO] [stdout] test announce_fires_at_exact_deadline ... ok
[INFO] [stdout] test announce_zero_ticks_no_wait ... ok
[INFO] [stdout] test announce_fires_expired_timeout ... ok
[INFO] [stdout] test init_creates_inactive_timeout ... ok
[INFO] [stdout] test init_with_nonzero_tick ... ok
[INFO] [stdout] test announce_does_not_fire_inactive ... ok
[INFO] [stdout] test multiple_announce_steps ... ok
[INFO] [stdout] test remaining_active_timeout ... ok
[INFO] [stdout] test large_tick_values ... ok
[INFO] [stdout] test clone_and_eq ... ok
[INFO] [stdout] test remaining_after_partial_advance ... ok
[INFO] [stdout] test remaining_expired_returns_zero ... ok
[INFO] [stdout] test remaining_inactive_timeout ... ok
[INFO] [stdout] test expires_active ... ok
[INFO] [stdout] test timepoint_calc_basic ... ok
[INFO] [stdout] test expires_inactive ... ok
[INFO] [stdout] test remaining_forever_timeout ... ok
[INFO] [stdout] test timepoint_roundtrip ... ok
[INFO] [stdout] test timepoint_timeout_forever ... ok
[INFO] [stdout] test timepoint_timeout_no_wait ... ok
[INFO] [stdout] test timepoint_calc_overflow_returns_einval ... ok
[INFO] [stdout] test timepoint_timeout_past_returns_zero ... ok
[INFO] [stdout] test timepoint_timeout_basic ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 39 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/timer_integration.rs (/opt/rustwide/target/release/deps/timer_integration-514fc2171776403a)
[INFO] [stdout] 
[INFO] [stdout] running 14 tests
[INFO] [stdout] test clone_and_eq ... ok
[INFO] [stdout] test expire_just_below_max ... ok
[INFO] [stdout] test expire_overflow_returns_error ... ok
[INFO] [stdout] test init_one_shot ... ok
[INFO] [stdout] test init_periodic ... ok
[INFO] [stdout] test many_expiries ... ok
[INFO] [stdout] test expire_increments_status ... ok
[INFO] [stdout] test period_preserved_across_operations ... ok
[INFO] [stdout] test periodic_vs_one_shot ... ok
[INFO] [stdout] test start_stop_start_cycle ... ok
[INFO] [stdout] test status_get_reads_and_resets ... ok
[INFO] [stdout] test start_sets_running_and_resets_status ... ok
[INFO] [stdout] test status_get_after_stop ... ok
[INFO] [stderr]      Running tests/timeslice_integration.rs (/opt/rustwide/target/release/deps/timeslice_integration-ebd1552fe3de60aa)
[INFO] [stdout] test stop_clears_running_and_status ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 14 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 clone_and_eq ... ok
[INFO] [stdout] test consume_expired_reads_and_clears ... ok
[INFO] [stdout] test disabled_tick_still_marks_expired ... ok
[INFO] [stdout] test full_countdown_cycle ... ok
[INFO] [stdout] test init_disabled ... ok
[INFO] [stdout] test reconfigure_mid_slice ... ok
[INFO] [stdout] test max_ticks_value ... ok
[INFO] [stdout] test reset_restores_max ... ok
[INFO] [stdout] test reset_clears_expired ... ok
[INFO] [stdout] test invariant_across_operations ... ok
[INFO] [stdout] test set_config_zero_disables ... ok
[INFO] [stdout] test single_tick_slice ... ok
[INFO] [stdout] test set_config_enables_and_resets ... ok
[INFO] [stdout] test tick_at_zero_no_underflow ... ok
[INFO] [stdout] test tick_decrements ... ok
[INFO] [stdout] test tick_to_zero_expires ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 16 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/usage_integration.rs (/opt/rustwide/target/release/deps/usage_integration-d3f12398b6008644)
[INFO] [stdout] 
[INFO] [stdout] running 34 tests
[INFO] [stdout] test accumulate_adds_cycles ... ok
[INFO] [stdout] test accumulate_is_monotone ... ok
[INFO] [stdout] test accumulate_large_value ... ok
[INFO] [stdout] test accumulate_zero_cycles_is_ok ... ok
[INFO] [stdout] test accumulate_overflow_returns_eoverflow ... ok
[INFO] [stdout] test average_cycles_one_window ... ok
[INFO] [stdout] test average_cycles_large_windows ... ok
[INFO] [stdout] test average_cycles_truncating_division ... ok
[INFO] [stdout] test average_cycles_exact_division ... ok
[INFO] [stdout] test disable_on_already_disabled_is_ok ... ok
[INFO] [stdout] test elapsed_cycles_same_value ... ok
[INFO] [stdout] test elapsed_cycles_simple ... ok
[INFO] [stdout] test elapsed_cycles_wrap_around ... ok
[INFO] [stdout] test elapsed_cycles_zero_usage0 ... ok
[INFO] [stdout] test enable_disable_roundtrip ... ok
[INFO] [stdout] test average_cycles_zero_windows_returns_zero ... ok
[INFO] [stdout] test enable_is_idempotent ... ok
[INFO] [stdout] test enable_sets_track_usage ... ok
[INFO] [stdout] test new_idle_initial_state ... ok
[INFO] [stdout] test scenario_enable_run_accumulate_disable ... ok
[INFO] [stdout] test scenario_start_stop_decisions ... ok
[INFO] [stdout] test scenario_sys_enable_disable ... ok
[INFO] [stdout] test start_decide_tracking_returns_record_start ... ok
[INFO] [stdout] test stop_decide_nonzero_usage0_returns_accumulate ... ok
[INFO] [stdout] test disable_clears_track_usage ... ok
[INFO] [stdout] test start_decide_not_tracking_returns_record_only ... ok
[INFO] [stdout] test sys_disable_idempotent_sequence ... ok
[INFO] [stdout] test enable_preserves_total_cycles ... ok
[INFO] [stdout] test stop_decide_zero_usage0_returns_skip ... ok
[INFO] [stdout] test sys_disable_when_not_tracking_returns_noop ... ok
[INFO] [stdout] test sys_disable_when_tracking_returns_apply ... ok
[INFO] [stdout] test sys_enable_idempotent_sequence ... ok
[INFO] [stdout] test sys_enable_when_already_tracking_returns_noop ... ok
[INFO] [stdout] test sys_enable_when_not_tracking_returns_apply ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 34 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/userspace_integration.rs (/opt/rustwide/target/release/deps/userspace_integration-588d3545ee170cb9)
[INFO] [stdout] 
[INFO] [stdout] running 42 tests
[INFO] [stdout] test all_threads_granted ... ok
[INFO] [stdout] test clear_all_perms_resets_bitmask ... ok
[INFO] [stdout] test clear_thread_perm_single ... ok
[INFO] [stdout] test grant_revoke_roundtrip ... ok
[INFO] [stdout] test init_sets_flag ... ok
[INFO] [stdout] test make_public_sets_flag ... ok
[INFO] [stdout] test new_creates_uninitialized_no_perms ... ok
[INFO] [stdout] test new_each_type ... ok
[INFO] [stdout] test public_preserves_perms ... ok
[INFO] [stdout] test recycle_clears_perms_grants_current_inits ... ok
[INFO] [stdout] test recycle_works_on_uninitialized ... ok
[INFO] [stdout] test thread_63_permission ... ok
[INFO] [stdout] test thread_zero_permission ... ok
[INFO] [stdout] test uninit_preserves_perms ... ok
[INFO] [stdout] test us1_access_denied_without_permission ... ok
[INFO] [stdout] test us1_no_permission_returns_eperm ... ok
[INFO] [stdout] test init_preserves_perms ... ok
[INFO] [stdout] test us1_access_granted_with_permission ... ok
[INFO] [stdout] test us3_revoke_clears_permission_bit ... ok
[INFO] [stdout] test us2_grant_idempotent ... ok
[INFO] [stdout] test us3_revoke_preserves_other_bits ... ok
[INFO] [stdout] test us3_revoke_idempotent ... ok
[INFO] [stdout] test uninit_clears_flag ... ok
[INFO] [stdout] test us2_grant_multiple_threads ... ok
[INFO] [stdout] test us2_grant_sets_permission_bit ... ok
[INFO] [stdout] test us5_supervisor_bypasses_permission ... ok
[INFO] [stdout] test us5_public_object_grants_all ... ok
[INFO] [stdout] test us7_dont_care_ignores_init_state ... ok
[INFO] [stdout] test us4_any_type_matches_anything ... ok
[INFO] [stdout] test us7_uninit_must_be_init_returns_einval ... ok
[INFO] [stdout] test us8_grant_invalid_tid_returns_einval ... ok
[INFO] [stdout] test us4_exact_type_match_succeeds ... ok
[INFO] [stdout] test us8_revoke_invalid_tid_returns_einval ... ok
[INFO] [stdout] test us8_invalid_tid_access_denied ... ok
[INFO] [stdout] test validate_priority_perms_before_init ... ok
[INFO] [stdout] test us7_init_must_not_be_init_returns_eaddrinuse ... ok
[INFO] [stdout] test validate_supervisor_bypasses_perms_and_init ... ok
[INFO] [stdout] test us4_type_mismatch_returns_ebadf ... ok
[INFO] [stdout] test validate_full_happy_path ... ok
[INFO] [stdout] test validate_priority_type_before_perms ... ok
[INFO] [stdout] test validate_supervisor_still_checks_init ... ok
[INFO] [stdout] test validate_supervisor_bypasses_perms_but_not_type ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 42 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/work_integration.rs (/opt/rustwide/target/release/deps/work_integration-f71a90c467c139fb)
[INFO] [stdout] 
[INFO] [stdout] running 16 tests
[INFO] [stdout] test busy_get_reflects_flags ... ok
[INFO] [stdout] test cancel_queued_clears_queued ... ok
[INFO] [stdout] test cancel_idle_returns_zero_busy ... ok
[INFO] [stdout] test cancel_running_lifecycle ... ok
[INFO] [stdout] test cancel_running_sets_canceling ... ok
[INFO] [stdout] test clone_and_eq ... ok
[INFO] [stdout] test finish_running_clears_running ... ok
[INFO] [stdout] test finish_cancel_clears_canceling ... ok
[INFO] [stdout] test full_lifecycle_idle_to_idle ... ok
[INFO] [stdout] test init_is_idle ... ok
[INFO] [stdout] test multiple_submit_cancel_cycles ... ok
[INFO] [stdout] test submit_from_idle ... ok
[INFO] [stdout] test submit_idempotent_when_queued ... ok
[INFO] [stdout] test start_running_sets_running_clears_queued ... ok
[INFO] [stdout] test submit_while_canceling_returns_ebusy ... ok
[INFO] [stdout] test submit_while_running_returns_2 ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 16 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests gale
[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" "e9b82e26a691d5b1275e2683e6437ae0a74548720d7283092c8678407b8103ce", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e9b82e26a691d5b1275e2683e6437ae0a74548720d7283092c8678407b8103ce", kill_on_drop: false }`
[INFO] [stdout] e9b82e26a691d5b1275e2683e6437ae0a74548720d7283092c8678407b8103ce
