Searched refs:fatal (Results 1 - 10 of 10) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/HolQbf/
H A DQbfTrace.sml7 0 - no output at all (except for fatal errors)
/seL4-l4v-10.1.1/l4v/misc/autostop/
H A Dstop.c71 fatal(const char *str) function
194 fatal("Could not read process oom_score.");
204 fatal("Could not read process memory usage.");
214 fatal("Could not read process stat info.");
H A Dkillbig.c40 fatal(const char *str) function
/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A Dunix-systeml.sml77 (print ("Non-fatal warning: couldn't set world execute permission on "^file^",\n but continuing anyway since at least the current user has execute permission.\n");
/seL4-l4v-10.1.1/HOL4/tools-poly/Holmake/
H A Dunix-systeml.sml72 (print ("Non-fatal warning: couldn't set world execute permission on "^file^",\n but continuing anyway since at least the current user has execute permission.\n");
/seL4-l4v-10.1.1/HOL4/src/HolSmt/
H A DLibrary.sml13 0 - no output at all (except for fatal errors)
/seL4-l4v-10.1.1/HOL4/tools/
H A Dconfigure.sml605 [" Warning! (non-fatal):\n The muddy package is not ",
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure1330 fatal) as_fn_error $? "unrecognized options: $ac_unrecognized_opts" ;;
19195 if $CC -Wa,--fatal-warnings $CFLAGS -c conftest1.s > /dev/null 2>&1 && \
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A DpolytypicLib.sml20 (* isFatal considers, Fatal, Debug and the Interrupt exceptions fatal *)
/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure1290 fatal) as_fn_error $? "unrecognized options: $ac_unrecognized_opts" ;;

Completed in 214 milliseconds