Skip to content

Use generic information for nested methods parameters #1613

@CaelmBleidd

Description

@CaelmBleidd

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 enginectg-enhancementNew feature, improvement or change request

Type

No type

Projects

Status

Done

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions