test_all.ExampleSymbolExec Class Reference

Symbolic Execution. More...

Inheritance diagram for test_all.ExampleSymbolExec:

Collaboration diagram for test_all.ExampleSymbolExec:

Static Public Attributes
string	example_dir = "symbol_exec"
Static Public Attributes inherited from test_all.Example
	sample_dir = os.path.join("..", "samples")
string	example_dir = ""

Additional Inherited Members
Public Member Functions inherited from test_all.Example
def	__init__ (self, *args, **kwargs)
def	get_sample (cls, sample_name)
Public Member Functions inherited from utils.test.Test
def	__init__ (self, command_line, base_dir="", depends=None, products=None, tags=None, executable=None)
def	__repr__ (self)
def	__eq__ (self, test)
Public Attributes inherited from test_all.Example
	base_dir
Public Attributes inherited from utils.test.Test
	command_line
	base_dir
	depends
	products
	tags
	executable

Detailed Description

Symbolic Execution.

Symbol Exec examples specificities:
- script path begins with "symbol_exec/"

Member Data Documentation

example_dir

string test_all.ExampleSymbolExec.example_dir = "symbol_exec"

static

---

The documentation for this class was generated from the following file:

• /home/serpilliere/projet/test_doc_miasm/miasm/test/test_all.py