SolverSinkVerdict

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