search

Certora / gambit

Using mutations to improve specs and test suites
MIT License
165 stars 8 forks source link

always strip / from lhs of a remapping #42

Closed chandrakananandi closed 6 months ago