From a6a5dfff3fb78b7e1d7c84cf473c23d0a9aaf7d7 Mon Sep 17 00:00:00 2001 From: Agustina Aldasoro Date: Thu, 19 Dec 2024 11:29:10 -0300 Subject: [PATCH] Update core/src/main/kotlin/org/evomaster/core/problem/api/service/ApiWsStructureMutator.kt --- .../evomaster/core/problem/api/service/ApiWsStructureMutator.kt | 1 - 1 file changed, 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 index cf25c713d0..971375b788 100644 --- 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