Contents:
Patch utils for seal5.
Functions
generate_patch(index_file[, llvm_dir, ...])
generate_patch
main()
main
process_arguments()
process_arguments