Unable to build Smartian due to SSL error in Nethermind

SoftSec-KAIST / Smartian

Smartian: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses (ASE '21)

MIT License

140 stars 21 forks source link

Unable to build Smartian due to SSL error in Nethermind #8

Closed faustocarva closed 4 months ago

faustocarva commented 4 months ago

Hi, I'm trying to compile Samaritan, and I'm getting the error below: 2024-05-04_16-54

It looks like a SSL certificate issue with the site https://dotnet.myget.org/F/dotnet-core/api/v3/index.json This site is used in the Nuget.config file in Nethermind: <add key="dotnet-core" value="https://dotnet.myget.org/F/dotnet-core/api/v3/index.json" />

jchoi2022 commented 4 months ago

There seems to have been lots of change to .NET environment since the last update. I fixed this issue in the latest commit (badd4ff) of main branch. Please let me know if you still experience the same issue.

faustocarva commented 4 months ago

It works now.