Merge pull request #125 from lken274/master

Fixed syntax error in SCEst code generation for signal bodies
kieler · Oct 29, 2024 · 2b3953e · 2b3953e
2 parents f7e66b2 + 48e5178
commit 2b3953e
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/...de/cau/cs/kieler/esterel/processors/transformators/incremental/SignalTransformation.xtend b/...de/cau/cs/kieler/esterel/processors/transformators/incremental/SignalTransformation.xtend
@@ -136,8 +136,10 @@ class  SignalTransformation extends AbstractSCEstDynamicProcessor<Module> {
             val parallel = createParallel
             val thread2 = createThread
             parallel.threads.add(thread2)
-            thread2.statements.addAll(module.statements)
-            thread2.statements.add(createAssignment(term, createTrue))
+            var scope = createScopeStatement
+            thread2.statements.add(scope)
+            scope.statements.addAll(module.statements)
+            scope.statements.add(createAssignment(term, createTrue))
             module.statements.add(parallel)
             module.declarations.add(decl)