Searched defs:testname (Results 1 – 2 of 2) sorted by relevance
47 SpecWriter::SpecWriter(std::string filename, std::string testname) : os(filename) { in SpecWriter()
390 void RandomGraph::dumpSpecFile(std::string filename, std::string testname = "") { in dumpSpecFile()