projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c540b2e) | patch
Fixing a bug: mapping state to event has to be done after the execution termination...
authorrtrimana <rtrimana@uci.edu>
Thu, 16 Apr 2020 21:44:45 +0000 (14:44 -0700)
committerrtrimana <rtrimana@uci.edu>
Thu, 16 Apr 2020 21:44:45 +0000 (14:44 -0700)
commit01797c4785396958affd10f7a2abbc22b9e26da7
tree2e1cb766527495e39837a6cee145d5ee62261e41tree | snapshot
parentc540b2eddfd5b18a25070d2f85bfe94de3f535c5commit | diff
Fixing a bug: mapping state to event has to be done after the execution termination check, otherwise we stop too early.
src/main/gov/nasa/jpf/listener/DPORStateReducer.java diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.