Home | History | Annotate | Download | only in Checkers

Lines Matching full:folded

703   // FIXME: We should not rely on fully-constrained symbols being folded.