blob: 953e101315958f4662be068b288679793e4b05ff (
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
|
Considering inlining: foo
arg infos [ValueArg]
interesting continuation RhsCtxt
some_benefit True
is exp: True
is work-free: True
guidance IF_ARGS [0] 30 0
case depth = 0
depth based penalty = 0
discounted size = 10
ANSWER = YES
Inactive unfolding: foo1
Inactive unfolding: foo1
Inactive unfolding: foo1
Inactive unfolding: foo1
Inactive unfolding: foo1
Inactive unfolding: foo1
Inactive unfolding: foo1
Inactive unfolding: foo1
Considering inlining: foo
arg infos []
interesting continuation RhsCtxt
some_benefit False
is exp: True
is work-free: True
guidance ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=False)
ANSWER = NO
Inactive unfolding: foo1
|
