Searched defs:result (Results 1 - 25 of 267) sorted by relevance

1234567891011

/seL4-l4v-10.1.1/HOL4/src/integer/testing/
H A Dtest_coopers.sml5 val result = value
H A Dtest_omega.sml5 val result = test_cases.perform_tests Omega.OMEGA_CONV Omega.OMEGA_TAC andalso value
H A Dtest_cases.sml11 val result = SOME (SOME (c t)) value
304 val result = SOME (SOME (tac g)) handle Interrupt => SOME NONE value
H A Dtestdp.sml25 val result = SOME (proc t) handle HOL_ERR _ => NONE value
/seL4-l4v-10.1.1/HOL4/tools/quote-filter/
H A Dselftest.sml5 val result = system "diff temp-output desired-output" value
/seL4-l4v-10.1.1/l4v/tools/autocorres/doc/quickstart/
H A Dmult_by_add.c17 unsigned result = 0; local
/seL4-l4v-10.1.1/l4v/tools/autocorres/tests/examples/
H A Dmult_by_add.c13 unsigned result = 0; local
/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/
H A Dparse_prepost.c19 int c, result; local
H A Dparse_simple_struct.c19 struct s result; local
/seL4-l4v-10.1.1/HOL4/src/datatype/theory_tests/
H A DmonofldBScript.sml11 val result = String.concat (List.rev (!buf)) value
/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A DHoldep_tokens.sig5 type result = (string,int) Binarymap.dict type
/seL4-l4v-10.1.1/HOL4/src/HolSmt/
H A DSolverSpec.sml7 datatype result = SAT of string option (* model, should perhaps be a thm *) type
34 val result = post x outfile value
/seL4-l4v-10.1.1/HOL4/src/portableML/poly/
H A DThread_Data.sml37 val result = Exn.capture (restore_attributes f) x; value
H A DUnsynchronized.sml38 val result = Exn.capture (restore_attributes f) x; value
/seL4-l4v-10.1.1/HOL4/tools/mlyacc/src/
H A Dparse.sml42 val (result,_) = (Header.lineno := 1; value
/seL4-l4v-10.1.1/graph-refine/loop-example/
H A Dloop.c34 check_one (int result) { argument
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/
H A Dfloat1.c30 value_type result[2]; local
H A Dfloat4.c32 value_type result[2]; local
H A Dmany2.c38 ffi_arg result = 0; local
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DNetProtDB.sml35 datatype result = AResult of entry | NoResult type
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/32/mode/model/
H A Dsmp.h27 void *result; local
/seL4-l4v-10.1.1/HOL4/src/num/arith/src/
H A Dselftest.sml107 val result = value
120 val result = SIMP_CONV ss [] t value
129 val result = SIMP_CONV ss [ASSUME ``0 < n``] t value
138 val result = SIMP_CONV ss [] t value
147 val result value
[all...]
/seL4-l4v-10.1.1/HOL4/src/num/theories/
H A Dselftest.sml112 val result = dot t value
/seL4-l4v-10.1.1/HOL4/src/tactictoe/src/
H A DtttTimeout.sml56 val result = self_wait () value
/seL4-l4v-10.1.1/HOL4/tools/mlyacc/mlyacclib/
H A DMLY_join.sml46 type result = ParserData.result type
91 type result = ParserData.result type

Completed in 291 milliseconds

1234567891011