blob: 51aecabd665291635619ec45c66072d58f6ad589 (
plain)
1
2
|
IMaps2.dfy(7,3): Error: a set comprehension must produce a finite set, but Dafny's heuristics can't figure out how to produce a bounded set of values for 's'
1 resolution/type errors detected in IMaps2.dfy
|