runtimeverification / iele-semantics

Semantics of Virtual Machine for IELE prototype blockchain
Other
131 stars 33 forks source link

Add test runner python module #318

Closed anvacaru closed 2 years ago

anvacaru commented 3 years ago

Writing tests

Running tests

>$ python3 test_erc20.sol
ehildenb commented 3 years ago

@anvacaru and @gtrepta can we add some tests of this functionality as well? Just a single Solidity file -> generated report files, and diff the files should be enough.

Or we can just make sure the tool runs smoothly, and not record the output, as an initial test. But it probably would be better to start with too strong of testing (with the output files) and weaken it as it gets annoying.