running 5 tests
test gic::tests::completion_overflow_refuses_before_callbacks_or_ticket_consumption ... ok
test gic::tests::stale_dispatch_generation_never_consumes_actual_live_ticket ... ok
test gic::tests::exhausted_route_slots_are_skipped_and_never_wrap ... ok
test gic::tests::return_overflow_retains_live_ticket_before_eoi ... ok
test gic::tests::issue_overflow_precedes_actual_iar_read ... ok

test result: ok. 5 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.14s
     Running unittests src/lib.rs (reports/os-implementation/K921-K939-preparation-7Bk1ve/target/debug/build/turkos-os-gic/1481543171ef58a0/out/turkos_os_gic-1481543171ef58a0)