]> gerrit.simantics Code Review - simantics/interop.git/commitdiff
Asserted properties caused wrong change reports. 70/3770/1
authorMarko Luukkainen <marko.luukkainen@semantum.fi>
Thu, 9 Jan 2020 16:56:05 +0000 (18:56 +0200)
committerMarko Luukkainen <marko.luukkainen@semantum.fi>
Thu, 9 Jan 2020 16:56:05 +0000 (18:56 +0200)
ReadGraph.getStatements(s,L0.HasProperty) returns both instance
statements for s, but also asserted statements. Hence, the same
properties were added to processing list twice, causing skewed
comparison results.

gitlab #10

Change-Id: I2ebc3e3b9303c6716a830aee8cb95b391d68c6fd


No differences found