tests/rte · bd9fbcd26f241f89753715814fbc207abe7e586f · pub / frama-c · GitLab

Snippets Groups Projects

[tests] removes -journal-disable & -check options that are already defined in...

Patrick Baudin authored 3 years ago

[tests] removes -journal-disable & -check options that are already defined in @PTEST_DEFAULT_OPTIONS@

bd9fbcd2

bd9fbcd2 3 years ago

Name	Last commit	Last update
..
oracle
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
compute_annot.ml
divmod.c
divmod_typedef.c
downcast.c
finite_float.c
float_to_int.c
fptr_assert.c
gnu_zero_length.c
initialized-ignore-fct.i
initialized.c
initialized_union.c
invalid_fptr.i
malloc.c
memaccess.c
minus.c
mul.c
my_annot_proxy.ml
my_annotation.ml
noresult.c
postcond.c
postcond2.c
precond.c
precond2.c
reqlabl.c
reqlabl2.c
rte_get_annot.ml
s64.c
shift.c
shift_machdep.c
shift_unsigned.c
sizeof.c
tab.c
test_config
threefunc.c
twofunc.c
twofunc3.c
u64.i
unspecified_sequence.i
valid.c
value_rte.c