DASCA
/
DASCA
2
1
Fork 0
Code Issues Pull Requests Releases Wiki Activity

False Negatives reported should be a subset of true positives specified.

This commit is contained in:
Achim D. Brucker 2016-09-03 12:19:38 +01:00
parent 0c995b58fa
commit 193fc8f364
3 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/eu.aniketos.dasca.crosslanguage.test/src/main/scala/eu/aniketos/dasca/crosslanguage/test/Featherweight.scala
View File

@ -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 {

4
src/eu.aniketos.dasca.crosslanguage.test/src/main/scala/eu/aniketos/dasca/crosslanguage/test/Featherweight_100_350.scala
View File

@ -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 {

4
src/eu.aniketos.dasca.crosslanguage.test/src/main/scala/eu/aniketos/dasca/crosslanguage/test/Featherweight_100_630.scala
View File

@ -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 {