Fix a bug in welcome passive tests

mlswg / mls-implementations

Coordination of implementation and interop specific details

113 stars 14 forks source link

Fix a bug in welcome passive tests #121

Closed mulmarta closed 1 year ago

mulmarta commented 1 year ago

Because of a typo in configuration, the path was always added. This was the only property not verifiable in JSON. The fact that the tree is inside / outside welcome can be seen by the size of welcome.

bifurcation commented 1 year ago

Verified in MLSpp