Ellab regression executor fix

microsoft / verisol

A formal verifier and analysis tool for Solidity Smart Contracts

Other

245 stars 46 forks source link

Ellab regression executor fix #136

Closed ellab123 closed 5 years ago

ellab123 commented 5 years ago

This fix introduces return values from separate tools invoked during regression execution having different values. This allows to optimize regression output, in particular, to avoid redundant outputs.

msftclas commented 5 years ago

All CLA requirements met.