projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9adeb9b) | patch
Fixing bugs: state to reachability graph map has to be updated for every new state...
authorrtrimana <rtrimana@uci.edu>
Sat, 2 May 2020 15:25:49 +0000 (08:25 -0700)
committerrtrimana <rtrimana@uci.edu>
Sat, 2 May 2020 15:25:49 +0000 (08:25 -0700)
commit7d77b55b15ce4ebad33c8b5d2591ce701401bd7c
treed69078d627eec530c8c86fbd5020091993d9b1a1tree | snapshot
parent9adeb9b41d1ca24612350f1b055af8d9e0f65e8bcommit | diff
Fixing bugs: state to reachability graph map has to be updated for every new state in the stateAdvanced method.
src/main/gov/nasa/jpf/listener/DPORStateReducer.java diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.