[Question][Hw5] About exampleX.expected file

[Quasar0311]

I checkout the skeleton code before fixing test/dune file, and I saw the announcement that there is a change in test/dune file. However, there is such line (diff example4.expected example4.output), which needs example4.expected file. However, my repo doesn't have example 4 & 5's expected files. Should I have to re-checkout the skeleton code? Or where can I get those files?

[RiceBiscuits]

You can find content of the files below.

#130 (comment)

[Quasar0311]

Thanks!