projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d568c92) | patch
Fixing bug due to refactoring/moving of code in the previous commit to handle apps...
authorrtrimana <rtrimana@uci.edu>
Tue, 19 Jan 2021 18:22:39 +0000 (10:22 -0800)
committerrtrimana <rtrimana@uci.edu>
Tue, 19 Jan 2021 18:22:39 +0000 (10:22 -0800)
commit65940568a7cd0c600af6e481d12b97afb3c55b19
treee7da78b38c5c605e531dd75e3e8ca86775cca2c6tree | snapshot
parentd568c92869ed8d279615d50dc8e1c5ee765bef76commit | diff
Fixing bug due to refactoring/moving of code in the previous commit to handle apps with no events.
src/main/gov/nasa/jpf/listener/DPORStateReducerWithSummary.java diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.