remove development comment

This commit is contained in:
Erik Krogh Kristensen
2021-03-03 11:18:09 +01:00
parent 95a1edcabc
commit b9450c901a

View File

@@ -106,7 +106,7 @@ module DataFlow {
/** Holds if this node may evaluate to the Boolean value `b`. */
predicate mayHaveBooleanValue(boolean b) {
getAPredecessor().mayHaveBooleanValue(b) // needed stage 31 + stage 26 + stage 22 (unfixable)
getAPredecessor().mayHaveBooleanValue(b)
or
b = true and asExpr().(BooleanLiteral).getValue() = "true"
or