From 145401f431872a7693205cfe7a497014990b9219 Mon Sep 17 00:00:00 2001
From: Fabian Vu <Fabian.Vu@hhu.de>
Date: Wed, 30 Oct 2024 08:51:58 +0100
Subject: [PATCH] Fix errors in C++ template
---
src/main/resources/de/hhu/stups/codegenerator/CppTemplate.stg | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/main/resources/de/hhu/stups/codegenerator/CppTemplate.stg b/src/main/resources/de/hhu/stups/codegenerator/CppTemplate.stg
index 15f44491e..e37f4b9f2 100644
--- a/src/main/resources/de/hhu/stups/codegenerator/CppTemplate.stg
+++ b/src/main/resources/de/hhu/stups/codegenerator/CppTemplate.stg
@@ -1124,7 +1124,7 @@ model_check_transition(machine, hasParameters, tupleType, transitionIdentifier,
<machine>::_ProjectionRead_<evalTransitions> read_<evalTransitions>_state = state._projected_state_for_<evalTransitions>();
auto <transitionIdentifier>_ptr = _OpCache<evalTransitions>.find(read_<evalTransitions>_state);
if(<transitionIdentifier>_ptr == _OpCache<evalTransitions>.end()) {
- BSet\<<tupleType>\> <transitionIdentifier> = <transitionIdentifier> = state.<evalTransitions>();
+ BSet\<<tupleType>\> <transitionIdentifier> = state.<evalTransitions>();
{
std::unique_lock\<std::mutex> _ProjectionRead_<evalTransitions>_lock(_ProjectionRead_<evalTransitions>_mutex);
_OpCache<evalTransitions>.insert({read_<evalTransitions>_state, <transitionIdentifier>});
@@ -1133,7 +1133,7 @@ if(<transitionIdentifier>_ptr == _OpCache<evalTransitions>.end()) {
<execTransitions>
}
} else {
- BSet\<<tupleType>\> <transitionIdentifier> = <transitionIdentifier> = <transitionIdentifier>_ptr->second;
+ BSet\<<tupleType>\> <transitionIdentifier> = <transitionIdentifier>_ptr->second;
for(const <tupleType>& param : <transitionIdentifier>) {
<execTransitions>
}
--
GitLab