projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ed1e956) | patch
First part of boolean flip seems to be clean; need to debug the second part and figur...
authorrtrimana <rtrimana@uci.edu>
Tue, 7 Apr 2020 23:53:36 +0000 (16:53 -0700)
committerrtrimana <rtrimana@uci.edu>
Tue, 7 Apr 2020 23:53:36 +0000 (16:53 -0700)
commit19a15ce37ab3cec800bfd5908bbc4d17259e4d49
treea4f509acf4ce44f0263d85d68b9c5c44e97beec6tree | snapshot
parented1e956e6aa9025c20aeaa521fb9b582aed771b1commit | diff
First part of boolean flip seems to be clean; need to debug the second part and figure out what to do when the current state is lower than the highest state ID for backtrack.
src/main/gov/nasa/jpf/listener/DPORStateReducer.java diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.