# `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 add their own tests.
