projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 25f3da4) | patch
Adding graph traversal to find cycles; adding debug mode for ConflictTracker.
authorrtrimana <rtrimana@uci.edu>
Thu, 19 Mar 2020 18:14:58 +0000 (11:14 -0700)
committerrtrimana <rtrimana@uci.edu>
Thu, 19 Mar 2020 18:14:58 +0000 (11:14 -0700)
commitaeacdb3b4f77671a80702048907d8cf83f789e5b
tree4b24d460a1ee8e8bd44741fee38399e15502ee4etree | snapshot
parent25f3da45d7f3fbc53ee80b92d8ff60fcaca48738commit | diff
Adding graph traversal to find cycles; adding debug mode for ConflictTracker.
main.jpf diff | blob | history
src/main/gov/nasa/jpf/listener/ConflictTracker.java diff | blob | history
src/main/gov/nasa/jpf/listener/StateReducer.java diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.