Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

dafny CLI installed from NuGet never completes #2561

Closed
seebees opened this issue Aug 6, 2022 · 3 comments
Closed

dafny CLI installed from NuGet never completes #2561

seebees opened this issue Aug 6, 2022 · 3 comments
Labels
part: tools Tools built on top of Dafny status: needs-info Issue requires more information from poster

Comments

@seebees
Copy link

seebees commented Aug 6, 2022

Using the latest version of dafny from NuGet the well-formedness checks pass,
but then the command line hangs.

However verifying the same using Dafny: Compile in the IDE (with the same version) works.
@MikaelMayer
Copy link
Member

Can you please post a small repro?

@robin-aws robin-aws added status: needs-info Issue requires more information from poster part: tools Tools built on top of Dafny labels Aug 8, 2022
@atomb
Copy link
Member

atomb commented Sep 12, 2022

I believe that this is an instance of #2370, and can be resolved by installing Z3 4.8.5 and putting it in the path. Dafny should really be providing a more useful error message here.

@robin-aws
Copy link
Member

Closing as dupe of #2370

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
part: tools Tools built on top of Dafny status: needs-info Issue requires more information from poster
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
4 participants
@atomb @seebees @MikaelMayer @robin-aws