Add a way to check .meta files against existing shells

[Niols]

[Niols]

So this is currently possible. But I'm not sure how it should be made available. An entry point in the Makefile? Or just in the documentation of tests/runner/run_tests?

[benozol]

We are currently accumulating many different types of tests: a) concrete Colis interpreter, b) other shells (this issue), c) replay proofs, d) test parsing/unparsing Colis, and soon e) symbolic Colis interpreter. What about combining all but c) in one make target because they are more-or-less instantaneous, and keeping a separate target for c) because this make take some time? The CI should of course check all.

[Niols]

This is currently the case, isn't it? make test runs all the tests that have been declared to Dune, that is everything except the proofs replaying.

[benozol]

Ah that’s fine then.