Searched refs:START_BLOCK (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/projects/camkes-tool/tools/
H A Djinja_pylint.py25 START_BLOCK = '/*-' variable
47 block_start_string=START_BLOCK,
/seL4-camkes-master/projects/camkes-tool/camkes/runner/
H A DRenderer.py33 START_BLOCK = '/*-' variable
81 block_start_string=START_BLOCK,

Completed in 30 milliseconds