Refactor all verification engines

ssvlab / dsverifier

DSVerifier - Digital Systems Verifier

http://dsverifier.org

Apache License 2.0

12 stars 4 forks source link

Closed lucasccordeiro closed 7 years ago

lucasccordeiro commented 7 years ago

This PR is concerned with refactoring all verification engines of DSVerifier using the cpplint script.