projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 895d95e) | patch
Fixing a bug: misunderstood how the VOD graph is supposed to be generated; we basical...
authorrtrimana <rtrimana@uci.edu>
Fri, 10 Apr 2020 22:29:50 +0000 (15:29 -0700)
committerrtrimana <rtrimana@uci.edu>
Fri, 10 Apr 2020 22:29:50 +0000 (15:29 -0700)
commit1f4068e4a688cab36250d691513cfb99dd25fdbf
tree2c14217496247497072f0587792ae90af0dfff4ctree | snapshot
parent895d95e4012ea4f6db20abb68410c4ccfc8213f7commit | diff
Fixing a bug: misunderstood how the VOD graph is supposed to be generated; we basically track the transitions that produce new states.
src/main/gov/nasa/jpf/listener/DPORStateReducer.java diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.