public void Words_OptionsInvalid() { TextReader s = new StringReader (""); s.Words ((TextReaderCodaOptions) (-1)); }