Skip to content

Stream wrappers #81

Closed
Closed
Stream wrappers#81
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 May 31, 2022

Description

Implement Ut wrappers for Stream (#145), IntStream, LongStream, and DoubleStream (#146).

Expected behavior

The implementation should allow a successful analysis of stream usages (like map, filter, distinct, etc methods).

Environment

Not applicable.

Potential alternatives

Unknown.

Context

We cannot successfully analyze standard Stream's implementation because of its high complexity, and the existing wrappers mechanism is the only way to support Stream analysis.

Activity

  1. Damtev
    added
    ctg-enhancementNew feature, improvement or change request
    comp-symbolic-engineIssue is related to the symbolic execution engine
    priority-top-focusTop priority chosen by dev team
    on May 31, 2022
  2. Damtev
    self-assigned this
    on May 31, 2022
  3. Damtev
    added this to UTBot Javaon May 31, 2022
  4. Damtev
    moved this to Todo in UTBot Javaon May 31, 2022
  5. Damtev
    moved this from Todo to In Progress in UTBot Javaon May 31, 2022
  6. Damtev
    modified the milestones: , , , on Jun 3, 2022
  7. Damtev
    moved this from In Progress to Done in UTBot Javaon Oct 5, 2022
  8. Damtev
    closed this as completedon Oct 5, 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 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