Install Build Test Run

Build

If you want to help maintain this project, follow the instructions below:

CD to one of the tool folders (checker or visualizer)
Use Maven on command line to build the project (e.g., "mvn install"). (See https://spring.io/guides/gs/maven/)
Otherwise, you may open the project as a Maven project using eclipse (with maven plugin that is pre-installed in newer eclipse versions) and eclipse will generate sources for you. Afterwards you can use the "Run as" in the context menu of a project to state "mvn package" to retrieve a new Jar file. The latest Jar file is always available on Github.

There are two things, where test capability is provided.

You can test the tools. Unit tests are provided and can be called using "mvn test" from console or using the context menu under "Run As" for the project again in Eclipse. You may also run each unit test separately.
You can test the library of models using the checker. Assuming, you left the system in the same state as when you checked it out. Then, cd to models and type "java -jar ../checker/checker.jar". It will load and test all .megal files that are in some subfolder of where your cmd is located. See How-To-Use-The-Checker for more details on the Checker tool.