projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b562358) | patch
Fixing a potential bug: if statement that contains updateBacktrackSetsFromGraph was...
authorrtrimana <rtrimana@uci.edu>
Fri, 11 Dec 2020 00:01:36 +0000 (16:01 -0800)
committerrtrimana <rtrimana@uci.edu>
Mon, 14 Dec 2020 19:27:43 +0000 (11:27 -0800)
commit19be6924aa748aed8511f49b6ac84c1d7301afbb
treeee815c6a82f6e507170c4c34006ad0deccbe4c27tree | snapshot
parentb56235883f0f40b95df581cf49f380f6d6d30ec6commit | 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.