projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5eea298) | patch
Checking in (1) StateReducer, and (2) StateReducerEfficient; ISSUE: the StateReducerE...
authorrtrimana <rtrimana@uci.edu>
Tue, 12 Nov 2019 21:32:02 +0000 (13:32 -0800)
committerrtrimana <rtrimana@uci.edu>
Tue, 12 Nov 2019 21:32:02 +0000 (13:32 -0800)
commit8307c84256b8574dc03b6f0c7a3d4084acdeabc7
tree2e318183cfffcbac0e48ccbf71d601563e83c62dtree | snapshot
parent5eea2985e05aeba96e036ba96f1a8e7beb9bc99acommit | diff
Checking in (1) StateReducer, and (2) StateReducerEfficient; ISSUE: the StateReducerEfficient doesn't traverse the sub-graphs completely and JPF ignores some of the child CGs---incomplete POR.
src/main/gov/nasa/jpf/listener/StateReducer.java diff | blob | history
src/main/gov/nasa/jpf/listener/StateReducerEfficient.java [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.