Merge branch 'main' into redsun82/cargo-upgrade

This commit is contained in:
Paolo Tranquilli
2025-02-27 10:05:57 +01:00

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()
)
}