[Eva] Automatically emits a warning when an experimental domain is enabled.
New field [experimental] to register a domain in abstractions.ml. New warning key experimental, that replaces the debug key experimental-ok.
Showing
- src/plugins/value/domains/apron/apron_domain.ml 3 additions, 4 deletionssrc/plugins/value/domains/apron/apron_domain.ml
- src/plugins/value/domains/numerors/numerors_domain.ml 2 additions, 1 deletionsrc/plugins/value/domains/numerors/numerors_domain.ml
- src/plugins/value/engine/abstractions.ml 25 additions, 9 deletionssrc/plugins/value/engine/abstractions.ml
- src/plugins/value/engine/abstractions.mli 7 additions, 5 deletionssrc/plugins/value/engine/abstractions.mli
- src/plugins/value/value_parameters.ml 1 addition, 2 deletionssrc/plugins/value/value_parameters.ml
- src/plugins/value/value_parameters.mli 3 additions, 0 deletionssrc/plugins/value/value_parameters.mli
Loading
Please register or sign in to comment