running 26 tests
test os_gic_ack_negative ... ok
test os_gic_ack_positive ... ok
test acquire_failure_has_no_resource_and_does_not_damage_healthy_route ... ok
test failed_enable_retains_private_resource_until_explicit_close ... ok
test failed_retirement_retains_same_resource_and_retry_releases_it_once ... ok
test os_gic_budget_positive ... ok
test controller_move_preserves_live_token_identity ... ok
test failed_close_mask_keeps_active_resource_and_never_authorizes_return ... ok
test failed_storm_mask_retains_frame_and_resource_until_readback_succeeds ... ok
test combined_eoi_mode_omits_dir_but_keeps_barrier_before_release ... ok
test callback_failure_retains_active_resource_and_cannot_repeat_partial_work ... ok
test failed_active_retirement_consumes_eoi_once_and_retains_exact_resource_for_retry ... ok
test os_gic_budget_negative ... ok
test invalid_backing_rejects_dispatch_and_close_without_touching_owned_resource ... ok
test os_gic_routing_negative ... ok
test os_gic_routing_positive ... ok
test os_gic_teardown_negative ... ok
test os_gic_teardown_positive ... ok
test registration_bounds_and_capacity_refuse_before_hardware ... ok
test retired_generation_cannot_close_new_service_on_same_intid ... ok
test same_scope_foreign_tokens_cannot_act_on_matching_live_instances ... ok
test sgi_then_all_special_ids_have_no_spurious_eoi_or_dir ... ok
test unsupported_acknowledge_and_cpu_cannot_issue_a_dispatch ... ok
test wrong_cpu_masks_only_the_incoming_source_and_does_not_call_owner ... ok
test wrong_owner_registration_cannot_mask_or_free_live_resource ... ok
test zero_or_excess_budget_and_unserviced_finish_have_no_callbacks_or_eoi ... ok

test result: ok. 26 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s

   Compiling turkos-os-gic v0.1.0 (<project>/os-gic)
    Finished `test` profile [unoptimized + debuginfo] target(s) in 0.50s
     Running tests/gic.rs (reports/os-implementation/K921-K939-preparation-7Bk1ve/target/debug/build/turkos-os-gic/504a3f6ce8f6a297/out/gic-504a3f6ce8f6a297)