Proving Multiple Extent Blocks

Although most proving programs do not handle blocks where each row occurs more than once (but an equal number of times), providing the rows can be generated it is relatively straightforward to check such a composition.

Perhaps the simplest approach is to sort the rows and compare the entire file with a file generated from a true composition of the required length.To make things easier, I have written a program to analyse such output.

The program is a 32-bit windows console application. It knows nothing about changes, merely counting how many times each line appears in a file. Input is from standard input, and output from standard output. Use the redirection operators "<" and ">" to read from and write to files, e.g

    countrows < msiril.out

Where msiril.out is the output from the proving program. To generate all the rows within microsiril, use the commands

conflict = 
everyrow = "@"

Download countrows.exe (114 Mb, dated 20/7/99)

Software

Philip's Home Page

This page created by Philip Saddleton

Last updated 22 July 1999