Revisiting thinking of using #stacscheck [1] for #goldenfile testing of projects.

The language of assessment (#dafny) doesn't seem to do goldenfile testing 'out-of-the-box', and internal unit-testing is not what I 'want'.

Sadly, I wasn't aware of the `lit` program [2] which _was_ used by dafny, and so not available on lab machines.

Tempting to revisit and extend a haskell based setup derived from Idris(1) test suite I used when at Glasgow, or co-opt idris2's test suite for it all...

Teaching is fun...

[1] https://github.com/ChrisJefferson/stacscheck
[2] https://llvm.org/docs/CommandGuide/lit.html