From 60dbf5608e2c519bb624fc533cd6dd9090203959 Mon Sep 17 00:00:00 2001
From: gereon <gereon.kremer@rwth-aachen.de>
Date: Sun, 2 Dec 2012 22:15:20 +0100
Subject: [PATCH] adding test-bench for prctl parser.

---
 src/mrmc.cpp             | 5 +++++
 src/utility/settings.cpp | 1 +
 2 files changed, 6 insertions(+)

diff --git a/src/mrmc.cpp b/src/mrmc.cpp
index db2275df6..bedfa658b 100644
--- a/src/mrmc.cpp
+++ b/src/mrmc.cpp
@@ -22,6 +22,7 @@
 #include "src/models/AtomicPropositionsLabeling.h"
 #include "src/parser/readLabFile.h"
 #include "src/parser/readTraFile.h"
+#include "src/parser/readPrctlFile.h"
 #include "src/solver/GraphAnalyzer.h"
 #include "src/utility/settings.h"
 #include "Eigen/Sparse"
@@ -84,6 +85,10 @@ int main(const int argc, const char* argv[]) {
 		std::cout << mrmc::settings::helpConfigfile << std::endl;
 		return 0;
 	}
+	if (s->isSet("test-prctl")) {
+		mrmc::parser::PRCTLParser parser(s->getString("test-prctl").c_str());
+		return 0;
+	}
 	
 	if (s->isSet("verbose"))
 	{
diff --git a/src/utility/settings.cpp b/src/utility/settings.cpp
index b090a6e11..037243de4 100644
--- a/src/utility/settings.cpp
+++ b/src/utility/settings.cpp
@@ -114,6 +114,7 @@ Settings* Settings::instance(const int argc, const char* argv[], const char* fil
 			("verbose,v", "be verbose")
 			("help-config", "produce help message about config file")
 			("configfile,c", bpo::value<std::string>(), "name of config file")
+			("test-prctl", bpo::value<std::string>(), "name of prctl file")
 		;
 		Settings::generic.add_options()
 			("trafile", bpo::value<std::string>()->required(), "name of the .tra file")