On Tue, 1 Jul 2025 17:11:14 +0200 Nam Cao <[email protected]> wrote:
> > There's nothing in the code that even states that this was generated > > (if they were). > > Yeah this entire file is generated from the LTL specification. I will add a > comment. Yeah, generated code needs a big comment at the top of the file on what generated it. Bonus points if it shows how it was generated so that people will know how to regenerate it. -- Steve
