projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5d4e110) | patch
Moving updateBacktrackSetsFromGraph into choiceGeneratorAdvanced so that it's always...
authorUCI Networking Group <ucinetworkinggroup@UCIs-MacBook-Pro.local>
Mon, 7 Dec 2020 18:44:11 +0000 (10:44 -0800)
committerUCI Networking Group <ucinetworkinggroup@UCIs-MacBook-Pro.local>
Mon, 7 Dec 2020 18:44:11 +0000 (10:44 -0800)
commit35a177a2fce7cc83df80e5878b4a2e095f873597
tree482350cff45c0d5c9d47a6d13dfac795e1d1c929tree | snapshot
parent5d4e110b75a38751b0e2a49188f298389ab025e1commit | 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.