Comparing strings by (in)equality doesn't work

Jan 30 at 6:48 PM
Edited Feb 3 at 10:47 AM
http://rise4fun.com/Dafny/SNDyT

http://rise4fun.com/Dafny/19Sh

I have figured out that the problem is in comparing strings.
Coordinator
Feb 13 at 10:21 PM
Fixed (GitHub Issue #76). Thanks for the bug report.

Rustan
Marked as answer by rustanleino on 2/13/2017 at 3:21 PM