Adding test case that fails if contracts can initiate transactions.

microsoft / verisol

A formal verifier and analysis tool for Solidity Smart Contracts

Other

245 stars 46 forks source link

Adding test case that fails if contracts can initiate transactions. #255

Open stephensj2 opened 4 years ago

stephensj2 commented 4 years ago

Adding regression for case where harness can call otherwise unreachable code. Also guarding code that only allows non-contracts to initiate transactions with a flag that is on by default

msftclas commented 4 years ago

All CLA requirements met.

shuvendu-lahiri commented 4 years ago

The regressions are failing.