evosuite-plus-plus icon indicating copy to clipboard operation
evosuite-plus-plus copied to clipboard

Published 20 hours ago • verified publisher icon llmhyy

Potential change in searching GETTER

Open llmhyy opened this issue 4 years ago • 0 comments

Issue by Cary-Xx Monday Apr 06, 2020 at 14:09 GMT Originally opened as https://github.com/llmhyy/evosuite_progress/issues/161

Currently, non-leaf node field is generated only via getter (e.g., Player player = gamestate.getPlayer()) However, this is equivalent to gamestate.setPlay(Player player), which will then pass parameter player as input reference

llmhyy avatar Jul 22 '20 04:07 llmhyy