muteria.drivers.testgeneration.tools_by_languages.c.semu.driver_config module

class muteria.drivers.testgeneration.tools_by_languages.c.semu.driver_config.DriverConfigSemu(max_mutant_count_per_cluster=100, meta_mutant_source=MetaMuSource.MART, target_only_live_mutants=True, **kwargs)[source]

Bases: DriverConfigKlee

get_max_mutant_count_per_cluster()[source]
get_meta_mutant_source()[source]
get_target_only_live_mutants()[source]
requires_criteria_instrumented()[source]
class muteria.drivers.testgeneration.tools_by_languages.c.semu.driver_config.MetaMuSource(value)[source]

Bases: EnumAutoName

An enumeration.

ANNOTATION = 'manual_annotation'
MART = 'mart'