symbexec Namespace Reference

Classes
class	TestSymbExec

Variables
	testsuite = unittest.TestLoader().loadTestsFromTestCase(TestSymbExec)
	report = unittest.TextTestRunner(verbosity=2).run(testsuite)

Variable Documentation

report

symbexec.report = unittest.TextTestRunner(verbosity=2).run(testsuite)

testsuite

symbexec.testsuite = unittest.TestLoader().loadTestsFromTestCase(TestSymbExec)