isa-group/IDLReasoner

Fix errors related to each analysis operation

AML14 opened this issue · 2 comments

AML14 commented

I haven't had the chance to look closely at them, but I've already noticed some errors. For example, for the deadParameter, the restriction to add is not "p1Set==1", but "p1Set=1".

AML14 commented

Only isDeadParameter and isFalseOptional are (supposedly ) working as expected, implement the others.

AML14 commented

This should be fixed now. The test suite runs without any issues.