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

/seL4-camkes-master/tools/cogent/regression/
H A Drun_tests.py34 PS_UTIL_AVAILABLE = False variable
38 PS_UTIL_AVAILABLE = True variable
72 if not PS_UTIL_AVAILABLE:
296 if len(tests_to_run) > 0 and not PS_UTIL_AVAILABLE:

Completed in 30 milliseconds