diff options
Diffstat (limited to 'Jennisys/examples/List3.jen')
-rw-r--r-- | Jennisys/examples/List3.jen | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Jennisys/examples/List3.jen b/Jennisys/examples/List3.jen index f37a2631..6bb49eb8 100644 --- a/Jennisys/examples/List3.jen +++ b/Jennisys/examples/List3.jen @@ -18,6 +18,9 @@ class IntList { constructor Double(p: int, q: int) ensures list = [p] + [q] + + constructor Sum(p: int, q: int) + ensures list = [p + q] } model IntList { |