projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2709022) | patch
Fixing a bug: summary of conflict transition and ReadWriteSet need to be stored in...
authorrtrimana <rtrimana@uci.edu>
Mon, 21 Sep 2020 22:01:05 +0000 (15:01 -0700)
committerrtrimana <rtrimana@uci.edu>
Mon, 21 Sep 2020 22:01:05 +0000 (15:01 -0700)
commit9d2c551068bfd05a35449ee29da5a70768e2adae
tree32325df268d6c04bd49ef3f99213c5689078ca3etree | snapshot
parent270902216bc196e8d7b36fd78fb18f3c0f663f1ecommit | diff
Fixing a bug: summary of conflict transition and ReadWriteSet need to be stored in TransitionEvent; then summary of reachable transitions at a state can be stored in the RGraph object.
src/main/gov/nasa/jpf/listener/DPORStateReducerEfficient.java diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.