source: CIVL/examples/languageFeatures/bundleSize.cvl@ 4e048c3

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

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

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