Adding notes in the latest changes for the serializer bug fix.
authorrtrimana <rtrimana@uci.edu>
Tue, 7 Jul 2020 22:40:53 +0000 (15:40 -0700)
committerrtrimana <rtrimana@uci.edu>
Tue, 7 Jul 2020 22:40:53 +0000 (15:40 -0700)
commitcb0dd97fb75d3ef79006b4e2914e630847cb9338
tree5f2a8c1c7624abf3fc046e7c4e1a3584f6ee6c88
parent6043aef21d400687617a3c1b1a47db55f0e66955
Adding notes in the latest changes for the serializer bug fix.
src/main/gov/nasa/jpf/vm/ElementInfo.java
src/main/gov/nasa/jpf/vm/JPFOutputStream.java
src/main/gov/nasa/jpf/vm/serialize/CFSerializer.java
src/main/gov/nasa/jpf/vm/serialize/SmartThingsConfig.java