projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bebab2d) | patch
Adding a condition to not check for timeout when it is 0.
authorrtrimana <rtrimana@uci.edu>
Fri, 2 Aug 2019 22:13:25 +0000 (15:13 -0700)
committerrtrimana <rtrimana@uci.edu>
Fri, 2 Aug 2019 22:13:25 +0000 (15:13 -0700)
commit8c32849672197006bb409246f70dc60ffcb97324
tree4084b68aedcb9bfc0cca644790cabf4631ac8e55tree | snapshot
parentbebab2dfcd7ecf9389e25d735ac288fafa9ea5c0commit | diff
Adding a condition to not check for timeout when it is 0.
src/main/gov/nasa/jpf/listener/VariableConflictTracker.java diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.