From a4238083d63c0525e328bf9ddb76d0154ae53d11 Mon Sep 17 00:00:00 2001
From: Cookiebowser <lucas.doering@live.de>
Date: Thu, 11 May 2023 14:48:33 +0200
Subject: [PATCH] fixed Counter-machine name
---
.../execution/ProB/{Counter10000.mch => Counter100000.mch} | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
rename benchmarks/execution/ProB/{Counter10000.mch => Counter100000.mch} (90%)
diff --git a/benchmarks/execution/ProB/Counter10000.mch b/benchmarks/execution/ProB/Counter100000.mch
similarity index 90%
rename from benchmarks/execution/ProB/Counter10000.mch
rename to benchmarks/execution/ProB/Counter100000.mch
index 1b197cd3a..28b65198a 100644
--- a/benchmarks/execution/ProB/Counter10000.mch
+++ b/benchmarks/execution/ProB/Counter100000.mch
@@ -1,4 +1,4 @@
-MACHINE Counter1000
+MACHINE Counter100000
VARIABLES counter
--
GitLab