From a556bca94db06d19b67d20d79fe41df0f7b1fc8a Mon Sep 17 00:00:00 2001
From: jerray <jawher.jerray@eurecom.fr>
Date: Thu, 23 Mar 2023 15:06:13 +0100
Subject: [PATCH] Fix a bug when displaying the architecture name during the
backtracing
---
src/main/java/tmltranslator/TMLModeling.java | 16 +++++++++-------
1 file changed, 9 insertions(+), 7 deletions(-)
diff --git a/src/main/java/tmltranslator/TMLModeling.java b/src/main/java/tmltranslator/TMLModeling.java
index 4156c819c3..5f1ee08f75 100755
--- a/src/main/java/tmltranslator/TMLModeling.java
+++ b/src/main/java/tmltranslator/TMLModeling.java
@@ -823,14 +823,16 @@ public class TMLModeling<E> {
invalidate = true;
}
for (TMLPortWithSecurityInformation port : channel.ports) {
- if (port.getCheckConf() && !invalidate) {
- port.setConfStatus(r);
+ if (port.getCheckConf()) {
port.setMappingName(mappingName);
- //Add Result Trace also
- ProVerifResultTrace trace = pvoa.getResults().get(pragma).getTrace();
- if (trace != null && port.isOrigin()) {
- port.setResultTrace(trace);
- port.setPragmaString(pragma.toString());
+ if (!invalidate) {
+ port.setConfStatus(r);
+ //Add Result Trace also
+ ProVerifResultTrace trace = pvoa.getResults().get(pragma).getTrace();
+ if (trace != null && port.isOrigin()) {
+ port.setResultTrace(trace);
+ port.setPragmaString(pragma.toString());
+ }
}
}
}
--
GitLab