projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eb6b30d) | patch
Making the implementation of updateBacktrackSetDFS closer to the paper in DPORStateRe...
authorrtrimana <rtrimana@uci.edu>
Tue, 8 Sep 2020 18:22:47 +0000 (11:22 -0700)
committerrtrimana <rtrimana@uci.edu>
Tue, 8 Sep 2020 18:22:47 +0000 (11:22 -0700)
commit4e993c925c92846b87cdae46a59194352c1e8a60
tree386b0103b04f9ef9e34b5edb2675317a1d3654adtree | snapshot
parenteb6b30d1c6511ae1a573419982947e4dea1a12e2commit | diff
Making the implementation of updateBacktrackSetDFS closer to the paper in DPORStateReducer.java.
src/main/gov/nasa/jpf/listener/DPORStateReducer.java diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.