//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.