Skip to content

Concrete Executor: State is null #613

Closed
@sofurihafe

Description

@sofurihafe

To Reproduce

  1. Enable parametrized test generation for utbot samples,
  2. Run BaseStreamExampleTest,
  3. Verify that IllegalStateException is thrown.

Visual proofs (screenshots, logs, images)

image

Metadata

Metadata

Labels

comp-symbolic-engineIssue is related to the symbolic execution enginectg-bugIssue is a bug

Type

No type

Projects

Status

Done

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions