test Security Generation: Check before if proverif is in PATH

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);