// PARAM: --sets solver td3 --enable ana.int.interval --enable exp.partition-arrays.enabled  --enable exp.fast_global_inits  --set ana.activated "['base','expRelation','mallocWrapper']"
// Without fast_global_inits this takes >150s, when it is enabled < 0.1s
int global_array[50][500][20];

int main(void) {
  for(int i =0; i < 50; i++) {
      assert(global_array[i][42][7] == 0);
  }
}

// PARAM: --sets solver td3 --enable ana.int.interval --enable exp.partition-arrays.enabled  --enable exp.fast_global_inits  --set ana.activated "['base','threadid','threadflag','expRelation','mallocWrapper']"
// Without fast_global_inits this takes >150s, when it is enabled < 0.1s
int global_array[50][500][20];

int main(void) {
  for(int i =0; i < 50; i++) {
      assert(global_array[i][42][7] == 0);
  }
}

Fix 30/03 by adding threadid and threadflag analyses
Fix 30/03 by adding threadid and threadflag analyses
