TEXT   195
void sysinit
Guest on 6th December 2024 12:17:42 AM


  1. void sysinit() {
  2.   int k;
  3.   val_x=(int *)malloc(sizeof(int)*( MAX_WR_x+1));
  4.   val_x[0] = x;
  5.   tsb_x=(unsigned short*)malloc(sizeof( unsigned short)*(MAX_WR_x+2));
  6.   tsm_x=(unsigned short*)malloc(sizeof( unsigned short)*(MAX_WR_x+2));
  7.   tsb_x[0]=0; tsb_x[MAX_WR_x+1]=MAX_TIME;
  8.   for (int k=1; k<MAX_WR_x+2; k++) {
  9.     cpa(tsm_x[k-1] < tsm_x[k]);
  10.     cpa(tsb_x[k] <= MAX_TIME );
  11.     cpa(tsm_x[k] <= MAX_TIME );
  12.  
  13.   }
Raw Paste

Login or Register to edit or fork this paste. It's free.