Searched refs:fail_msg (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/isabelle/src/Tools/VSCode/src/
H A Dserver.scala287 val fail_msg = "Session build failed -- prover process remains inactive!"
292 if (!build().ok) { progress.echo(fail_msg); error(fail_msg) }
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/VSCode/src/
H A Dserver.scala287 val fail_msg = "Session build failed -- prover process remains inactive!"
292 if (!build().ok) { progress.echo(fail_msg); error(fail_msg) }
/seL4-l4v-10.1.1/graph-refine/
H A Dproblem.py49 def fail_msg (self): member in class:Problem

Completed in 261 milliseconds