Source: coq-elpi
Version: 2.5.0-1
Severity: serious
Tags: ftbfs patch
Forwarded: https://github.com/LPCIC/coq-elpi/pull/834
https://buildd.debian.org/status/fetch.php?pkg=coq-elpi&arch=riscv64&ver=2.5.0-1%2Bb1&stamp=1749981311&raw=0
...
File "./tests-stdlib/test_API_env.v", line 338, characters 0-235:
Error:
too slow: 10.899094 < 10.000000
...
>From abafe4d5bb93f148d583f08656d7d657656ba8f7 Mon Sep 17 00:00:00 2001
From: Adrian Bunk <b...@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
