seal5.resources.resources

Utilities for handling Seal5 resources.

Functions

get_patches([patch_name, target, allow_empty])	Collect Seal5 patches.
get_test_cfg()	Get LLVM lit.cfg.py file from Seal5 resources directory.