search

microsoft / verisol

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

Unhandled Exception : System.IO.IOException: Broken pipe #246

Open fog93 opened 4 years ago

fog93 commented 4 years ago

Verification will not proceed with the following errors. in mac Os. What's the problem?

Unhandled Exception: System.IO.IOException: Broken pipe
   at System.IO.FileStream.WriteNative(ReadOnlySpan`1 source)
   at System.IO.FileStream.FlushWriteBuffer()
   at System.IO.FileStream.Flush(Boolean flushToDisk)
   at System.IO.StreamWriter.Flush(Boolean flushStream, Boolean flushEncoder)
   at System.IO.StreamWriter.Write(String value)
   at SolidityAST.SolidityCompiler.RunSolc(String solcPath, String derivedFilePath) in /usr/local/Cellar/solidity/0.5.11/bin/verisol/Sources/SolidityAST/SolidityCompiler.cs:line 69
   at SolidityAST.SolidityCompiler.Compile(String solcPath, String derivedFilePath) in /usr/local/Cellar/solidity/0.5.11/bin/verisol/Sources/SolidityAST/SolidityCompiler.cs:line 24
   at VeriSolRunner.VeriSolExecutor.ExecuteSolToBoogie() in /usr/local/Cellar/solidity/0.5.11/bin/verisol/Sources/VeriSol/VeriSolExecuter.cs:line 359
   at VeriSolRunner.VeriSolExecutor.Execute() in /usr/local/Cellar/solidity/0.5.11/bin/verisol/Sources/VeriSol/VeriSolExecuter.cs:line 63
   at VeriSolRunner.Program.Main(String[] args) in /usr/local/Cellar/solidity/0.5.11/bin/verisol/Sources/VeriSol/Program.cs:line 58
Abort trap: 6
shuvendu-lahiri commented 4 years ago

Can you please check if your path has any spaces?