Sebastian Huber commented on a discussion: https://gitlab.rtems.org/rtems/rtos/rtems/-/merge_requests/1122#note_151416 To address the issue with the YAML item formatting I would: 1. Check the format of the items with the `specwareverify` tool of [specware](https://pypi.org/project/specware/). 2. Extend the item type specification to optionally specify a format for integer types. This can be used for example for build option values. 3. Decide if we want to have a 2-space indentation for lists or keep the zero-indented lists. 4. Add an option to `specwareverify` to format the items or add a new tool `specwareformat` to do the formatting. -- View it on GitLab: https://gitlab.rtems.org/rtems/rtos/rtems/-/merge_requests/1122#note_151416 You're receiving this email because of your account on gitlab.rtems.org.
_______________________________________________ bugs mailing list [email protected] http://lists.rtems.org/mailman/listinfo/bugs
