tests/rte · 0376a3d3c0a0a478ca99a373b2a21825e4e699c0 · pub / frama-c · GitLab

Snippets Groups Projects

[Eva] Updates alternative test oracles.

David Bühler authored 6 years ago

0376a3d3

0376a3d3 6 years ago

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