Predicate PointsTo::PointsTo::API::version_const
INTERNAL – Use Version.isTrue()
instead.
Holds if cmp
points to a test on version that is value
.
For example, if cmp
is sys.version[0] < "3"
then for, Python 2, value
would be true
.
predicate version_const(CompareNode cmp, PointsToContext context, boolean value)