blob: 0f795476fddd3b7428fbd2e701b34aa008718bdf (
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
|
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 v1 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 -100 10000 10 50 { } EXPECT ( 10000 ANY
10000 ANY
10000 ANY )
|
