All these seem to have an inconsistency between expectation and negative_test_case fields, see table above. (These two fields are clearly redundant and we could decide to keep only the expectation one, but for the time being we have both.)
Proposed changes
Check the different patterns and reset properly the values for expectation vs negative_test_case
This comes from some automated checks...
@SoheilKhodayari : does it make sense?
Testability pattern
The pattern instances concerned are:
Problem statement
All these seem to have an inconsistency between
expectation
andnegative_test_case
fields, see table above. (These two fields are clearly redundant and we could decide to keep only theexpectation
one, but for the time being we have both.)Proposed changes
Check the different patterns and reset properly the values for
expectation
vsnegative_test_case