tests/libc · 2b63f0816a2c476b31b7a445917cd658f011ac3c · pub / frama-c

Andre Maroneze authored 3 years ago

The ambiguous regex led to behavioral differences under a musl-based libc,
such as in Frama-C's Docker images. The new regex is longer, but avoids the
issue.

2b63f081

History

2b63f081 3 years ago

History

Name	Last commit	Last update
..
oracle
alloca_h.c
argz_c.c
assert_h.c
check_compliance.ml
check_const.ml
check_full_libc.sh
check_libc_anonymous_tags.ml
check_libc_naming_conventions.ml
check_parsing_individual_headers.ml
check_some_metrics.sh
compile_and_run.sh
coverage.c
ctype.c
fc_libc.c
fpclassify.c
glob_c.c
inttypes_h.c
inttypes_h2.c
libgen_h.c
limits_h.c
locale_h.c
math_h.c
memchr_off.c
more_gcc_builtins.c
netdb_c.c
netinet_in_h.c
poll.c
pthread_h.c
pwd_h.c
runtime.c
signal_h.c
socket.c
socket_h.c
stdatomic_c.c
stdbool_as_cpp.c
stdint_h.c
stdio_c.c
stdio_h.c
stdlib_c.c
stdlib_c_env.c
stdlib_h.c
stdnoreturn_h.c
string_c.c
string_c_generic.c
string_c_strchr.c
string_c_strstr.c
string_h.c
strings_h.c
sys_file_h.c
sys_select.c
sys_sendfile_h.c
sys_stat_h.c
sys_time_h.c
sys_times.c
sys_types.c
sys_uio_h.c
sys_utsname_h.c
sys_wait_h.c
termios.c
test_config
test_config_gcc
time_c.c
time_h.c
time_misc.c
unistd_h.c
wchar_c_h.c
wchar_h.c
wctype_h.c