C++: autoformat a test

This commit is contained in:
Robert Marsh
2022-08-16 11:31:28 -04:00
parent 5450681ade
commit 818bdcf3ab

View File

@@ -38,8 +38,13 @@ private string getBoundString(SemBound b, int delta) {
b instanceof SemZeroBound and result = delta.toString()
or
result =
strictconcat(b.(SemSsaBound).getAVariable().(SemanticExprConfig::SsaVariable).asInstruction().getAst().toString(), ":") +
getOffsetString(delta)
strictconcat(b.(SemSsaBound)
.getAVariable()
.(SemanticExprConfig::SsaVariable)
.asInstruction()
.getAst()
.toString(), ":"
) + getOffsetString(delta)
}
private string getARangeString(SemExpr e) {