On Tue, 1 Jul 2025 23:03:38 +0200 Nam Cao <[email protected]> wrote: > > > Bonus points if it shows how it was generated so that people will know > > how to regenerate it. > > If it's okay, not in this series. It requires changes to the RV core > script, and I prefer not touching things which are not LTL-specific for > now, unless necessary. The DA monitors and the containers do not have it as > well.
Yeah, just update this set to state that this code was generated. > > Let me stash it into my TODO list of RV cleanups. I will add this for LTL, > deterministic automaton and container in one go. Thanks, -- Steve
