Only in tests/float/oracle: absorb.res.oracle
Only in tests/float/oracle: absorb_sav.err
Only in tests/float/oracle: absorb_sav.res
Only in tests/float/oracle: absorb_sav2.err
Only in tests/float/oracle: absorb_sav2.res
Only in tests/float/oracle: fval_test.res.oracle
diff tests/float/oracle/nonlin.1.res.oracle tests/float/oracle_octagons/nonlin.1.res.oracle
279a280,281
> [eva:nonlin] tests/float/nonlin.c:113: non-linear 'f + f', lv 'f'
> [eva:nonlin] tests/float/nonlin.c:113: subdividing on f
283d284
< [eva:nonlin] tests/float/nonlin.c:113: subdividing on f
diff tests/float/oracle/nonlin.2.res.oracle tests/float/oracle_octagons/nonlin.2.res.oracle
259a260,261
> [eva:nonlin] tests/float/nonlin.c:113: non-linear 'f + f', lv 'f'
> [eva:nonlin] tests/float/nonlin.c:113: subdividing on f
263d264
< [eva:nonlin] tests/float/nonlin.c:113: subdividing on f
diff tests/float/oracle/nonlin.4.res.oracle tests/float/oracle_octagons/nonlin.4.res.oracle
279a280,281
> [eva:nonlin] tests/float/nonlin.c:113: non-linear 'f + f', lv 'f'
> [eva:nonlin] tests/float/nonlin.c:113: subdividing on f
283d284
< [eva:nonlin] tests/float/nonlin.c:113: subdividing on f
diff tests/float/oracle/nonlin.5.res.oracle tests/float/oracle_octagons/nonlin.5.res.oracle
259a260,261
> [eva:nonlin] tests/float/nonlin.c:113: non-linear 'f + f', lv 'f'
> [eva:nonlin] tests/float/nonlin.c:113: subdividing on f
263d264
< [eva:nonlin] tests/float/nonlin.c:113: subdividing on f
