projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ec609ae) | patch
Adding checks to ensure that a predecessor is only recorded once for a transition.
authorrtrimana <rtrimana@uci.edu>
Thu, 17 Sep 2020 16:46:29 +0000 (09:46 -0700)
committerrtrimana <rtrimana@uci.edu>
Thu, 17 Sep 2020 16:46:29 +0000 (09:46 -0700)
commitb641fa6049e4a531777c2b7a21e3160e12a2d629
tree4ef1d07a3e38962ace4eb8935975f779705b48fetree | snapshot
parentec609ae000b3f7bba0e2d6d4c12c0b4e86bd2bfecommit | diff
Adding checks to ensure that a predecessor is only recorded once for a transition.
src/main/gov/nasa/jpf/listener/DPORStateReducer.java diff | blob | history
src/main/gov/nasa/jpf/listener/DPORStateReducerEfficient.java diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.