From 9e174722a905228b729df44cbdca915560a363d5 Mon Sep 17 00:00:00 2001
From: jerray <jawher.jerray@eurecom.fr>
Date: Thu, 27 Jun 2024 12:03:34 +0200
Subject: [PATCH] test Security Generation: Check before if proverif is in PATH
---
.../tmltranslator/AutoSecurityGenerationDiplodocusTest.java | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/ttool/src/test/java/tmltranslator/AutoSecurityGenerationDiplodocusTest.java b/ttool/src/test/java/tmltranslator/AutoSecurityGenerationDiplodocusTest.java
index 58688c7682..1f5c93e3c2 100644
--- a/ttool/src/test/java/tmltranslator/AutoSecurityGenerationDiplodocusTest.java
+++ b/ttool/src/test/java/tmltranslator/AutoSecurityGenerationDiplodocusTest.java
@@ -71,6 +71,12 @@ public class AutoSecurityGenerationDiplodocusTest extends AbstractTest {
@Test
public void testSecurityModels() throws Exception {
+ // Test if proverif is installed in the path
+ TraceManager.addDev("Testing if \"proverif\" is in the PATH");
+ if (!(canExecute("proverif"))) {
+ return;
+ }
+
TraceManager.addDev("Starting function testSecurityModels");
File dir = new File(MODELS_DIR);
Collection<File> allFiles = FileUtils.listFiles(dir, null, true);
--
GitLab