Module TestConfig
Import path
import utils.test.dataflow.testConfig
Predicates
isBarrierIn | Holds if data flow into |
isSink | Holds if |
isSource | Holds if |
import utils.test.dataflow.testConfig
isBarrierIn | Holds if data flow into |
isSink | Holds if |
isSource | Holds if |