tests/temporal/t_fun_lib.c:20:[kernel:typing:implicit-function-declaration] warning: Calling undeclared function realpath. Old style K&R code?
[e-acsl] beginning translation. tests/temporal/t_fun_lib.c:20:[kernel] warning: Neither code nor specification for function realpath, generating default assigns from the prototype [e-acsl] translation done in project "e-acsl". tests/temporal/t_fun_lib.c:20:[value] warning: Completely invalid destination for assigns clause *(x_0 + (0 ..)). Ignoring. tests/temporal/t_fun_lib.c:21:[value] warning: Completely invalid destination for assigns clause *(x_0 + (0 ..)). Ignoring.
