diff options
| author | RncLsn <rnc.lsn@gmail.com> | 2015-07-09 16:01:01 +0100 |
|---|---|---|
| committer | RncLsn <rnc.lsn@gmail.com> | 2015-07-09 16:01:01 +0100 |
| commit | 3d44aee6069175038266c65f945147569e6343f6 (patch) | |
| tree | e4eb3f166c28339701636cec513a387673e4ac0a /test/resources/BugTests.xml | |
| parent | 8241a535a55508b6c504f4f0b426612fe95d15a5 (diff) | |
| download | ACQuA-3d44aee6069175038266c65f945147569e6343f6.tar.gz ACQuA-3d44aee6069175038266c65f945147569e6343f6.zip | |
Bug-fix for answer dependencies analysis: now it checks whether the endomorphism makes the first tuple identical to the second one.
Diffstat (limited to 'test/resources/BugTests.xml')
| -rw-r--r-- | test/resources/BugTests.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/resources/BugTests.xml b/test/resources/BugTests.xml index c7a80ba..1413b5b 100644 --- a/test/resources/BugTests.xml +++ b/test/resources/BugTests.xml | |||
| @@ -6,6 +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 | </classes> | 10 | </classes> |
| 10 | </test> | 11 | </test> |
| 11 | 12 | ||