Separate input and result data in constraint system test

input file: *.constraints result file: *.bounds
2015-06-27 15:38:56 +03:00
parent 07937a27eb
commit 82acce4767
24 changed files with 134 additions and 57 deletions
@@ -0,0 +1,4 @@
+VARIABLES T
+
+SUBTYPE T Int
+SUPERTYPE T String
@@ -0,0 +1,4 @@
+VARIABLES T
+
+SUBTYPE T Int
+SUPERTYPE T Int
@@ -0,0 +1,3 @@
+VARIABLES T
+
+SUBTYPE List<T> Int
@@ -0,0 +1,3 @@
+VARIABLES T
+
+SUBTYPE Any Any
@@ -0,0 +1,4 @@
+VARIABLES T
+
+SUBTYPE T Int
+SUBTYPE T String weak
@@ -0,0 +1,4 @@
+VARIABLES T
+
+SUBTYPE T B
+SUPERTYPE T A
@@ -0,0 +1,4 @@
+VARIABLES T
+
+SUBTYPE T A
+SUBTYPE T B
@@ -0,0 +1,4 @@
+VARIABLES T
+
+SUBTYPE T A
+SUPERTYPE T C
@@ -0,0 +1,5 @@
+VARIABLES T
+
+SUBTYPE T A
+SUPERTYPE T B
+SUPERTYPE T C
@@ -0,0 +1,4 @@
+VARIABLES T
+
+SUPERTYPE T IntegerValueType(1000)
+SUBTYPE T Byte
@@ -0,0 +1,4 @@
+VARIABLES T
+
+SUPERTYPE T IntegerValueType(1)
+SUPERTYPE T IntegerValueType(10000000000)
@@ -0,0 +1,4 @@
+VARIABLES T
+
+SUPERTYPE T IntegerValueType(1)
+SUBTYPE T Any
@@ -0,0 +1,4 @@
+VARIABLES T
+
+SUPERTYPE T IntegerValueType(1)
+SUPERTYPE T String
@@ -0,0 +1,4 @@
+VARIABLES T
+
+SUPERTYPE T IntegerValueType(1)
+SUPERTYPE T IntegerValueType(1000)
@@ -0,0 +1,4 @@
+VARIABLES T
+
+SUPERTYPE T IntegerValueType(1)
+SUBTYPE T Byte
@@ -0,0 +1,3 @@
+VARIABLES T
+
+SUPERTYPE T IntegerValueType(1)
@@ -0,0 +1,4 @@
+VARIABLES T
+
+SUPERTYPE T IntegerValueType(1)
+SUBTYPE T Short
@@ -0,0 +1,3 @@
+VARIABLES T P
+
+SUBTYPE T Int
@@ -0,0 +1,3 @@
+VARIABLES T
+
+SUBTYPE Consumer<A> Consumer<T>
@@ -0,0 +1,3 @@
+VARIABLES T
+
+SUBTYPE My<T> My<A>
@@ -0,0 +1,3 @@
+VARIABLES T
+
+SUBTYPE Producer<A> Producer<T>