Searched defs:relaxedTestName (Results 1 – 1 of 1) sorted by relevance
1015 const string& relaxedTestName) { in startJavaFile()1091 const string& relaxedTestName) { in writeRelaxedRsFile()1117 const string relaxedTestName = testName + "Relaxed"; in writeTestFilesForFunction() local