blob: b31c6ac043e1c0b9cbf71c5ea194c8896850e32f (
plain)
1
2
3
|
set-compr.dfy(25,7): 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 'o'
set-compr.dfy(51,13): 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 'o'
2 resolution/type errors detected in set-compr.dfy
|
