implmented utop testing for liveness