let main () =
if ForceUsers.get () then
begin
result "====== DISPLAYING USERS ======@\n%t====== END OF USERS =========="
(fun fmt ->
!Db.Semantic_Callgraph.topologically_iter_on_functions
(fun kf ->
try
Format.fprintf fmt "@[%a: @[%a@]@]@\n"
Kernel_function.pretty_name kf
Kernel_function.Set.pretty (!Db.Users.get kf)
with Not_found ->
() (* [kf] is not called during analysis *))
) ;
end