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