On Sun, Apr 16, 2023 at 7:57 AM David Szent-Györgyi <das...@gmail.com> wrote:
> If it is difficult for you, who know Leo's code base so well, to keep in mind the complex interactions of that code base with the wide range of inputs generated by Leo's users, would the capabilities of Hypothesis <https://hypothesis.readthedocs.io/en/latest/> be of help to you? There are complexities in Leo's code, but not likely those that Hypothesis or Pydantic could help with. Startup is an inherently complex process. Everything would like to execute *last* after everything *else* has been initialized:-) Imo, there are few other "complex interactions" in Leo's code. Leo's classes should work independently of other classes, and (mostly) independently of calling sequences. mypy has become an indispensable tool. It verifies that objects actually have the types I think they have. Leo has 100% coverage of most of its core code. Full coverage doesn't guarantee correctness, but it's good enough. Edward -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to leo-editor+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/CAMF8tS1bmbpOt4rAwzyyoua4pUpbfuptiomjUmpXtpNuOQZsAA%40mail.gmail.com.
