nitc: add option --stop-on-first-error
[nit.git] / tests / sav / base_closure_forms.sav
2009-07-31 Jean Privattests: add base_closure_forms