add test for checking ert codex