projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 02c81b4) | patch
Fixing a bug: in the second round of boolean CG, we might encounter states in the...
authorrtrimana <rtrimana@uci.edu>
Thu, 2 Jul 2020 22:31:13 +0000 (15:31 -0700)
committerrtrimana <rtrimana@uci.edu>
Thu, 2 Jul 2020 22:31:13 +0000 (15:31 -0700)
commita5b0389c6d6608271a0cd1f05cbddf10c8d4e1b4
tree18b73da9eae15c6781f4df39c606b3f677c458a1tree | snapshot
parent02c81b42dfad69b9c2b36ec20650be4cd4d877f1commit | diff
Fixing a bug: in the second round of boolean CG, we might encounter states in the first round that are considered new states; adding a guard condition for a map read.
src/main/gov/nasa/jpf/listener/DPORStateReducer.java diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.