[Dive] More input checks and use of Yojson
Showing
- src/plugins/dive/build.ml 12 additions, 7 deletionssrc/plugins/dive/build.ml
- src/plugins/dive/build.mli 6 additions, 3 deletionssrc/plugins/dive/build.mli
- src/plugins/dive/imprecision_graph.ml 38 additions, 38 deletionssrc/plugins/dive/imprecision_graph.ml
- src/plugins/dive/server_interface.ml 66 additions, 16 deletionssrc/plugins/dive/server_interface.ml
Loading
Please register or sign in to comment