From d1ac60748413f3f7e50424beeeca5eac91a0782c Mon Sep 17 00:00:00 2001
From: Letitia Li <leli@enst.fr>
Date: Wed, 17 Feb 2016 15:50:34 +0000
Subject: [PATCH] tml2proverif fixes
---
src/tmltranslator/TMLMapping.java | 5 +++++
src/tmltranslator/TMLModeling.java | 1 -
2 files changed, 5 insertions(+), 1 deletion(-)
diff --git a/src/tmltranslator/TMLMapping.java b/src/tmltranslator/TMLMapping.java
index 2c2a2cfe42..3037df545a 100755
--- a/src/tmltranslator/TMLMapping.java
+++ b/src/tmltranslator/TMLMapping.java
@@ -48,6 +48,7 @@ package tmltranslator;
import java.util.*;
import myutil.*;
+import tmltranslator.toproverif.*;
public class TMLMapping {
@@ -95,6 +96,10 @@ public class TMLMapping {
}
}
+ public void translate2ProVerif(){
+ TML2ProVerif spec = new TML2ProVerif(this);
+ }
+
public void makeMinimumMapping() {
HwCPU cpu;
HwMemory mem;
diff --git a/src/tmltranslator/TMLModeling.java b/src/tmltranslator/TMLModeling.java
index 0c84da4a18..8fa0d7071a 100755
--- a/src/tmltranslator/TMLModeling.java
+++ b/src/tmltranslator/TMLModeling.java
@@ -82,7 +82,6 @@ public class TMLModeling {
TMLMapping tmlmapping;
tmlmapping = new TMLMapping(this, new TMLArchitecture(), false);
tmlmapping.makeMinimumMapping();
- //Find Task A. Attribute and Task B.Attribute
return tmlmapping;
/*TMLArchitecture tmla = new TMLArchitecture();
--
GitLab