Skip to content
Snippets Groups Projects
Commit f7a069f4 authored by Valentin Perrelle's avatar Valentin Perrelle Committed by David Bühler
Browse files

[Eva] update vtests

parent 86bc236d
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
tests/value/oracle_apron/multidim.res.oracle
+ 1
− 1
View file @ f7a069f4
4d3 2d1
< [eva:experimental] Warning: The multidim domain is experimental. < [eva:experimental] Warning: The multidim domain is experimental.
tests/value/oracle_equality/multidim.res.oracle
+ 11
− 11
View file @ f7a069f4
103a104 101a102
> [kernel] multidim.c:65: more than 1(20) elements to enumerate. Approximating.
105a107
> [kernel] multidim.c:66: more than 1(20) elements to enumerate. Approximating. > [kernel] multidim.c:66: more than 1(20) elements to enumerate. Approximating.
107a110 103a105
> [kernel] multidim.c:65: more than 1(28) elements to enumerate. Approximating. > [kernel] multidim.c:67: more than 1(20) elements to enumerate. Approximating.
109a113 105a108
> [kernel] multidim.c:66: more than 1(28) elements to enumerate. Approximating. > [kernel] multidim.c:66: more than 1(28) elements to enumerate. Approximating.
136,137d139 107a111
< [kernel] multidim.c:65: more than 1(28) elements to enumerate. Approximating. > [kernel] multidim.c:67: more than 1(28) elements to enumerate. Approximating.
134,135d137
< [kernel] multidim.c:66: more than 1(28) elements to enumerate. Approximating. < [kernel] multidim.c:66: more than 1(28) elements to enumerate. Approximating.
182a185 < [kernel] multidim.c:67: more than 1(28) elements to enumerate. Approximating.
180a183
> [kernel] multidim.c:136: more than 1(1000) elements to enumerate. Approximating. > [kernel] multidim.c:136: more than 1(1000) elements to enumerate. Approximating.
184a188 182a186
> [kernel] multidim.c:137: more than 1(1000) elements to enumerate. Approximating. > [kernel] multidim.c:137: more than 1(1000) elements to enumerate. Approximating.
205,206d208 203,204d206
< [kernel] multidim.c:136: more than 1(1000) elements to enumerate. Approximating. < [kernel] multidim.c:136: more than 1(1000) elements to enumerate. Approximating.
< [kernel] multidim.c:137: more than 1(1000) elements to enumerate. Approximating. < [kernel] multidim.c:137: more than 1(1000) elements to enumerate. Approximating.
tests/value/oracle_octagon/multidim.res.oracle
+ 11
− 11
View file @ f7a069f4
103a104 101a102
> [kernel] multidim.c:65: more than 1(20) elements to enumerate. Approximating.
105a107
> [kernel] multidim.c:66: more than 1(20) elements to enumerate. Approximating. > [kernel] multidim.c:66: more than 1(20) elements to enumerate. Approximating.
107a110 103a105
> [kernel] multidim.c:65: more than 1(28) elements to enumerate. Approximating. > [kernel] multidim.c:67: more than 1(20) elements to enumerate. Approximating.
109a113 105a108
> [kernel] multidim.c:66: more than 1(28) elements to enumerate. Approximating. > [kernel] multidim.c:66: more than 1(28) elements to enumerate. Approximating.
136,137d139 107a111
< [kernel] multidim.c:65: more than 1(28) elements to enumerate. Approximating. > [kernel] multidim.c:67: more than 1(28) elements to enumerate. Approximating.
134,135d137
< [kernel] multidim.c:66: more than 1(28) elements to enumerate. Approximating. < [kernel] multidim.c:66: more than 1(28) elements to enumerate. Approximating.
182a185 < [kernel] multidim.c:67: more than 1(28) elements to enumerate. Approximating.
180a183
> [kernel] multidim.c:136: more than 1(1000) elements to enumerate. Approximating. > [kernel] multidim.c:136: more than 1(1000) elements to enumerate. Approximating.
184a188 182a186
> [kernel] multidim.c:137: more than 1(1000) elements to enumerate. Approximating. > [kernel] multidim.c:137: more than 1(1000) elements to enumerate. Approximating.
205,206d208 203,204d206
< [kernel] multidim.c:136: more than 1(1000) elements to enumerate. Approximating. < [kernel] multidim.c:136: more than 1(1000) elements to enumerate. Approximating.
< [kernel] multidim.c:137: more than 1(1000) elements to enumerate. Approximating. < [kernel] multidim.c:137: more than 1(1000) elements to enumerate. Approximating.
tests/value/oracle_symblocs/multidim.res.oracle
+ 11
− 11
View file @ f7a069f4
103a104 101a102
> [kernel] multidim.c:65: more than 1(20) elements to enumerate. Approximating.
105a107
> [kernel] multidim.c:66: more than 1(20) elements to enumerate. Approximating. > [kernel] multidim.c:66: more than 1(20) elements to enumerate. Approximating.
107a110 103a105
> [kernel] multidim.c:65: more than 1(28) elements to enumerate. Approximating. > [kernel] multidim.c:67: more than 1(20) elements to enumerate. Approximating.
109a113 105a108
> [kernel] multidim.c:66: more than 1(28) elements to enumerate. Approximating. > [kernel] multidim.c:66: more than 1(28) elements to enumerate. Approximating.
136,137d139 107a111
< [kernel] multidim.c:65: more than 1(28) elements to enumerate. Approximating. > [kernel] multidim.c:67: more than 1(28) elements to enumerate. Approximating.
134,135d137
< [kernel] multidim.c:66: more than 1(28) elements to enumerate. Approximating. < [kernel] multidim.c:66: more than 1(28) elements to enumerate. Approximating.
182a185 < [kernel] multidim.c:67: more than 1(28) elements to enumerate. Approximating.
180a183
> [kernel] multidim.c:136: more than 1(1000) elements to enumerate. Approximating. > [kernel] multidim.c:136: more than 1(1000) elements to enumerate. Approximating.
184a188 182a186
> [kernel] multidim.c:137: more than 1(1000) elements to enumerate. Approximating. > [kernel] multidim.c:137: more than 1(1000) elements to enumerate. Approximating.
205,206d208 203,204d206
< [kernel] multidim.c:136: more than 1(1000) elements to enumerate. Approximating. < [kernel] multidim.c:136: more than 1(1000) elements to enumerate. Approximating.
< [kernel] multidim.c:137: more than 1(1000) elements to enumerate. Approximating. < [kernel] multidim.c:137: more than 1(1000) elements to enumerate. Approximating.
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