This repository has been archived by the owner on Feb 15, 2025. It is now read-only.

Compile error when assigning const variables concurrently in a constructor #11

Open

franck44 opened this issue Feb 7, 2021 · 1 comment

Assignees

Labels

Dafny bug

Contributor

franck44 commented Feb 7, 2021

This problem has been reported to the Dafny folks as issue 1111.

franck44 self-assigned this

franck44 added the Dafny bug label

Contributor Author

franck44 commented Feb 9, 2021

A temporary fix is to assign the variables one by one.
This solves the problem.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.