headers → __esbmc Relation

File in src/c2goto/headers	Includes file in src/c2goto/headers/__esbmc
ctype.h	stddefs.h
pthread.h	stddefs.h
stdio.h	stddefs.h
stdlib.h	stddefs.h
string.h	stddefs.h
time.h	stddefs.h
sys / socket.h	stddefs.h