source: CIVL/examples/languageFeatures/arrays.cvl@ 85d4675

/* Commandline execution:
 *              civl verify arrays.cvl
 * */
#include<civlc.h>

void main() {
  int a[1][1];
  int b[2];
  
  a[0][0] = 2;
  b[1] = 5;
  $assert a[0][0] == 2;
  $assert b[1] == 5;
}