projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ff88f5a) | patch
Moving updateBacktrackSetsFromGraph into choiceGeneratorAdvanced so that it's always...
authorrtrimana <rtrimana@uci.edu>
Mon, 7 Dec 2020 18:44:11 +0000 (10:44 -0800)
committerrtrimana <rtrimana@uci.edu>
Mon, 14 Dec 2020 19:27:24 +0000 (11:27 -0800)
commitb56235883f0f40b95df581cf49f380f6d6d30ec6
tree482350cff45c0d5c9d47a6d13dfac795e1d1c929tree | snapshot
parentff88f5a973e34aca737f95bbe85193447d69c134commit | diff
Moving updateBacktrackSetsFromGraph into choiceGeneratorAdvanced so that it's always executed after updateBacktrackSet following Algorithm 2.
src/main/gov/nasa/jpf/listener/DPORStateReducer.java diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.