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.