projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ca18ecc) | patch
Attempting state-based DPOR implementation from the SPIN paper.
authorrtrimana <rtrimana@uci.edu>
Fri, 7 Feb 2020 23:08:59 +0000 (15:08 -0800)
committerrtrimana <rtrimana@uci.edu>
Fri, 7 Feb 2020 23:08:59 +0000 (15:08 -0800)
commita0dfd528f6fa9940a4d4fcb424a9e2612453ff53
treedce04a3d3d297c00e16c1638fa36612bf26f1a4ftree | snapshot
parentca18eccfbdf9e4102ee3de05efded9d4b68f1334commit | diff
Attempting state-based DPOR implementation from the SPIN paper.
src/main/gov/nasa/jpf/listener/StateReducer.java diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.