README.md

# `mjtest` tests

This repository is an initial stub of tests to be used as the `tests/` folder of `mjtest`.

The idea is that students of our compiler lab can fork this and add their own tests, possibly collaborating in some form.

We don't accept any pull requests that add non-trivial tests, so that later participants can't peek into the history of this repository to get an extensive testsuite for free.