Searched refs:ltl_illegal_state (Results 1 – 1 of 1) sorted by relevance
84 static void ltl_illegal_state(struct task_struct *task, struct ltl_monitor *mon) in ltl_illegal_state() function147 ltl_illegal_state(task, mon); in ltl_validate()