From 8c1dd80e2301ad335e2869a6d16a5af5a35b8049 Mon Sep 17 00:00:00 2001
From: apvrille <ludovic.apvrille@eurecom.fr>
Date: Fri, 3 Feb 2017 16:28:33 +0100
Subject: [PATCH] handling rg in simulator
---
simulators/c++2/src_simulator/sim/Simulator.cpp | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/simulators/c++2/src_simulator/sim/Simulator.cpp b/simulators/c++2/src_simulator/sim/Simulator.cpp
index 575b0efc68..3f51047813 100644
--- a/simulators/c++2/src_simulator/sim/Simulator.cpp
+++ b/simulators/c++2/src_simulator/sim/Simulator.cpp
@@ -574,6 +574,7 @@ void Simulator::printHelp(){
"-otxt ofile simulate and write traces to ofile in text format\n"
"-ovcd ofile simulate and write traces to ofile in vcd format\n"
"-ograph ofile simulate and write traces to ofile in aut format\n"
+ "-gname ofile name of the file WITHOUT extension storing the reachability graph\n"
"-explo generate the reachability graph \n"
"-cmd \'c1 p1 p2;c2\' execute commands c1 with parameters p1 and p2 and c2\n"
"-oxml ofile xml reply is written to ofile, in case the -cmd option is used\n"
@@ -602,7 +603,7 @@ ServerIF* Simulator::run(int iLen, char ** iArgs){
std::string aArgString;
std::string graphName = "";
std::cout << "Starting up...\n";
- graphName = getArgs("-graphName", "", iLen, iArgs);
+ graphName = getArgs("-gname", "", iLen, iArgs);
if (graphName.empty()) {
graphName = "graph";
}
--
GitLab