Commit b8ff7ee2 authored by Loïc Correnson's avatar Loïc Correnson
Browse files

Merge branch 'bugfix/michele/ivette-spurious-api-change' into 'master'

[ivette/api] Spurious API change (should be already commited in master).

See merge request frama-c/frama-c!2775
parents af84d095 7a57254d
......@@ -45,9 +45,9 @@ export const getCallers: Server.GetRequest<
[ Json.key<'#fct'>, Json.key<'#stmt'> ][]
>= getCallers_internal;
/** Dead code. */
/** Unreachable and non terminating statements. */
export interface deadCode {
/** List of unreachable statements of a function */
/** List of unreachable statements. */
unreachable: marker[];
/** List of reachable but non terminating statements. */
nonTerminating: marker[];
......@@ -78,7 +78,7 @@ const getDeadCode_internal: Server.GetRequest<Json.key<'#fct'>,deadCode> = {
input: Json.jKey<'#fct'>('#fct'),
output: jDeadCode,
};
/** Get the list of unreachable statements and non terminating statements in a function */
/** Get the lists of unreachable and of non terminating statements in a function */
export const getDeadCode: Server.GetRequest<Json.key<'#fct'>,deadCode>= getDeadCode_internal;
/* ------------------------------------- */
Markdown is supported
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