| reader.cpp | 82 static const tools::parser::token_type skipped_type = 14; member in namespace:atf_tps 107 add_keyword("skipped", skipped_type); 365 skipped_type, "expected_{death,exit,failure,signal,timeout}, failed, " 377 else if (t.type() == skipped_type) state = "skipped";
|