Commit dde07669 authored by David Bühler's avatar David Bühler Committed by Andre Maroneze
Browse files

[Eva] Updates test oracles for alternative domains.

parent 8e6f6df0
diff tests/builtins/oracle/Longinit_sequencer.res.oracle tests/builtins/oracle_apron/Longinit_sequencer.res.oracle
323c323
62,65c62,81
< [eva] tests/builtins/long_init.c:29: Reusing old results for call to subanalyze
< [eva] tests/builtins/long_init.c:29: Reusing old results for call to subanalyze
< [eva] tests/builtins/long_init.c:29: Reusing old results for call to subanalyze
< [eva] tests/builtins/long_init.c:29: Reusing old results for call to subanalyze
---
> [eva] computing for function subanalyze <- analyze <- init_inner <- init_outer <-
> main.
> Called from tests/builtins/long_init.c:29.
> [eva] Recording results for subanalyze
> [eva] Done for function subanalyze
> [eva] computing for function subanalyze <- analyze <- init_inner <- init_outer <-
> main.
> Called from tests/builtins/long_init.c:29.
> [eva] Recording results for subanalyze
> [eva] Done for function subanalyze
> [eva] computing for function subanalyze <- analyze <- init_inner <- init_outer <-
> main.
> Called from tests/builtins/long_init.c:29.
> [eva] Recording results for subanalyze
> [eva] Done for function subanalyze
> [eva] computing for function subanalyze <- analyze <- init_inner <- init_outer <-
> main.
> Called from tests/builtins/long_init.c:29.
> [eva] Recording results for subanalyze
> [eva] Done for function subanalyze
153,154c169,216
< [eva] tests/builtins/long_init.c:93: Reusing old results for call to analyze
< [eva] tests/builtins/long_init.c:94: Reusing old results for call to analyze
---
> [eva] computing for function analyze <- main.
> Called from tests/builtins/long_init.c:93.
> [eva] computing for function subanalyze <- analyze <- main.
> Called from tests/builtins/long_init.c:29.
> [eva] Recording results for subanalyze
> [eva] Done for function subanalyze
> [eva] computing for function subanalyze <- analyze <- main.
> Called from tests/builtins/long_init.c:29.
> [eva] Recording results for subanalyze
> [eva] Done for function subanalyze
> [eva] computing for function subanalyze <- analyze <- main.
> Called from tests/builtins/long_init.c:29.
> [eva] Recording results for subanalyze
> [eva] Done for function subanalyze
> [eva] computing for function subanalyze <- analyze <- main.
> Called from tests/builtins/long_init.c:29.
> [eva] Recording results for subanalyze
> [eva] Done for function subanalyze
> [eva] computing for function subanalyze <- analyze <- main.
> Called from tests/builtins/long_init.c:29.
> [eva] Recording results for subanalyze
> [eva] Done for function subanalyze
> [eva] Recording results for analyze
> [eva] Done for function analyze
> [eva] computing for function analyze <- main.
> Called from tests/builtins/long_init.c:94.
> [eva] computing for function subanalyze <- analyze <- main.
> Called from tests/builtins/long_init.c:29.
> [eva] Recording results for subanalyze
> [eva] Done for function subanalyze
> [eva] computing for function subanalyze <- analyze <- main.
> Called from tests/builtins/long_init.c:29.
> [eva] Recording results for subanalyze
> [eva] Done for function subanalyze
> [eva] computing for function subanalyze <- analyze <- main.
> Called from tests/builtins/long_init.c:29.
> [eva] Recording results for subanalyze
> [eva] Done for function subanalyze
> [eva] computing for function subanalyze <- analyze <- main.
> Called from tests/builtins/long_init.c:29.
> [eva] Recording results for subanalyze
> [eva] Done for function subanalyze
> [eva] computing for function subanalyze <- analyze <- main.
> Called from tests/builtins/long_init.c:29.
> [eva] Recording results for subanalyze
> [eva] Done for function subanalyze
> [eva] Recording results for analyze
> [eva] Done for function analyze
327c389
< tests/builtins/result/Longinit_sequencer.sav
---
> tests/builtins/result_apron/Longinit_sequencer.sav
562c562
421,424c483,498
< [eva] tests/builtins/long_init2.c:29: Reusing old results for call to subanalyze
< [eva] tests/builtins/long_init2.c:29: Reusing old results for call to subanalyze
< [eva] tests/builtins/long_init2.c:29: Reusing old results for call to subanalyze
< [eva] tests/builtins/long_init2.c:29: Reusing old results for call to subanalyze
---
> [eva] computing for function subanalyze <- analyze <- main.
> Called from tests/builtins/long_init2.c:29.
> [eva] Recording results for subanalyze
> [eva] Done for function subanalyze
> [eva] computing for function subanalyze <- analyze <- main.
> Called from tests/builtins/long_init2.c:29.
> [eva] Recording results for subanalyze
> [eva] Done for function subanalyze
> [eva] computing for function subanalyze <- analyze <- main.
> Called from tests/builtins/long_init2.c:29.
> [eva] Recording results for subanalyze
> [eva] Done for function subanalyze
> [eva] computing for function subanalyze <- analyze <- main.
> Called from tests/builtins/long_init2.c:29.
> [eva] Recording results for subanalyze
> [eva] Done for function subanalyze
568c642
< tests/builtins/result/Longinit_sequencer.sav
---
> tests/builtins/result_apron/Longinit_sequencer.sav
658,661c732,747
< [eva] tests/builtins/long_init3.c:29: Reusing old results for call to subanalyze
< [eva] tests/builtins/long_init3.c:29: Reusing old results for call to subanalyze
< [eva] tests/builtins/long_init3.c:29: Reusing old results for call to subanalyze
< [eva] tests/builtins/long_init3.c:29: Reusing old results for call to subanalyze
---
> [eva] computing for function subanalyze <- analyze <- main.
> Called from tests/builtins/long_init3.c:29.
> [eva] Recording results for subanalyze
> [eva] Done for function subanalyze
> [eva] computing for function subanalyze <- analyze <- main.
> Called from tests/builtins/long_init3.c:29.
> [eva] Recording results for subanalyze
> [eva] Done for function subanalyze
> [eva] computing for function subanalyze <- analyze <- main.
> Called from tests/builtins/long_init3.c:29.
> [eva] Recording results for subanalyze
> [eva] Done for function subanalyze
> [eva] computing for function subanalyze <- analyze <- main.
> Called from tests/builtins/long_init3.c:29.
> [eva] Recording results for subanalyze
> [eva] Done for function subanalyze
diff tests/builtins/oracle/allocated.0.res.oracle tests/builtins/oracle_apron/allocated.0.res.oracle
260a261,263
> [eva] tests/builtins/allocated.c:127: Call to builtin __fc_vla_alloc
......
diff tests/builtins/oracle/Longinit_sequencer.res.oracle tests/builtins/oracle_bitwise/Longinit_sequencer.res.oracle
323c323
153,154c153,188
< [eva] tests/builtins/long_init.c:93: Reusing old results for call to analyze
< [eva] tests/builtins/long_init.c:94: Reusing old results for call to analyze
---
> [eva] computing for function analyze <- main.
> Called from tests/builtins/long_init.c:93.
> [eva] computing for function subanalyze <- analyze <- main.
> Called from tests/builtins/long_init.c:29.
> [eva] Recording results for subanalyze
> [eva] Done for function subanalyze
> [eva] computing for function subanalyze <- analyze <- main.
> Called from tests/builtins/long_init.c:29.
> [eva] Recording results for subanalyze
> [eva] Done for function subanalyze
> [eva] computing for function subanalyze <- analyze <- main.
> Called from tests/builtins/long_init.c:29.
> [eva] Recording results for subanalyze
> [eva] Done for function subanalyze
> [eva] computing for function subanalyze <- analyze <- main.
> Called from tests/builtins/long_init.c:29.
> [eva] Recording results for subanalyze
> [eva] Done for function subanalyze
> [eva] computing for function subanalyze <- analyze <- main.
> Called from tests/builtins/long_init.c:29.
> [eva] Recording results for subanalyze
> [eva] Done for function subanalyze
> [eva] Recording results for analyze
> [eva] Done for function analyze
> [eva] computing for function analyze <- main.
> Called from tests/builtins/long_init.c:94.
> [eva] tests/builtins/long_init.c:29: Reusing old results for call to subanalyze
> [eva] tests/builtins/long_init.c:29: Reusing old results for call to subanalyze
> [eva] tests/builtins/long_init.c:29: Reusing old results for call to subanalyze
> [eva] tests/builtins/long_init.c:29: Reusing old results for call to subanalyze
> [eva] computing for function subanalyze <- analyze <- main.
> Called from tests/builtins/long_init.c:29.
> [eva] Recording results for subanalyze
> [eva] Done for function subanalyze
> [eva] Recording results for analyze
> [eva] Done for function analyze
327c361
< tests/builtins/result/Longinit_sequencer.sav
---
> tests/builtins/result_bitwise/Longinit_sequencer.sav
562c562
568c602
< tests/builtins/result/Longinit_sequencer.sav
---
> tests/builtins/result_bitwise/Longinit_sequencer.sav
diff tests/builtins/oracle/Longinit_sequencer.res.oracle tests/builtins/oracle_equalities/Longinit_sequencer.res.oracle
323c323
327c327
< tests/builtins/result/Longinit_sequencer.sav
---
> tests/builtins/result_equalities/Longinit_sequencer.sav
562c562
568c568
< tests/builtins/result/Longinit_sequencer.sav
---
> tests/builtins/result_equalities/Longinit_sequencer.sav
......
diff tests/builtins/oracle/Longinit_sequencer.res.oracle tests/builtins/oracle_gauges/Longinit_sequencer.res.oracle
323c323
327c327
< tests/builtins/result/Longinit_sequencer.sav
---
> tests/builtins/result_gauges/Longinit_sequencer.sav
562c562
568c568
< tests/builtins/result/Longinit_sequencer.sav
---
> tests/builtins/result_gauges/Longinit_sequencer.sav
......
diff tests/builtins/oracle/Longinit_sequencer.res.oracle tests/builtins/oracle_symblocs/Longinit_sequencer.res.oracle
323c323
327c327
< tests/builtins/result/Longinit_sequencer.sav
---
> tests/builtins/result_symblocs/Longinit_sequencer.sav
562c562
568c568
< tests/builtins/result/Longinit_sequencer.sav
---
> tests/builtins/result_symblocs/Longinit_sequencer.sav
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment