[server] In getMainFunction request, catches exception No_such_entry_point.
In ivette, ensures that the reset of the selected locations (and the call to the 'getMainFunction' request) is only done after the AST has been computed.
Showing
- ivette/src/frama-c/api/generated/kernel/ast/index.ts 10 additions, 2 deletionsivette/src/frama-c/api/generated/kernel/ast/index.ts
- ivette/src/frama-c/menu.ts 3 additions, 2 deletionsivette/src/frama-c/menu.ts
- ivette/src/frama-c/states.ts 3 additions, 6 deletionsivette/src/frama-c/states.ts
- src/plugins/server/kernel_ast.ml 5 additions, 2 deletionssrc/plugins/server/kernel_ast.ml
Loading
Please register or sign in to comment