- String writer = getWriter(ti.getStack(), appSet);
-
- // Just return if the writer is not one of the listed apps in the .jpf file
- if (writer == null)
- return;
-
- // Update the current updates
- writeWriterAndValue(writer, var, value);
+ System.out.println();
+ manual = (value.equals("true"))?true:false;
+ }
+ for (String var : conflictSet) {
+ if (varId.contains(var)) {
+ // Get variable info
+ byte type = getType(ti, executedInsn);
+ String value = getValue(ti, executedInsn, type);
+ String writer = getWriter(ti.getStack(), appSet);
+
+ // Just return if the writer is not one of the listed apps in the .jpf file
+ if (writer == null)
+ return;
+
+ // Update the current updates
+ writeWriterAndValue(writer, var, value);
+ }