[BACK]Return to nd.c CVS log [TXT][DIR] Up to [local] / OpenXM_contrib2 / asir2018 / engine

Diff for /OpenXM_contrib2/asir2018/engine/nd.c between version 1.31 and 1.32

version 1.31, 2020/07/07 08:04:30 version 1.32, 2020/07/07 08:08:26
Line 1 
Line 1 
 /* $OpenXM: OpenXM_contrib2/asir2018/engine/nd.c,v 1.30 2020/07/03 03:37:59 noro Exp $ */  /* $OpenXM: OpenXM_contrib2/asir2018/engine/nd.c,v 1.31 2020/07/07 08:04:30 noro Exp $ */
   
 #include "nd.h"  #include "nd.h"
   
Line 10974  NODE nd_sba_f4(int m,int **indp)
Line 10974  NODE nd_sba_f4(int m,int **indp)
       for ( r = syzlist[i]; r; r = NEXT(r) )        for ( r = syzlist[i]; r; r = NEXT(r) )
         d = remove_spair_s(d,(SIG)BDY(r));          d = remove_spair_s(d,(SIG)BDY(r));
     if ( DP_Print ) {      if ( DP_Print ) {
       fprintf(asir_out,"f4red=%d,gblen=%d\n",f4red,length(g)); fflush(asir_out);        fprintf(asir_out,"f4red=%d,gblen=%d\n",f4red,nd_psn); fflush(asir_out);
     }      }
     f4red++;      f4red++;
     if ( nd_f4red && f4red > nd_f4red ) break;      if ( nd_f4red && f4red > nd_f4red ) break;

Legend:
Removed from v.1.31  
changed lines
  Added in v.1.32

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>