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
index 975edddde5..4709409030 100644
--- 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)
+    }
 }
\ No newline at end of file