Searched refs:failed (Results 1 - 25 of 191) sorted by relevance

12345678

/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm/prog/
H A Dtest.sml16 val failed = !fails value
20 val l = List.map dec failed
/seL4-l4v-10.1.1/HOL4/src/1/
H A Dholmakebuild.sml13 ("*** Proof of \n " ^ Parse.term_to_string t ^ "\n*** failed (used CHEAT).\n")
/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A Dmosml_Holmake.sml9 | e => die_with ("Holmake failed with exception: " ^
/seL4-l4v-10.1.1/isabelle/src/Tools/jEdit/lib/Tools/
H A Djedit130 function failed() function
253 pushd "$JEDIT_HOME" >/dev/null || failed
317 mkdir -p dist/classes || failed
341 isabelle_jdk jar cf "../../$1" * || failed
361 rm -rf dist || failed
362 mkdir -p dist || failed
395 "org/gjt/sp/jedit/icons/themes/classic/32x32/apps/isabelle.gif" || failed
397 "org/gjt/sp/jedit/icons/themes/tango/32x32/apps/isabelle.gif" || failed
398 isabelle_jdk jar cfe jedit.jar org.gjt.sp.jedit.jEdit org || failed
402 cp -p -R -f "${JEDIT_JARS[@]}" dist/jars/. || failed
[all...]
H A Djedit_client39 function failed() function
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/jEdit/lib/Tools/
H A Djedit130 function failed() function
253 pushd "$JEDIT_HOME" >/dev/null || failed
317 mkdir -p dist/classes || failed
341 isabelle_jdk jar cf "../../$1" * || failed
361 rm -rf dist || failed
362 mkdir -p dist || failed
395 "org/gjt/sp/jedit/icons/themes/classic/32x32/apps/isabelle.gif" || failed
397 "org/gjt/sp/jedit/icons/themes/tango/32x32/apps/isabelle.gif" || failed
398 isabelle_jdk jar cfe jedit.jar org.gjt.sp.jedit.jEdit org || failed
402 cp -p -R -f "${JEDIT_JARS[@]}" dist/jars/. || failed
[all...]
H A Djedit_client39 function failed() function
/seL4-l4v-10.1.1/HOL4/src/boss/theory_tests/
H A DbylocnScript.sml15 if message = "suffices_by's tactic failed to prove goal on line "^
19 else if message = "by's tactic failed to prove subgoal on line "^
H A Dgithub416Script.sml26 print "Test for github issue #416 failed - FAILURE\n";
/seL4-l4v-10.1.1/HOL4/src/opentheory/logging/
H A DCurl.sml6 else raise Feedback.mk_HOL_ERR "Curl" "submitFile" "curl call failed"
/seL4-l4v-10.1.1/HOL4/src/pfl/
H A DpflLib.sml51 handle e => raise ERR "is_some_ifn_thm" "tactic failed"
60 handle e => raise ERR "is_ifn_some_thm" "tactic failed"
65 handle e => raise ERR "ifn_dlem" "tactic failed"
76 handle e => raise ERR "ifn_mono_thm" "tactic failed"
88 handle e => raise ERR "ifn_norm_thm" "tactic failed"
96 handle e => raise ERR "ifn_determ_thm" "tactic failed"
100 handle e => raise wrap_exn "basic_lemmas" "proof failed" e;
/seL4-l4v-10.1.1/HOL4/examples/formal-languages/context-free/
H A DpegML.sml36 | failed
90 | failed => NONE
125 eval testG (nt("E",I)) (mk "1+2*3") [] done failed,
126 eval testG (nt("E",I)) (mk "(1+2)*3") [] done failed,
127 eval testG (nt("E",I)) (mk "(1+2)*(3*1)") [] done failed,
128 eval testG (nt("E",I)) (mk "2*3*1") [] done failed,
129 eval testG (nt("E",I)) (mk "2+3+1") [] done failed,
130 eval testG (nt("E",I)) (mk "2+3+1+2+1") [] done failed,
131 eval testG (nt("E",I)) (mk "(1+2)*(3+1)*(1+2+1)") [] done failed,
H A DpegexecScript.sml22 | failed
84 | AP failed i r => Result NONE
153 ([`k` |-> `failed`], []),
216 |> Q.INST [`k` |-> `done`, `fk` |-> `failed`, `stk` |-> `[]`]
222 |> Q.INST [`k` |-> `done`, `fk` |-> `failed`, `stk` |-> `[]`]
231 ``peg_eval G (s,e) r ��� peg_exec G e s [] done failed = Result r``,
237 (peg_eval G (s,e) r ��� peg_exec G e s [] done failed = Result r)``,
252 if wfG G then destResult (peg_exec G G.start s [] done failed)
284 ``wfG G ==> ���r. peg_exec G G.start i [] done failed = Result r``,
296 coreloop G (pegexec$EV G.start i [] done failed)
[all...]
H A DpegSampleScript.sml74 done failed``)
82 [] done failed``)
108 [] done failed``)
/seL4-l4v-10.1.1/isabelle/src/Pure/PIDE/
H A Dprotocol.scala70 var failed = false
81 case Markup.FAILED | Markup.ERROR => failed = true
85 Status(touched, accepted, warned, failed, forks, runs)
102 private val failed: Boolean,
111 failed || that.failed,
115 def is_unprocessed: Boolean = accepted && !failed && (!touched || (forks != 0 && runs == 0))
118 def is_failed: Boolean = failed
119 def is_finished: Boolean = !failed && touched && forks == 0 && runs == 0
165 unprocessed: Int, running: Int, warned: Int, failed
[all...]
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/PIDE/
H A Dprotocol.scala70 var failed = false
81 case Markup.FAILED | Markup.ERROR => failed = true
85 Status(touched, accepted, warned, failed, forks, runs)
102 private val failed: Boolean,
111 failed || that.failed,
115 def is_unprocessed: Boolean = accepted && !failed && (!touched || (forks != 0 && runs == 0))
118 def is_failed: Boolean = failed
119 def is_finished: Boolean = !failed && touched && forks == 0 && runs == 0
165 unprocessed: Int, running: Int, warned: Int, failed
[all...]
/seL4-l4v-10.1.1/HOL4/src/HolQbf/
H A Dselftest.sml43 die ("Read after write failed on term '" ^ Hol_pp.term_to_string t ^
51 die ("Prove failed on term '" ^ Hol_pp.term_to_string t ^
60 die ("Disprove failed on term '" ^ Hol_pp.term_to_string t ^
77 die ("Decide failed on term '" ^ Hol_pp.term_to_string t ^
/seL4-l4v-10.1.1/HOL4/tools/Holmake/tests/cheatspotting/
H A Dselftest.sml12 die ("Holmake "^s^" failed")
/seL4-l4v-10.1.1/graph-refine/seL4-example/
H A Dconfigure_default.sh80 echo Solvers configured but self-test failed.
94 echo Self test failed!
/seL4-l4v-10.1.1/graph-refine/scripts/
H A Dsetup-HOL4.sh12 echo .. failed!
/seL4-l4v-10.1.1/HOL4/examples/machine-code/graph/
H A DbackgroundLib.sml107 val _ = print "\n\nAuto proof of following failed.\n\n"
117 failwith("auto_prove failed for " ^ proof_name)) end
124 failwith("auto_conv_prove failed for " ^ proof_name)) end
136 val _ = "\n\n" ^ name ^ " failed.\n\n"
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/
H A Dc_traps.c69 // if we get here we failed
76 "leaq %[failed], %%rax\n"
80 [failed]"m"(vmlaunch_failed),
106 // if we get here we failed
117 "leaq %[failed], %%rax\n"
121 [failed]"m"(vmlaunch_failed),
/seL4-l4v-10.1.1/HOL4/examples/ARM/v7/
H A DarmLib.sig94 2 : print partial (failed) evaluations
95 3 : print progress and failed evaluations
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A DtestACL2encoding.ml24 val (passed,failed) = mappartition f t
28 int_to_string (!count),failed) :: (!results))
503 val (passed,failed) =
506 val _ = if length failed > 1 then raise Empty else ();
532 val (passed,failed) =
535 val _ = if length failed > 1 then raise Empty else ();
538 val (passed,failed) =
541 val _ = if length failed > 1 then raise Empty else ();
544 val (passed,failed) =
547 val _ = if length failed >
[all...]
/seL4-l4v-10.1.1/HOL4/src/floating-point/native/
H A Dselftest.sml108 ; die "test_monops failed"
157 ; die "test_binops failed"
194 ; die "test_orderings failed"

Completed in 158 milliseconds

12345678