Merge pull request #4973 from antlechner/antonia/vr-primitive-wrappers

[TG-8623] Fix primitive wrapper types in JSON value retriever

Author: antlechner

jbmc/regression/jbmc/deterministic_assignments_json/ContainerForBoolean.class

@@ -0,0 +1,4 @@
+public class ContainerForBoolean {
+  public Boolean booleanField;
+  public ContainerForBoolean(Boolean b) { booleanField = b; }
+}

jbmc/regression/jbmc/deterministic_assignments_json/ContainerForBoolean.java

@@ -0,0 +1,4 @@
+public class ContainerForByte {
+  public Byte byteField;
+  public ContainerForByte(Byte b) { byteField = b; }
+}

jbmc/regression/jbmc/deterministic_assignments_json/ContainerForByte.class

@@ -0,0 +1,4 @@
+public class ContainerForCharacter {
+  public Character characterField;
+  public ContainerForCharacter(Character c) { characterField = c; }
+}

jbmc/regression/jbmc/deterministic_assignments_json/ContainerForByte.java

@@ -0,0 +1,4 @@
+public class ContainerForDouble {
+  public Double doubleField;
+  public ContainerForDouble(Double d) { doubleField = d; }
+}

jbmc/regression/jbmc/deterministic_assignments_json/ContainerForCharacter.class

@@ -0,0 +1,4 @@
+public class ContainerForFloat {
+  public Float floatField;
+  public ContainerForFloat(Float f) { floatField = f; }
+}