projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c1a4d7c) | patch
Refactoring/moving handler in the listener to check if the benchmark has no event...
authorrtrimana <rtrimana@uci.edu>
Tue, 19 Jan 2021 00:21:18 +0000 (16:21 -0800)
committerrtrimana <rtrimana@uci.edu>
Tue, 19 Jan 2021 00:21:18 +0000 (16:21 -0800)
commitd568c92869ed8d279615d50dc8e1c5ee765bef76
tree8f49c0ccd8c0e9c98eff109a6889b67d6241b40atree | snapshot
parentc1a4d7c56d0b0f380240319b056398f74c5ab0d1commit | diff
Refactoring/moving handler in the listener to check if the benchmark has no event (in this case we don't do DPOR).
src/main/gov/nasa/jpf/listener/DPORStateReducerWithSummary.java diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.