projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 58dc349) | patch
Implementing the sleep-set technique for the previous version to explore less combina...
authorrtrimana <rtrimana@uci.edu>
Fri, 15 Nov 2019 23:22:03 +0000 (15:22 -0800)
committerrtrimana <rtrimana@uci.edu>
Fri, 15 Nov 2019 23:22:03 +0000 (15:22 -0800)
commit771bdec3c4cd41620db715443c48c905ac4c6b2e
tree0ca0b81888961be8371b15130b1c95d1031f9b29tree | snapshot
parent58dc349efc2e85a35e628b9b56d7a20beef24b61commit | diff
Implementing the sleep-set technique for the previous version to explore less combinations of events.
src/main/gov/nasa/jpf/listener/EfficientStateReducer.java [new file with mode: 0644] blob
src/main/gov/nasa/jpf/vm/choice/IntChoiceFromSet.java diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.