Added insecure delete to google recursive delete for windows

ftsrg · Jun 22, 2023 · 7d1ce6b · 7d1ce6b
1 parent 319231d
commit 7d1ce6b
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/subprojects/xsts/xsts-cli/src/main/java/hu/bme/mit/theta/xsts/cli/XstsCli.java b/subprojects/xsts/xsts-cli/src/main/java/hu/bme/mit/theta/xsts/cli/XstsCli.java
@@ -6,6 +6,7 @@
 import com.google.common.base.Stopwatch;
 import com.google.common.io.Files;
 import com.google.common.io.MoreFiles;
+import com.google.common.io.RecursiveDeleteOption;
 import hu.bme.mit.theta.analysis.*;
 import hu.bme.mit.theta.analysis.algorithm.SafetyResult;
 import hu.bme.mit.theta.analysis.algorithm.cegar.CegarStatistics;
@@ -199,7 +200,7 @@ private void run() {
 				final String tracePath = modelFile.getParent() + File.separator + "traces";
 				final File traceDir = new File(tracePath);
 				if(traceDir.exists()) {
-					MoreFiles.deleteRecursively(traceDir.toPath());
+					MoreFiles.deleteRecursively(traceDir.toPath(), RecursiveDeleteOption.ALLOW_INSECURE);
 				}
 				traceDir.mkdir();