blob: 5bf9edaf245493612fdd6c5ab2eaae831f67ee6d (
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
|
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
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
|
