changed property locations

WebFuzzing · Dec 28, 2024 · 6677df2 · 6677df2
1 parent fd53243
commit 6677df2
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 9 deletions.
diff --git a/core/src/main/kotlin/org/evomaster/core/problem/enterprise/service/WFCReportWriter.kt b/core/src/main/kotlin/org/evomaster/core/problem/enterprise/service/WFCReportWriter.kt
@@ -26,15 +26,15 @@ class WFCReportWriter {
         //TODO tool version
         report.creationTime = Date() // FIXME use new JDK dates
 
+        val faults = Faults()
+        report.faults = faults
+        faults.totalNumber = solution.totalNumberOfDetectedFaults()
+
+
         if(config.problemType == EMConfig.ProblemType.REST) {
             val rest = RESTReport()
             report.restReport = rest
 
-            val faults = Faults()
-            rest.faults = faults
-
-            faults.totalNumber = solution.totalNumberOfDetectedFaults()
-
             //TODO all other entries
         }
         //TODO other problem types

diff --git a/wfc/src/main/resources/schemas/report.yaml b/wfc/src/main/resources/schemas/report.yaml
@@ -11,16 +11,16 @@ properties:
   creation_time:
     type: string
     format: date-time
+  faults:
+    $ref: "#/$def/Faults"
   rest_report:
     $ref: "#/$def/RESTReport"
-required: ["schema_version","tool_name","creation_time"]
+required: ["schema_version","tool_name","creation_time","faults"]
 $def:
   RESTReport:
     type: object
     properties:
-      faults:
-        $ref: "#/$def/Faults"
-    required: ["faults"]
+    required: []
 
   Faults:
     type: object