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

/seL4-camkes-master/projects/camkes/tests/
H A DMakefile25 (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 Dperf.sh23 echo Test result: $SPEED $UNITS
/seL4-camkes-master/tools/cogent/cogent/tests/phases/
H A Dtype_proof.sh55 TEST_NAME_BASE=Test
H A Dcorres_proof.sh51 TEST_NAME_BASE=Test
/seL4-camkes-master/tools/rumprun/tests/
H A Druntests.sh163 echo ">> Test output for ${test}"
/seL4-camkes-master/tools/cogent/regression/
H A Dtestspec.py36 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 Drun-test-suite.py156 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 Dmsgpack_basic.cpp197 class IntegerToFloatingPointTest : public testing::Test {
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/
H A Dconfigure373 # 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