tree 29fb3efc080a0841d82d472b4eff4fbdd0955d75
parent 0a02cff1767cadc2498dc0d4daff68c7396ce88a
author Jakub Josef <jakub.josef@gmail.com> 1494598342 +0200
committer Jakub Josef <jakub.josef@gmail.com> 1494598342 +0200

Fixed killing of old tests in test formulas

Change-Id: Ia3fd99ddf8ffb4961909242887fa46858e273de4