/seL4-camkes-master/projects/capdl/python-capdl-tool/tests/ |
H A D | runall.py | 23 ME = os.path.abspath(__file__) variable 36 print("Looking for tests in {0}".format(os.path.dirname(ME))) 37 test_suite.addTests(loader.discover(os.path.dirname(ME), pattern="*.py"))
|
/seL4-camkes-master/projects/camkes-tool/camkes/ast/tests/ |
H A D | lintsource.py | 22 ME = os.path.abspath(__file__) variable 25 sys.path.append(os.path.join(os.path.dirname(ME), '../../..')) 29 CAMKES_LINT = os.path.join(os.path.dirname(ME), 39 srcdir = os.path.join(os.path.dirname(ME), '..')
|
H A D | testhashing.py | 21 ME = os.path.abspath(__file__) variable 24 sys.path.append(os.path.join(os.path.dirname(ME), '../../..'))
|
H A D | lint.py | 22 ME = os.path.abspath(__file__) variable 25 sys.path.append(os.path.join(os.path.dirname(ME), '../../..')) 46 srcdir = os.path.join(os.path.dirname(ME), '..')
|
H A D | testckeywords.py | 21 ME = os.path.abspath(__file__) variable 24 sys.path.append(os.path.join(os.path.dirname(ME), '../../..')) 56 src = os.path.join(os.path.dirname(ME), '../../../tools/ckeywords.c')
|
H A D | testobjects.py | 21 ME = os.path.abspath(__file__) variable 24 sys.path.append(os.path.join(os.path.dirname(ME), '../../..'))
|
/seL4-camkes-master/projects/camkes-tool/camkes/internal/tests/ |
H A D | lintsource.py | 22 ME = os.path.abspath(__file__) variable 25 sys.path.append(os.path.join(os.path.dirname(ME), '../../..')) 29 CAMKES_LINT = os.path.join(os.path.dirname(ME), 39 srcdir = os.path.join(os.path.dirname(ME), '..')
|
H A D | testfrozendict.py | 21 ME = os.path.abspath(__file__) variable 24 sys.path.append(os.path.join(os.path.dirname(ME), '../../..'))
|
H A D | lint.py | 22 ME = os.path.abspath(__file__) variable 25 sys.path.append(os.path.join(os.path.dirname(ME), '../../..')) 43 srcdir = os.path.join(os.path.dirname(ME), '..')
|
H A D | teststrhash.py | 21 ME = os.path.abspath(__file__) variable 24 sys.path.append(os.path.join(os.path.dirname(ME), '../../..'))
|
/seL4-camkes-master/projects/camkes-tool/camkes/parser/tests/ |
H A D | lintsource.py | 22 ME = os.path.abspath(__file__) variable 25 sys.path.append(os.path.join(os.path.dirname(ME), '../../..')) 29 CAMKES_LINT = os.path.join(os.path.dirname(ME), 39 srcdir = os.path.join(os.path.dirname(ME), '..')
|
H A D | testobjects.py | 21 ME = os.path.abspath(__file__) variable 24 sys.path.append(os.path.join(os.path.dirname(ME), '../../..'))
|
H A D | lint.py | 22 ME = os.path.abspath(__file__) variable 25 sys.path.append(os.path.join(os.path.dirname(ME), '../../..')) 43 srcdir = os.path.join(os.path.dirname(ME), '..')
|
H A D | testexamples.py | 26 ME = os.path.abspath(__file__) variable 29 sys.path.append(os.path.join(os.path.dirname(ME), '../../..')) 65 dtbQuery.parse_args(['--dtb', os.path.join(os.path.dirname(ME), "test.dtb")]) 77 for eg in os.listdir(os.path.join(os.path.dirname(ME), 'good')): 79 path = os.path.join(os.path.dirname(ME), 'good', eg) 103 dirname = os.path.join(os.path.dirname(ME), 'bad-at-%s' % p)
|
H A D | testreader.py | 21 ME = os.path.abspath(__file__) variable 24 sys.path.append(os.path.join(os.path.dirname(ME), '../../..'))
|
H A D | teststage8.py | 21 ME = os.path.abspath(__file__) variable 24 sys.path.append(os.path.join(os.path.dirname(ME), '../../..'))
|
H A D | teststage9.py | 21 ME = os.path.abspath(__file__) variable 24 sys.path.append(os.path.join(os.path.dirname(ME), '../../..'))
|
/seL4-camkes-master/projects/camkes-tool/camkes/runner/tests/ |
H A D | lint.py | 22 ME = os.path.abspath(__file__) variable 25 sys.path.append(os.path.join(os.path.dirname(ME), '../../..')) 28 sys.path.append(os.path.join(os.path.dirname(ME), '../../../../python-capdl')) 46 srcdir = os.path.join(os.path.dirname(ME), '..')
|
H A D | lintsource.py | 22 ME = os.path.abspath(__file__) variable 25 sys.path.append(os.path.join(os.path.dirname(ME), '../../..')) 29 CAMKES_LINT = os.path.join(os.path.dirname(ME), 39 srcdir = os.path.join(os.path.dirname(ME), '..')
|
/seL4-camkes-master/projects/camkes-tool/camkes/templates/tests/ |
H A D | lintsource.py | 22 ME = os.path.abspath(__file__) variable 25 sys.path.append(os.path.join(os.path.dirname(ME), '../../..')) 29 CAMKES_LINT = os.path.join(os.path.dirname(ME), 39 srcdir = os.path.join(os.path.dirname(ME), '..')
|
H A D | testbadidioms.py | 25 ME = os.path.abspath(__file__) variable 28 sys.path.append(os.path.join(os.path.dirname(ME), '../../..')) 47 template_dir = os.path.abspath(os.path.join(os.path.dirname(ME), '..')) 48 tests_dir = os.path.dirname(ME)
|
H A D | jinja_lint.py | 25 ME = os.path.abspath(__file__) variable 28 sys.path.append(os.path.join(os.path.dirname(ME), '../../..')) 35 self.lint = os.path.join(os.path.dirname(ME), 52 template_dir = os.path.abspath(os.path.join(os.path.dirname(ME), '..')) 53 tests_dir = os.path.dirname(ME)
|
H A D | lint.py | 22 ME = os.path.abspath(__file__) variable 25 sys.path.append(os.path.join(os.path.dirname(ME), '../../..')) 43 srcdir = os.path.join(os.path.dirname(ME), '..')
|
H A D | jinja_pylint.py | 25 ME = os.path.abspath(__file__) variable 28 sys.path.append(os.path.join(os.path.dirname(ME), '../../..')) 35 self.lint = os.path.join(os.path.dirname(ME), 77 template_dir = os.path.abspath(os.path.join(os.path.dirname(ME), '..')) 78 tests_dir = os.path.dirname(ME)
|
/seL4-camkes-master/projects/camkes-tool/ |
H A D | alltests.py | 31 ME = os.path.abspath(__file__) variable 62 test_suite.addTests(loader.discover('camkes.' + v, top_level_dir=os.path.dirname(ME)))
|