-
Notifications
You must be signed in to change notification settings - Fork 45
Open
Labels
comp-symbolic-engineIssue is related to the symbolic execution engineIssue is related to the symbolic execution enginectg-bugIssue is a bugIssue is a bug
Description
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 engineIssue is related to the symbolic execution enginectg-bugIssue is a bugIssue is a bug
Type
Projects
Status
Todo