sequential_symbolic_execution Directory Reference

Files
file	plugin_sequential_symbolic_execution.h [code]
	This file contains all functions related to the HAL plugin API.
file	sequential_symbolic_execution.h [code]
	This file contains the declarations for functions to perform sequential symbolic execution using z3.