projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 42c68a0) | patch
A few hacks to make the list circular: this lets the CG not signal the JPF that the...
authorrtrimana <rtrimana@uci.edu>
Fri, 19 Jun 2020 16:42:07 +0000 (09:42 -0700)
committerrtrimana <rtrimana@uci.edu>
Fri, 19 Jun 2020 16:42:07 +0000 (09:42 -0700)
commit15a430755720be88420508141246ea4909cb4ade
tree4b378221727c60255b6009927acfdd356094529dtree | snapshot
parent42c68a0ac3563a679987c53ce282d6807cd3d9d6commit | diff
A few hacks to make the list circular: this lets the CG not signal the JPF that the end of the list is the end of the CG execution.
src/main/gov/nasa/jpf/vm/choice/NumberChoiceFromList.java diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.