Fixed typo in test spec resulting in checking JS->Java twice and missing properties on the Java->JS part.

This commit is contained in:
Achim D. Brucker 2016-09-01 12:03:20 +01:00
parent 427529102a
commit 3ef677e757
3 changed files with 13 additions and 13 deletions

View File

@ -79,19 +79,19 @@ class Featherweight extends FlatSpec with Matchers with BeforeAndAfterAll {
}
it should "report no misses" taggedAs (ManuallyChecked) in {
app.getJS2JavaMisses() should be (0)
app.getJava2JSMisses() should be (0)
}
it should "report no errors" taggedAs (ManuallyChecked) in {
app.getJS2JavaErrors() should be (0)
app.getJava2JSErrors() should be (0)
}
it should "have a precision of 100%" taggedAs (ManuallyChecked) in {
app.getJS2JavaPrecision() should be (100.0 +- 0.1)
app.getJava2JSPrecision() should be (100.0 +- 0.1)
}
it should "have a recall of 100%" taggedAs (ManuallyChecked) in {
app.getJS2JavaRecall() should be (100.0 +- 0.1)
app.getJava2JSRecall() should be (100.0 +- 0.1)
}
"JavaScript -> Java" should "report five hits" taggedAs (ManuallyChecked) in {

View File

@ -1,5 +1,5 @@
/*
* (C) Copyright 2016 The University of Sheffield.
z * (C) Copyright 2016 The University of Sheffield.
*
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
@ -83,19 +83,19 @@ class Featherweight_100_350 extends FlatSpec with Matchers with BeforeAndAfterAl
}
it should "report no misses" taggedAs (ManuallyChecked) in {
app.getJS2JavaMisses() should be (0)
app.getJava2JSMisses() should be (0)
}
it should "report no errors" taggedAs (ManuallyChecked) in {
app.getJS2JavaErrors() should be (0)
app.getJava2JSErrors() should be (0)
}
it should "have a precision of 100%" taggedAs (ManuallyChecked) in {
app.getJS2JavaPrecision() should be (100.0 +- 0.1)
app.getJava2JSPrecision() should be (100.0 +- 0.1)
}
it should "have a recall of 100%" taggedAs (ManuallyChecked) in {
app.getJS2JavaRecall() should be (100.0 +- 0.1)
app.getJava2JSRecall() should be (100.0 +- 0.1)
}
"JavaScript -> Java" should "report five hits" taggedAs (ManuallyChecked) in {

View File

@ -83,19 +83,19 @@ class Featherweight_100_630 extends FlatSpec with Matchers with BeforeAndAfterAl
}
it should "report no misses" taggedAs (ManuallyChecked) in {
app.getJS2JavaMisses() should be (0)
app.getJava2JSMisses() should be (0)
}
it should "report no errors" taggedAs (ManuallyChecked) in {
app.getJS2JavaErrors() should be (0)
app.getJava2JSErrors() should be (0)
}
it should "have a precision of 100%" taggedAs (ManuallyChecked) in {
app.getJS2JavaPrecision() should be (100.0 +- 0.1)
app.getJava2JSPrecision() should be (100.0 +- 0.1)
}
it should "have a recall of 100%" taggedAs (ManuallyChecked) in {
app.getJS2JavaRecall() should be (100.0 +- 0.1)
app.getJava2JSRecall() should be (100.0 +- 0.1)
}
"JavaScript -> Java" should "report five hits" taggedAs (ManuallyChecked) in {