you need to write a test suite to check his test generation (soft /s)