Improve README and add .gitignore

2264c0ba · Johannes Bechberger · andreas.fried · d5164146 · 2264c0ba · 2264c0ba
Commit 2264c0ba authored Oct 19, 2018 by Johannes Bechberger Committed by andreas.fried Oct 19, 2018
--- a/.gitignore
+++ b/.gitignore
+.mjtest_correct*
+.java_output
+.preprocessed
--- a/README.md
+++ b/README.md
@@ -3,3 +3,5 @@
 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.
\ No newline at end of file