tests/class · 76190d5ccf5195b804d7b02a49f7be6d9fbbad4e · Stefan Gränitz / Frama Clang · GitLab

Snippets Groups Projects

Forked from pub / Frama Clang

774 commits behind the upstream repository.

[tests] update oracles

Virgile Prevosto authored 5 years ago

47462b73

47462b73 5 years ago

Name	Last commit	Last update
..
oracle
result
array_init.cpp
array_object_bts1739.cpp
cast_op.cc
class_global.cc
cleanups.cc
constr.cc
default_arg.cc
default_const_bts1527.cpp
destructor_custom_2004.cpp
diamond_inheritance.cc
empty_class_bts1547.cpp
explicit_destructor_bts1528.cpp
heritage.cc.notest
inheritance_out_def.cpp
loop_local_var_bts1521.cpp
multiple_inheritance.cc
names.cc
namespace.cc
ostream_bts1752.cpp
overload_const_bts1541.cpp
rt_val.cc
simple_classe.cc
simple_private.cc
simple_virtual.cc
typedef_in_class_bts1540.cpp
used_before_decl_bts1526.cpp
virtual_for_shift.cc
virtual_for_shift2.cc
virtual_for_shift3.cc
virtual_inheritance.cc
virtual_inheritance_2077.cpp
virtual_method.cc