Searched refs:END_VARIABLE (Results 1 - 2 of 2) sorted by last modified time

/seL4-camkes-master/projects/camkes-tool/camkes/runner/
H A DRenderer.py36 END_VARIABLE = '?*/' variable
84 variable_end_string=END_VARIABLE,
/seL4-camkes-master/projects/camkes-tool/tools/
H A Djinja_pylint.py28 END_VARIABLE = '?*/' variable
50 variable_end_string=END_VARIABLE,

Completed in 89 milliseconds