add _ in cexs node id

ftsrg · Nov 13, 2024 · e3503f3 · e3503f3
1 parent 21e7acf
commit e3503f3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/subprojects/xsts/xsts-cli/src/main/kotlin/hu/bme/mit/theta/xsts/cli/XstsCliTracegen.kt b/subprojects/xsts/xsts-cli/src/main/kotlin/hu/bme/mit/theta/xsts/cli/XstsCliTracegen.kt
@@ -60,7 +60,7 @@ class XstsCliTracegen :
 
     for ((node, state) in summaryStateMap) {
       sb.add(
-        Utils.lispStringBuilder("${node.id}: ${XstsState::class.java.simpleName}")
+        Utils.lispStringBuilder("_${node.id}: ${XstsState::class.java.simpleName}")
           .add(if (state.isInitialized) "post_init" else "pre_init")
           .add(if (state.lastActionWasEnv()) "last_env" else "last_internal")
           .body()