From 3d44aee6069175038266c65f945147569e6343f6 Mon Sep 17 00:00:00 2001 From: RncLsn Date: Thu, 9 Jul 2015 16:01:01 +0100 Subject: Bug-fix for answer dependencies analysis: now it checks whether the endomorphism makes the first tuple identical to the second one. --- test/resources/BugTests.xml | 1 + test/resources/MainTests.xml | 8 ++++---- 2 files changed, 5 insertions(+), 4 deletions(-) (limited to 'test/resources') 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 @@ + diff --git a/test/resources/MainTests.xml b/test/resources/MainTests.xml index db8d977..255b68e 100644 --- a/test/resources/MainTests.xml +++ b/test/resources/MainTests.xml @@ -5,19 +5,19 @@ - + - + - + - + -- cgit v1.2.3