-
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
The current implementation of java.lang.String#split in wrapper UtString is implicitly infinite recursive. Since we don't have a test for this method, we didn't notice this behavior in time. The implementation should be fixed, and
To Reproduce
Generate a test for code using the java.lang.String#split method.
Expected behavior
Tests should be generated in time.
Actual behavior
The generation can end only because of timeout.
Environment
Not applicable.
Additional context
Not applicable.
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