Co-authored-by: Taus <tausbn@github.com>
This commit is contained in:
Erik Krogh Kristensen
2022-09-21 18:14:00 +02:00
committed by GitHub
parent 41c1e1a4c6
commit 1bdb6b45f8

View File

@@ -1412,7 +1412,7 @@ class ComparisonFormula extends TComparisonFormula, Formula {
pred = directMember("getRightOperand") and result = this.getRightOperand()
}
/** Hplds if this comparison has the operands `a` and `b` (in any order). */
/** Holds if this comparison has the operands `a` and `b` (in any order). */
pragma[noinline]
predicate hasOperands(Expr a, Expr b) {
this.getLeftOperand() = a and this.getRightOperand() = b