Skip to content
Snippets Groups Projects
Commit 78df9993 authored by Virgile Robles's avatar Virgile Robles
Browse files

[Callgraph] Remove "unsound" mention in help message

parent bc285cd6
No related branches found
No related tags found
No related merge requests found
...@@ -76,8 +76,7 @@ module Function_pointers = ...@@ -76,8 +76,7 @@ module Function_pointers =
let option_name = "-cg-function-pointers" let option_name = "-cg-function-pointers"
let help = "when Eva has not been computed, safely over-approximate \ let help = "when Eva has not been computed, safely over-approximate \
callees in presence of function pointers; \ callees in presence of function pointers; \
always done when Eva has been previously computed. \ always done when Eva has been previously computed."
WARNING: this option is unsound"
end) end)
module Uncalled = module Uncalled =
......
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