Member predicate Options::alwaysCheckReturnValue
Holds if function f
should always have its return value checked.
By default holds only for fgets
.
predicate alwaysCheckReturnValue(Function f)
Holds if function f
should always have its return value checked.
By default holds only for fgets
.
predicate alwaysCheckReturnValue(Function f)