Does auto generating tests even do anything helpful? Don’t they just sort of tautologically say the code does what it does at best or do something completely ridiculous like test and implementation that only exists in the test file at worst?