summaryrefslogtreecommitdiff
path: root/Test/dafny0/SeqFromArray.dfy.expect
blob: 5395e298ac9089ad3740e156a402fba17c027083 (plain)
1
2
3
4
5
6
7
8
SeqFromArray.dfy(56,13): Warning: (!) No terms found to trigger on.
SeqFromArray.dfy(76,17): Warning: (!) No terms found to trigger on.
SeqFromArray.dfy(82,17): Warning: (!) No terms found to trigger on.

Dafny program verifier finished with 10 verified, 0 errors
Program compiled successfully
Running...