projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ebcf259) | patch
Fixing a bug: restorable state has to be saved when backtrack point info is saved...
authorrtrimana <rtrimana@uci.edu>
Thu, 9 Apr 2020 22:57:06 +0000 (15:57 -0700)
committerrtrimana <rtrimana@uci.edu>
Thu, 9 Apr 2020 22:57:06 +0000 (15:57 -0700)
commit2c85b3bb2b21786f8eb76be7fd4eb7dc22d95e4b
tree2bac335e2c26f80d038a7f0c24750815880cf573tree | snapshot
parentebcf259b97ccf4d66fe75b59a5ebd36fadda4dddcommit | diff
Fixing a bug: restorable state has to be saved when backtrack point info is saved to get the appropriate CG type when restoring.
src/main/gov/nasa/jpf/listener/DPORStateReducer.java diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.