Tests verified by running