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 2010/11/04 13h:34