12 #ifndef CPROVER_GOTO_PROGRAMS_OSX_FAT_READER_H 13 #define CPROVER_GOTO_PROGRAMS_OSX_FAT_READER_H 29 const std::string &source,
30 const std::string &dest)
const;
38 #endif // CPROVER_GOTO_PROGRAMS_OSX_FAT_READER_H bool is_osx_fat_magic(char hdr[4])
bool extract_gb(const std::string &source, const std::string &dest) const
osx_fat_readert(std::ifstream &in)