Fix witness set properties

Close #10 (closed)

Merge request reports

Loading