From d5eb8ccfabadcfe10a873f9bc617399c5fcc6599 Mon Sep 17 00:00:00 2001
From: gereon <gereon.kremer@rwth-aachen.de>
Date: Sat, 12 Jan 2013 22:26:41 +0100
Subject: [PATCH] renamed mrmc-tests to storm-tests

---
 test/{mrmc-tests.cpp => storm-tests.cpp} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename test/{mrmc-tests.cpp => storm-tests.cpp} (100%)

diff --git a/test/mrmc-tests.cpp b/test/storm-tests.cpp
similarity index 100%
rename from test/mrmc-tests.cpp
rename to test/storm-tests.cpp