On Sat, 17 Dec 2016 12:46:23 +1100 (AEDT), Julien Fischer <jfischer at opturion.com> wrote: > Both of these test causes aborts in the high-level C code generator. > Should they be enabled in those grades? No. Thanks for catching that. Zoltan.