Model-seeding generated test doesn't increase coverage

[vmassol]

The following test was generated:

    @Test(timeout = 4000)
    public void test02() throws Throwable
    {
        Object object0 = new Object();
        String string0 = XMLUtils.escape(object0);
        assertNotNull(string0);
    }

However the existing test suite is already covering at 100% the XMLUtils.escape() method.

I was told that the fitness function makes sure that the coverage is increased. It's not the case here.

I suspect the issue might be that the model seeding didn't do the dynamic analysis part (since the tests are in JUnit5) and thus no existing coverage was captured?

In any case it would be great to not generate tests that don't increase coverage! :)

WDYT?

Thanks