projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dbaa88b) | patch
Reimplementing DPOR Phase 3: Architecting the subsequent executions (backtrack points...
authorrtrimana <rtrimana@uci.edu>
Fri, 3 Apr 2020 23:13:34 +0000 (16:13 -0700)
committerrtrimana <rtrimana@uci.edu>
Fri, 3 Apr 2020 23:13:34 +0000 (16:13 -0700)
commitfa86b972ca0ced9985639d19684ed1e4fc8cad56
treee36320782a1961eb5c216d9a0c510da824001604tree | snapshot
parentdbaa88b6ff8bd4ae38fc19d131ac8340826c3763commit | diff
Reimplementing DPOR Phase 3: Architecting the subsequent executions (backtrack points); need to test how CGs are explored with the current DFSearch.
src/main/gov/nasa/jpf/listener/DPORStateReducer.java diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.