From 2abd6d93e113886c4fa9d4cdf0c578b5ea11a1fb Mon Sep 17 00:00:00 2001
From: Timotej Lazar <timotej.lazar@fri.uni-lj.si>
Date: Fri, 6 May 2016 12:37:47 +0200
Subject: Prolog: increase inference limit for test queries

Needed for problems/clp_fd/tobase_3.
---
 prolog/engine.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prolog/engine.py b/prolog/engine.py
index 3bc6825..e78bacb 100644
--- a/prolog/engine.py
+++ b/prolog/engine.py
@@ -144,7 +144,7 @@ def check_answers(engine, query, answers, timeout=10):
     start = time.monotonic()
     try:
         # Limit inferences for each solution to curb unbounded recursion.
-        limited = '''(call_with_inference_limit(({}), 500000, _ILR),
+        limited = '''(call_with_inference_limit(({}), 1000000, _ILR),
                       _ILR \= inference_limit_exceeded)'''.format(query)
         # Run the query.
         reply, output = ask(engine, limited, timeout)
-- 
cgit v1.2.1