Home
last modified time | relevance | path

Searched refs:haltExecution (Results 1 – 6 of 6) sorted by relevance

/dports/science/jmol/jmol-14.32.7/src/org/jmol/api/
H A DJmolScriptEvaluator.java48 void haltExecution(); in haltExecution() method
/dports/security/klee/klee-2.2/scripts/
H A Dklee-control83 if opts.haltExecution:
/dports/security/klee/klee-2.2/lib/Core/
H A DExecutor.h193 bool haltExecution; variable
521 void setHaltExecution(bool value) override { haltExecution = value; } in setHaltExecution()
H A DExecutor.cpp456 atMemoryLimit(false), inhibitForking(false), haltExecution(false),
1396 haltExecution = true;
3426 if (haltExecution) {
3484 while (!states.empty() && !haltExecution) {
3706 haltExecution = true;
/dports/science/jmol/jmol-14.32.7/src/org/jmol/viewer/
H A DViewer.java4778 eval.haltExecution(); in haltScriptExecution()
/dports/science/jmol/jmol-14.32.7/src/org/jmol/script/
H A DScriptEval.java678 public void haltExecution() { in haltExecution() method in ScriptEval