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...
|
