tests/spec/oracle · f88abf5a5ea29909b34da40db3322ba15e9907b7 · pub / frama-c

Compare

[link] merge names of formals when old prototype has anonymous parameter

Virgile Prevosto authored 4 years ago

ee84f7cb

History

ee84f7cb 4 years ago

History

Name	Last commit	Last update
..
Extend.res.oracle
Extend_preprocess.res.oracle
Extend_short_print.res.oracle
_Bool.res.oracle
abrupt.res.oracle
acsl_basic_allocator.res.oracle
acsl_by_example.res.oracle
add_global.res.oracle
all.res.oracle
allocates.res.oracle
annot_decl_bts1009.res.oracle
annot_main.res.oracle
anon_arg_2.res.oracle
array_conversion.res.oracle
array_prm.res.oracle
array_typedef.res.oracle
assert_label.res.oracle
assign_in_spec.res.oracle
assignable_location.res.oracle
assigns.res.oracle
assigns_array.res.oracle
assigns_from_kf.res.oracle
assigns_result.res.oracle
assigns_void.0.res.oracle
assigns_void.1.res.oracle
assume.res.oracle
at.res.oracle
axiom_ignored_bts1116.res.oracle
axiom_included.res.oracle
axiom_redef_bts1005.res.oracle
behavior_assert.0.res.oracle
behavior_assert.1.res.oracle
behavior_names.res.oracle
behaviors_decl_def.res.oracle
bool.res.oracle
boolean_ops.res.oracle
breaks_continues_unroll.res.oracle
bsearch.res.oracle
bts0254.res.oracle
bts0283.res.oracle
bts0440.res.oracle
bts0549.res.oracle
bts0570.res.oracle
bts0578.res.oracle
bts0589.res.oracle
bts0655.res.oracle
bts0698.res.oracle
bts0812.res.oracle
bts1068.res.oracle
bts1262.res.oracle
bts2187-no-empty-contract.res.oracle
bts_1789.res.oracle
bug96.res.oracle
builtins.res.oracle
cast_enum_bts1546.0.res.oracle
cast_enum_bts1546.1.res.oracle
cast_int.res.oracle
char_cst.res.oracle
clash_double_file_bts1598.res.oracle
comparison.res.oracle
complete_behaviors.res.oracle
concrete_type.res.oracle
const.res.oracle
const_ptr_bts1729.res.oracle
constant_predicate.res.oracle
contract_assert_bts1470.res.oracle
conversion.res.oracle
declspec.res.oracle
default_assigns_bts0966.res.oracle
doxygen.res.oracle
enum.res.oracle
error_msg.res.oracle
exit_clause.res.oracle
expr_to_term.res.oracle
extend_extern.res.oracle
fct_ptr.res.oracle
first.res.oracle
float-acsl.res.oracle
footprint.res.oracle
for_scope.res.oracle
fptr.res.oracle
ghost.res.oracle
homax.res.oracle
hosum.res.oracle
if.res.oracle
kw.res.oracle
label_scope_bts1536.res.oracle
lib.res.oracle
liens.res.oracle
list.res.oracle
local.res.oracle
localization.res.oracle
location_char.res.oracle
logic_array.res.oracle
logic_compare.res.oracle
logic_def.res.oracle
logic_functions_sets.res.oracle
logic_label.res.oracle
logic_labels_wrong.res.oracle
logic_type.res.oracle