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.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

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

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions