 BUGS file of Checker.

* all configurations of config.h are not supported

* potential bugs (What I didn't test yet):
  Most of the syscall check (file linux-syscall.c) are not tested yet.
  ipc, clone, mmap, unmap syscalls are not allowed (For ipc, I don't know
    how they work)
  some ioctl and fcntl calls are not implemented, because I don't have
    enough information
  Always set bytes_per_state to 1, because other values are not tested.

If you find a bug inside Checker (not in your program!),
 Send me your program, and how you compile it.
 If your program is big, try to find a simpler example.
 If you know exactly where the bug is (e.g. at a syscall check), send me
 a file using the buggy part of Checker.
 If you have made a patch, send me it.

My email address: Tristan C/O marc@david.saclay.cea.fr
 