CONTENTS           this file
README             a description of the C# tcas artifact and a short how-to
install.sh         a shell script to automate installing orig/faulted versions
mkFaultMatrix.sh   a shell script used to create a fault matrix
runall-diff.sh     a shell script that runs all tests and compares results to
                   oracle outputs (in outputs.alt)
runall.sh          a shell script to run all tests
