Contents:
Utilities for handling Seal5 resources.
Functions
get_patches([patch_name, target, allow_empty])
get_patches
get_test_cfg()
get_test_cfg