diff --git a/src/plugins/value/api/values_request.ml b/src/plugins/value/api/values_request.ml index 0c708c5b34cf2cfd2ec36a8347569b834d3753a7..68e837e3ebfe6432cc0cc847bc33e33b1d7c31cf 100644 --- a/src/plugins/value/api/values_request.ml +++ b/src/plugins/value/api/values_request.ml @@ -26,12 +26,7 @@ open Cil_types module Md = Markdown let package = - Package.package - ~plugin:"eva" - ~name:"eva" - ~title:"Eva Values" - ~readme:"eva.md" - () + Package.package ~plugin:"eva" ~title:"Eva Values" ~readme:"eva.md" () type value = { value: string; @@ -126,7 +121,7 @@ module CallStack = struct (val (Record.publish ~package - ~name:"evaCallstack" + ~name:"callstack" ~descr:(Md.plain "CallStack") record) : Record.S with type r = record) @@ -204,7 +199,7 @@ let array = in States.register_array ~package - ~name:"evaValues" + ~name:"values" ~descr:(Md.plain "Abstract values inferred by the Eva analysis") ~key:(fun (cs, _) -> CallStack.key cs) ~iter @@ -350,7 +345,7 @@ let () = Server.Request.register ~package ~kind:`GET - ~name:"getEvaValues" + ~name:"getValues" ~descr:(Md.plain "Get the abstract values computed for an expression or lvalue") ~input:(module Kernel_ast.Marker) ~output:(module Junit)