Searched defs:execute_external (Results 1 – 5 of 5) sorted by relevance
16 execute_external = use_lit_shell == "0" variable 20 execute_external = not sys.platform in ["win32"] variable
15 execute_external = use_lit_shell == "0" variable 19 execute_external = not sys.platform in ["win32"] variable
22 self, execute_external=False, extra_substitutions=[], preamble_commands=[] argument
6 def __init__(self, execute_external, use_z3_solver=False): argument
119 execute_external = use_lit_shell == "0" global() variable 123 execute_external = not sys.platform in ["win32"] global() variable