//tvix/store.Directory::validate should have some proptests

#233
Opened by flokli at 2022-12-28T10·53+00

This function validates a Directory message to be valid.

We can probably reduce some of the boilerplace from cl/7650 by using proptests.

  1. I decided to take a look at this. If anyone has any thoughts or opinion about it, feel free to reach out.

    Also, if it's not closed in the next few weeks, then I probably forgot about it or became otherwise busy and you're welcome to pick it up.

    benjaminedwardwebb at 2024-08-09T22·15+00

  2. The Directory struct has been moved to a version where invalid states become impossible to represent (as all validations are expressed on the type level, at least if we didn't forget anything).

    I'm not sure we can add much more to this. Closing for now.

    flokli at 2024-11-01T23·56+00

  3. flokli closed this issue at 2024-11-01T23·56+00