search

quantstamp / halo2-analyzer

SMT 2023 Submission; license pending
52 stars 10 forks source link

Fix-No-Selector-Test #54

Closed FatemehHeidari closed 5 months ago

FatemehHeidari commented 5 months ago

This PR fixes the tests based on new analyzer signature.