Benchmarks in this directory are from the ESBMC project. *.cil.cil.c - CIL-preprocessed sources (32-bit machine architecture) cilly --dosimplify --printCilAsIs --save-temps --domakeCFG --envmachine short=2,2 int=4,4 long=4,4 long_long=8,4 pointer=4,4 enum=4,4 float=4,4 double=8,4 long_double=12,4 void=1 bool=1,1 fun=1,1 alignof_string=1 max_alignment=16 size_t=unsigned_int wchar_t=int char_signed=true const_string_literals=true big_endian=false __thread_is_keyword=true __builtin_va_list=true underscore_name=false