projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6594056) | patch
Bug fix: need to check for conflicts between events extracted from the state summary...
authorrtrimana <rtrimana@uci.edu>
Fri, 22 Jan 2021 00:06:22 +0000 (16:06 -0800)
committerrtrimana <rtrimana@uci.edu>
Fri, 22 Jan 2021 00:06:22 +0000 (16:06 -0800)
commitc3dddbf13bb97e250db9d092cef9787d321fe8f0
tree54fe2c7b11b8192dbc4da72309c3779774300229tree | snapshot
parent65940568a7cd0c600af6e481d12b97afb3c55b19commit | diff
Bug fix: need to check for conflicts between events extracted from the state summary and the current transition in updateBacktrackSetsFromGraph.
src/main/gov/nasa/jpf/listener/DPORStateReducerWithSummary.java diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.