From 99437e7367d8523a43053d93f5a855248bbfb3dc Mon Sep 17 00:00:00 2001
From: jerray <jawher.jerray@eurecom.fr>
Date: Thu, 27 Jun 2024 16:52:27 +0200
Subject: [PATCH] test Security generation : Check before if proverif is in
PATH
---
.../tmltranslator/AutoSecurityGenerationDiplodocusTest.java | 4 +---
1 file changed, 1 insertion(+), 3 deletions(-)
diff --git a/ttool/src/test/java/tmltranslator/AutoSecurityGenerationDiplodocusTest.java b/ttool/src/test/java/tmltranslator/AutoSecurityGenerationDiplodocusTest.java
index 1f5c93e3c2..9c75bcb2c3 100644
--- a/ttool/src/test/java/tmltranslator/AutoSecurityGenerationDiplodocusTest.java
+++ b/ttool/src/test/java/tmltranslator/AutoSecurityGenerationDiplodocusTest.java
@@ -73,9 +73,7 @@ public class AutoSecurityGenerationDiplodocusTest extends AbstractTest {
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;
- }
+ assertTrue(canExecute("proverif"));
TraceManager.addDev("Starting function testSecurityModels");
File dir = new File(MODELS_DIR);
--
GitLab