The info directory contains the fault matrices for an SIR subject.

These fault matrices indicate which test reveal which fault and
are arranged in the following manner:

The top portion of the file shows the test frames as they appear
in the universe file.  Each test frame defines the testdriver, input
file and command-line parameters required to perform the test.

Following the universe file test frames, the fault matrix file
has lines of the form:
unitestN:
where N is the test number (0 significant), e.g. unitest12 is really
the 13th test frame in the universe file.

Following the unitestN line are lines of the form:
vN:
which indicate the faulted variant.  The value of N will depend upon
the number of faults defined in the FaultSeeds.h file for that version
of the subject.  In the case of version 1 of nanoxml, there are 7
faults that can be applied, thus each unitestN: line has v1 through v7
lines that follow it.

Immediately after each vN: line is a line which starts with a tab
character and contains a 0 or 1.  This is a binary representation
of fault detection, a 0 indicates that this test (unitestN) did not
detect the fault (outputs were unchanged) whereas a 1 indicates the
fault was exposed (detected) by the test.

