Searched refs:test_sel4notification_liveness (Results 1 - 1 of 1) sorted by path
/seL4-camkes-master/projects/camkes-tool/camkes/templates/tests/ | ||
H A D | testsel4_notification.py | 94 def test_sel4notification_liveness(self): member in class:TestSel4Notification |
Completed in 37 milliseconds