Home | History | Annotate | Download | only in benchmarks

Lines Matching full:sc_error

76 function sc_error() {
743     if (!sc_isPair(l)) sc_error("sc_lastPair: pair expected");
3093 	       sc_error( "format: illegal ~"
3760                         (sc_error("ADD-LEMMA did not like term:  ", term));