Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more generous timeout: avoid sporadic failure in highly parallel headless PIDE session;
authorwenzelm
Tue, 18 Sep 2018 23:18:20 +0200
changeset 69015 5eb493b51bf6
parent 69014 a2c042364efc
child 69016 c77efde4e4fd
more generous timeout: avoid sporadic failure in highly parallel headless PIDE session;
src/HOL/ex/Argo_Examples.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/ex/Argo_Examples.thy	Tue Sep 18 23:07:34 2018 +0200
+++ b/src/HOL/ex/Argo_Examples.thy	Tue Sep 18 23:18:20 2018 +0200
@@ -619,7 +619,7 @@
 
 subsection \<open>Larger examples\<close>
 
-declare[[argo_trace = basic, argo_timeout = 60]]
+declare[[argo_trace = basic, argo_timeout = 120]]
 
 
 text \<open>Translated from TPTP problem library: PUZ015-2.006.dimacs\<close>
isabelle