projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1418a05) | patch
First version of POR; need to double check the backtrack set analysis.
authorrtrimana <rtrimana@uci.edu>
Tue, 15 Oct 2019 22:04:51 +0000 (15:04 -0700)
committerrtrimana <rtrimana@uci.edu>
Tue, 15 Oct 2019 22:04:51 +0000 (15:04 -0700)
commitbd1e8a6d76dc1e4cdfb3491fcfe5c71ee0071a3a
tree7418438ef4d04e9516485f5b045fdec33b245ee1tree | snapshot
parent1418a055d0a3e09ae21b101195659f04be39c882commit | diff
First version of POR; need to double check the backtrack set analysis.
src/main/gov/nasa/jpf/listener/StateReducer.java diff | blob | history
src/main/gov/nasa/jpf/vm/choice/NumberChoiceFromList.java diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.