How to interpret the comma separated coverage data?

Help!
1

I’m using: SWI-Prolog version ???
SWI-Prolog version 9.2.9 for x86_64-linux

I ran coverage for my Prolog program and I see in the file that there is some syntax that does not appear to be mentioned in the docs for show_coverage/1.

For example, here are some lines that use a comma to separate the values but I’m not sure how to read it:

+1,328,312-1,328,300
++2,656,612
+1,328,312-1,328,300
+1,328,312*2,656,612

I understand basically everything up until the first comma based on the docs but I might just be being thick-headed.

2

No. The comma is just the digit grouping. So,

+1,328,312-1,328,300

Means succeeded 1,328,312 times, failed 1,328,300 times.