qtil
advanced-security/qtil-python 0.0.3
Search

Predicate signature OutputSig::storeStep

Holds if there is a store step from node1 to node2.

signature predicate storeStep(ClosureNode node1, CapturedVariable v, ClosureNode node2)