projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9d2c551) | patch
Fixing bug: 1) pushed transition should have been the predecessor transition after...
authorrtrimana <rtrimana@uci.edu>
Tue, 22 Sep 2020 18:17:59 +0000 (11:17 -0700)
committerrtrimana <rtrimana@uci.edu>
Tue, 22 Sep 2020 18:17:59 +0000 (11:17 -0700)
commit8a8c10ed55dfd4dcd299af66c2f418bbd41241c5
treea0449a706ae134137a6ced3bf51fec0c83b858c4tree | snapshot
parent9d2c551068bfd05a35449ee29da5a70768e2adaecommit | diff
Fixing bug: 1) pushed transition should have been the predecessor transition after a conflict is found, 2) execution should return immediately upon revisiting a transition during backtrack recursion.
src/main/gov/nasa/jpf/listener/DPORStateReducer.java diff | blob | history
src/main/gov/nasa/jpf/listener/DPORStateReducerEfficient.java diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.