# `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.

See the README of the [mjtest](https://git.scc.kit.edu/IPDSnelting/mjtest) for information on the test case format.