From 3d296456f1448fc8b74d558e18791207c313cf7c Mon Sep 17 00:00:00 2001
From: Ludovic Apvrille <ludovic.apvrille@telecom-paris.fr>
Date: Tue, 16 May 2023 11:21:14 +0200
Subject: [PATCH] Make sec test only if proveri is in the PATH
---
ttool/src/test/java/tmltranslator/DiplodocusSecurityTest.java | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/ttool/src/test/java/tmltranslator/DiplodocusSecurityTest.java b/ttool/src/test/java/tmltranslator/DiplodocusSecurityTest.java
index dc9661cc4c..10b03302a7 100644
--- a/ttool/src/test/java/tmltranslator/DiplodocusSecurityTest.java
+++ b/ttool/src/test/java/tmltranslator/DiplodocusSecurityTest.java
@@ -84,7 +84,9 @@ public class DiplodocusSecurityTest extends AbstractTest {
// Test if proverif is installed in the path
System.out.println("Testing if \"proverif\" is in the PATH");
- assertTrue(canExecute("proverif"));
+ if (!(canExecute("proverif"))) {
+ return;
+ }
for (int i = 0; i < MODELS_DIPLO_SECURITY.length; i++) {
--
GitLab