Searched refs:exec_str (Results 1 – 7 of 7) sorted by relevance
124 exec_str = self.get_lit_conf('executor', "None")125 te = eval(exec_str)127 self.lit_config.note("Using executor: %r" % exec_str)605 exec_str = ''607 exec_str = ' '.join(self.lit_config.valgrindArgs) + exec_env_str608 sub.append(('%exec', exec_str))610 sub.append(('%run', exec_str + ' %t.exe'))
523 char *exec_str; member
691 new->exec_str = orig->exec_str; in cil_copy_rangetransition()
1027 cil_log(CIL_INFO, " %s", rangetrans->exec_str); in cil_tree_print_node()
2021 (*rangetrans)->exec_str = NULL; in cil_rangetransition_init()
604 rc = cil_resolve_name(current, rangetrans->exec_str, CIL_SYM_TYPES, extra_args, &exec_datum); in cil_resolve_rangetransition()
3059 rangetrans->exec_str = parse_current->next->next->data; in cil_gen_rangetransition()