Searched refs:REGRESSION_DIR (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/tools/cogent/regression/ | ||
H A D | testspec.py | 23 REGRESSION_DIR = os.path.dirname(os.path.realpath(__file__)) variable 24 REGRESSION_DTD = os.path.join(REGRESSION_DIR, "regression.dtd") |
Completed in 78 milliseconds