From 8c5ff31ad36577f41e433f664cca21323da04ee0 Mon Sep 17 00:00:00 2001
From: sp <stefan.pranger@iaik.tugraz.at>
Date: Sun, 14 Jan 2024 13:11:04 +0100
Subject: [PATCH] NOFAULT is 3 instead of -1

---
 util/PrismModulesPrinter.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/util/PrismModulesPrinter.cpp b/util/PrismModulesPrinter.cpp
index fb1803a..68b19ee 100644
--- a/util/PrismModulesPrinter.cpp
+++ b/util/PrismModulesPrinter.cpp
@@ -3,7 +3,7 @@
 #include <map>
 #include <string>
 
-#define NOFAULT -1
+#define NOFAULT 3
 #define LEFT 0
 #define RIGHT 1
 #define FORWARD 2
@@ -471,7 +471,7 @@ namespace prism {
 
   void PrismModulesPrinter::printFaultyMovementModule(const AgentName &a) {
     os << "\nmodule " << a << "FaultyBehaviour" << std::endl;
-    os << "  previousAction" << a << " : [-1..2] init -1;\n";
+    os << "  previousAction" << a << " : [0.." + std::to_string(NOFAULT) + "] init " + std::to_string(NOFAULT) + ";\n";
 
     for(const auto [actionId, actionName] : agentNameActionMap.at(a)) {
       os << "  " << actionName << faultyBehaviourGuard(a, actionId) << " -> " << faultyBehaviourUpdate(a, actionId) << ";\n";