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

123456789

/seL4-l4v-master/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 Dtestdp.sml25 val result = SOME (proc t) handle HOL_ERR _ => NONE value
/seL4-l4v-master/HOL4/tools/quote-filter/
H A Dselftest.sml5 val result = system "diff temp-output desired-output" value
/seL4-l4v-master/HOL4/tools/Holmake/tests/theorytarget/
H A Dselftest.sml8 val result = value
/seL4-l4v-master/l4v/tools/c-parser/testfiles/
H A Dparse_prepost.c15 int c, result; local
H A Dparse_simple_struct.c15 struct s result; local
/seL4-l4v-master/l4v/tools/autocorres/tests/examples/
H A Dmult_by_add.c9 unsigned result = 0; local
/seL4-l4v-master/l4v/tools/autocorres/doc/quickstart/
H A Dmult_by_add.c13 unsigned result = 0; local
/seL4-l4v-master/HOL4/src/datatype/theory_tests/
H A DmonofldBScript.sml11 val result = String.concat (List.rev (!buf)) value
/seL4-l4v-master/HOL4/polyml/basis/
H A DThreadLib.sml51 val result = f a value
H A DNetProtDB.sml35 datatype result = AResult of entry | NoResult type
H A DNetServDB.sml36 datatype result = AResult of entry | NoResult type
/seL4-l4v-master/HOL4/tools/Holmake/
H A DHoldep_tokens.sig5 type result = (string,int) Binarymap.dict type
/seL4-l4v-master/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-master/HOL4/tools/mlyacc/src/
H A Dparse.sml42 val (result,_) = (Header.lineno := 1; value
/seL4-l4v-master/HOL4/src/portableML/poly/concurrent/
H A DTimeout.sml27 val result = value
/seL4-l4v-master/graph-refine/loop-example/
H A Dloop.c30 check_one (int result) { argument
/seL4-l4v-master/seL4/include/arch/x86/arch/32/mode/model/
H A Dsmp.h17 void *result; local
/seL4-l4v-master/HOL4/src/HolSmt/
H A DSolverSpec.sml7 datatype result = SAT of string option (* model, should perhaps be a thm *) type
36 val result = post x outfile value
/seL4-l4v-master/HOL4/tools/mlyacc/mlyacclib/
H A DMLY_join.sml46 type result = ParserData.result type
91 type result = ParserData.result type
/seL4-l4v-master/HOL4/tools-poly/poly/
H A DMosml.sml30 val result = if OS.Process.isSuccess status then value
/seL4-l4v-master/isabelle/src/HOL/TPTP/TPTP_Parser/ml-yacc/lib/
H A Djoin.sml27 type result = ParserData.result type
72 type result = ParserData.result type
/seL4-l4v-master/l4v/isabelle/src/HOL/TPTP/TPTP_Parser/ml-yacc/lib/
H A Djoin.sml27 type result = ParserData.result type
72 type result = ParserData.result type

Completed in 198 milliseconds

123456789