[Eva] Do not run the recursion test with the apron ptests config.
As the Apron binding does not support recursion.
Showing
- tests/value/oracle/recursion.0.res.oracle 102 additions, 102 deletionstests/value/oracle/recursion.0.res.oracle
- tests/value/oracle/recursion.1.res.oracle 74 additions, 74 deletionstests/value/oracle/recursion.1.res.oracle
- tests/value/oracle/recursion.2.res.oracle 4 additions, 4 deletionstests/value/oracle/recursion.2.res.oracle
- tests/value/oracle_apron/recursion.0.res.oracle 0 additions, 628 deletionstests/value/oracle_apron/recursion.0.res.oracle
- tests/value/oracle_apron/recursion.1.res.oracle 0 additions, 510 deletionstests/value/oracle_apron/recursion.1.res.oracle
- tests/value/oracle_apron/recursion.2.res.oracle 0 additions, 10 deletionstests/value/oracle_apron/recursion.2.res.oracle
- tests/value/recursion.c 7 additions, 4 deletionstests/value/recursion.c
Loading
Please register or sign in to comment