More testing of tyDev