[rotational-cipher] Dogfooding 🐕

[habere-et-dispertire]

One of the tests for Reverse String uses dogfooding :

If property based testing tools are available, a good property to test is reversing a string twice: reverse(reverse(string)) == string

This seems like a useful testing concept to extend to other exercises and in particular Rotational Cipher as we’d all like to see ROT13(ROT13) give us the original back.

What say you ?

[siebenschlaefer]

In practice I use that a lot, especially with randomized tests.

But can you help me understand what value it adds here on Exercism?
Can you show an example where that would catch issues that our current tests do not, or where it makes the tests “better” in any way?
At the moment I do not see the use case.