blob: fd3bdbf05857f0546105250dd4f39b8a74610a9d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
UNIVERSE [
PACKAGE p1 < v1 v2 v3 > v1
PACKAGE p2 < v1 v2 v3 > v1
PACKAGE p3 < v1 v2 v3 > v1
PACKAGE p4 < v1 v2 v3 > v1
DEP p1 v1 -> < p2 v2 p2 v3 >
DEP p1 v2 -> < p2 v2 p2 v3 >
DEP p1 v3 -> < p2 v2 p2 v3 >
DEP p2 v1 -> < p3 v1 p3 v2 p3 v3 >
DEP p2 v2 -> < p3 v2 p3 v3 >
DEP p2 v1 !! < p1 v2 p1 v3 >
DEP p3 v1 -> < p4 v1 p4 v2 p4 v3 >
DEP p3 v2 -> < p4 v1 p4 v2 p4 v3 >
DEP p3 v3 -> < p4 v1 p4 v2 p4 v3 >
]
TEST 10 10 -1000 10000 10 50 {
SCORE p2 < v3 100 >
SCORE { p2 v2 p3 v2 } 500
SCORE { p2 v2 p3 v3 } 10000
} EXPECT ( 10000 ANY
10000 ANY
10000 ANY )
|
