search

HigherOrderCO / monobook

AGDA
22 stars 5 forks source link

Unit tests parser #24

Closed NaoEhSavio closed 1 week ago

NaoEhSavio commented 2 weeks ago

This PR implements : #8 These tests cover scenarios such as:

  1. Validation of error and reply fields,
  2. Parser state management,
  3. Advancing characters in various situations,
  4. Parser combinations (bind and seq),
  5. Parsing of characters, strings, names, and quoted characters,
  6. Skipping spaces and comments,
  7. Prefix checking and conditional character capture.