projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2491e80) | patch
Adding another version of DPOR implementation that considers only the end states...
authorrtrimana <rtrimana@uci.edu>
Thu, 14 Jan 2021 18:18:34 +0000 (10:18 -0800)
committerrtrimana <rtrimana@uci.edu>
Thu, 14 Jan 2021 18:18:34 +0000 (10:18 -0800)
commit04ebd27427c10cd4ce8b3c579a444b5feeaf96e8
tree771d13a3b89d4816ed9c7567aa5d0265c1c98bc6tree | snapshot
parent2491e80a7fdfc1a732836e568d6e075b51dbe443commit | diff
Adding another version of DPOR implementation that considers only the end states of transitions.
src/main/gov/nasa/jpf/listener/DPORStateReducerMainStatesWithSummary.java [new file with mode: 0755] blob
src/main/gov/nasa/jpf/listener/DPORStateReducerWithSummary.java diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.