SolverSinkVerdict

data class SolverSinkVerdict(val calleeSymbol: String, val reached: Boolean, val physicalSinkInstructionIds: List<String>, val reachedPhysicalSinkInstructionIds: List<String>)

Constructors

constructor(calleeSymbol: String, reached: Boolean, physicalSinkInstructionIds: List<String>, reachedPhysicalSinkInstructionIds: List<String>)