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