projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b1c560c) | patch
Fixing a potential bug: we now store the event number in the ArrayList together with...
authorrtrimana <rtrimana@uci.edu>
Tue, 7 Apr 2020 17:31:21 +0000 (10:31 -0700)
committerrtrimana <rtrimana@uci.edu>
Tue, 7 Apr 2020 17:31:21 +0000 (10:31 -0700)
commited1e956e6aa9025c20aeaa521fb9b582aed771b1
treee5d2d899cbdff49e3b9c174d1a6f39804124e958tree | snapshot
parentb1c560c27cc9169acd9ad874b09df56eea7187a9commit | diff
Fixing a potential bug: we now store the event number in the ArrayList together with the list of CGs for backtracking; getting the event number directly from the current array might be misleading because the array choices might have been modified for fair-scheduling.
src/main/gov/nasa/jpf/listener/DPORStateReducer.java diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.