1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
From abafe4d5bb93f148d583f08656d7d657656ba8f7 Mon Sep 17 00:00:00 2001
From: Adrian Bunk <bunk@debian.org>
Date: Sun, 15 Jun 2025 13:49:54 +0300
Subject: Increase a test timeout
---
tests-stdlib/test_API_env.v | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/tests-stdlib/test_API_env.v b/tests-stdlib/test_API_env.v
index 2d4a65be..21184901 100644
--- a/tests-stdlib/test_API_env.v
+++ b/tests-stdlib/test_API_env.v
@@ -340,7 +340,7 @@ Elpi Query lp:{{
coq.locate "Ranalysis5.derivable_pt_lim_CVU" GR,
std.time (coq.env.transitive-dependencies GR _ S) T,
std.assert! ({coq.gref.set.cardinal S} > 3000) "too few",
- std.assert! (T < 10.0) "too slow" % 0.5 here
+ std.assert! (T < 20.0) "too slow" % 0.5 here
}}.
--
2.30.2
|
