projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: adca12b) | patch
Fixing bugs: the main one is to create a local copy of the set that contains accesses...
authorrtrimana <rtrimana@uci.edu>
Wed, 6 Jan 2021 22:19:32 +0000 (14:19 -0800)
committerrtrimana <rtrimana@uci.edu>
Wed, 6 Jan 2021 22:19:32 +0000 (14:19 -0800)
commitd7f927a163c3cf8f1ca1e136433ac3d52f6c0f54
treed276695a7cddc7416b3d72985d4ddd78084b2b28tree | snapshot
parentadca12bcd2d11a210d05ad71d0d03b2ec62f97dbcommit | diff
Fixing bugs: the main one is to create a local copy of the set that contains accesses in updateBacktrackSetDFS().
src/main/gov/nasa/jpf/listener/DPORStateReducer.java diff | blob | history
src/main/gov/nasa/jpf/listener/DPORStateReducerWithSummary.java diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.