Searched refs:exec_str (Results 1 – 7 of 7) sorted by relevance
126 exec_str = self.get_lit_conf('executor', "None")127 te = eval(exec_str)129 self.lit_config.note("Using executor: %r" % exec_str)674 exec_str = ''676 exec_str = ' '.join(self.lit_config.valgrindArgs) + exec_env_str677 sub.append(('%exec', exec_str))679 sub.append(('%run', exec_str + ' %t.exe'))
550 char *exec_str; member
730 new->exec_str = orig->exec_str; in cil_copy_rangetransition()
1045 cil_log(CIL_INFO, " %s", rangetrans->exec_str); in cil_tree_print_node()
2068 (*rangetrans)->exec_str = NULL; in cil_rangetransition_init()
639 rc = cil_resolve_name(current, rangetrans->exec_str, CIL_SYM_TYPES, extra_args, &exec_datum); in cil_resolve_rangetransition()
3372 rangetrans->exec_str = parse_current->next->next->data; in cil_gen_rangetransition()