tests/syntax/oracle · 5bc960b2ac0d152e5d7c5f9ca3e7425dfc634a65 · pub / frama-c

Compare

[Kernel] add test for -cpp-command

Valentin Perrelle authored 5 years ago

5bc960b2

History

5bc960b2 5 years ago

History

Name	Last commit	Last update
..
Refresh_visitor.res.oracle
access_volatile_bts1589.res.oracle
add_allocates.res.oracle
aggressive_merging_1.res.oracle
alloc_order.res.oracle
anonymous_comp_init.res.oracle
arg_type.res.oracle
array_cast_bts1099.res.oracle
array_size_float.res.oracle
asm_goto.res.oracle
asm_with_contracts.res.oracle
assembly_gmp.0.res.oracle
assembly_gmp.1.res.oracle
assembly_gmp.2.res.oracle
ast_init.res.oracle
attributes-declarations-definitions.res.oracle
axiomatic_nested.res.oracle
bad_return_bts_599.res.oracle
basic_asm.res.oracle
bts0323.res.oracle
bts0442-2.res.oracle
bts0442.res.oracle
bts0519.0.res.oracle
bts0519.1.res.oracle
bts0577.res.oracle
bts0588.res.oracle
bts0672_link.0.res.oracle
bts0672_link.1.res.oracle
bts0769.res.oracle
bts0916.res.oracle
bts1553.res.oracle
bts1553_2.res.oracle
bts59.res.oracle
built.res.oracle
builtin_constant_p.res.oracle
cert-dcl-36.res.oracle
cert_exp10.res.oracle
cert_exp46.res.oracle
cert_msc_38.0.res.oracle
cert_msc_38.1.res.oracle
cert_msc_38.2.res.oracle
cert_msc_38.3.res.oracle
cert_msc_38.4.res.oracle
cert_msc_38.5.res.oracle
cert_msc_38.6.res.oracle
cert_msc_38.7.res.oracle
char_is_unsigned.res.oracle
check_builtin_bts1440.res.oracle
clone_test.res.oracle
composite-tags.res.oracle
compound-literal.res.oracle
const-assignments.0.res.oracle
const-assignments.1.res.oracle
const-assignments.2.res.oracle
const-assignments.3.res.oracle
const-assignments.4.res.oracle
const-assignments.5.res.oracle
const-assignments.6.res.oracle
const-assignments.7.res.oracle
const-assignments.8.res.oracle
const-assignments.9.res.oracle
constfold.res.oracle
copy_logic.res.oracle
copy_visitor.res.oracle
copy_visitor_bts_1073.0.res.oracle
copy_visitor_bts_1073.1.res.oracle
cpp-command.0.res.oracle
cpp-command.1.res.oracle
cpp-command.2.res.oracle
cpp-command.3.res.oracle
dangerous_expressions.res.oracle
dangling_else.res.oracle
dangling_reference_bts1475.res.oracle
decay.res.oracle
decl-function.res.oracle
define_string_logic_pp_bts2101.res.oracle
designated_init_pretty_print_bts1457.res.oracle
dowhilezero.res.oracle
duplicate_field.res.oracle
duplicated_global_bts1129.res.oracle
empty_initializer.res.oracle
enum1.res.oracle
enum_call.res.oracle
enum_repr.0.res.oracle
enum_repr.1.res.oracle
enum_repr.2.res.oracle
enum_size_array.res.oracle
erased_label_bts1502.res.oracle
exit.res.oracle
extern_init.0.res.oracle
extern_init.1.res.oracle
extinline.res.oracle
fam.res.oracle
fct_ptr.res.oracle
flexible_array_member.res.oracle
flexible_array_member_invalid1.res.oracle
flexible_array_member_invalid2.res.oracle
flexible_array_member_invalid3.res.oracle
flexible_array_member_invalid4.res.oracle
flexible_array_member_invalid5.res.oracle
float.res.oracle
forloophook.res.oracle
formals_decl_leak.res.oracle
func_spec_merge.res.oracle
function-types-compatible.res.oracle
gcc_builtins.res.oracle
get_astinfo_bts1136.res.oracle
ghost_lexing.res.oracle
ghost_multiline_annot.0.res.oracle
ghost_multiline_annot.1.res.oracle
ghost_multiline_annot.2.res.oracle
ghost_multiline_annot.3.res.oracle
ghost_multiline_annot.4.res.oracle
ghost_multiline_annot.5.res.oracle
ghost_multiline_annot.6.res.oracle
ghost_multiline_annot.7.res.oracle
ghost_multiline_annot.8.res.oracle
gnu-asm-aesni.res.oracle
implicit_args_bts1267.res.oracle
incompatible_qualifiers.0.res.oracle
incompatible_qualifiers.1.res.oracle
incomplete_array.res.oracle
incomplete_struct_field.res.oracle
inconsistent_decl.0.res.oracle
inconsistent_decl.1.res.oracle
init_bts1352.res.oracle
initializer.res.oracle
initializers.res.oracle
inline_calls.0.res.oracle
inline_calls.1.res.oracle
inline_calls.2.res.oracle
inline_def_1.res.oracle
inline_def_bad_1.res.oracle
inserted_casts.0.res.oracle
inserted_casts.1.res.oracle
invalid_constant.res.oracle
keep.res.oracle
keep_logical_operators.res.oracle
label_decl.res.oracle
libc_defs.res.oracle
line_number.res.oracle
literal-question-no-trigraph.0.res.oracle
literal-question-no-trigraph.1.res.oracle
local-variable.res.oracle
local_uninitialized_bts_1081.res.oracle
logic_env.res.oracle
loop-case-switch-for-unroll.0.res.oracle
loop-case-switch-for-unroll.1.res.oracle
loop-case-switch-for-unroll.2.res.oracle
loop_annot.0.res.oracle
loop_annot.1.res.oracle
lvalvoid.res.oracle
macro_escape_chars.res.oracle
merge_attrs_align.0.res.oracle
merge_attrs_align.1.res.oracle
merge_attrs_align.2.res.oracle
merge_attrs_align.3.res.oracle
merge_attrs_align.4.res.oracle
merge_attrs_align.5.res.oracle
merge_bts0948.res.oracle
merge_inline_1.res.oracle
merge_loc.res.oracle
merge_union.0.res.oracle
merge_union.1.res.oracle
merge_unused.res.oracle
merge_variadic.res.oracle
multiline_macro.res.oracle
multiple_decls_contracts.0.res.oracle
multiple_decls_contracts.1.res.oracle
multiple_decls_contracts.2.res.oracle
mutable_test.res.oracle
mutually_recursive_struct.res.oracle
no-print-libc-reparse.res.oracle
no_prototype.res.oracle
noret.res.oracle
offset.res.oracle
offsetof.res.oracle
one_ret_assert.res.oracle
orig_name.res.oracle
osx_attribute.res.oracle
preprocessed.res.oracle
ptr_null_cmp_bts1027.res.oracle
reject_use_decl_mismatch_bts728.0.res.oracle
reject_use_decl_mismatch_bts728.1.res.oracle
rename.res.oracle
reorder.res.oracle
rettype.res.oracle
rmtmps_static.res.oracle
simp_switch.res.oracle
sizeof_bts1414.res.oracle
sizeof_incomplete_type.res.oracle
slash_end.res.oracle
spurious_brace_bts_1273.res.oracle
static_formals_1.res.oracle
struct_copy.res.oracle
struct_with_function_field_invalid.res.oracle
switch-default.res.oracle
syntactic_hook.res.oracle
ternary_brace.res.oracle
ternary_bts1503.res.oracle