projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6c9a974) | patch
Adding a way for JPF to be informed that this is DPOR; otherwise number the hacked...
authorrtrimana <rtrimana@uci.edu>
Mon, 22 Jun 2020 23:57:06 +0000 (16:57 -0700)
committerrtrimana <rtrimana@uci.edu>
Mon, 22 Jun 2020 23:57:06 +0000 (16:57 -0700)
commite3029fe7a819a13b3753968460facfdeb92eb59b
tree4544fa08bccc09e4a2eb1a26dbcaec7d90b373a2tree | snapshot
parent6c9a974109810a89b28711f0fa8b188a252c90a8commit | diff
Adding a way for JPF to be informed that this is DPOR; otherwise number the hacked number CGs only work for DPOR and it creates an infinite loop for a normal execution without DPOR.
src/main/gov/nasa/jpf/listener/DPORStateReducer.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.