Fixed killing of old tests in test formulas

Change-Id: Ia3fd99ddf8ffb4961909242887fa46858e273de4
1 file changed