projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 35a177a) | patch
Fixing a potential bug: if statement that contains updateBacktrackSetsFromGraph was...
authorUCI Networking Group <ucinetworkinggroup@UCIs-MacBook-Pro.local>
Fri, 11 Dec 2020 00:01:36 +0000 (16:01 -0800)
committerUCI Networking Group <ucinetworkinggroup@UCIs-MacBook-Pro.local>
Fri, 11 Dec 2020 00:01:36 +0000 (16:01 -0800)
commit461ece5d48c8a96e967b2670802406d1d4157df3
treeee815c6a82f6e507170c4c34006ad0deccbe4c27tree | snapshot
parent35a177a2fce7cc83df80e5878b4a2e095f873597commit | diff
Fixing a potential bug: if statement that contains updateBacktrackSetsFromGraph was only called once.
src/main/gov/nasa/jpf/listener/DPORStateReducer.java diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.