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
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
|
#IgnoreConcrete: true
#InferTasks: true
-- in.cue --
package test
import "tool/cli"
obj: {
request: int & <=limit
limit: int & <=100
request: 10
limit: request
}
root: print: cli.Print & {
text: "\(obj.request) \(obj.limit)"
}
-- out/run/errors --
-- out/run/t0 --
graph TD
t0("root.print [Ready]")
-- out/run/t1 --
graph TD
t0("root.print [Terminated]")
-- out/run/t1/value --
{
$id: "tool/cli.Print"
stdout: "foo"
text: "10 10"
}
-- out/run/t1/stats --
Leaks: 0
Freed: 11
Reused: 5
Allocs: 6
Retain: 1
Unifications: 9
Conjuncts: 25
Disjuncts: 12
-- out/run/stats/totals --
Leaks: 0
Freed: 11
Reused: 5
Allocs: 6
Retain: 1
Unifications: 9
Conjuncts: 25
Disjuncts: 12
|
