[Eva] Fixes the test on automatic loop unrolling.
Better test of nested loops modifying the same loop counter.
Showing
- tests/value/auto_loop_unroll.c 13 additions, 1 deletiontests/value/auto_loop_unroll.c
- tests/value/oracle/auto_loop_unroll.0.res.oracle 118 additions, 116 deletionstests/value/oracle/auto_loop_unroll.0.res.oracle
- tests/value/oracle/auto_loop_unroll.1.res.oracle 92 additions, 90 deletionstests/value/oracle/auto_loop_unroll.1.res.oracle
- tests/value/oracle_apron/auto_loop_unroll.0.res.oracle 134 additions, 126 deletionstests/value/oracle_apron/auto_loop_unroll.0.res.oracle
- tests/value/oracle_apron/auto_loop_unroll.1.res.oracle 78 additions, 70 deletionstests/value/oracle_apron/auto_loop_unroll.1.res.oracle
- tests/value/oracle_gauges/auto_loop_unroll.0.res.oracle 88 additions, 88 deletionstests/value/oracle_gauges/auto_loop_unroll.0.res.oracle
- tests/value/oracle_gauges/auto_loop_unroll.1.res.oracle 9 additions, 9 deletionstests/value/oracle_gauges/auto_loop_unroll.1.res.oracle
- tests/value/oracle_octagons/auto_loop_unroll.0.res.oracle 12 additions, 12 deletionstests/value/oracle_octagons/auto_loop_unroll.0.res.oracle
- tests/value/oracle_octagons/auto_loop_unroll.1.res.oracle 1 addition, 1 deletiontests/value/oracle_octagons/auto_loop_unroll.1.res.oracle
Loading
Please register or sign in to comment