projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: df37e18) | patch
Fix for a bug in finding the right integer values in the stack frame: need to find...
authorrtrimana <rtrimana@uci.edu>
Fri, 28 Feb 2020 21:36:27 +0000 (13:36 -0800)
committerrtrimana <rtrimana@uci.edu>
Fri, 28 Feb 2020 21:36:27 +0000 (13:36 -0800)
commit27351fe64ae3dac87e94027cfe83ac67d23f4481
tree6ce81580fe3ba11362b102d8cb93e35f1dfb7843tree | snapshot
parentdf37e18934c9210bdfa81f9197984a056093e4afcommit | diff
Fix for a bug in finding the right integer values in the stack frame: need to find a value that's not 0 in the frame (previously we only look at offset 0 or 1 because of adapting the function getValue() from a listener for Java code).
src/main/gov/nasa/jpf/listener/ConflictTracker.java diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.