FeatMgr

FeatMgr is a configuration dataclass for Riescue. It contains all configuration needed for RiescueD to generate a test. It specifies the enabled features, environment, and generation options.

Note

Generally, users will not need to construct a FeatMgr directly. Instead, they will use the FeatMgrBuilder to construct a FeatMgr.

from riescue import FeatMgr

featmgr = FeatMgr() # build default FeatMgr

class riescue.FeatMgr

Configuration manager; aata structure containing configuration for test generation.

FeatMgrBuilder class provides interface for constructing FeatMgr objects. Users can choose to override any fields after construction.

duplicate() → FeatMgr: Duplicate / deepcopy a FeatMgr instance.

get_summary() → dict[str, bool | int]: Returns an array representation of feature presence.

is_feature_supported(feature: str) → bool: Check if a feature is supported - delegate to FeatureDiscovery

is_feature_enabled(feature: str) → bool: Check if a feature is enabled - delegate to FeatureDiscovery

get_feature_randomize(feature: str) → int: Get the randomization probability for a feature - delegate to FeatureDiscovery

get_misa_bits() → int: Get MISA bits based on enabled features

get_compiler_march_string() → str: Generate a compiler march string from enabled features