From ffc103c5e6b95259d0564071c3812dc93b8c8a91 Mon Sep 17 00:00:00 2001 From: Miles Vella <673-vella@users.noreply.gitlab.cs.uni-duesseldorf.de> Date: Thu, 20 Feb 2025 19:24:05 +0100 Subject: [PATCH] fix failing tests due to more strict type verification --- .../stups/codegenerator/generators/ModelCheckingGenerator.java | 1 - 1 file changed, 1 deletion(-) diff --git a/src/main/java/de/hhu/stups/codegenerator/generators/ModelCheckingGenerator.java b/src/main/java/de/hhu/stups/codegenerator/generators/ModelCheckingGenerator.java index 189a81706..982549b1a 100644 --- a/src/main/java/de/hhu/stups/codegenerator/generators/ModelCheckingGenerator.java +++ b/src/main/java/de/hhu/stups/codegenerator/generators/ModelCheckingGenerator.java @@ -339,7 +339,6 @@ public class ModelCheckingGenerator { //TemplateHandler.add(template, "operationID", operationIDs.get(nameHandler.handle(opNode.getName()))); TemplateHandler.add(template, "hasParameters", hasParameters); TemplateHandler.add(template, "checkReachability", checkReachabilityAnalyzer.visitOperation(opNode)); - TemplateHandler.add(template, "tupleType", typeGenerator.generate(tupleType)); String evalName = hasParameters ? "param" : transitionIdentifier; List<String> readParameters = new ArrayList<>(); -- GitLab