Searched refs:set_safe_execution (Results 1 – 2 of 2) sorted by relevance
163 void set_safe_execution() in set_safe_execution() function in StateIndicator
317 Workspace::SI_top()->set_safe_execution(); in eval_B()