muteria.drivers.testgeneration.tools_by_languages.c.shadow_se.shadow_se module

class muteria.drivers.testgeneration.tools_by_languages.c.shadow_se.shadow_se.TestcasesToolShadowSE(*args, **kwargs)[source]

Bases: TestcasesToolKlee

Make sure to set the path to binarydir in user customs to use this The path to binary should be set to the path to the shadow directory. in Shadow VM, it should be ‘/home/shadowvm/shadow’

class GetLinesCallbackObject(op_retval=None, pre_callback_args=None, post_callback_args=None, repository_rootdir=None, repo_executables_relpaths=None, source_files_to_objects=None, dev_tests_list=None)[source]

Bases: DefaultCallbackObject

after_command()[source]

Return True for success

before_command()[source]

Return True for success

static get_sorage_name_of_test(testname)[source]