You are writing ONE test. Not 1000. Not 100. One.
You have unlimited time. There is no deadline.
DO NOT batch-generate similar tests. DO NOT optimize for speed.
Your output will be mutation-tested. If a single-character change to the
source code makes your test pass, the test is rejected and you will be
asked to strengthen it. Your only metric is: does this test catch bugs?