coverage.bin Problem and Fix about cloud9

[GoogleCodeExporter]

Forgot to attach these files! Here you are...

Original comment by [email protected] on 29 Jul 2013 at 10:47

Attachments:

• StatsTracker.h
• StatsTracker.cpp

[GoogleCodeExporter]

Will, I'm sorry you had to spend more time than necessary trying out things 
here -- the Cloud9 documentation in this space is deficient.

The coverage.bin file actually contains multiple protobuf messages, each 
message contained in a "message frame". A message frame starts with a 32-bit 
integer describing the message size, followed by the message bytes themselves.

The first protobuf message lists all coverable lines in the program, so it 
constitutes the 100% coverage. It is written once before the actual symbolic 
exporation starts.

The following protobuf messages in the file are coverage snapshots at different 
moments in time. If I remember correctly, by default they are written to the 
coverage log every minute. Each message contains the lines covered by symbolic 
execution up to that moment in time.

Original comment by [email protected] on 30 Jul 2013 at 6:08

[GoogleCodeExporter]

One more thing: Would it be possible to provide the Cloud9 changes as a patch 
file, so I can easily see what's changed?

Original comment by [email protected] on 30 Jul 2013 at 6:12