projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9e0eeb5) | patch
Testing DPORStateReducer and ConflictTracker: JPF seems to work fine and find the...
authorrtrimana <rtrimana@uci.edu>
Thu, 9 Apr 2020 23:44:57 +0000 (16:44 -0700)
committerrtrimana <rtrimana@uci.edu>
Thu, 9 Apr 2020 23:44:57 +0000 (16:44 -0700)
commit895d95e4012ea4f6db20abb68410c4ccfc8213f7
tree79ff05143868406dbcf062d83924df423b41045ctree | snapshot
parent9e0eeb5dcfb257727da9b55510858e53fba555c2commit | diff
Testing DPORStateReducer and ConflictTracker: JPF seems to work fine and find the conflicts.
main.jpf diff | blob | history
src/main/gov/nasa/jpf/listener/DPORStateReducer.java diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.