Merge branch 'stable-2.15' into stable-2.16
* stable-2.15: PrologEnvironment: Add logging of reduction limits Change-Id: Ic2b91320fadc837c91b578db27d7d46b15eb0f9d
This commit is contained in:
@@ -82,7 +82,9 @@ public class PrologEnvironment extends BufferingPrologControl {
|
||||
@Override
|
||||
public void setPredicate(Predicate goal) {
|
||||
super.setPredicate(goal);
|
||||
setReductionLimit(args.reductionLimit(goal));
|
||||
int reductionLimit = args.reductionLimit(goal);
|
||||
logger.atInfo().log("setting reductionLimit %d", reductionLimit);
|
||||
setReductionLimit(reductionLimit);
|
||||
}
|
||||
|
||||
/**
|
||||
@@ -211,6 +213,8 @@ public class PrologEnvironment extends BufferingPrologControl {
|
||||
"compileReductionLimit",
|
||||
(int) Math.min(10L * limit, Integer.MAX_VALUE));
|
||||
compileLimit = limit <= 0 ? Integer.MAX_VALUE : limit;
|
||||
|
||||
logger.atInfo().log("reductionLimit: %d, compileLimit: %d", reductionLimit, compileLimit);
|
||||
}
|
||||
|
||||
private int reductionLimit(Predicate goal) {
|
||||
|
||||
Reference in New Issue
Block a user