Improved help text of the option --data-flow-insensitive-instrumentation.

Author: marek-trtik

security-scanner/run.py

@@ -61,9 +61,9 @@ def __parse_cmd_line():
                         help="If specified, then the tool 'security-analyser' will use the data-flow insensitive "
                              "instrumentation of the checked properties into the output GOTO programs. In that case"
                              "the propagation of taint information will only be control-flow sensitive. The advantage "
-                             "of this instrumentation is that it allows more effective program slicing and so smaller "
-                             "programs for CBMC to analyse, i.e. considerably faster analysis. The disadvantage is "
-                             "that some of the generated error traces might be false positives.")
+                             "of this data-flow insensitive instrumentation is that it allows more aggressive program "
+                             "slicing and so smaller programs for CBMC to analyse, i.e. considerably faster analysis. "
+                             "The disadvantage is that some of the generated error traces might be false positives.")
     return parser.parse_args()