Searched defs:die (Results 1 - 25 of 50) sorted by relevance

12

/seL4-l4v-master/HOL4/src/prekernel/
H A Dselftest.sml2 fun die s = (print (s^"\n"); OS.Process.exit OS.Process.failure) function
/seL4-l4v-master/HOL4/developers/
H A Dgit-regression-build.sh3 die () function
H A DgenerateBuildSummary.sml12 fun die s = (TextIO.output(TextIO.stdErr, s^"\n"); function
/seL4-l4v-master/l4v/tools/c-parser/
H A Dmkrelease25 die () function
[all...]
/seL4-l4v-master/HOL4/tools/Holmake/tests/depchainloop/
H A Dselftest.sml8 fun die s = (TextIO.output(TextIO.stdErr, s ^ "\n"); function
/seL4-l4v-master/HOL4/examples/RL_Environment/
H A DRL_Lib.sml3 fun die msg = function
/seL4-l4v-master/HOL4/src/integer/testing/
H A Dgenproblem.sml44 fun die s = (TextIO.output(TextIO.stdErr, s); function
H A Dgen_bc_problem.sml42 fun die s = (TextIO.output(TextIO.stdErr, s); function
/seL4-l4v-master/HOL4/tools/Holmake/tests/recursiveclean/
H A Dselftest.sml5 fun die s = (TextIO.output(TextIO.stdErr, s ^ "\n"); function
/seL4-l4v-master/HOL4/tools/cmp/
H A Dcmp.sml1 fun die s = function
/seL4-l4v-master/HOL4/tools/set_mtime/
H A Dset_mtime.sml5 fun die qf s = function
/seL4-l4v-master/HOL4/src/HolQbf/
H A Dselftest.sml23 fun die s = function
/seL4-l4v-master/HOL4/tools/Holmake/
H A Dholdeptool.sml4 fun die () = OS.Process.exit OS.Process.failure function
H A Dholpathdb.sml34 fun die s = (warn s; modPath) function
H A DQFRead.sml6 fun die s = (TextIO.output(TextIO.stdErr, s ^ "\n"); function
/seL4-l4v-master/HOL4/src/portableML/
H A Dselftest.sml4 fun die s = (print (s^"\n"); OS.Process.exit OS.Process.failure) function
/seL4-l4v-master/HOL4/examples/imperative/
H A Dnecec2010.sml44 val die = testutils.die value
H A DreflectOnFailure.sml15 val die = testutils.die value
/seL4-l4v-master/l4v/misc/filemerge/faster/
H A Dtranslate.cpp23 #define die(args...) error(-1, errno, args) macro
/seL4-l4v-master/HOL4/src/coretypes/
H A Dselftest.sml34 val die = fn () => die "FAILED!\n" value
/seL4-l4v-master/HOL4/src/HolSmt/
H A Dselftest.sml39 fun die s = function
/seL4-l4v-master/l4v/tools/c-parser/standalone-parser/
H A Dtokenizer.sml50 fun die s = (print s; print "\n"; exit failure) function
/seL4-l4v-master/HOL4/tools/
H A Dbuildutils.sig8 val die : string -> 'a value
H A Dmake_iss.sml27 fun die s = (print s; Process.exit Process.failure) function
/seL4-l4v-master/HOL4/help/src-sml/
H A DDoc2Html.sml26 fun die s = (TextIO.output(TextIO.stdErr, s ^ "\n"); function

Completed in 363 milliseconds

12