integration of two different event profilers.

This commit is contained in:
Vitor Santos Costa 2010-10-26 22:02:23 +01:00
parent e0aa6ae30a
commit b16a0d53b0

View File

@ -64,16 +64,11 @@ profile_reset :-
fail. fail.
profile_reset. profile_reset.
showprofres :-
'$proftype'(offline), !,
'$offline_showprofres'.
showprofres :- showprofres :-
showprofres(-1). showprofres(-1).
showprofres(A) :- showprofres(A) :-
'$proftype'(offline), !, ('$proftype'(offline) -> '$offline_showprofres' ; true),
'$offline_showprofres'(A).
showprofres(A) :-
('$profison' -> profoff, Stop = true ; Stop = false), ('$profison' -> profoff, Stop = true ; Stop = false),
'$profglobs'(Tot,GCs,HGrows,SGrows,Mallocs,ProfOns), '$profglobs'(Tot,GCs,HGrows,SGrows,Mallocs,ProfOns),
% root node has no useful info. % root node has no useful info.