Skip to content
Snippets Groups Projects
Commit 9dc0f3c9 authored by Kostyantyn Vorobyov's avatar Kostyantyn Vorobyov
Browse files

Fix British spelling of `maximise` in the inline docs of the e-acsl

wrapper script
parent 41258934
No related branches found
No related tags found
No related merge requests found
......@@ -92,7 +92,7 @@ Options:
-p output the generated code with rich formatting to STDOUT
-o <file> output the generated code to <file> [a.out.frama.c]
-O <file> output the generated executables to <file> [a.out, a.out.e-acsl]
-M maximise memory-related instrumentation
-M maximize memory-related instrumentation
-g always use GMP integers instead of C integral types
-q suppress any output except for errors and warnings
-s <file> redirect all output to <file>
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment