projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e576d51) | patch
Changing approach: Using vm.restoreState() method to restore JPF to the desired state...
authorrtrimana <rtrimana@uci.edu>
Thu, 9 Apr 2020 07:03:43 +0000 (00:03 -0700)
committerrtrimana <rtrimana@uci.edu>
Thu, 9 Apr 2020 07:03:43 +0000 (00:03 -0700)
commitebcf259b97ccf4d66fe75b59a5ebd36fadda4ddd
treee10e517baa95bab180f240d56a5cc62f2c0604eftree | snapshot
parente576d51a191dd7fec0ccb0fa24202fc7846f19d7commit | diff
Changing approach: Using vm.restoreState() method to restore JPF to the desired state when backtracking; everything looks correct but probably needs more tests.
src/main/gov/nasa/jpf/listener/DPORStateReducer.java diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.