-
Notifications
You must be signed in to change notification settings - Fork 45
Closed
Labels
comp-symbolic-engineIssue is related to the symbolic execution engineIssue is related to the symbolic execution enginectg-bugIssue is a bugIssue is a bugstatus-verifiedBug fix is verifiedBug fix is verified
Milestone
Description
Description
If we have user's code with UtMock.makeSymbolic usage, we have an error -- `java.lang.IllegalStateException: No field $__is_mock_null in class org.utbot.api.mock.UtMock. Seems like we do not have instrumentation for this class, therefore we have trouble with mocking it in the concrete executor.
To Reproduce
Steps to reproduce the behavior:
- Run any project in IntelliJ Idea
- Write code with
UtMock.makeSymbolicusage - Use the plugin to generate tests
Expected behaviour
Correctly generated tests.
Actual behaviour
IllegalStateException
Visual proofs
Environment
otherPackage mocks level`
Additional context
There is no additional context.
sergeypospelov
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 bugstatus-verifiedBug fix is verifiedBug fix is verified
Type
Projects
Status
Done
