False positive when mutant is covered by Prophecy

[jenschude]

I have the problem with a LogicalNot mutation. I wrote a test using prophecy to cover this mutation, but Humbug doesn't see that the mutation is covered. When I'm applying the mutation manually the tests fail.

Seems like AdapterAbstract.php doesn't match failed prophecy tests.

TestResult from manual mutation run:

.F....                                                              6 / 6 (100%)

Time: 48 ms, Memory: 6.00Mb

There was 1 failure:

1) AttributeCollectionTest::testAttributeDefinition
Some predictions failed:
  Attribute\P1:
    No calls have been made that match:
     Attribute\P1->setAttributeDefinition(exact(AttributeDefinition:00000000560d559a000000013d2dd3ff Object (
        )
    )))
    but expected at least one.

[padraic]

I'm not sure if it's critical, but it falls into the "out of date with PHPUnit" category most likely, and needs a resolution.

[padraic]

Tested with PHPUnit 5.7, on a simple prophecy usage and a LogicalNot mutation (where the mutated form would prevent an expected method call). It worked fine here, and unable to replicate. Stashed the replication attempt here: https://github.com/padraic/p1/