[Eva] New parameter -eva-unroll-recursive-calls.
Deprecates -eva-ignore-recursive-call.
Showing
- src/plugins/value/engine/recursion.ml 4 additions, 19 deletionssrc/plugins/value/engine/recursion.ml
- src/plugins/value/value_parameters.ml 22 additions, 4 deletionssrc/plugins/value/value_parameters.ml
- src/plugins/value/value_parameters.mli 2 additions, 2 deletionssrc/plugins/value/value_parameters.mli
Loading
Please register or sign in to comment