projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d7f927a) | patch
Recording predecessors per state as opposed to per transition.
authorrtrimana <rtrimana@uci.edu>
Wed, 13 Jan 2021 20:09:43 +0000 (12:09 -0800)
committerrtrimana <rtrimana@uci.edu>
Wed, 13 Jan 2021 20:09:43 +0000 (12:09 -0800)
commit2491e80a7fdfc1a732836e568d6e075b51dbe443
tree93870e514b1ceb634d4359e76079c95f8f6bdb84tree | snapshot
parentd7f927a163c3cf8f1ca1e136433ac3d52f6c0f54commit | diff
Recording predecessors per state as opposed to per transition.
src/main/gov/nasa/jpf/listener/DPORStateReducerWithSummary.java diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.