-
BaseTraceExecutor.c
- Implementation of class 'BaseTraceExecutor'
-
BDDCompleteTraceExecutor.c
- Implementation of class 'BDDCompleteTraceExecutor'
-
BDDPartialTraceExecutor.c
- Implementation of class 'BDDPartialTraceExecutor'
-
CompleteTraceExecutor.c
- Implementation of class 'CompleteTraceExecutor'
-
PartialTraceExecutor.c
- Implementation of class 'PartialTraceExecutor'
-
SATCompleteTraceExecutor.c
- Implementation of class 'SATCompleteTraceExecutor'
-
SATPartialTraceExecutor.c
- Implementation of class 'SATPartialTraceExecutor'
-
traceExec.c
- This module contains the functions needed to support trace
re-execution
BaseTraceExecutor.c
Implementation of class 'BaseTraceExecutor'
By: Marco Pensallorto
See AlsoBaseTraceExecutor.h
BDDCompleteTraceExecutor.c
Implementation of class 'BDDCompleteTraceExecutor'
By: Marco Pensallorto
See AlsoBDDCompleteTraceExecutor.h
BDDPartialTraceExecutor.c
Implementation of class 'BDDPartialTraceExecutor'
By: Marco Pensallorto
See AlsoBDDPartialTraceExecutor.h
CompleteTraceExecutor.c
Implementation of class 'CompleteTraceExecutor'
By: Marco Pensallorto
See AlsoCompleteTraceExecutor.h
PartialTraceExecutor.c
Implementation of class 'PartialTraceExecutor'
By: Marco Pensallorto
See AlsoPartialTraceExecutor.h
SATCompleteTraceExecutor.c
Implementation of class 'SATCompleteTraceExecutor'
By: Marco Pensallorto
See AlsoSATCompleteTraceExecutor.h
SATPartialTraceExecutor.c
Implementation of class 'SATPartialTraceExecutor'
By: Marco Pensallorto
See AlsoSATPartialTraceExecutor.h
traceExec.c
This module contains the functions needed to support trace
re-execution
By: Marco Pensallorto
This module contains the functions needed to support trace
re-execution
-
Trace_execute_trace()
- Complete trace re-execution
-
Trace_execute_partial_trace()
- Partial trace re-execution and fill-in
Last updated on 2012/11/18 14h:37