Skip to content

Concrete Executor: State is null #613

New issue
New issue
Closed
#614
Closed
Concrete Executor: State is null#613
#614
Assignees
EgorkaKulikovsofurihafe
Labels
comp-symbolic-engineIssue is related to the symbolic execution enginectg-bugIssue is a bug
@sofurihafe

Description

@sofurihafe
sofurihafe
opened on Jul 29, 2022

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

Assignees

Labels

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

Type

No type

Projects

UTBot Java

Status

Done

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions