From 42bac743eee004ccecf7f8ec5c87639248924857 Mon Sep 17 00:00:00 2001
From: Ludovic Apvrille <ludovic.apvrille@telecom-paristech.fr>
Date: Wed, 16 Apr 2014 13:49:42 +0000
Subject: [PATCH] Update on simulaor: bug when starting simulator in
command-line mode
---
simulators/c++2/src_simulator/sim/Simulator.cpp | 1 +
1 file changed, 1 insertion(+)
diff --git a/simulators/c++2/src_simulator/sim/Simulator.cpp b/simulators/c++2/src_simulator/sim/Simulator.cpp
index 69b66078e8..f833796e54 100644
--- a/simulators/c++2/src_simulator/sim/Simulator.cpp
+++ b/simulators/c++2/src_simulator/sim/Simulator.cpp
@@ -501,6 +501,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"
+ "-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"
"***************************************************************************\n\n";
--
GitLab