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

 /root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2007-07-08-c766cb7-0cc95fb/libtiff/tools/gif2tiff /root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2007-07-08-c766cb7-0cc95fb/libtiff/test/images/palette-1c-8b.gif o-gif2tiff.tiff
TIFFSetField: o-gif2tiff.tiff: Unknown tag 259.
TIFFSetField: o-gif2tiff.tiff: Unknown tag 256.
TIFFSetField: o-gif2tiff.tiff: Unknown tag 257.
TIFFSetField: o-gif2tiff.tiff: Unknown tag 262.
TIFFSetField: o-gif2tiff.tiff: Unknown tag 284.
TIFFSetField: o-gif2tiff.tiff: Unknown tag 277.
TIFFSetField: o-gif2tiff.tiff: Unknown tag 258.
TIFFSetField: o-gif2tiff.tiff: Unknown tag 278.
TIFFSetField: o-gif2tiff.tiff: Unknown tag 259.
TIFFSetField: o-gif2tiff.tiff: Unknown tag 320.
TIFFSetField: o-gif2tiff.tiff: Unknown tag 274.
TIFFWriteEncodedStrip: Must set "ImageWidth" before writing data.
 /root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2007-07-08-c766cb7-0cc95fb/libtiff/tools/tiffinfo -D o-gif2tiff.tiff
