protect against SANY race conditions on the filesystem

apalache-mc · Dec 13, 2024 · 1c67973 · 1c67973
1 parent 975e1ed
commit 1c67973
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/universal/bin/apalache-mc b/src/universal/bin/apalache-mc
@@ -38,6 +38,10 @@ then
     JVM_ARGS="${JVM_ARGS} -Xmx4096m"
 fi
 
+# Avoid SANY concurrency issues: https://github.com/tlaplus/tlaplus/issues/688
+TD=`mktemp -d "$TMPDIR"/SANYXXXXXXXXXX`
+JVM_ARGS="${JVM_ARGS} -Djava.io.tmpdir=$TD"
+
 # Check whether the CLI args contains the debug flag
 if [[ "$*" =~ '--debug' ]]
 then