solc-verify: UNKNOWN_PROCESS_ERROR when running examples

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

solc-verify: UNKNOWN_PROCESS_ERROR when running examples #173

Closed thanhtoantnt closed 2 years ago

thanhtoantnt commented 2 years ago

Description

When I run solc-verify.py test/solc-verify/examples/Annotations.sol the results are C::add_to_x: UNKNOWN_PROCESS_ERROR C::add: UNKNOWN_PROCESS_ERROR C::[implicit_constructor]: UNKNOWN_PROCESS_ERROR C::[receive_ether_selfdestruct]: UNKNOWN_PROCESS_ERROR.

I follow the instructions to install solc-verify with no problems. Other examples have the same UNKNOWN_PROCESS_ERROR results.

thanhtoantnt commented 2 years ago

Closed since I resolved the issue

stefanandy commented 1 year ago

How did you solve the error?