[ivette] Values table: uses statement description instead of reading source file.
Only shows the statement line in the table, do not print the filename, which may be too long for the column. In [StmtProps] interface, removes [rank], types [stmt] as an Ast marker, and adds [short] boolean to not print the filename.
Showing
- ivette/src/frama-c/plugins/eva/probeinfos.tsx 1 addition, 2 deletionsivette/src/frama-c/plugins/eva/probeinfos.tsx
- ivette/src/frama-c/plugins/eva/probes.ts 1 addition, 1 deletionivette/src/frama-c/plugins/eva/probes.ts
- ivette/src/frama-c/plugins/eva/stacks.ts 0 additions, 1 deletionivette/src/frama-c/plugins/eva/stacks.ts
- ivette/src/frama-c/plugins/eva/valueinfos.tsx 10 additions, 25 deletionsivette/src/frama-c/plugins/eva/valueinfos.tsx
- ivette/src/frama-c/plugins/eva/valuetable.tsx 2 additions, 2 deletionsivette/src/frama-c/plugins/eva/valuetable.tsx
Loading
Please register or sign in to comment