Change folder name casing to run regression tests on Linux - Githubissues

microsoft / verisol

A formal verifier and analysis tool for Solidity Smart Contracts

Other

245 stars 46 forks source link

Change folder name casing to run regression tests on Linux #163

Closed VeraBE closed 5 years ago

VeraBE commented 5 years ago

Related to #96

msftclas commented 5 years ago

All CLA requirements met.