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

12

/seL4-l4v-10.1.1/HOL4/src/prekernel/
H A Dselftest.sml2 fun die s = (print (s^"\n"); OS.Process.exit OS.Process.failure) function
/seL4-l4v-10.1.1/HOL4/developers/
H A Dgit-regression-build.sh3 die () function
H A DgenUseScript.sml18 fun die s = (TextIO.output(TextIO.stdErr, s ^ "\n"); function
H A DgenerateBuildSummary.sml12 fun die s = (TextIO.output(TextIO.stdErr, s^"\n"); function
/seL4-l4v-10.1.1/l4v/tools/c-parser/
H A Dmkrelease28 die () function
[all...]
/seL4-l4v-10.1.1/HOL4/tools/Holmake/tests/depchainloop/
H A Dselftest.sml8 fun die s = (TextIO.output(TextIO.stdErr, s ^ "\n"); function
/seL4-l4v-10.1.1/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-10.1.1/HOL4/src/portableML/
H A Dselftest.sml4 fun die s = (print (s^"\n"); OS.Process.exit OS.Process.failure) function
/seL4-l4v-10.1.1/HOL4/tools/Holmake/tests/recursiveclean/
H A Dselftest.sml5 fun die s = (TextIO.output(TextIO.stdErr, s ^ "\n"); function
/seL4-l4v-10.1.1/HOL4/tools/cmp/
H A Dcmp.sml1 fun die s = function
/seL4-l4v-10.1.1/HOL4/tools/set_mtime/
H A Dset_mtime.sml5 fun die qf s = function
/seL4-l4v-10.1.1/HOL4/src/HolQbf/
H A Dselftest.sml23 fun die s = function
/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A Dholdeptool.sml4 fun die () = OS.Process.exit OS.Process.failure function
H A DQFRead.sml4 fun die s = (TextIO.output(TextIO.stdErr, s ^ "\n"); function
H A Dholpathdb.sml34 fun die s = (warn s; modPath) function
/seL4-l4v-10.1.1/HOL4/examples/imperative/
H A Dnecec2010.sml44 val die = testutils.die value
H A DreflectOnFailure.sml15 val die = testutils.die value
/seL4-l4v-10.1.1/l4v/misc/filemerge/faster/
H A Dtranslate.cpp28 #define die(args...) error(-1, errno, args) macro
/seL4-l4v-10.1.1/HOL4/src/HolSmt/
H A Dselftest.sml39 fun die s = function
/seL4-l4v-10.1.1/HOL4/src/coretypes/
H A Dselftest.sml34 val die = fn () => die "FAILED!\n" value
[all...]
/seL4-l4v-10.1.1/l4v/tools/c-parser/standalone-parser/
H A Dtokenizer.sml54 fun die s = (print s; print "\n"; exit failure) function
/seL4-l4v-10.1.1/HOL4/src/parse/
H A Dtestutils.sig11 val die : string -> 'a value
/seL4-l4v-10.1.1/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

Completed in 151 milliseconds

12