projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0624c22) | patch
Fixing a bug: wrong CGs were reset when recursing into a sub-graph.
authorrtrimana <rtrimana@uci.edu>
Wed, 6 Nov 2019 19:41:20 +0000 (11:41 -0800)
committerrtrimana <rtrimana@uci.edu>
Wed, 6 Nov 2019 19:41:20 +0000 (11:41 -0800)
commit5eea2985e05aeba96e036ba96f1a8e7beb9bc99a
tree7c72fdba9e32c837ee2ac694f5c6f39a05c76d68tree | snapshot
parent0624c2202994fbe37546faeca0f71c22813bbd2bcommit | diff
Fixing a bug: wrong CGs were reset when recursing into a sub-graph.
src/main/gov/nasa/jpf/listener/StateReducer.java diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.