sts Package

sts Package

fuzzer_integration_test Module

class tests.integration.sts.fuzzer_integration_test.FuzzerTest(methodName='runTest')

Bases: unittest.case.TestCase

basic_test()

tmpcfg = 'config/fuzzer_simple_test.py'

tmpcfgmodule = 'config.fuzzer_simple_test'

tmpcfgpyc = 'config/fuzzer_simple_test.pyc'

tmpparamsfile = 'config/fuzzer_simple_test_params.py'

write_params()

write_simple_cfg()

mcs_finder_integration_test Module

class tests.integration.sts.mcs_finder_integration_test.ReplayerTest(methodName='runTest')

Bases: unittest.case.TestCase

basic_test()

tmpcfg = 'config/mcs_simple_test.py'

tmpcfgmodule = 'config.mcs_simple_test'

tmpcfgpyc = 'config/mcs_simple_test.pyc'

tmpsuperlog = '/tmp/superlog.tmp'

write_simple_cfg()

write_simple_superlog()

Returns the file. Make sure to close afterwards!

replayer_integration_test Module

class tests.integration.sts.replayer_integration_test.ReplayerTest(methodName='runTest')

Bases: unittest.case.TestCase

basic_test()

tmpcfg = 'config/replayer_simple_test.py'

tmpcfgmodule = 'config.replayer_simple_test'

tmpcfgpyc = 'config/replayer_simple_test.pyc'

tmpsuperlog = '/tmp/superlog.tmp'

write_simple_cfg()

write_simple_superlog()

Returns the file. Make sure to close afterwards!