[ivette/wp] fix goal status details
Showing
- ivette/src/frama-c/plugins/wp/goals.tsx 15 additions, 12 deletionsivette/src/frama-c/plugins/wp/goals.tsx
- ivette/src/frama-c/plugins/wp/index.tsx 9 additions, 7 deletionsivette/src/frama-c/plugins/wp/index.tsx
- ivette/src/frama-c/plugins/wp/tip.tsx 31 additions, 3 deletionsivette/src/frama-c/plugins/wp/tip.tsx
- src/plugins/wp/wpApi.ml 11 additions, 10 deletionssrc/plugins/wp/wpApi.ml
Loading
Please register or sign in to comment