add extra methods cfbugfix
authorBrian Demsky <bdemsky@uci.edu>
Sat, 4 Jul 2020 00:00:57 +0000 (17:00 -0700)
committerBrian Demsky <bdemsky@uci.edu>
Sat, 4 Jul 2020 00:00:57 +0000 (17:00 -0700)
commit33cf54e3f73d0c48d72c100e19812def5003af46
treea2f01b8b7cf4fbd1739573fd0d62c388e17d4826
parentd2ca5984f079111b851bf9f2a4618d5542a17c39
add extra methods
src/main/gov/nasa/jpf/vm/serialize/SmartThingsConfig.java