[bench] fix harnesses and update timeout

Author: filipeom

bench/main.ml

@@ -300,7 +300,7 @@ module Cli = struct
     in
     Arg.(value & opt (some type_conv) None & info [ "type" ])
 
-  let time_limit = Arg.(value & opt float 300.0 & info [ "time-limit" ])
+  let time_limit = Arg.(value & opt float 600.0 & info [ "time-limit" ])
 
   let jobs = Arg.(value & opt int 6 & info [ "jobs" ])
 

bench/packages/gitlog-4.0.3/harness.js

@@ -1,7 +1,7 @@
 const esl = require ("esl_symbolic");
 const gitlog = require('gitlog').default;
 try {
-    gitlog({ repo: '/app', number: esl.string("number") });
+    gitlog({ repo: './', number: esl.string("number") });
 } catch (err) {
     console.log('ignore error');
 }

bench/packages/gitlogplus-3.1.7/harness.js

@@ -3,7 +3,7 @@ const esl = require("esl_symbolic");
 const gitlog = require('gitlogplus');
 const options =
 {
-  repo: __dirname + '/git',
+  repo: __dirname,
   number: esl.string("number")
 };
 let commits = gitlog(options);

bench/packages/global-modules-path-2.3.1/harness.js

@@ -1,3 +1,5 @@
 var esl = require("esl_symbolic");
 var root = require("global-modules-path");
-root.getPath(esl.string("module"), esl.string("executable"));
+var executable = esl.string("executable");
+esl.assume(executable != "");
+root.getPath(esl.string("module"), executable);