projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 149f8d9) | patch
Fixing a bug: off-by-one error in the executed trace checking.
authorrtrimana <rtrimana@uci.edu>
Fri, 27 Mar 2020 23:49:04 +0000 (16:49 -0700)
committerrtrimana <rtrimana@uci.edu>
Fri, 27 Mar 2020 23:49:04 +0000 (16:49 -0700)
commit24a0385288ecaa3a5027a28d0484e5fe2fee2301
tree686144e2ac2fc29916032c10ab9a25cd537d96cctree | snapshot
parent149f8d9e0d9cc78662abc4e42db3ac2c177b6811commit | diff
Fixing a bug: off-by-one error in the executed trace checking.
src/main/gov/nasa/jpf/listener/StateReducer.java diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.