diff options
author | 2014-12-03 15:11:25 +0200 | |
---|---|---|
committer | 2014-12-03 15:11:25 +0200 | |
commit | 56c18bc38da909c14270af1a77a77c1880508fc0 (patch) | |
tree | 6dd4ff30ce1eed10206a79db79d93c037b08f210 /Test/dafny0/Trait/TraitsMultipleInheritance.dfy | |
parent | 19fc3cf2526efd2d636d937cc18fad48885eb7bc (diff) |
minor change on a test.
Diffstat (limited to 'Test/dafny0/Trait/TraitsMultipleInheritance.dfy')
-rw-r--r-- | Test/dafny0/Trait/TraitsMultipleInheritance.dfy | 3 |
1 files changed, 3 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 |