concepts.dm.crow.parsers.cdl_symbolic_execution#

Classes

ArgumentsList

A list of argument values.

FunctionCall

A function call.

FunctionCallSymbolicExecutor

This class is used to track the function calls and other statements in a suite.

FunctionCallSymbolicExecutor2

This class is used to track the function calls and other statements in a suite.

Suite

A suite of statements.

SymbolicExecutionMode

The execution mode of the symbolic execution engine.