diff options
author | leino <unknown> | 2015-05-29 15:23:51 -0700 |
---|---|---|
committer | leino <unknown> | 2015-05-29 15:23:51 -0700 |
commit | d160ed90ed97d34c190f01e5b40443d264e6fec1 (patch) | |
tree | c8b7a05066098f55dadeaa5e60fa93c7450abf28 /Test/dafny0/Trait/TraitExample.dfy.expect | |
parent | 116e29290d21ce4bb805c4a8803c99a2161cf5ab (diff) |
Improvements in traits test case
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 |