Collecting Test Timings

Steps to collect test execution times:

  1. Create an executable by using the command make build.
  2. Run mts creating a "Runall-and-Diff-Time" script using the above executable as described in STImpL universe file specification
  3. Run the "Runall-and-Diff-Time" script and redirect the output to the file "XXX.log" where XXX can be any meaningful name.
  4. Run the "time.pl" script, available in the C test tools package by typing:

    time.pl XXX.log output_file

    Here output_file should follow the naming convention described in the C object directory specification. The output_file has timing information and it should be stored in the info directory of the object organization.