Searched refs:fail (Results 1 - 25 of 405) sorted by relevance

1234567891011>>

/seL4-l4v-master/l4v/isabelle/Admin/Windows/Cygwin/
H A Dsetup_server6 function fail() function
16 mkdir -p "$DIR" || fail "Cannot create directory: \"$DIR\""
18 curl --fail --silent "$URL" > "$DIR"/"$(basename "$URL")" || fail "FAILED"
/seL4-l4v-master/isabelle/Admin/Windows/Cygwin/
H A Dsetup_server6 function fail() function
16 mkdir -p "$DIR" || fail "Cannot create directory: \"$DIR\""
18 curl --fail --silent "$URL" > "$DIR"/"$(basename "$URL")" || fail "FAILED"
/seL4-l4v-master/isabelle/lib/Tools/
H A Ddisplay20 function fail() function
33 [ -f "$DOCUMENT" ] || fail "Bad document: \"$DOCUMENT\""
43 fail "Unknown document type: \"$DOCUMENT\"";
H A Dinstall25 function fail() function
64 mkdir -p "$BINDIR" || fail "Bad directory: \"$BINDIR\""
72 echo "#!/usr/bin/env bash" > "$BIN" || fail "Cannot write file: $BIN"
H A Dlogo24 function fail() function
76 fail "Bad output base name: \"$OUTPUT_NAME\""
H A Dbrowser23 function fail() function
75 mv -f "$GRAPHFILE" "$PRIVATE_FILE" || fail "Cannot move file: $GRAPHFILE"
77 cp -f "$GRAPHFILE" "$PRIVATE_FILE" || fail "Cannot copy file: $GRAPHFILE"
98 "$ISABELLE_EPSTOPDF" "$(basename "$OUTFILE")" || fail "Failed to produce pdf output"
H A Dversion24 function fail() function
/seL4-l4v-master/l4v/isabelle/lib/Tools/
H A Ddisplay20 function fail() function
33 [ -f "$DOCUMENT" ] || fail "Bad document: \"$DOCUMENT\""
43 fail "Unknown document type: \"$DOCUMENT\"";
H A Dinstall25 function fail() function
64 mkdir -p "$BINDIR" || fail "Bad directory: \"$BINDIR\""
72 echo "#!/usr/bin/env bash" > "$BIN" || fail "Cannot write file: $BIN"
H A Dlogo24 function fail() function
76 fail "Bad output base name: \"$OUTPUT_NAME\""
H A Dbrowser23 function fail() function
75 mv -f "$GRAPHFILE" "$PRIVATE_FILE" || fail "Cannot move file: $GRAPHFILE"
77 cp -f "$GRAPHFILE" "$PRIVATE_FILE" || fail "Cannot copy file: $GRAPHFILE"
98 "$ISABELLE_EPSTOPDF" "$(basename "$OUTFILE")" || fail "Failed to produce pdf output"
H A Dversion24 function fail() function
/seL4-l4v-master/isabelle/src/Tools/jEdit/lib/Tools/
H A Djedit_client33 function fail() function
41 fail "Failed!"
107 fail "Isabelle/jEdit server \"$SERVER_NAME\" not active"
/seL4-l4v-master/l4v/isabelle/src/Tools/jEdit/lib/Tools/
H A Djedit_client33 function fail() function
41 fail "Failed!"
107 fail "Isabelle/jEdit server \"$SERVER_NAME\" not active"
/seL4-l4v-master/l4v/isabelle/lib/browser/
H A Dbuild12 function fail() function
18 [ -n "$ISABELLE_HOME" ] || fail "Missing Isabelle settings environment"
56 [ ! -e "$SOURCE" ] && fail "Missing source file: $SOURCE"
67 fail "Failed to compile sources"
69 fail "Failed to produce $TARGET"
/seL4-l4v-master/isabelle/lib/browser/
H A Dbuild12 function fail() function
18 [ -n "$ISABELLE_HOME" ] || fail "Missing Isabelle settings environment"
56 [ ! -e "$SOURCE" ] && fail "Missing source file: $SOURCE"
67 fail "Failed to compile sources"
69 fail "Failed to produce $TARGET"
/seL4-l4v-master/l4v/isabelle/Admin/Linux/
H A DIsabelle.c14 static void fail(const char *msg) function
30 if (cmd_line == NULL) fail("Failed to allocate command line");
34 if (cmd == NULL) fail("Failed to allocate command name");
/seL4-l4v-master/isabelle/Admin/Linux/
H A DIsabelle.c14 static void fail(const char *msg) function
30 if (cmd_line == NULL) fail("Failed to allocate command line");
34 if (cmd == NULL) fail("Failed to allocate command name");
/seL4-l4v-master/isabelle/Admin/bash_process/
H A Dbash_process.c17 static void fail(const char *msg) function
56 if (pid == -1) fail("Cannot set session id (failed to fork)");
67 fail("Cannot join forked process");
83 if (timing_file == NULL) fail("Cannot open timing file");
95 fail("Unknown status of forked process");
98 else if (setsid() == -1) fail("Cannot set session id (after fork)");
111 if (pid_file == NULL) fail("Cannot open pid file");
131 fail("Cannot exec process");
/seL4-l4v-master/l4v/isabelle/Admin/bash_process/
H A Dbash_process.c17 static void fail(const char *msg) function
56 if (pid == -1) fail("Cannot set session id (failed to fork)");
67 fail("Cannot join forked process");
83 if (timing_file == NULL) fail("Cannot open timing file");
95 fail("Unknown status of forked process");
98 else if (setsid() == -1) fail("Cannot set session id (after fork)");
111 if (pid_file == NULL) fail("Cannot open pid file");
131 fail("Cannot exec process");
/seL4-l4v-master/isabelle/src/HOL/IMP/
H A Dexport.sh9 function fail() function
25 mkdir -p "$EXPORT/$D" || fail "could not create directory $EXPORT/$D"
/seL4-l4v-master/l4v/isabelle/src/HOL/IMP/
H A Dexport.sh9 function fail() function
25 mkdir -p "$EXPORT/$D" || fail "could not create directory $EXPORT/$D"
/seL4-l4v-master/seL4/include/
H A Dassert.h21 #define fail(s) _fail(s, __FILE__, __LINE__, __func__) macro
35 #define fail(s) halt() macro
/seL4-l4v-master/seL4/src/arch/x86/64/smp/
H A Dipi.c25 fail("Invalid remote call");
/seL4-l4v-master/seL4/src/arch/x86/32/smp/
H A Dipi.c28 fail("Invalid remote call");

Completed in 278 milliseconds

1234567891011>>