I really like this style of testing -- code that can be tested this way is also the most fun kind of code to work with and the most likely to behave predictably.

I love determinism and plain old data.

Could look at high-level constraint modelling languages:

https://www.minizinc.org/

It often bypasses the need to get bogged down in probabilistic markdown syntax =3

https://www.youtube.com/watch?v=X6WHBO_Qc-Q