From 193fc8f3649e86dfcaa631098e3e325fc3b64d81 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sat, 3 Sep 2016 12:19:38 +0100
Subject: [PATCH] False Negatives reported should be a subset of true positives
 specified.

---
 .../eu/aniketos/dasca/crosslanguage/test/Featherweight.scala  | 4 ++--
 .../dasca/crosslanguage/test/Featherweight_100_350.scala      | 4 ++--
 .../dasca/crosslanguage/test/Featherweight_100_630.scala      | 4 ++--
 3 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/src/eu.aniketos.dasca.crosslanguage.test/src/main/scala/eu/aniketos/dasca/crosslanguage/test/Featherweight.scala b/src/eu.aniketos.dasca.crosslanguage.test/src/main/scala/eu/aniketos/dasca/crosslanguage/test/Featherweight.scala
index 0be897b..cf942fd 100644
--- a/src/eu.aniketos.dasca.crosslanguage.test/src/main/scala/eu/aniketos/dasca/crosslanguage/test/Featherweight.scala
+++ b/src/eu.aniketos.dasca.crosslanguage.test/src/main/scala/eu/aniketos/dasca/crosslanguage/test/Featherweight.scala
@@ -63,8 +63,8 @@ class Featherweight extends FlatSpec with Matchers with BeforeAndAfterAll {
       truePositives intersect falsePositives shouldBe empty
    }
    
-   it should "be consistent (truePositives ∩ falseNegatives = ∅)" in {
-      truePositives intersect falseNegatives shouldBe empty
+   it should "be consistent (truePositives ∩ falseNegatives = falseNegatives)" in {
+      truePositives intersect falseNegatives should contain theSameElementsAs falseNegatives
    }
    
    it should "be consistent (falsePositives ∩ falseNegatives = ∅)" in {
diff --git a/src/eu.aniketos.dasca.crosslanguage.test/src/main/scala/eu/aniketos/dasca/crosslanguage/test/Featherweight_100_350.scala b/src/eu.aniketos.dasca.crosslanguage.test/src/main/scala/eu/aniketos/dasca/crosslanguage/test/Featherweight_100_350.scala
index bd432f9..bab9f29 100644
--- a/src/eu.aniketos.dasca.crosslanguage.test/src/main/scala/eu/aniketos/dasca/crosslanguage/test/Featherweight_100_350.scala
+++ b/src/eu.aniketos.dasca.crosslanguage.test/src/main/scala/eu/aniketos/dasca/crosslanguage/test/Featherweight_100_350.scala
@@ -67,8 +67,8 @@ class Featherweight_100_350 extends FlatSpec with Matchers with BeforeAndAfterAl
       truePositives intersect falsePositives shouldBe empty
    }
    
-   it should "be consistent (truePositives ∩ falseNegatives = ∅)" in {
-      truePositives intersect falseNegatives shouldBe empty
+   it should "be consistent (truePositives ∩ falseNegatives = falseNegatives)" in {
+      truePositives intersect falseNegatives should contain theSameElementsAs falseNegatives
    }
    
    it should "be consistent (falsePositives ∩ falseNegatives = ∅)" in {
diff --git a/src/eu.aniketos.dasca.crosslanguage.test/src/main/scala/eu/aniketos/dasca/crosslanguage/test/Featherweight_100_630.scala b/src/eu.aniketos.dasca.crosslanguage.test/src/main/scala/eu/aniketos/dasca/crosslanguage/test/Featherweight_100_630.scala
index 938f33d..f26b67b 100644
--- a/src/eu.aniketos.dasca.crosslanguage.test/src/main/scala/eu/aniketos/dasca/crosslanguage/test/Featherweight_100_630.scala
+++ b/src/eu.aniketos.dasca.crosslanguage.test/src/main/scala/eu/aniketos/dasca/crosslanguage/test/Featherweight_100_630.scala
@@ -67,8 +67,8 @@ class Featherweight_100_630 extends FlatSpec with Matchers with BeforeAndAfterAl
       truePositives intersect falsePositives shouldBe empty
    }
    
-   it should "be consistent (truePositives ∩ falseNegatives = ∅)" in {
-      truePositives intersect falseNegatives shouldBe empty
+    it should "be consistent (truePositives ∩ falseNegatives = falseNegatives)" in {
+      truePositives intersect falseNegatives should contain theSameElementsAs falseNegatives
    }
    
    it should "be consistent (falsePositives ∩ falseNegatives = ∅)" in {