search

SRI-CSL / yices2

The Yices SMT Solver
https://yices.csl.sri.com/
GNU General Public License v3.0
363 stars 45 forks source link

fatal: remote end hung up unexpectedly #423

Closed shanmukh2607 closed 1 year ago

shanmukh2607 commented 1 year ago

Unable to clone this repo in Ubuntu 20 and results in fatal error.

ianamason commented 1 year ago

Why it this an issue with yices? Sounds more like an issue with git or GitHub. Can you clone other github repos?

shanmukh2607 commented 1 year ago

Yes. I am able to clone all other repos. To give more details: I am using multipass on mac. I was able to clone the repo outside but not in multipass. Not sure what the issue is coz I am able to clone all other repos in multipass.

ahmed-irfan commented 1 year ago

I believe that is a multipass issue.

Please check if have you have disconnected your vpn — usually that interferes with multipass.

ahmed-irfan commented 1 year ago

@shanmukh2607 are you still facing the issue?

ahmed-irfan commented 1 year ago

Reopen this if it is still an issue.