qtil
advanced-security/qtil-go 0.0.3
Search

Member predicate ControlFlow::ConditionGuardNode::ensures

Holds if this guard ensures that the result of nd is b.

predicate ensures(Node nd, boolean b)