add quint code coverage