Skip to content

Some Enum tests fail without concrete #1249

@Damtev

Description

@Damtev

Description

Tests org.utbot.examples.enums.ClassWithEnumTest#testChangingStaticWithEnumInit, org.utbot.examples.annotations.lombok.EnumWithoutAnnotationsTest#testGetterWithoutAnnotations and org.utbot.examples.annotations.lombok.EnumWithAnnotationsTest#testGetterWithAnnotations fail without concrete execution.

To Reproduce

Run specified tests without concrete execution.

Expected behavior

Tests pass.

Actual behavior

Test matches fail.

Visual proofs (screenshots, logs, images)

org.opentest4j.AssertionFailedError: Execution matchers [1] not match to 
(org.utbot.examples.enums.ClassWithEnum@2a695eb[], []) -> java.lang.Boolean@edbe452[value=true], staticsBefore: {y = 0}
 ==> expected: <true> but was: <false>
org.opentest4j.AssertionFailedError: Execution matchers [1] not match to 
(org.utbot.examples.annotations.lombok.EnumWithoutAnnotations@3045bd35[constant=Constant_1,name=ENUM_CONSTANT,ordinal=0], []) -> java.lang.String[value={""}]
org.opentest4j.AssertionFailedError: Execution matchers [1] not match to 
(org.utbot.examples.annotations.lombok.EnumWithAnnotations@39897dee[constant=Constant_1,name=ENUM_CONSTANT,ordinal=0], []) -> java.lang.String[value={""}]

Metadata

Metadata

Assignees

Labels

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

Type

No type

Projects

Status

Todo

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions