search

microsoft / verisol

A formal verifier and analysis tool for Solidity Smart Contracts
Other
245 stars 46 forks source link

corral/bin/Debug/corral.exe not found #123

Closed locpv-ibl closed 5 years ago

locpv-ibl commented 5 years ago

I'm trying to install verisol to my Ubuntu machine. I've installed all needed libraries, sources and so on.

In the end, when I execute the command

dotnet $VeriSolPath/Sources/SolToBoogieTest/bin/Debug/netcoreapp2.2/SolToBoogieTest.dll $VeriSolPath $VeriSolPath/Test

it returns me this error:

/home/phanvanloc/verisol/Corral/bin/debug/Corral.exe /recursionBound:8 /k:1 /main:CorralEntry_IncDec __SolToBoogieTest_out.bpl Error: Cannot open assembly '/home/phanvanloc/verisol/Corral/bin/debug/Corral.exe': No such file or directory.

shuvendu-lahiri commented 5 years ago

122 has fixed this issue. Can you try again and close this if resolved. I hope you have a Corral.exe in /home/phanvanloc/verisol/corral/bin/debug/corral.exe.