projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 685707b) | patch
Fixing a bug: VOD graph traversal should continue with the next neighbor when there...
authorrtrimana <rtrimana@uci.edu>
Thu, 9 Apr 2020 23:18:40 +0000 (16:18 -0700)
committerrtrimana <rtrimana@uci.edu>
Thu, 9 Apr 2020 23:18:40 +0000 (16:18 -0700)
commit87594ff533502d7145f07c0974ea4fc5399d1cac
treea6cf6704060667115d8b31ef27d004fe794f0580tree | snapshot
parent685707bfa5e2e600dbf296881c1f7fa6350cc2a1commit | diff
Fixing a bug: VOD graph traversal should continue with the next neighbor when there is a loop (repeated node found).
src/main/gov/nasa/jpf/listener/DPORStateReducer.java diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.