Commit 946f7e80 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

* src/bin/randltl.cc: Fix typos in examples.

parent ef5b0417
...@@ -55,12 +55,12 @@ and c, with the default tree-size, and all available operators.\n\ ...@@ -55,12 +55,12 @@ and c, with the default tree-size, and all available operators.\n\
\n\ \n\
If you do not mind about the name of the atomic propositions, just give\n\ If you do not mind about the name of the atomic propositions, just give\n\
a number instead:\n\ a number instead:\n\
% ./randltl -n10 3\n\ % randltl -n10 3\n\
\n\ \n\
You can disable or favor certain operators by changing their priority.\n\ You can disable or favor certain operators by changing their priority.\n\
The following disables xor, implies, and equiv, and multiply the probability\n\ The following disables xor, implies, and equiv, and multiply the probability\n\
of X to occur by 10.\n\ of X to occur by 10.\n\
% ./randltl --ltl-priorities='xor=0, implies=0, equiv=0, X=10' -n10 a b c\n\ % randltl --ltl-priorities='xor=0, implies=0, equiv=0, X=10' -n10 a b c\n\
"; ";
#define OPT_DUMP_PRIORITIES 1 #define OPT_DUMP_PRIORITIES 1
......
Supports Markdown
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