seal5.resources.resources

Utilities for handling Seal5 resources.

Functions

get_patches([patch_name, target, allow_empty])

get_test_cfg()