test Security generation : Check before if proverif is in PATH

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