tests/rte/oracle · 6a334acdfa4d74de52b58de99b97268935ef01c1 · pub / frama-c

Loïc Correnson authored 5 years ago

Only modifications introduced by non necessary casts elimination

6a334acd

Name	Last commit	Last update
..
addsub.res.oracle
addsub_typedef.res.oracle
addsub_unsigned.0.res.oracle
addsub_unsigned.1.res.oracle
addsub_unsigned_typedef.0.res.oracle
addsub_unsigned_typedef.1.res.oracle
array_index.0.res.oracle
array_index.1.res.oracle
assign.res.oracle
assign2.res.oracle
assign3.res.oracle
assign4.res.oracle
assign5.res.oracle
assign6.res.oracle
assign7.res.oracle
bool.res.oracle
bts0567.res.oracle
bts0576.res.oracle
bts0580.res.oracle
bts0580_2.res.oracle
bts1052.res.oracle
bts2314.res.oracle
bts621.res.oracle
castoncall.0.res.oracle
castoncall.1.res.oracle
divmod.res.oracle
divmod_typedef.res.oracle
downcast.0.res.oracle
downcast.1.res.oracle
downcast.2.res.oracle
finite_float.res.oracle
float_to_int.res.oracle
fptr_assert.res.oracle
gnu_zero_length.res.oracle
initialized.res.oracle
initialized_union.res.oracle
malloc.res.oracle
memaccess.res.oracle
minus.0.res.oracle
minus.1.res.oracle
mul.res.oracle
noresult.res.oracle
postcond.res.oracle
postcond2.res.oracle
precond.res.oracle
precond2.res.oracle
reqlabl.res.oracle
reqlabl2.res.oracle
s64.res.oracle
shift.0.res.oracle
shift.1.res.oracle
shift_machdep.0.res.oracle
shift_machdep.1.res.oracle
shift_unsigned.0.res.oracle
shift_unsigned.1.res.oracle
sizeof.res.oracle
tab.res.oracle
threefunc.res.oracle
twofunc.res.oracle
twofunc3.res.oracle
u64.0.res.oracle
u64.1.res.oracle
unspecified_sequence.res.oracle
valid.res.oracle
value_rte.res.oracle