commit | f8bd3cc0ce12cccb9083afe9fc0348625a8c4f4c | [log] [tgz] |
---|---|---|
author | Sina Madani <sinadoom@googlemail.com> | Fri Dec 14 18:30:40 2018 +0000 |
committer | Sina Madani <sinadoom@googlemail.com> | Fri Dec 14 18:30:40 2018 +0000 |
tree | 654980db0dcfcd78a4396c3f92bf8aac2ade3d48 | |
parent | 075c6592262a2daaa48f6673580db020913c8fe3 [diff] |
MAJOR: refactored first-order operations to be more concise using CheckedEolFunction/CheckedEolPredicate. Increased memory limit on EpsilonTestSuite.launch and removed deprecated options.