From f7dd4d1022ea6414c567b0a2784664169e6bf1ad Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Fri, 9 Dec 2022 14:51:53 +0100
Subject: [PATCH] [verification] Bump default timeout to 20 seconds.
---
src/verification.ml | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/src/verification.ml b/src/verification.ml
index 424877c..872cb39 100644
--- a/src/verification.ml
+++ b/src/verification.ml
@@ -210,10 +210,11 @@ let create_env ?(debug = false) loadpath =
let config = Autodetect.autodetection ~debug () in
let config =
let main = Whyconf.get_main config in
+ let dft_timelimit = 20 (* 20 seconds *) in
let dft_memlimit = 4000 (* 4 GB *) in
let main =
Whyconf.(
- set_limits main (timelimit main) dft_memlimit (running_provers_max main))
+ set_limits main dft_timelimit dft_memlimit (running_provers_max main))
in
Whyconf.set_main config main
in
--
GitLab