search

Byont-Ventures / smart-contract-analysis-tools

0 stars 1 forks source link

fix: Remove usage of sudo in smtchecker command #35

Closed enzoevers closed 1 year ago