[wp] use kernel default spec populate
- deprecate parameters related to populate - do not populate when finding missing terminates
Showing
- src/plugins/wp/RefUsage.ml 0 additions, 1 deletionsrc/plugins/wp/RefUsage.ml
- src/plugins/wp/StmtSemantics.ml 0 additions, 2 deletionssrc/plugins/wp/StmtSemantics.ml
- src/plugins/wp/cfgAnnot.ml 6 additions, 62 deletionssrc/plugins/wp/cfgAnnot.ml
- src/plugins/wp/cfgCalculus.ml 0 additions, 2 deletionssrc/plugins/wp/cfgCalculus.ml
- src/plugins/wp/cfgGenerator.ml 0 additions, 3 deletionssrc/plugins/wp/cfgGenerator.ml
- src/plugins/wp/cfgInfos.ml 1 addition, 7 deletionssrc/plugins/wp/cfgInfos.ml
- src/plugins/wp/register.ml 20 additions, 4 deletionssrc/plugins/wp/register.ml
- src/plugins/wp/wpTarget.ml 17 additions, 8 deletionssrc/plugins/wp/wpTarget.ml
- src/plugins/wp/wp_parameters.ml 10 additions, 3 deletionssrc/plugins/wp/wp_parameters.ml
Loading
Please register or sign in to comment