Searched refs:Test (Results 1 - 9 of 9) sorted by relevance
/seL4-camkes-master/projects/camkes/tests/ |
H A D | Makefile | 25 (cd build && cmake .. && ctest ${RANGE_COMMAND} ${REGEX_COMMAND} ${VERBOSE_COMMAND} -T Test --no-compress-output) 26 cat build/Testing/*/Test.xml
|
/seL4-camkes-master/projects/picotcp/test/ |
H A D | perf.sh | 23 echo Test result: $SPEED $UNITS
|
/seL4-camkes-master/tools/cogent/cogent/tests/phases/ |
H A D | type_proof.sh | 55 TEST_NAME_BASE=Test
|
H A D | corres_proof.sh | 51 TEST_NAME_BASE=Test
|
/seL4-camkes-master/tools/rumprun/tests/ |
H A D | runtests.sh | 163 echo ">> Test output for ${test}"
|
/seL4-camkes-master/tools/cogent/regression/ |
H A D | testspec.py | 36 class Test(): class in inherits: 65 return Test(doc.get("name"), doc.text.strip(), 308 new_test = Test(name, "isabelle make " + target, timeout=4*3600,
|
/seL4-camkes-master/tools/cogent/cogent/tests/ |
H A D | run-test-suite.py | 156 acc += coloured("Test ran but was expected to error", "red") 164 acc += ("=" * self.block_len + "Test Output" + 167 acc += ("=" * self.block_len + len("Test Output") 208 "Test {0} in {1} must contain mandatory field 'test_name', specifying the (unique) name of the test".format(i, self.relpath)) 211 "Test {0} in {1} must contain mandatory field 'files', a list with at least 1 test".format(i, self.relpath)) 214 "Test {0} in {1} must contain mandatory field 'expected_result'".format(i, self.relpath)) 218 "Test {0} in {1} must have at least 1 test file".format(i, self.relpath)) 222 "Test {0} in {1} must have at least 1 compiler flag".format(i, self.relpath)) 247 class Test: class in inherits: 409 epilog="Test configuration [all...] |
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/test/ |
H A D | msgpack_basic.cpp | 197 class IntegerToFloatingPointTest : public testing::Test {
|
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/ |
H A D | configure | 373 # Test if FILE is an executable regular file. 4118 # Test print first, because it will be a builtin if present. 9083 # Test if we are trying to use run time linking or normal 9870 # Test whether the compiler implicitly links with -lc since on some 11685 /* Test literals. */ 11689 /* Test constant expressions. */ 11698 /* Test availability of runtime routines for shift and division. */ 12460 # Test if FILE is an executable regular file.
|
Completed in 186 milliseconds