C++: Hide operand nodes from path explanations to make the review diff smaller.

This commit is contained in:
Mathias Vorreiter Pedersen
2020-06-24 18:28:23 +02:00
parent 5aa1b13136
commit 7530dc2132

View File

@@ -308,4 +308,4 @@ predicate isImmutableOrUnobservable(Node n) {
}
/** Holds if `n` should be hidden from path explanations. */
predicate nodeIsHidden(Node n) { none() }
predicate nodeIsHidden(Node n) { n instanceof OperandNode }