From 738348f88d7e6e17e4f663dabfff6cf8ec8af398 Mon Sep 17 00:00:00 2001
From: mihaylov <mihaylov@epfl.ch>
Date: Wed, 5 Oct 2005 09:33:29 +0000
Subject: *** empty log message ***

---
 test/files/run/Course-2002-03-msil.check | 67 ++++++++++++++++++++++++++++++++
 1 file changed, 67 insertions(+)
 create mode 100644 test/files/run/Course-2002-03-msil.check

(limited to 'test/files/run/Course-2002-03-msil.check')

diff --git a/test/files/run/Course-2002-03-msil.check b/test/files/run/Course-2002-03-msil.check
new file mode 100644
index 0000000000..3556893e16
--- /dev/null
+++ b/test/files/run/Course-2002-03-msil.check
@@ -0,0 +1,67 @@
+1
+2
+1/2
+5/6
+
+1/3
+5/7
+3/2
+66/42
+
+1/3
+5/7
+3/2
+11/7
+
+11/7
+7/11
+11/7
+11/7
+
+13/36
+
+False
+True
+True
+False
+
+set0 = []
+set1 = [1]
+set2 = [1,2]
+set3 = [1,2,3]
+set4 = [1,2,3,4]
+
+set2 contains the following elements:
+1
+2
+
+set3 contains the following elements:
+1
+2
+3
+
+set4 contains the following elements:
+1
+2
+3
+4
+
+2 <- set2: True
+3 <- set2: False
+
+setx     = [-10,-1,0,3,5,21]
+setx * 2 = [-20,-2,0,6,10,42]
+
+setx        = [-10,-1,0,3,5,21]
+sety        = [-9,-5,-1,0,3,7,8]
+setx & sety = [-1,0,3]
+sety & setx = [-1,0,3]
+setx > 0    = [3,5,21]
+sety > 0    = [3,7,8]
+setx & sety = [-1,0,3]
+sety & setx = [-1,0,3]
+
+1/1
+1/1
+1/1
+
-- 
cgit v1.2.3