[klee-dev] KLEE to Test GNU Coreutils (Error while running make command)

[Mahinder.Shrivas]

Hi All,

This is regarding Coreutils setup. I am trying to follow step by step
Tutorial 6 (http://klee.github.io/tutorials/testing-coreutils/)  and trying
to set up Coreutils however when I am trying to run
*" *obj-gcov$ make " this command I am getting error. I tried googling it
but couldn't find the solution. After running make command I am getting a
below error.

*../../lib/stpncpy.c:33:1: **error: **expected parameter declarator*

__stpncpy (char *dest, const char *src, size_t n)


*../../lib/stpncpy.c:33:1: **error: **expected ')'*

*../../lib/stpncpy.c:27:20: note: *expanded from macro '__stpncpy'

# define __stpncpy stpncpy


*../../lib/stpncpy.c:33:1: **error: **conflicting types for
'__builtin___stpncpy_chk'*

*../../lib/stpncpy.c:27:20: note: *expanded from macro '__stpncpy'

# define __stpncpy stpncpy

*                   ^*

*../../lib/stpncpy.c:33:1: **error: **definition of builtin function
'__builtin___stpncpy_chk'*

__stpncpy (char *dest, const char *src, size_t n)

*^*

1 warning and 4 errors generated.

make[3]: *** [stpncpy.o] Error 1

make[2]: *** [all] Error 2

make[1]: *** [all-recursive] Error 1

make: *** [all] Error 2

I will really appreciate your help.  Thanks in advance.

Regards,
Mahinder.
-------------- next part --------------
HTML attachment scrubbed and removed