"src/plugins/e-acsl/tests/runtime/oracle/stdout.res.oracle" did not exist on "8aa4fa000c044924a703a81cbd5668732b28df39"
[Eva] Adds new test cases for the automatic loop unrolling.
Showing
- tests/value/auto_loop_unroll.c 19 additions, 0 deletionstests/value/auto_loop_unroll.c
- tests/value/oracle/auto_loop_unroll.0.res.oracle 107 additions, 98 deletionstests/value/oracle/auto_loop_unroll.0.res.oracle
- tests/value/oracle/auto_loop_unroll.1.res.oracle 90 additions, 81 deletionstests/value/oracle/auto_loop_unroll.1.res.oracle
Loading
Please register or sign in to comment