projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9f89d20) | patch
Modifying the algorithm: 1) Find the first conflict and stop; 2) Perform backward...
authorrtrimana <rtrimana@uci.edu>
Thu, 14 May 2020 21:03:40 +0000 (14:03 -0700)
committerrtrimana <rtrimana@uci.edu>
Thu, 14 May 2020 21:03:40 +0000 (14:03 -0700)
commit960a84cbcae04e3e57dfbaf70644671ba0714126
treed6a40fa52993c2758ee7c8fbcef741c932162189tree | snapshot
parent9f89d20067acb0133c90727bb465670cdb67d442commit | diff
Modifying the algorithm: 1) Find the first conflict and stop; 2) Perform backward DFS to find conflicts in the execution graph.
src/main/gov/nasa/jpf/listener/DPORStateReducer.java diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.