projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ebcf259) | patch
Optimization: Compare just the state and the fist event/choice of the trace to not...
authorrtrimana <rtrimana@uci.edu>
Thu, 9 Apr 2020 16:40:28 +0000 (09:40 -0700)
committerrtrimana <rtrimana@uci.edu>
Thu, 9 Apr 2020 16:40:28 +0000 (09:40 -0700)
commit3f2ed878a49e2214926a724ccf7ced0939f5a0af
tree2fb5cc5cd3d92c3af22d0413d5ae5970cb89c2fctree | snapshot
parentebcf259b97ccf4d66fe75b59a5ebd36fadda4dddcommit | diff
Optimization: Compare just the state and the fist event/choice of the trace to not repeat the same backtrack trace twice (the two will map to the same state and the algorithm will stop the second execution, so there is no need to record and explore it twice, e.g., the traces 2 0 1 3 and 2 1 0 3 at state 3.
src/main/gov/nasa/jpf/listener/DPORStateReducer.java diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.