Yeah. We weren¡¯t at all happy with that property but wanted to press on to express the symmetry which is a much better fit for property based testing.
In retrospect it would be better to start with the symmetry properties and maybe properties about the overall shape (eg the lines form a square of characters, the size of the square, etc) and use them to support correctly writing more detailed properties (the contents of each line, say).
It¡¯s an interesting kata because parts of the problem ?are a really good fit for property based testing and other parts are not.
¡ª±·²¹³Ù
On Wed, 1 Jan 2020 at 15:45, Avi Kessner <
akessner@...> wrote:
Am I missing something, or did the indentation test not actually test indentation?
Hello All,
In case anyone is interested, here is a video in which Nat Pryce and I are doing a diamond kata at KotlinConf
Regards,
Dmitry
