The Go backend was not passing arguments when invoking an {:extern} constructor.
How has this been tested?
Enabled Go in the existing ExternCtors.dfy test case, and refactored it to not require support for classes with both Dafny- and extern-implemented declarations (which is a separate feature).
By submitting this pull request, I confirm that my contribution is made under the terms of the MIT license.
Description
The Go backend was not passing arguments when invoking an
{:extern}constructor.How has this been tested?
Enabled Go in the existing
ExternCtors.dfytest case, and refactored it to not require support for classes with both Dafny- and extern-implemented declarations (which is a separate feature).By submitting this pull request, I confirm that my contribution is made under the terms of the MIT license.