Skip to content
Snippets Groups Projects
Commit 9824cda3 authored by David Bühler's avatar David Bühler
Browse files

[Eva] Renames the plugin into Eva.

parent 41195da3
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/value/value_parameters.ml
+ 1
− 1
View file @ 9824cda3
...@@ -58,7 +58,7 @@ let () = List.iter add_correctness_dep kernel_parameters_correctness ...@@ -58,7 +58,7 @@ let () = List.iter add_correctness_dep kernel_parameters_correctness
include Plugin.Register include Plugin.Register
(struct (struct
let name = "value analysis" let name = "Eva"
let shortname = "eva" let shortname = "eva"
let help = let help =
"automatically computes variation domains for the variables of the program" "automatically computes variation domains for the variables of the program"
......
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