diff options
author | Reza Ahmadi <reza.ahmadi@uta.fi> | 2014-12-03 15:11:25 +0200 |
---|---|---|
committer | Reza Ahmadi <reza.ahmadi@uta.fi> | 2014-12-03 15:11:25 +0200 |
commit | 56c18bc38da909c14270af1a77a77c1880508fc0 (patch) | |
tree | 6dd4ff30ce1eed10206a79db79d93c037b08f210 /Test/dafny0/Trait | |
parent | 19fc3cf2526efd2d636d937cc18fad48885eb7bc (diff) |
minor change on a test.
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
|