/*
 * tests-main.cpp
 *
 *  Created on: May 6, 2018
 *      Author: Andreas Schneider, Johannes Wendel, Jonas Zeunert
 */

#define CATCH_CONFIG_MAIN
#include "catch.hpp"