home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / REFOUT / TESTPROF.REF < prev    next >
Text File  |  1996-06-04  |  10KB  |  387 lines
  1.  
  2. Type 'profile_help ?' to get some help about the profiler
  3.  
  4.  
  5. *** Yes
  6. > > > > > > > > > Profile : Added profiling code to predicate 'verif' at goal level
  7. Profile : Added profiling code to predicate 'app' at goal level
  8. Profile : Added profiling code to predicate 'testapp' at goal level
  9. Profile : Added profiling code to function 'f' at goal level
  10. Profile : Added profiling code to function 'g' at goal level
  11. Profile : Added profiling code to function 'h' at goal level
  12.  
  13. *** Yes
  14. --1> 
  15. *** No
  16. > > > > > testapp
  17. []
  18. [1,2,3]
  19. [1]
  20. [2,3]
  21. [1,2]
  22. [3]
  23. [1,2,3]
  24. []
  25. failure !
  26.  
  27. *** No
  28. > > 
  29. Profiling statistics for predicates :
  30. -----------------------------------
  31.  
  32.   *Tries*    Entries    Success   %Tot.fail %Expl.fail   predicates
  33.      4         ---        10        100          0       app
  34.      1         ---         0        100        100       testapp
  35.  
  36.   *Tries*    Entries    Success   %Tot.fail %Expl.fail   predicates
  37.      4          4          4        100          0       app#1
  38.      4          3          6        100          0       app#2
  39.      1          1          0        100        100       testapp#1
  40.      1          1          0        100        100       testapp#2
  41.      0          0          0         ---        ---      testapp#3
  42.  
  43.    Tries    *Entries*   Success   %Tot.fail %Expl.fail   predicates
  44.      4          4          4        100          0       app#1
  45.      4          3          6        100          0       app#2
  46.      1          1          0        100        100       testapp#1
  47.      1          1          0        100        100       testapp#2
  48.      0          0          0         ---        ---      testapp#3
  49.  
  50.    Tries     Entries   *Success*  %Tot.fail %Expl.fail   predicates
  51.      4          3          6        100          0       app#2
  52.      4          4          4        100          0       app#1
  53.      1          1          0        100        100       testapp#1
  54.      1          1          0        100        100       testapp#2
  55.      0          0          0         ---        ---      testapp#3
  56.  
  57.  
  58. *** Yes
  59. > > 
  60. *** Yes
  61. A = [], B = [1,2,3].
  62. --1> 
  63. *** Yes
  64. A = [1], B = [2,3].
  65. --1> 
  66. *** Yes
  67. A = [1,2], B = [3].
  68. --1> 
  69. *** Yes
  70. A = [1,2,3], B = [].
  71. --1> 
  72. *** No
  73. > > 
  74. *** No
  75. > > 
  76. Profiling statistics for predicates :
  77. -----------------------------------
  78.  
  79.   *Tries*    Entries    Success   %Tot.fail %Expl.fail   predicates
  80.      9         ---        20        100        11.11     app
  81.  
  82.   *Tries*    Entries    Success   %Tot.fail %Expl.fail   predicates
  83.      9          8          8        100          0       app#1
  84.      9          6         12        100          0       app#2
  85.  
  86.    Tries    *Entries*   Success   %Tot.fail %Expl.fail   predicates
  87.      9          8          8        100          0       app#1
  88.      9          6         12        100          0       app#2
  89.  
  90.    Tries     Entries   *Success*  %Tot.fail %Expl.fail   predicates
  91.      9          6         12        100          0       app#2
  92.      9          8          8        100          0       app#1
  93.  
  94.  
  95. *** Yes
  96. > > 
  97. *** Yes
  98. > > that's true
  99.  
  100. *** Yes
  101. --1> 
  102. *** No
  103. > 
  104. *** Yes
  105. --1> 
  106. *** No
  107. > 
  108. Profiling statistics for predicates :
  109. -----------------------------------
  110.  
  111. Profile statistics for predicate 'verif' :
  112. ----------------------------------------
  113. + Number of tries : 2
  114. + Number of explicit failures : 0
  115. + Total number of failures : 0
  116. + Number of successes : 2
  117. + Success rate : 100 %
  118.  
  119. CLAUSE #1 :
  120. ----------------------------------------
  121. + Number of tries : 2
  122. + Number of explicit failures : 0
  123. + Total number of failures : 0
  124. + Number of head unifications : 2
  125. + Number of successes : 2
  126. + Success rate : 100 %
  127.  
  128. Statistics for the goals :
  129. ----------------------------------------
  130. | G#1 <CONDITION> Tries: 2, Successes: 2
  131. | <CONDITION SATISFIED> Tries: 1, Successes: 1
  132. | | G#1 <CALL> Tries: 1, Successes: 1
  133. | | G#2 <CALL> Tries: 1, Successes: 1
  134. | <CONDITION NOT SATISFIED> Tries: 0, Successes: 0
  135. | | G#1 <CALL> Tries: 0, Successes: 0
  136. | | G#2 <CALL> Tries: 0, Successes: 0
  137.  
  138.  
  139.  
  140. **************************************************
  141.  
  142.  
  143.  
  144.  
  145. *** Yes
  146. > > > > > > 
  147. *** No
  148. > > 
  149. *** Yes
  150. X = "+rien+".
  151. --1> 
  152. *** No
  153. > 
  154. *** No
  155. > > 
  156. *** No
  157. > > 
  158. *** Yes
  159. X = "zero".
  160. --1> 
  161. *** No
  162. > 
  163. *** Yes
  164. X = "<> 0".
  165. --1> 
  166. *** No
  167. > 
  168. *** No
  169. > > 
  170. Profiling statistics for functions :
  171. ----------------------------------
  172.  
  173.   *Tries*     Match      %Eval    Successes  %Tot.fail   functions
  174.      4         ---        ---         2         50       g
  175.      3         ---        ---         1        66.66     f
  176.  
  177.    Tries     *Match*     %Eval    Successes  %Tot.fail   functions
  178.     ---         1        100          1          0       f#1
  179.     ---         1        100          0        100       f#2
  180.     ---         2        100          2          0       g#2
  181.     ---         1          0          0        100       g#1
  182.  
  183.  
  184. *** Yes
  185. > > 
  186. *** Yes
  187. X = 4.
  188. --1> 
  189. *** No
  190. > 
  191. *** Yes
  192. X = "rien+++".
  193. --1> 
  194. *** No
  195. > 
  196. *** No
  197. > > 
  198. Profiling statistics for functions :
  199. ----------------------------------
  200.  
  201.   *Tries*     Match      %Eval    Successes  %Tot.fail   functions
  202.      4         ---        ---         2         50       g
  203.      3         ---        ---         1        66.66     f
  204.      3         ---        ---         2        33.33     h
  205.  
  206.    Tries     *Match*     %Eval    Successes  %Tot.fail   functions
  207.     ---         1        100          1          0       f#1
  208.     ---         1        100          0        100       f#2
  209.     ---         2        100          2          0       g#2
  210.     ---         1          0          0        100       g#1
  211.     ---         1        100          1          0       h#1
  212.     ---         1        100          1          0       h#2
  213.  
  214.  
  215. *** Yes
  216. > > > > > > Profile : Added profiling code to predicate 'app' at clause level
  217.  
  218. *** Yes
  219. --1> 
  220. *** No
  221. > 
  222. *** No
  223. > > 
  224. *** Yes
  225. A = [1,2,3].
  226. --1> 
  227. *** No
  228. > 
  229. Profiling statistics for predicates :
  230. -----------------------------------
  231.  
  232.   *Tries*    Entries    Success   %Tot.fail %Expl.fail   predicates
  233.      4         ---         3         25         25       app
  234.  
  235.   *Tries*    Entries    Success   %Tot.fail %Expl.fail   predicates
  236.      4          1          1          0          0       app#1
  237.      3          2          2          0          0       app#2
  238.  
  239.    Tries    *Entries*   Success   %Tot.fail %Expl.fail   predicates
  240.      3          2          2          0          0       app#2
  241.      4          1          1          0          0       app#1
  242.  
  243.    Tries     Entries   *Success*  %Tot.fail %Expl.fail   predicates
  244.      3          2          2          0          0       app#2
  245.      4          1          1          0          0       app#1
  246.  
  247.  
  248. *** Yes
  249. > > > > > > Profile : Added profiling code to predicate 'q' at clause level
  250.  
  251. *** Yes
  252. --1> 
  253. *** No
  254. > q : first try
  255. q : second try
  256.  
  257. *** Yes
  258. --1> q : that's all
  259.  
  260. *** No
  261. > > > 
  262. Profiling statistics for predicates :
  263. -----------------------------------
  264.  
  265.   *Tries*    Entries    Success   %Tot.fail %Expl.fail   predicates
  266.      1         ---         1        100        100       q
  267.  
  268.   *Tries*    Entries    Success   %Tot.fail %Expl.fail   predicates
  269.      1          1          1        100          0       q#1
  270.      1          1          0        100        100       q#2
  271.      0          0          0         ---        ---      q#3
  272.  
  273.    Tries    *Entries*   Success   %Tot.fail %Expl.fail   predicates
  274.      1          1          1        100          0       q#1
  275.      1          1          0        100        100       q#2
  276.      0          0          0         ---        ---      q#3
  277.  
  278.    Tries     Entries   *Success*  %Tot.fail %Expl.fail   predicates
  279.      1          1          1        100          0       q#1
  280.      1          1          0        100        100       q#2
  281.      0          0          0         ---        ---      q#3
  282.  
  283.  
  284. *** Yes
  285. > > 
  286. *** Yes
  287. > > 
  288. Profiling statistics for predicates :
  289. -----------------------------------
  290.  
  291. Profile statistics for predicate 'q' :
  292. ----------------------------------------
  293. + Number of tries : 0
  294. + Number of explicit failures : 0
  295. + Total number of failures : 0
  296. + Number of successes : 0
  297. + Success rate : --- %
  298.  
  299. CLAUSE #1 :
  300. ----------------------------------------
  301. + Number of tries : 0
  302. + Number of explicit failures : 0
  303. + Total number of failures : 0
  304. + Number of head unifications : 0
  305. + Number of successes : 0
  306. + Success rate : --- %
  307.  
  308. CLAUSE #2 :
  309. ----------------------------------------
  310. + Number of tries : 0
  311. + Number of explicit failures : 0
  312. + Total number of failures : 0
  313. + Number of head unifications : 0
  314. + Number of successes : 0
  315. + Success rate : --- %
  316.  
  317. CLAUSE #3 :
  318. ----------------------------------------
  319. + Number of tries : 0
  320. + Number of explicit failures : 0
  321. + Total number of failures : 0
  322. + Number of head unifications : 0
  323. + Number of successes : 0
  324. + Success rate : --- %
  325.  
  326.  
  327. **************************************************
  328.  
  329.  
  330.  
  331.  
  332. *** Yes
  333. > > q : first try
  334. q : second try
  335.  
  336. *** Yes
  337. --1> q : that's all
  338.  
  339. *** No
  340. > > > 
  341. Profiling statistics for predicates :
  342. -----------------------------------
  343.  
  344. Profile statistics for predicate 'q' :
  345. ----------------------------------------
  346. + Number of tries : 1
  347. + Number of explicit failures : 1
  348. + Total number of failures : 1
  349. + Number of successes : 1
  350. + Success rate : 100 %
  351.  
  352. CLAUSE #1 :
  353. ----------------------------------------
  354. + Number of tries : 1
  355. + Number of explicit failures : 0
  356. + Total number of failures : 1
  357. + Number of head unifications : 1
  358. + Number of successes : 1
  359. + Success rate : 100 %
  360.  
  361. CLAUSE #2 :
  362. ----------------------------------------
  363. + Number of tries : 1
  364. + Number of explicit failures : 1
  365. + Total number of failures : 1
  366. + Number of head unifications : 1
  367. + Number of successes : 0
  368. + Success rate : 0 %
  369.  
  370. CLAUSE #3 :
  371. ----------------------------------------
  372. + Number of tries : 0
  373. + Number of explicit failures : 0
  374. + Total number of failures : 0
  375. + Number of head unifications : 0
  376. + Number of successes : 0
  377. + Success rate : --- %
  378.  
  379.  
  380. **************************************************
  381.  
  382.  
  383.  
  384.  
  385. *** Yes
  386. > > > > > > > > > > > > > 
  387.