/*
 * WriteChecker_test.cpp
 *
 *  Created on: Mar 13, 2014
 *      Author: jonny
 */

#include <core/scheduling/checker/WriteChecker.h>

namespace core {

} /* namespace controller */