projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 19a15ce) | patch
Committing a version that almost works: bug to fix is that when an execution finishes...
authorrtrimana <rtrimana@uci.edu>
Wed, 8 Apr 2020 21:30:55 +0000 (14:30 -0700)
committerrtrimana <rtrimana@uci.edu>
Wed, 8 Apr 2020 21:30:55 +0000 (14:30 -0700)
commite576d51a191dd7fec0ccb0fa24202fc7846f19d7
tree208e5c53ac334a0cba739986dcdbeaf48ec76f53tree | snapshot
parent19a15ce37ab3cec800bfd5908bbc4d17259e4d49commit | diff
Committing a version that almost works: bug to fix is that when an execution finishes and the first backtrack point requires to get back to a higher state, there is no mechanism to roll back to that state.
src/main/gov/nasa/jpf/listener/DPORStateReducer.java diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.