From 31c3eb762804175adcedad53c4257b20e270a193 Mon Sep 17 00:00:00 2001
From: Arseny Sher <sher-ars@yandex.ru>
Date: Wed, 6 Nov 2024 15:09:12 +0300
Subject: [PATCH] fix previous

---
 safekeeper/spec/modelcheck.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/safekeeper/spec/modelcheck.sh b/safekeeper/spec/modelcheck.sh
index b0cdbb24ac..21ead7dad8 100755
--- a/safekeeper/spec/modelcheck.sh
+++ b/safekeeper/spec/modelcheck.sh
@@ -9,7 +9,8 @@ MEM=7G
 TOOLSPATH="/opt/TLA+Toolbox/tla2tools.jar"
 
 mkdir -p "tlc-results"
-outfilename="$SPEC-$CONFIG-$(date --utc +%Y-%m-%d--%H-%M-%S)".log
+CONFIG_FILE=$(basename -- "$CONFIG")
+outfilename="$SPEC-${CONFIG_FILE}-$(date --utc +%Y-%m-%d--%H-%M-%S)".log
 outfile="tlc-results/$outfilename"
 touch $outfile