Searched refs:default_execenv_name (Results 1 – 5 of 5) sorted by relevance
85 supported.insert(execenv::default_execenv_name); in set_defaults()247 supported.insert(engine::execenv::default_execenv_name); in empty_config()
115 name = engine::execenv::default_execenv_name; // if test claims nothing in check_execenv()
38 const char* execenv::default_execenv_name = "host"; member in execenv
46 extern const char* default_execenv_name;
525 return !name.empty() && name != engine::execenv::default_execenv_name; in has_execenv()