blob: 172f560766f33b0faf332fa7490040151be5022a (
plain)
1
2
3
4
|
nested-quantifiers-all-get-triggers.dfy(8,17): Info: Selected triggers: {x in s}
nested-quantifiers-all-get-triggers.dfy(8,59): Info: Selected triggers: {y in s}
Dafny program verifier finished with 2 verified, 0 errors
|