blob: 822b8498bcee87c0bd61e01aa9c80945b466889d (
plain)
1
2
3
4
5
|
set-construction-is-a-good-trigger.dfy(8,11): Info: Selected triggers: {[y]}
set-construction-is-a-good-trigger.dfy(9,11): Info: Selected triggers: {{y}}
set-construction-is-a-good-trigger.dfy(10,11): Info: Selected triggers: {multiset{y}}
Dafny program verifier finished with 2 verified, 0 errors
|