[Eva] New message key "recursion" for the interpretation of recursive calls.
Showing
- src/plugins/value/engine/recursion.ml 2 additions, 1 deletionsrc/plugins/value/engine/recursion.ml
- src/plugins/value/value_parameters.ml 3 additions, 1 deletionsrc/plugins/value/value_parameters.ml
- src/plugins/value/value_parameters.mli 3 additions, 0 deletionssrc/plugins/value/value_parameters.mli
- src/plugins/variadic/tests/defined/oracle/recursive.res.oracle 2 additions, 1 deletion...lugins/variadic/tests/defined/oracle/recursive.res.oracle
- tests/value/oracle/recursion.0.res.oracle 37 additions, 24 deletionstests/value/oracle/recursion.0.res.oracle
- tests/value/oracle/recursion.1.res.oracle 39 additions, 25 deletionstests/value/oracle/recursion.1.res.oracle
- tests/value/oracle/recursion.2.res.oracle 1 addition, 1 deletiontests/value/oracle/recursion.2.res.oracle
Loading
Please register or sign in to comment