Skip to content

Wrapper for basic Stream #145

Closed
#194
Closed
Wrapper for basic Stream#145
#194
Assignees
Damtev
Labels
comp-symbolic-engineIssue is related to the symbolic execution enginectg-enhancementNew feature, improvement or change requestpriority-top-focusTop priority chosen by dev team

Description

@Damtev
Damtev
opened on Jun 3, 2022

Implement wrapper for java.util.streams.Stream as part of the #81.

Metadata

Metadata

Assignees

Labels

comp-symbolic-engineIssue is related to the symbolic execution enginectg-enhancementNew feature, improvement or change requestpriority-top-focusTop priority chosen by dev team

Type

No type

Fields

No fields configured for issues without a type.

Projects

UTBot Java
Status
Done

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions