-
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 engine
Description
Description
If we mock java.util.Scanner class, we get exceptions in the concrete executor -- cannot set field (see screenshot below)
To Reproduce
Steps to reproduce the behaviour:
- Run any project in IntelliJ Idea
- Create a method with scanner usage
- Use the plugin to generate tests
- Open the generated tests
Expected behaviour
Correctly generated tests for the method
Actual behaviour
Tests containing only exceptions
Environment
You need to add java.util.Scanner into the set of classes to mock always (in the settings of UTBot).
Additional context
There is no additional context.
Metadata
Metadata
Assignees
Labels
comp-symbolic-engineIssue is related to the symbolic execution engineIssue is related to the symbolic execution engine
Type
Projects
Status
Done

