Ensure total ranking order to avoid ambiguous results

This commit is contained in:
Asger F
2025-02-26 09:32:32 +01:00
parent ff36d1916f
commit 6e53ebed47

View File

@@ -954,7 +954,7 @@ module TestPostProcessing {
f0 = MkTestFailure(fl, message) and
fl.getLocation().hasLocationInfo(filename, startLine, startColumn, endLine, endColumn)
|
f0 order by filename, startLine, startColumn, endLine, endColumn, message
f0 order by filename, startLine, startColumn, endLine, endColumn, message, fl.toString()
)
}