Searched defs:tests (Results 1 - 7 of 7) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A DtestACL2encoding.ml131 val tests = ref ([] : (string * (thm -> unit) * thm) list); var
/seL4-l4v-10.1.1/HOL4/examples/elliptic/c_output/
H A Dc_outputLibExamples.sml50 val tests = tests_1 @ tests_2; value
/seL4-l4v-10.1.1/HOL4/src/real/
H A Dselftest.sml21 val tests = [(``~~3r``, ``3r``), value
/seL4-l4v-10.1.1/HOL4/examples/formal-languages/regular/regular-play/test/
H A Dperformance.sml67 val tests = regexTest.getTests(); value
97 val tests = regexTest.getPerformanceTests "/dev/urandom" (6); value
110 val tests = regexTest.getPerformanceTests "./test/data/test12" (100000); value
123 val tests = regexTest.getPerformanceTestsRegexSize "./test/data/test12" (10000) (600); value
136 val tests = regexTest.getPerformanceTestsRegexSize "./test/data/test12" (100000) (10000); value
[all...]
/seL4-l4v-10.1.1/HOL4/src/HolSmt/
H A Dselftest.sml157 val tests = [ value
/seL4-l4v-10.1.1/HOL4/src/1/
H A Dselftest.sml34 val tests = [(x,x,y,y), value
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/ParseTree/
H A DMATCH_COMPILER.sml887 val { tests, ...} = valOf(List.find(fn{pattNo, ...} => pat = pattNo) l) value
[all...]

Completed in 72 milliseconds