Closed NorfairKing closed 2 years ago
This change simplifies the validity-based testing and adds support for genvalidity >= 1.0.0.0.
genvalidity >= 1.0.0.0
I'll leave this here for a few days. If there is no pushback, and CI passes, then I'll go ahead and merge it.
This change simplifies the validity-based testing and adds support for
genvalidity >= 1.0.0.0
.I'll leave this here for a few days. If there is no pushback, and CI passes, then I'll go ahead and merge it.