diff options
Diffstat (limited to 'Test/dafny0/Trait/TraitExample.dfy.expect')
-rw-r--r-- | Test/dafny0/Trait/TraitExample.dfy.expect | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/Test/dafny0/Trait/TraitExample.dfy.expect b/Test/dafny0/Trait/TraitExample.dfy.expect index 4fc71fb5..337b8f2f 100644 --- a/Test/dafny0/Trait/TraitExample.dfy.expect +++ b/Test/dafny0/Trait/TraitExample.dfy.expect @@ -1,7 +1,8 @@ -Dafny program verifier finished with 25 verified, 0 errors
+Dafny program verifier finished with 38 verified, 0 errors
Program compiled successfully
Running...
-Volvo: 10 -Fiat: 3 +Fiat: 6 +Volvo: 20 +Catacar: 26 |