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

/seL4-camkes-master/tools/cogent/
H A Drun_tests21 python ./regression/run_tests.py "$@" -x autocorres -x isabelle -x c-refinement --limit 50
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/test/suites/api/
H A Dtest_loadb.c12 static void run_tests() function
H A Dutil.h64 static void run_tests();
70 run_tests();
H A Dtest_memory_funcs.c78 static void run_tests() function
H A Dtest_number.c12 static void run_tests() function
H A Dtest_dump_callback.c29 static void run_tests() function
H A Dtest_load_callback.c35 static void run_tests() function
H A Dtest_dump.c197 static void run_tests() function
H A Dtest_equal.c183 static void run_tests() function
H A Dtest_load.c177 static void run_tests() function
H A Dtest_simple.c13 static void run_tests() function
H A Dtest_copy.c310 static void run_tests() function
H A Dtest_pack.c20 static void run_tests() function
H A Dtest_array.c423 static void run_tests() function
H A Dtest_unpack.c14 static void run_tests() function
H A Dtest_object.c516 static void run_tests() function
/seL4-camkes-master/projects/camkes/tests/
H A DMakefile19 run_tests:
/seL4-camkes-master/tools/cogent/cogent/tests/
H A Drun-test-suite.py330 return self.run_tests(context, filter(lambda t: test_name == t['test_name'], self.config.settings))
334 return self.run_tests(context, self.config.settings)
336 def run_tests(self, context, tests): member in class:Test

Completed in 59 milliseconds