updated testinfo text files for testing redundantinfo computation