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

class muteria.drivers.testgeneration.tools_by_languages.c.semu.semu.TestcasesToolSemu(*args, **kwargs)

Bases: TestcasesToolKlee

fdupeGeneratedTest(mfi_ktests_dir_top, mfi_ktests_dir, semuoutputs, seeds_dir=None)

classmethod installed(custom_binary_dir=None)

Check that the tool is installed :return: bool reprenting whether the tool is installed or not

(executable accessible on the path) - True: the tool is installed and works - False: the tool is not installed or do not work

requires_criteria_instrumented()