What about ert-run-tests-interactively and ert--results-format-expected-unexpected? Thanks, -- Basil