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/BugTests.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/BugTests.xml')
| -rw-r--r-- | test/resources/BugTests.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/resources/BugTests.xml b/test/resources/BugTests.xml index 1413b5b..4844fbe 100644 --- a/test/resources/BugTests.xml +++ b/test/resources/BugTests.xml | |||
| @@ -6,7 +6,7 @@ | |||
| 6 | <test name="BugTest"> | 6 | <test name="BugTest"> |
| 7 | <classes> | 7 | <classes> |
| 8 | <class name="uk.ac.ox.cs.pagoda.global_tests.BugTests"/> | 8 | <class name="uk.ac.ox.cs.pagoda.global_tests.BugTests"/> |
| 9 | <!--<class name="uk.ac.ox.cs.pagoda.endomorph.DependencyGraphTest"/>--> | 9 | <class name="uk.ac.ox.cs.pagoda.endomorph.DependencyGraphTest"/> |
| 10 | </classes> | 10 | </classes> |
| 11 | </test> | 11 | </test> |
| 12 | 12 | ||