#!/bin/bash
cbmc $* --unwindset 7:11 --unwind 3 --slice --no-bounds-check --no-pointer-check  --no-div-by-zero-check  --32  -I ./include -D __KERNEL__ -D MODULE -D DDV_ASSERT_IO  \
__main.c \
./src/ddverify/ddverify.c \
./src/ddverify/cdev.c \
./src/ddverify/genhd.c \
./src/ddverify/interrupt.c \
./src/ddverify/ioctl.c \
./src/ddverify/pci.c \
./src/ddverify/tasklet.c \
./src/ddverify/timer.c \
./src/linux/pci.c \
./src/linux/arch/i386/lib/usercopy.c \
./src/linux/block/genhd.c \
./src/linux/block/ll_rw_blk.c \
./src/linux/drivers/char/misc.c \
./src/linux/drivers/char/tty_io.c \
./src/linux/fs/char_dev.c \
./src/linux/kernel/mutex.c \
./src/linux/kernel/resource.c \
./src/linux/kernel/sched.c \
./src/linux/kernel/semaphore.c \
./src/linux/kernel/softirq.c \
./src/linux/kernel/spinlock.c \
./src/linux/kernel/timer.c \
./src/linux/kernel/wait.c \
./src/linux/kernel/workqueue.c \
./src/linux/kernel/irq/manage.c \
./src/linux/mm/page_alloc.c \
./src/linux/mm/slab.c \
./src/linux/mm/vmalloc.c \
