Searched refs:check_termination (Results 1 - 1 of 1) sorted by relevance
| /seL4-camkes-master/projects/camkes-tool/camkes/templates/tests/ |
| H A D | testsel4_notification.py | 69 check_termination(src, node.decl.name, node.body.block_items)
201 def check_termination(source, name, statements, accumulated=None, locks=0): function
231 check_termination(source, name, statement.stmt.block_items +
247 check_termination(source, name, ([statement.iftrue] if
257 check_termination(source, name, ([statement.iffalse] if
298 check_termination(source, name, (statement.block_items or []) +
|
Completed in 55 milliseconds