updateTests
(formatterTest needs to be fixed)