projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d5bff4f) | patch
Cleaning up and fixing bugs; new DPOR implementation seems to be correct; need to...
authorrtrimana <rtrimana@uci.edu>
Mon, 6 Apr 2020 23:31:08 +0000 (16:31 -0700)
committerrtrimana <rtrimana@uci.edu>
Mon, 6 Apr 2020 23:31:08 +0000 (16:31 -0700)
commitb1c560c27cc9169acd9ad874b09df56eea7187a9
tree02c6f51157ddfc7d9d33307dab4b3089dcdc84b4tree | snapshot
parentd5bff4fb65cff43b56e7a4fd7fd79b2faf7e4bdbcommit | diff
Cleaning up and fixing bugs; new DPOR implementation seems to be correct; need to test with other pairs.
src/main/gov/nasa/jpf/listener/DPORStateReducer.java diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.