tests: add test for nitdoc
[nit.git] / tests / sav / base_primitive_null_alt3.sav
2009-07-27 Jean Privaticode: generate null receiver runtime checks