Test/dafny0/Trait/TraitExample.dfy.expect


1
2
3
4
5
6
7
8


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

Fiat: 6
Volvo: 20
Catacar: 26