Skip to content

Wrappers for primitive Streams #146

Closed
#871
Closed
Wrappers for primitive Streams#146
#871
Assignees
Damtev
Labels
comp-symbolic-engineIssue is related to the symbolic execution enginectg-enhancementNew feature, improvement or change request

Description

@Damtev
Damtev
opened on Jun 3, 2022

Implement wrappers for IntStream, LongStream, and DoubleStream as part of the #81.

Activity

  1. Damtev
    added
    ctg-enhancementNew feature, improvement or change request
    comp-symbolic-engineIssue is related to the symbolic execution engine
    on Jun 3, 2022
  2. Damtev
    self-assigned this
    on Jun 3, 2022
  3. Damtev
    added this to UTBot Javaon Jun 3, 2022
  4. Damtev
    moved this to Todo in UTBot Javaon Jun 3, 2022
  5. Damtev
    moved this from Todo to In Progress in UTBot Javaon Jun 3, 2022
  6. Damtev
    closed this as completedin #871on Sep 28, 2022
  7. Repository owner moved this from In Progress to Done in UTBot Javaon Sep 28, 2022
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 request

Type

No type

Projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions