Added missing key to witness

ftsrg · Nov 22, 2023 · d894d2f · d894d2f
1 parent 5b09d02
commit d894d2f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/witnesses/Witness.kt b/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/witnesses/Witness.kt
@@ -71,6 +71,7 @@ class Witness(private val trace: Trace<WitnessNode, WitnessEdge>, programFile: F
         attributes.add(
             WitnessAttribute("returnFromFunction", "string", "edge", "returnFromFunction"))
         attributes.add(WitnessAttribute("threadId", "string", "edge", "threadId"))
+        attributes.add(WitnessAttribute("createThread", "string", "edge", "createThread"))
         attributes.add(WitnessAttribute("stmt", "string", "edge", "stmt"))
         attributes.add(WitnessAttribute("cSource", "string", "edge", "cSource"))