Searched defs:execute_external (Results 1 – 6 of 6) sorted by relevance
17 execute_external = (use_lit_shell == "0") variable21 execute_external = (not sys.platform in ['win32']) variable
19 execute_external = (use_lit_shell == "0") variable23 execute_external = (not sys.platform in ['win32']) variable
13 execute_external = (use_lit_shell == "0") variable17 execute_external = (not sys.platform in ['win32']) variable
20 def __init__(self, execute_external=False, extra_substitutions=[], argument
7 def __init__(self, execute_external, use_z3_solver=False): argument
91 execute_external = (use_lit_shell == "0") variable95 execute_external = (not sys.platform in ['win32']) variable