Verification tasks from Linux kernels.
Contributed by the LDV project.

    linux-3.0 - Various tests from Linux kernel 3.0, see linux-3.0/README
    linux-3.4-simple - Various simple tests from Linux kernel 3.4
    linux-3.7.3 - Various tests from Linux kernel 3.7.3
    consumption - Resource consuming tests based on drivers from Linux kernels
    commit-tester - Tests based on real bugs found in Linux kernels
    challenges - Drivers for which verdicts are not yet known

2014-07-18 added for SV-COMP 2015:
    ldv-linux-3.12-rc1 - Various tests from Linux kernel 3.12-rc1 (including model 144_2a with pointer usage)
    ldv-linux-3.16-rc1 - Various tests from Linux kernel 3.16-rc1 (including 205_9a with arrays and 43_2a with bitvectors)
    ldv-validator-v0.6 - Tests based on real bugs found in Linux kernels

CIL machine architecture string:

short=2,2 int=4,4 long=8,8 long_long=8,8 pointer=8,8 enum=4,4 float=4,4 double=8,8 long_double=16,16 void=1 bool=1,1 fun=1,1 alignof_string=1 max_alignment=16 size_t=unsigned_long wchar_t=int char_signed=true const_string_literals=true big_endian=false __thread_is_keyword=true __builtin_va_list=true underscore_name=false