projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0e881d0) | patch
Fixing bugs and cleaning up: Continuing sub-graph executions when there is no matched...
authorrtrimana <rtrimana@uci.edu>
Thu, 26 Mar 2020 01:56:27 +0000 (18:56 -0700)
committerrtrimana <rtrimana@uci.edu>
Thu, 26 Mar 2020 01:56:27 +0000 (18:56 -0700)
commit9f853a376c28deeae82cb6e9e2841c4f2a0d2fa3
tree29f3a8ddf42244dcd7521008a806f386d703021btree | snapshot
parent0e881d025a697dacd179e929a963c7596a49b3efcommit | diff
Fixing bugs and cleaning up: Continuing sub-graph executions when there is no matched states or cycles that contain all events; checking in the old ConflictTracker for testing.
main.jpf diff | blob | history
src/main/gov/nasa/jpf/listener/ConflictTrackerOld.java [new file with mode: 0644] blob
src/main/gov/nasa/jpf/listener/StateReducer.java diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.