-
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
To Reproduce
Try to generate tests for class with default settings
import com.fasterxml.jackson.databind.ObjectMapper;
public class Solution {
public Object[] func_1(String json) throws JsonProcessingException {
ObjectMapper mapper = new ObjectMapper();
return mapper.readValue(json, Object[].class);
}
}
Actual behavior
Tests generation process hang.
Additional context
Bug was found by Dmitry Fedrushkov wx1076228
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