tests/value/oracle · 7b46f86075584d520c6fdfe2fac91dff5303c833 · pub / frama-c

An error occurred while fetching folder content.

Merge branch 'fix/eva/split-return' into 'master'

Andre Maroneze authored 6 years ago

[Eva] Fixes split-return to not remove states when the result evaluates to bottom.

See merge request frama-c/frama-c!2100

db9de905

History

db9de905 6 years ago

History

Name	Last commit	Last update
..
CruiseControl.res.oracle
FP5.res.oracle
abs.res.oracle
abs_addr.res.oracle
absolute_pointer.res.oracle
abstract_struct_1.res.oracle
access_path.res.oracle
add_approx.res.oracle
addition.res.oracle
addr.0.res.oracle
addr.1.res.oracle
addr2.res.oracle
addrofstring.res.oracle
affect_corrupt.0.res.oracle
affect_corrupt.1.res.oracle
ai_annot.res.oracle
alias.0.res.oracle
alias.1.res.oracle
alias.2.res.oracle
alias.3.res.oracle
alias.4.res.oracle
alias.5.res.oracle
alias.6.res.oracle
align.res.oracle
align_char_array.res.oracle
annot.res.oracle
annot_valid.res.oracle
anonymous_field.res.oracle
any_int.res.oracle
arch.res.oracle
arg_array.res.oracle
arith_pointer.res.oracle
array_access.res.oracle
array_array.0.res.oracle
array_array.1.res.oracle
array_array.2.res.oracle
array_bounds.0.res.oracle
array_bounds.1.res.oracle
array_degenerating_loop.res.oracle
array_initializer.res.oracle
array_loop.res.oracle
array_overlap.res.oracle
array_ptr.res.oracle
array_zero_length.0.res.oracle
array_zero_length.1.res.oracle
array_zero_length.2.res.oracle
asm_contracts.res.oracle
assert_ptr.res.oracle
assign-leaf-indirect.res.oracle
assigns.res.oracle
assigns_from.res.oracle
assigns_from_direct.res.oracle
attribute-aligned.res.oracle
automalloc.res.oracle
backward_add_ptr.res.oracle
bad_loop.res.oracle
base_addr_offset_block_length.res.oracle
behavior_statuses.0.res.oracle
behavior_statuses.1.res.oracle
behaviors1.res.oracle
behaviors2.res.oracle
big_lib_entry.res.oracle
bigarray.res.oracle
bitfield.res.oracle
bitfield_assign.res.oracle
bitfield_longlong.res.oracle
bitfield_receives_result.res.oracle
bitwise.res.oracle
bitwise_float.res.oracle
bitwise_or.res.oracle
bitwise_pointer.res.oracle
bitwise_reduction.res.oracle
biz.res.oracle
bool.res.oracle
branch.res.oracle
branch2.res.oracle
broken_loop.res.oracle
bts0506.0.res.oracle
bts0506.1.res.oracle
bts0775.res.oracle
bts0858.res.oracle
bts1306.res.oracle
buffer_overflow.0.res.oracle
buffer_overflow.1.res.oracle
bug.res.oracle
bug0196.res.oracle
bug0223.0.res.oracle
bug0223.1.res.oracle
bug0245.res.oracle
bug_023.res.oracle
bug_0244.res.oracle
builtins_split.res.oracle
call.res.oracle
call_2.res.oracle
call_3.res.oracle
call_alias.0.res.oracle
call_alias.1.res.oracle
call_alias.2.res.oracle
call_deep.res.oracle
call_multi.res.oracle