Home
ReferencesThis part contains settings like configuration parameters, pragmas, environment variables and so on. License handling, error messages and limitations of instrumentation are described.
Configuration of Testwell CTC++
Configuration Parameters Configuration parameters are used with Testwell CTC++ to achieve three general goals: Setting of user / project depending decisions; configuring a specific compiler; adapting to rare language and environment restrictions.
Compiler Specific ParametersThese settings are usually made once to introduce a new compiler or linker. Verifysoft provides several compiler configurations on request, or assists in extending them.
PREPROC_CXX With PREPROC_CXX, the invocation of the preprocessing stage is specified for C++ files.

PREPROC_CXX

With PREPROC_CXX, the invocation of the preprocessing stage is specified for C++ files.

Example 1 (Microsoft cl):

PREPROC_CXX = %COMMAND% /E /nologo /D__CTC__ %FLAGS% %FILE% > %RESULT%

Example 2 (gcc):

PREPROC_CXX = %COMMAND% -E -D__CTC__ %FLAGS% %FILE% -o %RESULT%

Pattern

%COMMAND% is the compilation or linking command from the ctc call, followed by the option to preprocess a source file.

%FLAGS% will contain all necessary options from the original compilation command needed for preprocessing.

%FILE% is the name of the original source file. %RESULT% is a ctc-generated temporary file name for the preprocessed version of the source file.

Adding the __CTC__ macro is a useful convention. It allows to use #ifdef __CTC__ … #endif sections in original source code, being effective only for instrumentation.

If the compiler supports an option like -o to specify the %RESULT% file, this method should be preferred.