Skip to content

Resources closing for Stream wrappers #189

Open
@Damtev

Description

@Damtev

Description

The current implementation of java.util.stream.BaseStream#close in UtStream wrapper does not care about closing related resources - possibly, this can lead to missing executions, and we need to investigate it.

Expected behavior

To investigate.

Environment

Not applicable.

Potential alternatives

To investigate.

Context

Not applicable.

Metadata

Metadata

Assignees

Labels

comp-symbolic-engineIssue is related to the symbolic execution engine

Type

No type

Projects

Status

Todo

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions