Searched refs:DUMP_S (Results 1 – 1 of 1) sorted by relevance
28 const std::string DUMP_S = "-S"; variable123 const std::vector<std::string> argsInStr05 = {DUMP_S, DUMP_MOTION}; in PreciseCoverage()124 const std::vector<std::string> argsInStr06 = {DUMP_S, DUMP_BLOCKED}; in PreciseCoverage()125 const std::vector<std::string> argsInStr07 = {DUMP_S, DUMP_HALF_HOUR}; in PreciseCoverage()