projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2d80346) | patch
Adding a handler in the listener to check if the benchmark has no event (in this...
authorrtrimana <rtrimana@uci.edu>
Tue, 19 Jan 2021 00:09:59 +0000 (16:09 -0800)
committerrtrimana <rtrimana@uci.edu>
Tue, 19 Jan 2021 00:09:59 +0000 (16:09 -0800)
commitc1a4d7c56d0b0f380240319b056398f74c5ab0d1
tree72f4a264009442ffb7804489b27bbea9a00346b6tree | snapshot
parent2d80346e5b60963ba456411fde0a288c6bf2e321commit | diff
Adding a 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.