diff options
Diffstat (limited to 'Test/dafny0/Trait')
| -rw-r--r-- | Test/dafny0/Trait/TraitsMultipleInheritance.dfy | 3 | ||||
| -rw-r--r-- | Test/dafny0/Trait/TraitsMultipleInheritance.dfy.expect | 2 |
2 files changed, 5 insertions, 0 deletions
diff --git a/Test/dafny0/Trait/TraitsMultipleInheritance.dfy b/Test/dafny0/Trait/TraitsMultipleInheritance.dfy index 8b26eeea..67acbc67 100644 --- a/Test/dafny0/Trait/TraitsMultipleInheritance.dfy +++ b/Test/dafny0/Trait/TraitsMultipleInheritance.dfy @@ -23,5 +23,8 @@ method Main() j1.x := 20;
j2.y := 10;
+ print "c.x + c.y = " , c.x + c.y, "\n";
+ print "j1.x + j2.y = " , j1.x + j2.y, "\n";
+
assert c.x + c.y == j1.x + j2.y;
}
\ No newline at end of file diff --git a/Test/dafny0/Trait/TraitsMultipleInheritance.dfy.expect b/Test/dafny0/Trait/TraitsMultipleInheritance.dfy.expect index d5daa038..127b65f7 100644 --- a/Test/dafny0/Trait/TraitsMultipleInheritance.dfy.expect +++ b/Test/dafny0/Trait/TraitsMultipleInheritance.dfy.expect @@ -3,3 +3,5 @@ Dafny program verifier finished with 2 verified, 0 errors Program compiled successfully
Running...
+c.x + c.y = 30
+j1.x + j2.y = 30
|