projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d772dfa) | patch
[fix-bug]: checking attrs is not null in method StackFrame:replaceLocalAttr( ) (...
authorngocpq <phungquangngoc@gmail.com>
Wed, 12 Dec 2018 08:55:43 +0000 (17:55 +0900)
committercyrille-artho <cyrille-artho@users.noreply.github.com>
Wed, 12 Dec 2018 08:55:43 +0000 (16:55 +0800)
commit0341eeebea854bec13429540b3debb0c030dd253
tree133f5d5487a3a52ee2172ce47c0d7561949089c4tree | snapshot
parentd772dfa80ea692f916aa6718d04c4f7bfb2a746bcommit | diff
[fix-bug]: checking attrs is not null in method StackFrame:replaceLocalAttr( ) (#166)

* fix-bug in StackFrame.replaceLocalAttr: attrs is null

* add test-case
src/main/gov/nasa/jpf/vm/StackFrame.java diff | blob | history
src/tests/gov/nasa/jpf/vm/StackFrameTest.java [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.