diff options
| author | RncLsn <rnc.lsn@gmail.com> | 2015-08-03 17:07:39 +0100 |
|---|---|---|
| committer | RncLsn <rnc.lsn@gmail.com> | 2015-08-03 17:07:39 +0100 |
| commit | 0c39145b3b76b3db73db0a38d5324caa7ff3c434 (patch) | |
| tree | 388c97e1460d4180e74b531e048a60fc62963c5a /test/resources/MainTests.xml | |
| parent | 02cf14060d3b9e722480e07ebfd32538bbb8e73b (diff) | |
| download | ACQuA-0c39145b3b76b3db73db0a38d5324caa7ff3c434.tar.gz ACQuA-0c39145b3b76b3db73db0a38d5324caa7ff3c434.zip | |
The LimitedSkolemisation now employs a fixed-depth term instead of a constant. Performed some testing before merging with master.
Diffstat (limited to 'test/resources/MainTests.xml')
| -rw-r--r-- | test/resources/MainTests.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/resources/MainTests.xml b/test/resources/MainTests.xml index 255b68e..43300a1 100644 --- a/test/resources/MainTests.xml +++ b/test/resources/MainTests.xml | |||
| @@ -7,9 +7,9 @@ | |||
| 7 | <run> | 7 | <run> |
| 8 | <!--<include name="correctness"/>--> | 8 | <!--<include name="correctness"/>--> |
| 9 | <!--<include name="light"/>--> | 9 | <!--<include name="light"/>--> |
| 10 | <!--<include name="justExecute"/>--> | 10 | <include name="justExecute"/> |
| 11 | <!--<!–<include name="heavy"/>–>--> | 11 | <!--<!–<include name="heavy"/>–>--> |
| 12 | <include name="nonOriginal"/> | 12 | <!--<include name="nonOriginal"/>--> |
| 13 | </run> | 13 | </run> |
| 14 | </groups> | 14 | </groups> |
| 15 | <classes> | 15 | <classes> |