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

…iWsStructureMutator.kt
WebFuzzing · Dec 19, 2024 · a6a5dff · a6a5dff
1 parent 874722c
commit a6a5dff
Showing 1 changed file with 0 additions and 1 deletion.
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,7 +47,6 @@ abstract class ApiWsStructureMutator : StructureMutator() {
     @Inject
     protected lateinit var harvestResponseHandler: HarvestActualHttpWsResponseHandler
 
-    // 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