From 5062d1c2fab9ec40aa124f5c577c3535c8f122f3 Mon Sep 17 00:00:00 2001
From: Etienne Renault <renault@lrde.epita.fr>
Date: Wed, 4 Jul 2018 11:19:23 +0200
Subject: [PATCH] modelcheck: conversions now report about the options

* tests/ltsmin/modelcheck.cc: here.
---
 tests/ltsmin/modelcheck.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tests/ltsmin/modelcheck.cc b/tests/ltsmin/modelcheck.cc
index 55b0d7228..a47e8638f 100644
--- a/tests/ltsmin/modelcheck.cc
+++ b/tests/ltsmin/modelcheck.cc
@@ -123,7 +123,7 @@ parse_opt_finput(int key, char* arg, struct argp_state*)
       mc_options.model = arg;
       break;
     case 'p':
-      mc_options.nb_threads = to_unsigned(arg);
+      mc_options.nb_threads = to_unsigned(arg, "-p/--parallel");
       break;
     case 's':
       mc_options.dead_ap = arg;
@@ -132,7 +132,7 @@ parse_opt_finput(int key, char* arg, struct argp_state*)
       mc_options.use_timer = true;
       break;
     case 'z':
-      mc_options.compress = to_unsigned(arg);
+      mc_options.compress = to_unsigned(arg, "-z/--compress");
       break;
     default:
       return ARGP_ERR_UNKNOWN;