relab/hotstuff

Twins: support test case generation when twins parameter is zero

Closed this issue · 0 comments

hanish520 commented

Twins tool is unable to generate test cases when the ’twins’ parameter is set to zero.