From 4c4aabcfa61d9d80f19c4a940911f7a4d5196a44 Mon Sep 17 00:00:00 2001
From: Damian Puente <dp173259@fh-muenster.de>
Date: Wed, 19 Feb 2020 16:01:27 +0100
Subject: [PATCH] add explicit fuzzing time

---
 default.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/default.nix b/default.nix
index 5a246a8..3e04035 100644
--- a/default.nix
+++ b/default.nix
@@ -34,8 +34,8 @@ runFuzz = run {
     derivName = "fuzzerResult";
     target = "fuzz_calc";
     buildDependencies = [afl];
-    checkCommand = "bash fuzz_seconds.sh ${fuzzCalc}/bin/fuzz_calc";
+    checkCommand = "bash fuzz_seconds.sh ${fuzzCalc}/bin/fuzz_calc 10";
     output = "out/*";
 };
 
-}
\ No newline at end of file
+}
-- 
GitLab