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

Documented runtime (informally).

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

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

@ -56,7 +56,7 @@ class Featherweight extends FlatSpec with Matchers with BeforeAndAfterAll {
val app = new AppTest();
override def beforeAll(){
app.analyze(apkName, options, truePositives++falseNegatives)
app.analyze(apkName, options, truePositives++falseNegatives) // ca. 15sec
}
"Test Specification" should "be consistent (truePositives ∩ falsePositives = ∅)" in {

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

@ -60,7 +60,7 @@ class Featherweight_100_350 extends FlatSpec with Matchers with BeforeAndAfterAl
val app = new AppTest();
override def beforeAll(){
app.analyze(apkName, options, truePositives++falseNegatives)
app.analyze(apkName, options, truePositives++falseNegatives) // ca. 22sec
}
"Test Specification" should "be consistent (truePositives ∩ falsePositives = ∅)" in {

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

@ -60,7 +60,7 @@ class Featherweight_100_630 extends FlatSpec with Matchers with BeforeAndAfterAl
val app = new AppTest();
override def beforeAll(){
app.analyze(apkName, options, truePositives++falseNegatives)
app.analyze(apkName, options, truePositives++falseNegatives) // ca. 27sec
}
"Test Specification" should "be consistent (truePositives ∩ falsePositives = ∅)" in {