Commit 233d5f2b authored by Thorsten Wißmann's avatar Thorsten Wißmann 🐧
Browse files

Mention the testsuite in the INSTALL file

parent 2483bba8
......@@ -47,6 +47,10 @@ doing time measurements.
Examples
--------
To see a longer list of example formulas, just run the testsuite:
./cool-testsuite.native
Coalition Logic
~~~~~~~~~~~~~~~
Some formulas are
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment