• Stars
    star
    18
  • Rank 1,207,790 (Top 24 %)
  • Language
    Solidity
  • License
    MIT License
  • Created 3 months ago
  • Updated about 2 months ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Automates the verification of Solidity tests written using BTT technique