-   Notifications  
You must be signed in to change notification settings  - Fork 45
 
Closed
Labels
comp-symbolic-engineIssue is related to the symbolic execution engineIssue is related to the symbolic execution enginectg-enhancementNew feature, improvement or change requestNew feature, improvement or change request
Description
Description
For now, UtBot processes generic information only for a method under test. There is an obvious way of improvement: we should save and use generic information for other methods using the same instruments
Expected behavior
If we have some method under test foo(List<Integer>) and another method bar(List<Integer>) that is called inside of the foo, we should use information that the first parameter passed into bar have an Integer type parameter
Environment
There is no specific environment.
Potential alternatives
Not suitable
Context
This issue might be considered a small part of #924, but none of the suggestions from there is implemented here.
Metadata
Metadata
Assignees
Labels
comp-symbolic-engineIssue is related to the symbolic execution engineIssue is related to the symbolic execution enginectg-enhancementNew feature, improvement or change requestNew feature, improvement or change request
Type
Projects
Status
Done