Add value

Author: Lipen

jacodb-panda-dynamic/src/main/kotlin/org/jacodb/panda/dynamic/parser/ProgramToDot.kt

@@ -78,6 +78,9 @@ fun IRParser.Program.toDot(): String {
                 bb.insts.forEachIndexed { i, inst ->
                     val labelLines: MutableList<String> = mutableListOf()
                     labelLines += "${inst.id}: ${inst.opcode}: ${inst.type}"
+                    if (inst.value != null) {
+                        labelLines += "value = ${inst.value}"
+                    }
                     if (inst.inputs.isNotEmpty()) {
                         labelLines += "inputs = ${inst.inputs}"
                     }