projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 81daeef) | patch
Fixing bugs and cleaning up: making sure that the execution of the first trace has...
authorrtrimana <rtrimana@uci.edu>
Wed, 25 Mar 2020 22:43:13 +0000 (15:43 -0700)
committerrtrimana <rtrimana@uci.edu>
Wed, 25 Mar 2020 22:43:13 +0000 (15:43 -0700)
commitc9b98285f5bd0c6e9f6577fd4fd564d3eab7ced0
treef57e3fc47cffa107c2734df63a5decc4a076742dtree | snapshot
parent81daeefff026caeb076584f572dd095b7cc0a652commit | diff
Fixing bugs and cleaning up: making sure that the execution of the first trace has fair-scheduling with appropriate state-matching.
main.jpf diff | blob | history
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.