Automated tests for Kasner