diff --git a/ttool/src/test/java/tmltranslator/AutoSecurityGenerationDiplodocusTest.java b/ttool/src/test/java/tmltranslator/AutoSecurityGenerationDiplodocusTest.java
index 1f5c93e3c25c9b1b21ae8dde34d4a2c4131ddf6b..9c75bcb2c3f1408c989ba8bc394ab2f232afc965 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);