Test Vectors' Manager

Please, give me the name of the file for test vectors [c17.tst]:

Reading SSBDD-model file c17.agm... OK

Reading test patterns file c17.tst... OK
 

                I can do the following:

        S. Show existing test patterns
        N. Insert completely New test
        A. Add vectors
        D. Remove some vectors
        R. Automatically geneRate some random sequence
        E. Automatically genErate the exhaustive test
        F. PerForm fault simulation
        X. Save patterns and eXit

Make your choice, please: n

Enter each vector as a string of 5 bits. The inputs are:
x5 x4 x3 x2 x1
Finally, when you are done with vectors simply press "Return".
00110
01010
01110
 

        S. Show existing test patterns
        N. Insert completely New test
        A. Add vectors
        D. Remove some vectors
        R. Automatically geneRate some random sequence
        E. Automatically genErate the exhaustive test
        F. PerForm fault simulation
        X. Save patterns and eXit

Make your choice, please: x

Please, give me the name of the output file [c17.tst]:
3 patterns will be saved.

Writing test patterns file c17.tst... OK