Versions Compared

Old Version 1

changes.mady.by.user Izabela Jarosz

Saved on

compared with

New Version Current

changes.mady.by.user Izabela Jarosz

Saved on

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

  • <compiler configuration> refers to a supported compiler configuration, e.g., gcc_9-64; see Compilers for the list of supported compilers. 
  • <coverage metric specification> refers to a supported coverage metric, e.g., line-coverage. See Command Line Reference for cpptestcc for the list of supported coverage metrics. 
  • <additional options> refers to any additional options that may be required to fine-tune the instrumentation process. See See Fine-Tuning Code Instrumentation and  and Command Line Reference for cpptestcc  for   for the complete list of options supported by cpptestcc. 
  • The cpptestcc command line is separated from the compiler command line with the -- separator.

...