[0.7] Segmentation faults

SRI-CSL / solidity

This is solc-verify, a modular verifier for Solidity.

https://github.com/SRI-CSL/solidity/blob/boogie/SOLC-VERIFY-README.md

GNU General Public License v3.0

50 stars 14 forks source link

[0.7] Segmentation faults #157

Closed hajduakos closed 3 years ago

hajduakos commented 4 years ago

examples/BinarySearch, specs/ArrayProperties.sol, specs/CaseAnalysis.sol, specs/Quantifiers.sol give segmentation fault, e.g.:

> Error while running compiler, details:
> Warning: This is a pre-release compiler version, please do not use it in production.
> 
> 
> ======= Converting to Boogie IVL =======
> 
> ======= test/solc-verify/examples/BinarySearch.sol =======
> Segmentation fault (core dumped)
>

dddejan commented 3 years ago

Segfault fixed, but examples still fail because of #156