You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
There are no default comparators for positions.
Positions are often sorted before they can be used in a TaskVerifier.
It would be beneficial to provide one or more comparator to be used by the TaskVerifiers.
The text was updated successfully, but these errors were encountered:
I will leave this issue open for now as this should be added to the documentation of Position.
This would make this option more visible expecially for java newcomers (and someone who does not know much about the Comparator package from java like me...)
There are no default comparators for positions.
Positions are often sorted before they can be used in a TaskVerifier.
It would be beneficial to provide one or more comparator to be used by the TaskVerifiers.
The text was updated successfully, but these errors were encountered: