muteria.drivers.testgeneration.tools_by_languages.c.klee.klee module¶

class muteria.drivers.testgeneration.tools_by_languages.c.klee.klee.TestcasesToolKlee(*args, **kwargs)[source]¶

Bases: BaseTestcaseTool

SEED_DIR_ARG_NAME = 'seed-out-dir'¶

can_run_tests_in_parallel()[source]¶

get_ktests_dir()[source]¶

get_test_format_class()[source]¶: Can be useful for test fdupes

get_testcase_info_object()[source]¶

static get_value_in_arglist(arglist, flagname)[source]¶

classmethod installed(custom_binary_dir=None)[source]¶: 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

static remove_arg_and_value_from_arglist(arglist, flagname)[source]¶

static set_value_in_arglist(arglist, flagname, value)[source]¶