FeasibleFact
data class FeasibleFact(val factId: String, val feasibility: Feasibility, val paths: List<FeasiblePath>, val solverExecutionId: String? = null)
Z3's verdict for one (sink, fact) pair. Emitted only when the pass was run with pathFeasibility != NO_CHECK. paths[] is the concrete enumerated feasible paths — non-empty iff feasibility = YES, but the analyzer may truncate enumeration.
Constructors
Link copied to clipboard
constructor(factId: String, feasibility: Feasibility, paths: List<FeasiblePath>, solverExecutionId: String? = null)