source: CIVL/examples/languageFeatures/bundleSize.cvl@ 900acbf

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

int N=5;
$input double a[N];

void main() {
  $bundle bun;
  int size;
  
  for (int i=0; i<N; i++) a[i] = i;
  bun = $bundle_pack(&a[0], N*sizeof(double));
  size = $bundle_size(bun);
  $assert size == N*sizeof(double);
  $assert size / sizeof(double) == N;
}