-
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 engine
Description
Description
java.util.List
and java.util.stream.Stream
have sorting methods that are too complex to analyze. We need to find a sorting algorithm as easily as possible for analysis and implement it in wrapper methods java.util.List#sort
and java.util.stream.Stream#sorted
.
Expected behavior
The easy-to-analyze sorting algorithm is implemented for wrappers.
Environment
Not applicable.
Potential alternatives
To investigate.
Context
Not applicable.
Metadata
Metadata
Assignees
Labels
comp-symbolic-engineIssue is related to the symbolic execution engineIssue is related to the symbolic execution engine
Type
Projects
Status
Todo