From d0a0164a066db06fa33f995d3a79fb1df036cd08 Mon Sep 17 00:00:00 2001
From: dontenvi <pierre.dontenville@eurecom.fr>
Date: Wed, 13 Dec 2023 13:50:48 -0500
Subject: [PATCH] check added for pragmas completeness
---
.../test/java/tmltranslator/DiplodocusSecurityTest.java | 7 +++++++
1 file changed, 7 insertions(+)
diff --git a/ttool/src/test/java/tmltranslator/DiplodocusSecurityTest.java b/ttool/src/test/java/tmltranslator/DiplodocusSecurityTest.java
index a289849c24..c509187259 100644
--- a/ttool/src/test/java/tmltranslator/DiplodocusSecurityTest.java
+++ b/ttool/src/test/java/tmltranslator/DiplodocusSecurityTest.java
@@ -5,6 +5,7 @@ import avatartranslator.toproverif.AVATAR2ProVerif;
import myutil.FileUtils;
import myutil.TraceManager;
import org.jgrapht.alg.util.Pair;
+import org.junit.Assert;
import org.junit.Before;
import org.junit.BeforeClass;
import org.junit.Test;
@@ -26,6 +27,8 @@ import java.util.regex.Matcher;
import java.util.regex.Pattern;
import static org.junit.Assert.*;
+import static org.junit.Assert.assertTrue;
+
@RunWith(Parameterized.class)
public class DiplodocusSecurityTest extends AbstractTest {
final static String DIR_GEN = "tmltranslator/DiplodocusSecurityTest/";
@@ -163,11 +166,14 @@ public class DiplodocusSecurityTest extends AbstractTest {
try {
proc = Runtime.getRuntime().exec(cmd);
proc_in = new BufferedReader(new InputStreamReader(proc.getInputStream()));
+ int nbLines =0;
while ((str = proc_in.readLine()) != null) {
// TraceManager.addDev( "Sending " + str + " from " + port + " to client..." );
+
System.out.println("Output from ProVerif: " + str);
if (summaryFound && (str.contains(PROVERIF_QUERY))) {
+ nbLines++;
str = changeCommId(str);
assertTrue(contains(tab, str));
}
@@ -176,6 +182,7 @@ public class DiplodocusSecurityTest extends AbstractTest {
summaryFound = true;
}
}
+ assertEquals(nbLines, goldenMap.get(tab).length);
} catch (Exception e) {
// probably make is not installed
System.out.println("FAILED: executing: " + cmd + ": " + e.getMessage());
--
GitLab