From ba70a80c23b5e68b5e4747bc8fd323b8317f74ce Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sat, 3 Sep 2016 12:28:10 +0100
Subject: [PATCH] Documented runtime (informally).

---
 .../eu/aniketos/dasca/crosslanguage/test/Featherweight.scala    | 2 +-
 .../dasca/crosslanguage/test/Featherweight_100_350.scala        | 2 +-
 .../dasca/crosslanguage/test/Featherweight_100_630.scala        | 2 +-
 3 files changed, 3 insertions(+), 3 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 cf942fd..a290abe 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
@@ -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 {
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 bab9f29..d9ed161 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
@@ -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 {
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 f26b67b..bec6721 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
@@ -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 {