seal5.tools.inject_patches

Patch utils for seal5.

Functions

generate_patch(index_file[, llvm_dir, ...])

main()

process_arguments()