source: CIVL/examples/mem/mem_tests/mem_havoc_array-bad.cvl@ aaa9c8d

#include<mem.cvh>

int main() {
  int a[10] = {0,1,2,3,4,5,6,7,8,9};
  $mem m = &a[1 .. 5];
  
  $mem_havoc(m);
  
  $assert(a[1] == 1);
}