I was unable to get `ert-deftest` to work, but from reading `ert.el`, the macro `deftest` works. Are we running different versions of ert perhaps?