From 8e97f220638884549c9dadfa14aba6fa10ef7b53 Mon Sep 17 00:00:00 2001
From: AdamZsofi <adamzsofi.mail@gmail.com>
Date: Sun, 13 Nov 2022 21:55:38 +0100
Subject: [PATCH] Added insecure delete to google recursive delete for windows

---
 .../src/main/java/hu/bme/mit/theta/xsts/cli/XstsCli.java       | 3 ++-
 1 file changed, 2 insertions(+), 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
index 84377ec206..1d1c5722d5 100644
--- 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;
@@ -168,7 +169,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();