Commit 8d71fb95 authored by Gijs van Cuyck's avatar Gijs van Cuyck

updated help text

parent d896d091
......@@ -46,8 +46,8 @@ static const char USAGE[] =
-v Show version
-k <num> Number of extra states to check for (minus 1). currently not supported
-x <seed> 32 bits seeds for deterministic execution (0 is not valid). currently not supported
-f <filename> Input filename ('-' or don't specify for default example)
-o <filename> Output filename ('-' or don't specify for default output file)
-f <filename> Input filename ('-' or don't specify for default example). path should be relative to examples directory
-o <filename> Output filename ('-' or don't specify for default output file). path should be relative to outputs directory
)";
static const string output_directory = "../outputs/";
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment