-
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 bug
Description
Description
Engine produces staticsBefore with the hidden SecurityManager static field. The concrete executor can't find this field, so it isn't present in staticsAfter. This leads to test generation failure as we expect staticsBefore and staticsAfter to have the same structure.
To Reproduce
Steps to reproduce the behavior:
- Create this method:
public void createThread() {
final int[] x = {0};
new Thread(() -> {
x[0]++;
}).start();
new Thread(() -> {
x[0]++;
}).start();
}- Run test generation via UtBot plugin
Expected behavior
At least one test generated and there are no tests with internal exceptions.
Actual behavior
There is a generated test with an internal exception.
Visual proofs (screenshots, logs, images)
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
Done
