enum class Result::Status
Declared at: clang/include/clang/Analysis/FlowSensitive/Solver.h:29
Enumerators
| Name | Value | Comment |
|---|---|---|
| Satisfiable | 0 | Indicates that there exists a satisfying assignment for a boolean formula. |
| Unsatisfiable | 1 | Indicates that there is no satisfying assignment for a boolean formula. |
| TimedOut | 2 | Indicates that the solver gave up trying to find a satisfying assignment for a boolean formula. |