source: CIVL/examples/mem/mem_tests/mem_havoc_array2.cvl

#include<mem.cvh>
#include<stdlib.h>
#include<pointer.cvh>

int a[100];

int main() {
  $mem m;
  
  m = &a[(0 .. 99)];
  $mem_havoc(m);
}