Skip to content

Wrapper for basic Stream #145

New issue
New issue
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
@Damtev

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

Projects

UTBot Java

Status

Done

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions