projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fa86b97) | patch
Fixing a bug: we need to start choiceCounter from 1 instead of 0 for subsequent execu...
authorrtrimana <rtrimana@uci.edu>
Sat, 4 Apr 2020 04:34:28 +0000 (21:34 -0700)
committerrtrimana <rtrimana@uci.edu>
Sat, 4 Apr 2020 04:34:28 +0000 (21:34 -0700)
commitd5bff4fb65cff43b56e7a4fd7fd79b2faf7e4bdb
treec48cb63e70712333c92920fbc489b5ee8f893c98tree | snapshot
parentfa86b972ca0ced9985639d19684ed1e4fc8cad56commit | diff
Fixing a bug: we need to start choiceCounter from 1 instead of 0 for subsequent executions since the first CG (number 0) is the backtrack CG itself.
src/main/gov/nasa/jpf/listener/DPORStateReducer.java diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.