[m-rev.] for review: add mdb `dice' command

Julien Fischer juliensf at cs.mu.OZ.AU
Mon Feb 7 17:55:49 AEDT 2005


On Mon, 7 Feb 2005, Ian MacLarty wrote:

> On Mon, Feb 07, 2005 at 04:06:41PM +1100, Julien Fischer wrote:

> > The whole discussion below would be improved if you included an example
> > of a program dice.
> >
>
> Okay I've added the following:
>
>  @sp 1
>  Once one or more passing slices and a failing slice have been generated the
>  @samp{dice} command can be used to display a table of statistics comparing the
> -passing test runs to the failing run.  Each row in the table contains statistics
> +passing test runs to the failing run.  Here is an example of a dice displayed
> +in an mdb session:
> + at sp 1
> + at example
> +mdb> dice -f fail -p passes -s S -n 4
> +Procedure        Path/Port  File:Line Pass (3) Fail Suspicion
> +pred s.mrg/3-0   <s2;c2;e;> s.m:74       0 (0)    1      1.00
> +pred s.mrg/3-0   <s2;c2;t;> s.m:67      10 (3)    4      0.29
> +pred s.mrg/3-0   CALL       s.m:64      18 (3)    7      0.28
> +pred s.mrg/3-0   EXIT       s.m:64      18 (3)    7      0.28
> + at end example
> + at sp 1
> +This example tells us that the @samp{else} in @samp{s.m} on line 74 was
> +executed once in the failing test run, but never in the passing test runs, so
> +this would be a good place to start looking for a bug.
> + at sp 1
> +Each row in the table contains statistics
>  about the execution of a separate goal in the program.  Six columns are
>  displayed:
>  @sp 1
> @@ -3435,11 +3450,12 @@
>  The total number of times the goal was executed in all the passing test runs.
>  This is followed by a number in braces which indicates the number of test runs
>  the goal was executed in.  The heading of this column also has a number in
> -braces which is the total number of passing test cases.
> +braces which is the total number of passing test cases.  In the example above

s/braces/parentheses/

Looks fine otherwise.

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------



More information about the reviews mailing list