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

[Ralph Becket]

Ian MacLarty, Monday,  7 February 2005:
> +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
> +we can see that 3 passing tests were run.

Braces are [ ].  Brackets are { }.  Parentheses are ( ).
(3) is in parentheses.

This looks useful.

-- Ralph
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------