home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
OS/2 Shareware BBS: 10 Tools
/
10-Tools.zip
/
lifeos2.zip
/
LIFE-1.02
/
TESTS
/
REFOUT
/
PROFILER.R00
< prev
next >
Wrap
Text File
|
1996-06-04
|
2KB
|
62 lines
*** Yes
Type 'profile_help ?' to get some help about the profiler
*** Yes
> Profile : Added profiling code to function 'merge' at clause level
*** Yes
--1>
*** No
> [1,2,3,4,5,6,8,9,10,12,15,16,18,20,24,25,27,30,32,36,40,45,48,50,54,60,64,72,75,80,81,90,96,100,108,120,125,128,135,144,150,160,162,180,192,200,216,225,240,243,250,256,270,288,300,320,324,360,375,384,400,405,432,450,480,486,500,512,540,576,600,625,640,648,675,720,729,750,768,800,810,864,900,960,972,1000]
*** Yes
--1>
*** No
>
Profiling statistics for functions :
----------------------------------
*Tries* Match %Eval Successes %Tot.fail functions
162 --- --- 162 0 merge
Tries *Match* %Eval Successes %Tot.fail functions
--- 160 100 160 0 merge#3
--- 1 100 1 0 merge#1
--- 1 100 1 0 merge#2
*** Yes
> Profile : restored original clauses for function 'merge'
*** Yes
--1>
*** No
>
dynamic(merge)?
merge(_A,[]) -> _A.
merge([],_A) -> _A.
merge(_A: [_B|_C],
_D: [_E|_F]) -> cond(_B =:= _E,
[_B|merge(_C,_F)],
cond(_B > _E,[_E|merge(_A,_F)],[_B|merge(_C,_D)])).
*** Yes
> [1,2,3,4,5,6,8,9,10,12,15,16,18,20,24,25,27,30,32,36,40,45,48,50,54,60,64,72,75,80,81,90,96,100,108,120,125,128,135,144,150,160,162,180,192,200,216,225,240,243,250,256,270,288,300,320,324,360,375,384,400,405,432,450,480,486,500,512,540,576,600,625,640,648,675,720,729,750,768,800,810,864,900,960,972,1000]
*** Yes
> Profile : Added profiling code to function 'merge' at clause level
*** Yes
--1>
*** Yes
----2> Profile : restored original clauses for function 'merge'
*** Yes
------3> > [1,2,3,4,5,6,8,9,10,12,15,16,18,20,24,25,27,30,32,36,40,45,48,50,54,60,64,72,75,80,81,90,96,100,108,120,125,128,135,144,150,160,162,180,192,200,216,225,240,243,250,256,270,288,300,320,324,360,375,384,400,405,432,450,480,486,500,512,540,576,600,625,640,648,675,720,729,750,768,800,810,864,900,960,972,1000]
*** Yes
>