bench/coreutils at master · goblint/bench · GitHub

Name		Name	Last commit message	Last commit date
parent directory ..
cksum_comb.c		cksum_comb.c
cp_comb.c		cp_comb.c
cut_comb.c		cut_comb.c
dd_comb.c		dd_comb.c
df_comb.c		df_comb.c
du_comb.c		du_comb.c
ls_comb.c		ls_comb.c
mv_comb.c		mv_comb.c
nohup_comb.c		nohup_comb.c
ptx_comb.c		ptx_comb.c
readme.txt		readme.txt
sort_comb.c		sort_comb.c
tail_comb.c		tail_comb.c

readme.txt

coreutils v8.13-14-g081e262
combined on a Ubuntu linux 2.6.38-11 x86_64
at least on that machine they can be compiled with "cc cp_comb.c -lrt"