Add tests for the formula

Change-Id: Id84f6e68c40901e053418d1de8e472e6fb64d9f1
7 files changed