Dafny 3.4.2

[fabiomadge]

• fix: No output when compiling to JavaScript on Windows (Fix: Output in JavaScript not consistent #1824)
• fix: CanCall assumptions for loop invariants (fix: Fix CanCall assumptions for loop invariants #1813)
• fix: Behavior of the C# runtime in a concurrent setting (fix: thread-safety issue in the runtime #1780)

---

This discussion was created from the release Dafny 3.4.2.