source: CIVL/examples/languageFeatures/malloc.cvl@ e5c6156

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

void main() {
  $scope s = $here;
  double *p = (double *) $malloc(s, 5*sizeof(double));
  
  p[4]=3.14;
  $assert(p[4]==3.14);
  free(p);
}