diff options
| author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-05-06 12:26:47 +0200 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-05-06 12:26:47 +0200 |
| commit | 5547a6a9dfd05bd921c25cb4442c58a2a07ec009 (patch) | |
| tree | fba2cd43b48fb20f15808e99e8ad2c52e511eb22 /prolog | |
| parent | be1fa03e5782657a9503bf0c9350b265048fe5d5 (diff) | |
Prolog: increase inference limit for test queries
Needed for problems/clp_fd/magic_1.
Diffstat (limited to 'prolog')
| -rw-r--r-- | prolog/engine.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/prolog/engine.py b/prolog/engine.py index 2e25e14..3bc6825 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(({}), 100000, _ILR), + limited = '''(call_with_inference_limit(({}), 500000, _ILR), _ILR \= inference_limit_exceeded)'''.format(query) # Run the query. reply, output = ask(engine, limited, timeout) |