seal5.wrapper

Wrappers for running the seal5 flow with minimal efforts.

Functions

group_files(files)	Split the given files per extension.
prepatched_helper(val)
run_seal5_flow(input_files[, dest, out_dir, ...])	Single entry point (wrapper) to excute the full seal5 flow for a given set of files.