Skip to content
Snippets Groups Projects
Commit ff9133b8 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[README] fix typo in name of warning category statuses

parent 4a5d8131
No related branches found
No related tags found
No related merge requests found
...@@ -82,8 +82,8 @@ function defined in `main.c`. ...@@ -82,8 +82,8 @@ function defined in `main.c`.
By default, if a function name does not correspond to a function in the By default, if a function name does not correspond to a function in the
program under analysis, Frama-C will be aborted. This can be changed by program under analysis, Frama-C will be aborted. This can be changed by
setting the status of warning category `unknown-func` to a suitable value, setting the status of warning category `unknown-func` to a suitable value,
e.g. `-meta-warn-key unknown-func=enable`, to keep a warning when such a e.g. `-meta-warn-key unknown-func=active`, to keep a warning when such a
case occurs, or `-meta-warn-key unknown-func=disable` to silently ignore this case occurs, or `-meta-warn-key unknown-func=inactive` to silently ignore this
fact. fact.
Note that if you disable the warning in order to use the same meta-properties on Note that if you disable the warning in order to use the same meta-properties on
......
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