Added logging to test in XcfaAnalysis

ftsrg · Jul 25, 2023 · 2b09097 · 2b09097
1 parent ed15da5
commit 2b09097
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 16 deletions.
diff --git a/...jects/xcfa/xcfa-analysis/src/test/java/hu/bme/mit/theta/xcfa/analysis/XcfaAnalysisTest.kt b/...jects/xcfa/xcfa-analysis/src/test/java/hu/bme/mit/theta/xcfa/analysis/XcfaAnalysisTest.kt
@@ -59,6 +59,7 @@ class XcfaAnalysisTest {
     @ParameterizedTest
     @MethodSource("data")
     fun testNoporExpl(filepath: String, verdict: (SafetyResult<*, *>) -> Boolean) {
+        println("Testing NOPOR on $filepath...")
         val stream = javaClass.getResourceAsStream(filepath)
         val xcfa = getXcfaFromC(stream!!, ParseContext(), false, false).first
 
@@ -101,6 +102,7 @@ class XcfaAnalysisTest {
     @ParameterizedTest
     @MethodSource("data")
     fun testSporExpl(filepath: String, verdict: (SafetyResult<*, *>) -> Boolean) {
+        println("Testing SPOR on $filepath...")
         val stream = javaClass.getResourceAsStream(filepath)
         val xcfa = getXcfaFromC(stream!!, ParseContext(), false, false).first
 
@@ -143,6 +145,7 @@ class XcfaAnalysisTest {
     @ParameterizedTest
     @MethodSource("data")
     fun testDporExpl(filepath: String, verdict: (SafetyResult<*, *>) -> Boolean) {
+        println("Testing DPOR on $filepath...")
         val stream = javaClass.getResourceAsStream(filepath)
         val xcfa = getXcfaFromC(stream!!, ParseContext(), false, false).first
 
@@ -184,6 +187,7 @@ class XcfaAnalysisTest {
     @ParameterizedTest
     @MethodSource("data")
     fun testAasporExpl(filepath: String, verdict: (SafetyResult<*, *>) -> Boolean) {
+        println("Testing AASPOR on $filepath...")
         val stream = javaClass.getResourceAsStream(filepath)
         val xcfa = getXcfaFromC(stream!!, ParseContext(), false, false).first
 
@@ -227,7 +231,7 @@ class XcfaAnalysisTest {
     @ParameterizedTest
     @MethodSource("data")
     fun testAadporExpl(filepath: String, verdict: (SafetyResult<*, *>) -> Boolean) {
-        if (filepath.contains("multithread")) return // TODO: why does it fail to verify?
+        println("Testing AADPOR on $filepath...")
         val stream = javaClass.getResourceAsStream(filepath)
         val xcfa = getXcfaFromC(stream!!, ParseContext(), false, false).first
 

diff --git a/subprojects/xcfa/xcfa-analysis/src/test/java/hu/bme/mit/theta/xcfa/analysis/XcfaCegarTest.kt b/subprojects/xcfa/xcfa-analysis/src/test/java/hu/bme/mit/theta/xcfa/analysis/XcfaCegarTest.kt