tests/modules/pass_format_atype.aug

   1 module Pass_format_atype =
   2
   3 (* format_atype in lens.c had an allocation bug that would corrupt memory
   4    and later lead to unpleasant behavior like segfaults. This nonsensical
   5    lens, when formatted, triggers that problem.
   6
   7    For this test to make sense, it needs to be run with MALLOC_CHECK_=2 so
   8    that glibc complains and aborts the test
   9 *)
  10
  11 let l = [label "l"]|del /x/ "x"
  12 let _ = lens_format_atype l