C++: autoformat

This commit is contained in:
Robert Marsh
2020-12-03 15:48:42 -08:00
parent 8c1f15b261
commit b45f7846db

View File

@@ -588,7 +588,7 @@ private float addRoundingDownSmall(float x, float small) {
private predicate lowerBoundableExpr(Expr expr) {
analyzableExpr(expr) and
getUpperBoundsImpl(expr) <= exprMaxVal(expr) and
not exists(getValue(expr).toFloat())
not exists(getValue(expr).toFloat())
}
/**