projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d5abca7) | patch
Refactoring; Finding cycles without traversing the entire state graph.
authorrtrimana <rtrimana@uci.edu>
Sat, 21 Mar 2020 04:34:59 +0000 (21:34 -0700)
committerrtrimana <rtrimana@uci.edu>
Sat, 21 Mar 2020 04:34:59 +0000 (21:34 -0700)
commit5bc20c4324f6268b3eed9705d28943621ff14181
tree2f72ee04b3b5971929ac90c60f4c157df29dcc05tree | snapshot
parentd5abca72b4e24ce48e43a54521032006ea3a2a41commit | diff
Refactoring; Finding cycles without traversing the entire state graph.
src/main/gov/nasa/jpf/listener/StateReducer.java diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.