search

AdaCore / RecordFlux

Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Apache License 2.0
104 stars 6 forks source link

Add missing quotes to error message about invalid aspects #1267

Closed treiher closed 1 year ago

treiher commented 1 year ago

Identifiers in error messages should be highlighted by double quotes.

https://github.com/Componolit/RecordFlux/blob/10c1aa8a90c20c9328289d15b9a43f7efe070ff0/rflx/specification/parser.py#L946-L947

treiher commented 1 year ago

Fixed in version 0.12.0.