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

[ivette] Updates API documentation.

parent 87a47e2f
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
ivette/src/frama-c/api/generated/plugins/eva/values/index.ts
+ 1
− 1
View file @ c25ae7bb
...@@ -193,7 +193,7 @@ const getPointedLvalues_internal: Server.GetRequest< ...@@ -193,7 +193,7 @@ const getPointedLvalues_internal: Server.GetRequest<
}), }),
signals: [], signals: [],
}; };
/** */ /** Pointed lvalues for the given marker */
export const getPointedLvalues: Server.GetRequest< export const getPointedLvalues: Server.GetRequest<
{ callstack?: callstack, pointer: marker }, { callstack?: callstack, pointer: marker },
{ lvalues?: [ string, marker ][] } { lvalues?: [ string, marker ][] }
......
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