Twins: support test case generation when twins parameter is zero

relab / hotstuff

MIT License

167 stars 53 forks source link

Closed hanish520 closed 2 years ago

hanish520 commented 2 years ago

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