Member predicate LibcAssert :: getAsserted
Gets the expression whose truth is being asserted.
Expr
getAsserted
(
)