@@ -18,33 +18,33 @@ class FastCoverageService(
1818) : CoverageService(context, scriptTexts, baseCoverage) {
1919
2020 override fun generateCoverageReport () {
21- val (_, errorText) = JsCmdExec .runCommand(
22- cmd = arrayOf(" \" ${settings.pathToNode} \" " , " \" $utbotDirPath /$tempFileName " + " 0.js\" " ),
23- dir = projectPath,
24- shouldWait = true ,
25- timeout = settings.timeout,
21+ val (_, errorText) = JsCmdExec .runCommand(
22+ cmd = arrayOf(" \" ${settings.pathToNode} \" " , " \" $utbotDirPath /$tempFileName " + " 0.js\" " ),
23+ dir = projectPath,
24+ shouldWait = true ,
25+ timeout = settings.timeout,
26+ )
27+ for (i in 0 .. minOf(fuzzingThreshold - 1 , testCaseIndices.last)) {
28+ val resFile = File (" $utbotDirPath /$tempFileName$i .json" )
29+ val rawResult = resFile.readText()
30+ resFile.delete()
31+ val json = JSONObject (rawResult)
32+ val index = json.getInt(" index" )
33+ if (index != i) logger.error { " Index $index != i $i " }
34+ coverageList.add(index to json.getJSONObject(" s" ))
35+ val resultData = ResultData (
36+ rawString = if (json.has(" result" )) json.get(" result" ).toString() else " undefined" ,
37+ type = json.get(" type" ).toString(),
38+ index = index,
39+ isNan = json.getBoolean(" is_nan" ),
40+ isInf = json.getBoolean(" is_inf" ),
41+ isError = json.getBoolean(" is_error" ),
42+ specSign = json.getInt(" spec_sign" ).toByte()
2643 )
27- for (i in 0 .. minOf(fuzzingThreshold - 1 , testCaseIndices.last)) {
28- val resFile = File (" $utbotDirPath /$tempFileName$i .json" )
29- val rawResult = resFile.readText()
30- resFile.delete()
31- val json = JSONObject (rawResult)
32- val index = json.getInt(" index" )
33- if (index != i) logger.error { " Index $index != i $i " }
34- coverageList.add(index to json.getJSONObject(" s" ))
35- val resultData = ResultData (
36- rawString = json.get(" result" ).toString(),
37- type = json.get(" type" ).toString(),
38- index = index,
39- isNan = json.getBoolean(" is_nan" ),
40- isInf = json.getBoolean(" is_inf" ),
41- isError = json.getBoolean(" is_error" ),
42- specSign = json.getInt(" spec_sign" ).toByte()
43- )
44- _resultList .add(resultData)
45- }
46- if (errorText.isNotEmpty()) {
47- logger.error { errorText }
48- }
44+ _resultList .add(resultData)
45+ }
46+ if (errorText.isNotEmpty()) {
47+ logger.error { errorText }
48+ }
4949 }
5050}
0 commit comments