tests: add --quiet with time to avoid poluted time output
[nit.git] / tests / base_types_formal_and_virtual4.nit
2012-04-16 Jean Privattests: add some base tests