Update core/src/main/kotlin/org/evomaster/core/problem/api/service/Ap…

…iWsStructureMutator.kt
WebFuzzing · Nov 25, 2024 · 953409e · 953409e
1 parent 2485432
commit 953409e
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/core/src/main/kotlin/org/evomaster/core/problem/api/service/ApiWsStructureMutator.kt b/core/src/main/kotlin/org/evomaster/core/problem/api/service/ApiWsStructureMutator.kt
@@ -47,9 +47,7 @@ abstract class ApiWsStructureMutator : StructureMutator() {
     @Inject
     protected lateinit var harvestResponseHandler: HarvestActualHttpWsResponseHandler
 
-    // TODO: This should only be initialized when config.generateSqlDataWithDSE is enabled
-    // TODO: Also, z3solver.close() should be invoked
-    // when the application is shutting down to stop the Docker container and clean the tmp folder
+    // TODO: z3solver.close() should be invoked when the application is shutting down to stop the Docker container and clean the tmp folder
     @Inject
     protected lateinit var z3Solver: SMTLibZ3DbConstraintSolver