Review the overflow reproducibility scripts - Githubissues

ssvlab / dsverifier

DSVerifier - Digital Systems Verifier

http://dsverifier.org

Apache License 2.0

12 stars 4 forks source link

Review the overflow reproducibility scripts #100

Closed lennonchaves closed 6 years ago

lennonchaves commented 7 years ago

Review realizations DFI, DFII and TDFII scripts
Review routines to reproduce overflow
Review scripts to validate the outputs produced
Refactor scripts according to the defects or enhancements found
Add comments