Excluded c file #38

Job	Run time
build	20s
test-benchexec (bubaak)	28s
test-benchexec (cbmc)	8m 1s
test-benchexec (coveriteam-verifier-algo-selection)	44s
test-benchexec (coveriteam-verifier-parallel-portfolio)	8m 3s
test-benchexec (cpa-lockator)	2m 19s
test-benchexec (cpachecker)	8m 2s
test-benchexec (cseq)	7m 57s
test-benchexec (dartagnan)	6m 11s
test-benchexec (deagle)	3m 35s
test-benchexec (divine)	8m 0s
test-benchexec (ebf)	8m 4s
test-benchexec (esbmc-incr)	3m 20s
test-benchexec (esbmc-kind)	8m 3s
test-benchexec (goblint)	41s
test-benchexec (graves-par)	2m 7s
test-benchexec (graves)	8m 1s
test-benchexec (infer)	8m 0s
test-benchexec (lazycseq)	40s
test-benchexec (lf-checker)	2m 22s
test-benchexec (pesco)	8m 0s
test-benchexec (pichecker)	7m 59s
test-benchexec (symbiotic)	5m 43s
test-benchexec (theta)	2m 19s
test-benchexec (uautomizer)	5m 45s
test-benchexec (ugemcutter)	7m 56s
test-benchexec (utaipan)	7m 58s
collect-results	1s
	2h 20m 39s

Provide feedback