Home
last modified time | relevance | path

Searched refs:constraint_doFixResult (Results 1 – 3 of 3) sorted by relevance

/dports/devel/splint/splint-3.1.2/src/Headers/
H A Dconstraint.h99 extern /*@only@*/ constraint constraint_doFixResult (constraint p_postcondition, /*@dependent@*/ /*…
/dports/devel/splint/splint-3.1.2/src/
H A DconstraintList.c515 ret = constraintList_add (ret, constraint_doFixResult (el, fcnCall) ); in constraintList_doFixResult()
H A Dconstraint.c953 constraint constraint_doFixResult (constraint postcondition, /*@dependent@*/ exprNode fcnCall) in constraint_doFixResult() function