Added CheckOverflow test

ftsrg · Jul 25, 2023 · 7d3d9bc · 7d3d9bc
1 parent ffa942b
commit 7d3d9bc
Showing 1 changed file with 10 additions and 1 deletion.
diff --git a/subprojects/xcfa/c2xcfa/src/test/java/hu/bme/mit/theta/c2xcfa/TestFrontendXcfaBuilder.kt b/subprojects/xcfa/c2xcfa/src/test/java/hu/bme/mit/theta/c2xcfa/TestFrontendXcfaBuilder.kt
@@ -63,10 +63,19 @@ class TestFrontendXcfaBuilder {
 
     @Test
     @Throws(IOException::class)
-    fun parse() {
+    fun testReachability() {
 
         val stream = javaClass.getResourceAsStream(filepath)
 
         getXcfaFromC(stream!!, ParseContext(), false, false)
     }
+
+    @Test
+    @Throws(IOException::class)
+    fun testOverflow() {
+
+        val stream = javaClass.getResourceAsStream(filepath)
+
+        getXcfaFromC(stream!!, ParseContext(), false, true)
+    }
 }