diff options
| author | RncLsn <rnc.lsn@gmail.com> | 2015-09-03 15:52:47 +0100 |
|---|---|---|
| committer | RncLsn <rnc.lsn@gmail.com> | 2015-09-03 15:52:47 +0100 |
| commit | af9654ee25f5b2dfdb055a197674c1aeceea1171 (patch) | |
| tree | 29805924b0d433a651c6931dfd291d086bd7e5ab /src/resources | |
| parent | 1c02a4bde9eddb66550341377b2bd980ff48c474 (diff) | |
| download | ACQuA-af9654ee25f5b2dfdb055a197674c1aeceea1171.tar.gz ACQuA-af9654ee25f5b2dfdb055a197674c1aeceea1171.zip | |
Integrated fix (manually) from upper stream.
Diffstat (limited to 'src/resources')
| -rw-r--r-- | src/resources/pagoda.properties | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/resources/pagoda.properties b/src/resources/pagoda.properties index aa08593..8bcbca6 100644 --- a/src/resources/pagoda.properties +++ b/src/resources/pagoda.properties | |||
| @@ -1,8 +1,8 @@ | |||
| 1 | debug=true | 1 | debug=true |
| 2 | useAlwaysSimpleUpperBound=false | 2 | useAlwaysSimpleUpperBound=false |
| 3 | #skolemUpperBound=DISABLED | 3 | skolemUpperBound=DISABLED |
| 4 | #skolemUpperBound=BEFORE_SUMMARISATION | ||
| 4 | #skolemUpperBound=BEFORE_SUMMARISATION | 5 | #skolemUpperBound=BEFORE_SUMMARISATION |
| 5 | skolemUpperBound=BEFORE_SUMMARISATION | ||
| 6 | skolemDepth=10 | 6 | skolemDepth=10 |
| 7 | 7 | ||
| 8 | # seems ok for -Xmx6g | 8 | # seems ok for -Xmx6g |