PASS: bmp2tiff_palette.sh (exit: 0)
===================================

 /root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2007-07-08-c766cb7-0cc95fb/libtiff/tools/bmp2tiff /root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2007-07-08-c766cb7-0cc95fb/libtiff/test/images/palette-1c-8b.bmp o-bmp2tiff_palette.tiff
TIFFSetField: o-bmp2tiff_palette.tiff: Unknown tag 259.
TIFFSetField: o-bmp2tiff_palette.tiff: Unknown tag 256.
TIFFSetField: o-bmp2tiff_palette.tiff: Unknown tag 257.
TIFFSetField: o-bmp2tiff_palette.tiff: Unknown tag 274.
TIFFSetField: o-bmp2tiff_palette.tiff: Unknown tag 277.
TIFFSetField: o-bmp2tiff_palette.tiff: Unknown tag 258.
TIFFSetField: o-bmp2tiff_palette.tiff: Unknown tag 284.
TIFFSetField: o-bmp2tiff_palette.tiff: Unknown tag 262.
TIFFSetField: o-bmp2tiff_palette.tiff: Unknown tag 278.
TIFFSetField: o-bmp2tiff_palette.tiff: Unknown tag 320.
TIFFSetField: o-bmp2tiff_palette.tiff: Unknown tag 259.
TIFFWriteScanline: Must set "ImageWidth" before writing data.
/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2007-07-08-c766cb7-0cc95fb/libtiff/test/images/palette-1c-8b.bmp: scanline 0: Write error.
TIFFSetField: o-bmp2tiff_palette.tiff: Unknown tag 259.
 /root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2007-07-08-c766cb7-0cc95fb/libtiff/tools/tiffinfo -D o-bmp2tiff_palette.tiff
o-bmp2tiff_palette.tiff: No space to read TIFF directory.
TIFFReadDirectory: Failed to read directory at offset 0.
