Searched defs:securelevel (Results 1 – 3 of 3) sorted by relevance
465 int securelevel; in main() local
110 int constraints, securelevel; in auto_preconditions() local
281 int securelevel; global() variable