qtil
advanced-security/qtil-swift 0.0.3
Search

Predicate signature Binary::bindInput

A signature predicate with two parameters and no result, with a bindingset on the two parameters

Import path

import qtil.parameterization.SignaturePredicates
signature predicate bindInput(T1 t1, T2 t2)